jit_block Class Reference

#include "jit-ir.h"

Inheritance diagram for jit_block:

Collaboration diagram for jit_block:

Public Types
typedef instruction_list::const_iterator	const_iterator
typedef df_set::const_iterator	df_iterator
typedef std::set< jit_block * >	df_set
typedef std::list < jit_instruction * >	instruction_list
typedef instruction_list::iterator	iterator

Public Member Functions
	jit_block (const std::string &aname, size_t avisit_count=0)
virtual void	accept (jit_ir_walker &walker)
bool	alive (void) const
template<typename T >
T *	append (T *instr)
jit_instruction *	back (void)
iterator	begin (void)
const_iterator	begin (void) const
bool	branch_alive (jit_block *asucc) const
void	compute_df (void)
void	compute_idom (jit_block &entry_block)
void	create_dom_tree (void)
const df_set &	df (void) const
df_iterator	df_begin (void) const
df_iterator	df_end (void) const
jit_block *	dom_successor (size_t idx) const
size_t	dom_successor_count (void) const
iterator	end (void)
const_iterator	end (void) const
jit_use *	first_use (void) const
jit_block *	first_use_block (void)
jit_instruction *	front (void)
bool	has_llvm (void) const
size_t	id (void) const
bool	in_worklist (void) const
jit_instruction *	insert_after (iterator loc, jit_instruction *instr)
jit_instruction *	insert_after (jit_instruction *loc, jit_instruction *instr)
jit_instruction *	insert_before (iterator loc, jit_instruction *instr)
jit_instruction *	insert_before (jit_instruction *loc, jit_instruction *instr)
void	label (void)
void	label (size_t avisit_count, size_t &number)
jit_instruction *	last_use (void) const
std::list< jit_block * >::iterator	location (void) const
void	mark_alive (void)
jit_block *	maybe_merge ()
jit_block *	maybe_split (jit_factory &factory, jit_block_list &blocks, jit_block *asuccessor)
jit_block *	maybe_split (jit_factory &factory, jit_block_list &blocks, jit_block &asuccessor)
void	merge (jit_block &merge)
const std::string &	name (void) const
virtual bool	needs_release (void) const
iterator	nonphi_begin (void)
iterator	phi_begin (void)
iterator	phi_end (void)
void	pop_all (void)
jit_instruction *	prepend (jit_instruction *instr)
jit_instruction *	prepend_after_phi (jit_instruction *instr)
virtual std::ostream &	print (std::ostream &os, size_t indent=0) const
std::ostream &	print_dom (std::ostream &os) const
std::string	print_string (void)
iterator	remove (iterator iter)
void	replace_in_phi (jit_block *ablock, jit_block *with)
virtual void	replace_with (jit_value *value)
virtual std::ostream &	short_print (std::ostream &os) const
void	stash_in_worklist (bool ain_worklist)
void	stash_last_use (jit_instruction *alast_use)
void	stash_llvm (llvm::Value *compiled)
void	stash_location (std::list< jit_block * >::iterator alocation)
void	stash_type (jit_type *new_ty)
jit_block *	successor (size_t i) const
size_t	successor_count (void) const
jit_terminator *	terminator (void) const
llvm::BasicBlock *	to_llvm (void) const
jit_type *	type (void) const
llvm::Type *	type_llvm (void) const
const std::string &	type_name (void) const
size_t	use_count (void) const
size_t	visit_count (void) const
bool	visited (size_t avisit_count)

Static Public Attributes
static const size_t	NO_ID = static_cast<size_t> (-1)

Protected Member Functions
std::ostream &	print_indent (std::ostream &os, size_t indent=0) const

Protected Attributes
llvm::Value *	llvm_value

Private Types
typedef jit_internal_list < jit_block, jit_phi_incomming >	ILIST_T

Private Member Functions
void	compute_df (size_t avisit_count)
void	create_dom_tree (size_t avisit_count)
void	internal_append (jit_instruction *instr)
bool	update_idom (size_t avisit_count)

Static Private Member Functions
static jit_block *	idom_intersect (jit_block *i, jit_block *j)

Private Attributes
std::vector< jit_block * >	dom_succ
jit_block *	idom
instruction_list	instructions
bool	malive
df_set	mdf
size_t	mid
std::list< jit_block * >::iterator	mlocation
std::string	mname
size_t	mvisit_count

Detailed Description

Definition at line 545 of file jit-ir.h.

Member Typedef Documentation

typedef instruction_list::const_iterator jit_block::const_iterator

Definition at line 553 of file jit-ir.h.

typedef df_set::const_iterator jit_block::df_iterator

Definition at line 556 of file jit-ir.h.

typedef std::set<jit_block *> jit_block::df_set

Definition at line 555 of file jit-ir.h.

typedef jit_internal_list<jit_block, jit_phi_incomming> jit_block::ILIST_T

private

Definition at line 549 of file jit-ir.h.

typedef std::list<jit_instruction *> jit_block::instruction_list

Definition at line 551 of file jit-ir.h.

typedef instruction_list::iterator jit_block::iterator

Definition at line 552 of file jit-ir.h.

Constructor & Destructor Documentation

jit_block::jit_block ( const std::string &  aname, size_t  avisit_count = 0  )

inline

Definition at line 560 of file jit-ir.h.

Member Function Documentation

void jit_block::accept ( jit_ir_walker &  walker )

virtual

Implements jit_value.

Definition at line 185 of file jit-ir.cc.

bool jit_block::alive ( void  ) const

inline

Definition at line 575 of file jit-ir.h.

References jit_terminator::malive.

Referenced by jit_phi::infer(), maybe_split(), and jit_infer::remove_dead().

template<typename T >

T* jit_block::append ( T *  instr )

inline

Definition at line 592 of file jit-ir.h.

Referenced by jit_convert::create_checked_impl(), jit_convert::do_assign(), jit_convert::finish_breaks(), jit_convert::jit_convert(), maybe_split(), prepend_after_phi(), jit_infer::remove_dead(), jit_convert::visit_binary_expression(), jit_convert::visit_colon_expression(), jit_convert::visit_identifier(), jit_convert::visit_if_command_list(), jit_convert::visit_simple_for_command(), jit_convert::visit_statement(), and jit_convert::visit_while_command().

jit_instruction* jit_block::back ( void  )

inline

Definition at line 748 of file jit-ir.h.

Referenced by jit_block_list::back(), and jit_convert_llvm::convert_function().

iterator jit_block::begin ( void  )

inline

Definition at line 629 of file jit-ir.h.

Referenced by jit_infer::append_users_term(), jit_convert_llvm::convert(), jit_convert_llvm::convert_loop(), jit_infer::do_construct_ssa(), merge(), pop_all(), prepend_after_phi(), print(), jit_infer::release_dead_phi(), jit_infer::release_temp(), jit_infer::remove_dead(), jit_infer::simplify_phi(), and jit_convert_llvm::visit().

const_iterator jit_block::begin ( void  ) const

inline

Definition at line 631 of file jit-ir.h.

bool jit_block::branch_alive

(

jit_block *

asucc

)

const

Definition at line 372 of file jit-ir.cc.

References jit_terminator::alive(), and terminator().

Referenced by jit_phi::infer(), and jit_phi::prune().

void jit_block::compute_df ( void  )

inline

Definition at line 675 of file jit-ir.h.

Referenced by compute_df(), and jit_infer::construct_ssa().

void jit_block::compute_df ( size_t  avisit_count )

private

Definition at line 432 of file jit-ir.cc.

References compute_df(), first_use(), idom, mdf, jit_internal_node< LIST_T, NODE_T >::next(), successor(), successor_count(), use_count(), and visited().

void jit_block::compute_idom ( jit_block &  entry_block )

inline

Definition at line 665 of file jit-ir.h.

References idom.

Referenced by jit_infer::construct_ssa().

void jit_block::create_dom_tree ( void  )

inline

Definition at line 680 of file jit-ir.h.

Referenced by jit_infer::construct_ssa(), and create_dom_tree().

void jit_block::create_dom_tree ( size_t  avisit_count )

private

Definition at line 565 of file jit-ir.cc.

References create_dom_tree(), dom_succ, idom, successor(), successor_count(), and visited().

const df_set& jit_block::df ( void  ) const

inline

Definition at line 647 of file jit-ir.h.

Referenced by genchi(), and gennch().

df_iterator jit_block::df_begin ( void  ) const

inline

Definition at line 649 of file jit-ir.h.

Referenced by jit_infer::construct_ssa(), and print_dom().

df_iterator jit_block::df_end ( void  ) const

inline

Definition at line 651 of file jit-ir.h.

Referenced by jit_infer::construct_ssa(), and print_dom().

jit_block* jit_block::dom_successor ( size_t  idx ) const

inline

Definition at line 685 of file jit-ir.h.

Referenced by jit_infer::do_construct_ssa().

size_t jit_block::dom_successor_count ( void  ) const

inline

Definition at line 690 of file jit-ir.h.

Referenced by jit_infer::do_construct_ssa().

iterator jit_block::end ( void  )

inline

Definition at line 633 of file jit-ir.h.

Referenced by jit_infer::append_users_term(), jit_convert_llvm::convert(), jit_convert_llvm::convert_loop(), jit_infer::do_construct_ssa(), merge(), pop_all(), prepend_after_phi(), print(), jit_infer::release_dead_phi(), jit_infer::release_temp(), jit_infer::remove_dead(), jit_infer::simplify_phi(), and jit_convert_llvm::visit().

const_iterator jit_block::end ( void  ) const

inline

Definition at line 635 of file jit-ir.h.

jit_use* jit_block::first_use ( void  ) const

inline

Reimplemented from jit_internal_list< jit_block, jit_phi_incomming >.

Definition at line 570 of file jit-ir.h.

References jit_internal_list< jit_value, jit_use >::first_use().

Referenced by compute_df(), label(), print(), print_dom(), and update_idom().

jit_block * jit_value::first_use_block ( void  )

inherited

Definition at line 153 of file jit-ir.cc.

References jit_internal_list< jit_value, jit_use >::first_use(), jit_internal_node< LIST_T, NODE_T >::next(), jit_use::user(), and jit_use::user_parent().

Referenced by jit_infer::release_temp().

jit_instruction* jit_block::front ( void  )

inline

Definition at line 746 of file jit-ir.h.

Referenced by jit_block_list::front().

bool jit_value::has_llvm ( void  ) const

inlineinherited

Definition at line 250 of file jit-ir.h.

References jit_value::llvm_value.

size_t jit_block::id ( void  ) const

inline

Definition at line 644 of file jit-ir.h.

References jit_instruction::mid.

Referenced by idom_intersect(), and jit_infer::place_releases().

jit_block * jit_block::idom_intersect ( jit_block *  i, jit_block *  j  )

staticprivate

Definition at line 578 of file jit-ir.cc.

References id(), and idom.

Referenced by update_idom().

bool jit_value::in_worklist ( void  ) const

inlineinherited

Definition at line 196 of file jit-ir.h.

References jit_value::min_worklist.

Referenced by jit_infer::push_worklist().

jit_instruction * jit_block::insert_after	(	iterator	loc,
		jit_instruction *	instr
	)

Definition at line 352 of file jit-ir.cc.

References instructions, loc, and jit_instruction::stash_parent().

Referenced by jit_infer::release_temp().

jit_instruction* jit_block::insert_after ( jit_instruction *  loc, jit_instruction *  instr  )

inline

Definition at line 607 of file jit-ir.h.

References jit_instruction::location().

jit_instruction * jit_block::insert_before	(	iterator	loc,
		jit_instruction *	instr
	)

Definition at line 344 of file jit-ir.cc.

References instructions, and jit_instruction::stash_parent().

Referenced by prepend_after_phi(), jit_infer::release_dead_phi(), jit_infer::release_temp(), and jit_infer::simplify_phi().

jit_instruction* jit_block::insert_before ( jit_instruction *  loc, jit_instruction *  instr  )

inline

Definition at line 600 of file jit-ir.h.

References jit_instruction::location().

void jit_block::internal_append ( jit_instruction *  instr )

private

Definition at line 337 of file jit-ir.cc.

References instructions, and jit_instruction::stash_parent().

void jit_block::label ( void  )

inline

Definition at line 654 of file jit-ir.h.

Referenced by jit_block_list::label(), and label().

void jit_block::label	(	size_t	avisit_count,
		size_t &	number
	)

Definition at line 489 of file jit-ir.cc.

References first_use(), label(), mid, jit_internal_node< LIST_T, NODE_T >::next(), and visited().

jit_instruction* jit_value::last_use ( void  ) const

inlineinherited

Reimplemented in jit_variable.

Definition at line 234 of file jit-ir.h.

References jit_value::mlast_use.

std::list<jit_block *>::iterator jit_block::location ( void  ) const

inline

Definition at line 724 of file jit-ir.h.

References jit_instruction::mlocation.

Referenced by jit_block_list::insert_after(), and jit_block_list::insert_before().

void jit_block::mark_alive ( void  )

inline

Definition at line 577 of file jit-ir.h.

References jit_terminator::malive.

Referenced by jit_terminator::infer(), jit_convert::initialize(), and maybe_split().

jit_block * jit_block::maybe_merge

(

)

Definition at line 268 of file jit-ir.cc.

References instructions, merge(), successor(), successor_count(), and use_count().

jit_block * jit_block::maybe_split	(	jit_factory &	factory,
		jit_block_list &	blocks,
		jit_block *	asuccessor
	)

Definition at line 536 of file jit-ir.cc.

References alive(), append(), jit_factory::create(), jit_terminator::infer(), jit_block_list::insert_after(), mark_alive(), mvisit_count, replace_in_phi(), jit_instruction::stash_argument(), successor_count(), jit_terminator::successor_index(), and terminator().

Referenced by jit_infer::release_dead_phi(), jit_infer::release_temp(), and jit_infer::simplify_phi().

jit_block* jit_block::maybe_split ( jit_factory &  factory, jit_block_list &  blocks, jit_block &  asuccessor  )

inline

Definition at line 703 of file jit-ir.h.

void jit_block::merge

(

jit_block &

merge

)

Definition at line 282 of file jit-ir.cc.

References begin(), end(), instructions, jit_instruction::remove(), replace_with(), jit_instruction::stash_parent(), and terminator().

Referenced by maybe_merge().

const std::string& jit_block::name ( void  ) const

inline

Definition at line 585 of file jit-ir.h.

Referenced by jit_convert_llvm::convert(), jit_convert::create_checked_impl(), and jit_convert::visit_binary_expression().

virtual bool jit_value::needs_release ( void  ) const

inlinevirtualinherited

Reimplemented in jit_call.

Definition at line 241 of file jit-ir.h.

Referenced by jit_infer::release_dead_phi(), and jit_infer::release_temp().

iterator jit_block::nonphi_begin

(

void

)

iterator jit_block::phi_begin

(

void

)

iterator jit_block::phi_end

(

void

)

void jit_block::pop_all

(

void

)

Definition at line 504 of file jit-ir.cc.

References begin(), end(), and jit_instruction::pop_variable().

Referenced by jit_infer::do_construct_ssa().

jit_instruction * jit_block::prepend

(

jit_instruction *

instr

)

Definition at line 312 of file jit-ir.cc.

References instructions, and jit_instruction::stash_parent().

Referenced by jit_infer::construct_ssa(), and jit_convert::create_variable().

jit_instruction * jit_block::prepend_after_phi

(

jit_instruction *

instr

)

Definition at line 320 of file jit-ir.cc.

References append(), begin(), end(), and insert_before().

std::ostream & jit_block::print ( std::ostream &  os, size_t  indent = 0  ) const

virtual

Implements jit_value.

Definition at line 514 of file jit-ir.cc.

References begin(), end(), first_use(), jit_internal_node< LIST_T, NODE_T >::next(), jit_value::print(), jit_value::print_indent(), and short_print().

std::ostream & jit_block::print_dom

(

std::ostream &

os

)

const

Definition at line 398 of file jit-ir.cc.

References df_begin(), df_end(), dom_succ, first_use(), idom, mid, jit_internal_node< LIST_T, NODE_T >::next(), short_print(), successor(), and successor_count().

std::ostream& jit_value::print_indent ( std::ostream &  os, size_t  indent = 0  ) const

inlineprotectedinherited

Definition at line 267 of file jit-ir.h.

Referenced by jit_argument::print(), jit_const< T, EXTRACT_T, PASS_T, QUOTE >::print(), print(), jit_variable::print(), jit_assign::print(), jit_phi::print(), jit_branch::print(), jit_cond_branch::print(), jit_call::print(), jit_error_check::print(), jit_magic_end::print(), jit_extract_argument::print(), jit_store_argument::print(), and jit_return::print().

std::string jit_value::print_string ( void  )

inlineinherited

Definition at line 227 of file jit-ir.h.

References jit_value::print().

iterator jit_block::remove ( iterator  iter )

inline

Definition at line 612 of file jit-ir.h.

References jit_instruction::stash_parent().

Referenced by jit_instruction::remove(), and jit_infer::remove_dead().

void jit_block::replace_in_phi	(	jit_block *	ablock,
		jit_block *	with
	)

Definition at line 254 of file jit-ir.cc.

References jit_internal_list< jit_block, jit_phi_incomming >::first_use(), jit_internal_node< LIST_T, NODE_T >::next(), jit_internal_node< LIST_T, NODE_T >::stash_value(), and jit_phi_incomming::user_parent().

Referenced by maybe_split().

void jit_block::replace_with ( jit_value *  value )

virtual

Reimplemented from jit_value.

Definition at line 239 of file jit-ir.cc.

References jit_internal_list< jit_block, jit_phi_incomming >::first_use(), and jit_internal_node< LIST_T, NODE_T >::stash_value().

Referenced by merge().

virtual std::ostream& jit_block::short_print ( std::ostream &  os ) const

inlinevirtual

Reimplemented from jit_value.

Definition at line 712 of file jit-ir.h.

References jit_instruction::mid.

Referenced by print(), print_dom(), and jit_terminator::print_successor().

void jit_value::stash_in_worklist ( bool  ain_worklist )

inlineinherited

Definition at line 201 of file jit-ir.h.

References jit_value::min_worklist.

Referenced by jit_infer::infer(), and jit_infer::push_worklist().

void jit_value::stash_last_use ( jit_instruction *  alast_use )

inlineinherited

Reimplemented in jit_variable.

Definition at line 236 of file jit-ir.h.

References jit_value::mlast_use.

void jit_value::stash_llvm ( llvm::Value *  compiled )

inlineinherited

Definition at line 261 of file jit-ir.h.

References jit_value::llvm_value.

Referenced by jit_convert_llvm::convert(), jit_argument::jit_argument(), and jit_convert_llvm::visit().

void jit_block::stash_location ( std::list< jit_block * >::iterator  alocation )

inline

Definition at line 727 of file jit-ir.h.

References jit_instruction::mlocation.

Referenced by jit_block_list::insert_before(), and jit_block_list::push_back().

void jit_value::stash_type ( jit_type *  new_ty )

inlineinherited

Definition at line 225 of file jit-ir.h.

References jit_value::ty.

Referenced by jit_assign::infer(), jit_phi::infer(), jit_call::infer(), jit_magic_end::infer(), jit_argument::jit_argument(), jit_call::jit_call(), jit_const< T, EXTRACT_T, PASS_T, QUOTE >::jit_const(), and jit_extract_argument::jit_extract_argument().

jit_block * jit_block::successor

(

size_t

i

)

const

Definition at line 378 of file jit-ir.cc.

References jit_terminator::successor(), and terminator().

Referenced by compute_df(), create_dom_tree(), jit_infer::do_construct_ssa(), maybe_merge(), and print_dom().

size_t jit_block::successor_count

(

void

)

const

Definition at line 385 of file jit-ir.cc.

References jit_terminator::successor_count(), and terminator().

Referenced by compute_df(), create_dom_tree(), jit_infer::do_construct_ssa(), maybe_merge(), maybe_split(), and print_dom().

jit_terminator * jit_block::terminator

(

void

)

const

Definition at line 361 of file jit-ir.cc.

References instructions.

Referenced by jit_infer::append_users_term(), branch_alive(), jit_infer::infer(), maybe_split(), merge(), jit_infer::release_dead_phi(), jit_infer::release_temp(), jit_infer::remove_dead(), jit_infer::simplify_phi(), successor(), and successor_count().

llvm::BasicBlock * jit_block::to_llvm

(

void

)

const

Reimplemented from jit_value.

Definition at line 392 of file jit-ir.cc.

References jit_value::llvm_value.

Referenced by jit_convert_llvm::convert(), jit_instruction::parent_llvm(), jit_terminator::successor_llvm(), and jit_convert_llvm::visit().

jit_type* jit_value::type ( void  ) const

inlineinherited

Definition at line 213 of file jit-ir.h.

References jit_value::ty.

Referenced by jit_instruction::argument_type(), jit_typeinfo::do_end(), jit_phi::infer(), jit_call::infer(), jit_magic_end::infer(), jit_call::needs_release(), jit_return::result_type(), jit_instruction::short_print(), jit_infer::simplify_phi(), jit_factory::track_value(), and jit_convert_llvm::visit().

llvm::Type* jit_value::type_llvm ( void  ) const

inlineinherited

Definition at line 215 of file jit-ir.h.

References jit_type::to_llvm(), and jit_value::ty.

Referenced by jit_convert_llvm::visit().

const std::string& jit_value::type_name ( void  ) const

inlineinherited

Definition at line 220 of file jit-ir.h.

References jit_type::name(), and jit_value::ty.

bool jit_block::update_idom ( size_t  avisit_count )

private

Definition at line 455 of file jit-ir.cc.

References first_use(), idom, idom_intersect(), jit_internal_node< LIST_T, NODE_T >::next(), update_idom(), use_count(), jit_use::user_parent(), and visited().

Referenced by update_idom().

size_t jit_block::use_count ( void  ) const

inline

Reimplemented from jit_internal_list< jit_block, jit_phi_incomming >.

Definition at line 572 of file jit-ir.h.

References jit_internal_list< jit_value, jit_use >::use_count().

Referenced by compute_df(), jit_infer::construct_ssa(), maybe_merge(), and update_idom().

size_t jit_block::visit_count ( void  ) const

inline

Definition at line 731 of file jit-ir.h.

bool jit_block::visited ( size_t  avisit_count )

inline

Definition at line 735 of file jit-ir.h.

Referenced by compute_df(), create_dom_tree(), jit_infer::do_construct_ssa(), label(), and update_idom().

Member Data Documentation

std::vector<jit_block *> jit_block::dom_succ

private

Definition at line 766 of file jit-ir.h.

Referenced by create_dom_tree(), and print_dom().

jit_block* jit_block::idom

private

Definition at line 764 of file jit-ir.h.

Referenced by compute_df(), compute_idom(), create_dom_tree(), idom_intersect(), print_dom(), and update_idom().

instruction_list jit_block::instructions

private

Definition at line 768 of file jit-ir.h.

Referenced by insert_after(), insert_before(), internal_append(), maybe_merge(), merge(), prepend(), and terminator().

llvm::Value* jit_value::llvm_value

protectedinherited

Definition at line 274 of file jit-ir.h.

Referenced by jit_value::has_llvm(), jit_value::stash_llvm(), jit_value::to_llvm(), and to_llvm().

bool jit_block::malive

private

Definition at line 769 of file jit-ir.h.

df_set jit_block::mdf

private

Definition at line 765 of file jit-ir.h.

Referenced by compute_df().

size_t jit_block::mid

private

Definition at line 763 of file jit-ir.h.

Referenced by label(), and print_dom().

std::list<jit_block *>::iterator jit_block::mlocation

private

Definition at line 770 of file jit-ir.h.

std::string jit_block::mname

private

Definition at line 767 of file jit-ir.h.

size_t jit_block::mvisit_count

private

Definition at line 762 of file jit-ir.h.

Referenced by maybe_split().

const size_t jit_block::NO_ID = static_cast<size_t> (-1)

static

Definition at line 558 of file jit-ir.h.

Referenced by jit_infer::place_releases().

---

The documentation for this class was generated from the following files:

• libinterp/corefcn/jit-ir.h
• libinterp/corefcn/jit-ir.cc