GNU Octave  3.8.0
A high-level interpreted language, primarily intended for numerical computations, mostly compatible with Matlab
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Pages
Public Member Functions | Static Public Member Functions | Protected Member Functions | Protected Attributes | Private Attributes | List of all members
jit_terminator Class Reference

#include "jit-ir.h"

Inheritance diagram for jit_terminator:
Inheritance graph
[legend]
Collaboration diagram for jit_terminator:
Collaboration graph
[legend]

Public Member Functions

 jit_terminator (size_t asuccessor_count, OCT_MAKE_DECL_LIST(jit_value *, arg, 1))
 jit_terminator (size_t asuccessor_count, OCT_MAKE_DECL_LIST(jit_value *, arg, 2))
 jit_terminator (size_t asuccessor_count, OCT_MAKE_DECL_LIST(jit_value *, arg, 3))
virtual void accept (jit_ir_walker &walker)=0
bool alive (const jit_block *asuccessor) const
bool alive (size_t idx) const
bool alive (int idx) const
jit_value * argument (size_t i) const
size_t argument_count (void) const
llvm::Value * argument_llvm (size_t i) const
jit_type * argument_type (size_t i) const
llvm::Type * argument_type_llvm (size_t i) const
const std::vector< jit_type * > & argument_types (void) const
const std::vector< jit_use > & arguments (void) const
virtual void construct_ssa (void)
jit_use * first_use (void) const
jit_block * first_use_block (void)
bool has_llvm (void) const
size_t id (void) const
bool in_worklist (void) const
virtual bool infer (void)
jit_instruction * last_use (void) const
std::list< jit_instruction * >
::iterator 		location (void) const
virtual bool needs_release (void) const
jit_block * parent (void) const
llvm::BasicBlock * parent_llvm (void) const
virtual void pop_variable (void)
virtual std::ostream & print (std::ostream &os, size_t indent=0) const =0
std::ostream & print_argument (std::ostream &os, size_t i) const
std::string print_string (void)
std::ostream & print_successor (std::ostream &os, size_t idx=0) const
void push_argument (jit_value *arg)
virtual void push_variable (void)
void remove (void)
virtual void replace_with (jit_value *value)
void resize_arguments (size_t acount, jit_value *adefault=0)
virtual std::ostream & short_print (std::ostream &os) const
void stash_argument (size_t i, jit_value *arg)
void stash_in_worklist (bool ain_worklist)
void stash_last_use (jit_instruction *alast_use)
void stash_llvm (llvm::Value *compiled)
void stash_parent (jit_block *aparent, std::list< jit_instruction * >::iterator alocation)
void stash_type (jit_type *new_ty)
jit_block * successor (size_t idx=0) const
size_t successor_count (void) const
size_t successor_index (const jit_block *asuccessor) const
llvm::BasicBlock * successor_llvm (size_t idx=0) const
llvm::TerminatorInst * 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

Static Public Member Functions

static void reset_ids (void)

Protected Member Functions

virtual bool check_alive (size_t) const
void do_construct_ssa (size_t start, size_t end)
std::ostream & print_indent (std::ostream &os, size_t indent=0) const

Protected Attributes

std::vector< jit_type * > already_infered
llvm::Value * llvm_value

Private Attributes

std::vector< bool > malive

Detailed Description

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

Constructor & Destructor Documentation

jit_terminator::jit_terminator ( size_t  asuccessor_count,
OCT_MAKE_DECL_LIST(jit_value *, arg,1)   
)
inline

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

jit_terminator::jit_terminator ( size_t  asuccessor_count,
OCT_MAKE_DECL_LIST(jit_value *, arg,2)   
)
inline

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

jit_terminator::jit_terminator ( size_t  asuccessor_count,
OCT_MAKE_DECL_LIST(jit_value *, arg,3)   
)
inline

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

Member Function Documentation

virtual void jit_value::accept ( jit_ir_walker &  walker)
pure virtualinherited

Implemented in jit_return, jit_store_argument, jit_extract_argument, jit_magic_end, jit_error_check, jit_call, jit_cond_branch, jit_branch, jit_phi, jit_assign, jit_variable, jit_block, jit_const< T, EXTRACT_T, PASS_T, QUOTE >, and jit_argument.

Referenced by jit_convert_llvm::visit().

bool jit_terminator::alive ( const jit_block *  asuccessor) const
inline

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

References successor_index().

Referenced by jit_infer::append_users_term(), jit_block::branch_alive(), infer(), print_successor(), and jit_infer::remove_dead().

bool jit_terminator::alive ( size_t  idx) const
inline

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

References malive.

bool jit_terminator::alive ( int  idx) const
inline

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

References malive.

jit_value* jit_instruction::argument ( size_t  i) const
inlineinherited

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

References jit_instruction::marguments.

Referenced by jit_instruction::argument_llvm(), jit_instruction::argument_type(), jit_instruction::argument_type_llvm(), jit_error_check::check_for(), jit_cond_branch::cond(), jit_instruction::do_construct_ssa(), jit_assign::overwrite(), jit_phi::print(), jit_instruction::print_argument(), jit_phi::prune(), jit_infer::release_dead_phi(), jit_infer::release_temp(), jit_magic_end::resolve_context(), jit_store_argument::result(), jit_return::result(), jit_infer::simplify_phi(), jit_assign::src(), successor(), and jit_convert_llvm::visit().

size_t jit_instruction::argument_count ( void  ) const
inlineinherited

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

References jit_instruction::marguments.

Referenced by jit_instruction::construct_ssa(), jit_convert_llvm::finish_phi(), jit_error_check::has_check_for(), jit_phi::infer(), jit_call::infer(), jit_phi::print(), jit_call::print(), jit_phi::prune(), jit_infer::release_dead_phi(), jit_infer::release_temp(), jit_return::result(), jit_infer::simplify_phi(), and jit_convert_llvm::visit().

llvm::Value* jit_instruction::argument_llvm ( size_t  i) const
inlineinherited

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

References jit_instruction::argument(), and jit_value::to_llvm().

Referenced by jit_convert_llvm::finish_phi().

jit_type* jit_instruction::argument_type ( size_t  i) const
inlineinherited

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

References jit_instruction::argument(), and jit_value::type().

Referenced by jit_instruction::argument_type_llvm(), jit_phi::infer(), and jit_call::infer().

llvm::Type* jit_instruction::argument_type_llvm ( size_t  i) const
inlineinherited

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

References jit_instruction::argument(), jit_instruction::argument_type(), and jit_type::to_llvm().

const std::vector<jit_type *>& jit_instruction::argument_types ( void  ) const
inlineinherited

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

References jit_instruction::already_infered.

Referenced by jit_call::overload().

const std::vector<jit_use>& jit_instruction::arguments ( void  ) const
inlineinherited

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

References jit_instruction::marguments.

Referenced by jit_convert_llvm::visit().

virtual bool jit_terminator::check_alive ( size_t  ) const
inlineprotectedvirtual

Reimplemented in jit_error_check.

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

Referenced by infer().

virtual void jit_instruction::construct_ssa ( void  )
inlinevirtualinherited

Reimplemented in jit_phi.

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

References jit_instruction::argument_count(), and jit_instruction::do_construct_ssa().

Referenced by jit_infer::do_construct_ssa().

void jit_instruction::do_construct_ssa ( size_t  start,
size_t  end 
)
protectedinherited

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

References arg(), jit_instruction::argument(), jit_variable::has_top(), jit_instruction::stash_argument(), and jit_variable::top().

Referenced by jit_instruction::construct_ssa().

jit_use * jit_internal_list< jit_value , jit_use >::first_use ( void  ) const
inlineinherited

Reimplemented in jit_block.

Definition at line 113 of file jit-util.h.

Referenced by jit_block::first_use(), jit_value::first_use_block(), jit_call::needs_release(), jit_value::replace_with(), and jit_variable::use_blocks().

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().

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_instruction::id ( void  ) const
inlineinherited

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

References jit_instruction::mid.

Referenced by jit_typeinfo::create_identity(), jit_assign_base::short_print(), and jit_magic_end::short_print().

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().

bool jit_terminator::infer ( void  )
virtual

Reimplemented from jit_instruction.

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

References alive(), check_alive(), malive, jit_block::mark_alive(), jit_instruction::parent(), and successor().

Referenced by jit_block::maybe_split(), and jit_infer::remove_dead().

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_instruction *>::iterator jit_instruction::location ( void  ) const
inlineinherited

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

References jit_instruction::mlocation.

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

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().

jit_block* jit_instruction::parent ( void  ) const
inlineinherited

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

References jit_instruction::mparent.

Referenced by jit_function::call(), jit_phi::infer(), infer(), jit_phi::prune(), jit_infer::simplify_phi(), jit_use::user_parent(), and jit_phi_incomming::user_parent().

llvm::BasicBlock * jit_instruction::parent_llvm ( void  ) const
inherited

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

References jit_instruction::mparent, and jit_block::to_llvm().

virtual void jit_instruction::pop_variable ( void  )
inlinevirtualinherited

Reimplemented in jit_assign_base.

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

Referenced by jit_block::pop_all().

virtual std::ostream& jit_value::print ( std::ostream &  os,
size_t  indent = 0 
) const
pure virtualinherited

Implemented in jit_return, jit_store_argument, jit_extract_argument, jit_magic_end, jit_error_check, jit_call, jit_cond_branch, jit_branch, jit_phi, jit_assign, jit_variable, jit_block, jit_const< T, EXTRACT_T, PASS_T, QUOTE >, and jit_argument.

Referenced by jit_print(), jit_block::print(), jit_value::print_string(), and jit_value::short_print().

std::ostream& jit_instruction::print_argument ( std::ostream &  os,
size_t  i 
) const
inlineinherited

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

References jit_instruction::argument(), and jit_value::short_print().

Referenced by jit_call::print().

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(), jit_block::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().

std::ostream& jit_terminator::print_successor ( std::ostream &  os,
size_t  idx = 0 
) const
inline

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

References alive(), jit_block::short_print(), and successor().

Referenced by jit_branch::print(), jit_cond_branch::print(), and jit_error_check::print().

void jit_instruction::push_argument ( jit_value *  arg)
inlineinherited

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

References jit_instruction::already_infered, arg(), jit_instruction::marguments, and jit_instruction::stash_argument().

Referenced by jit_phi::add_incomming().

virtual void jit_instruction::push_variable ( void  )
inlinevirtualinherited

Reimplemented in jit_assign_base.

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

Referenced by jit_infer::do_construct_ssa().

void jit_instruction::remove ( void  )
inherited

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

References jit_instruction::mlocation, jit_instruction::mparent, jit_block::remove(), and jit_instruction::resize_arguments().

Referenced by jit_infer::do_construct_ssa(), jit_block::merge(), jit_infer::release_dead_phi(), and jit_infer::remove_dead().

void jit_value::replace_with ( jit_value *  value)
virtualinherited

Reimplemented in jit_block.

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

References jit_internal_list< jit_value, jit_use >::first_use(), jit_use::index(), jit_instruction::stash_argument(), and jit_use::user().

Referenced by jit_phi::prune(), and jit_infer::release_dead_phi().

static void jit_instruction::reset_ids ( void  )
inlinestaticinherited

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

References jit_instruction::next_id().

Referenced by jit_convert::initialize().

void jit_instruction::resize_arguments ( size_t  acount,
jit_value *  adefault = 0 
)
inlineinherited

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

References jit_instruction::already_infered, jit_instruction::marguments, and jit_instruction::stash_argument().

Referenced by jit_magic_end::jit_magic_end(), jit_phi::prune(), and jit_instruction::remove().

std::ostream & jit_instruction::short_print ( std::ostream &  os) const
virtualinherited

Reimplemented from jit_value.

Reimplemented in jit_magic_end, and jit_assign_base.

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

References jit_print(), jit_instruction::mid, and jit_value::type().

Referenced by jit_phi::print(), jit_call::print(), and jit_extract_argument::print().

void jit_instruction::stash_argument ( size_t  i,
jit_value *  arg 
)
inlineinherited

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

References jit_instruction::marguments.

Referenced by jit_instruction::do_construct_ssa(), jit_instruction::jit_instruction(), jit_magic_end::jit_magic_end(), jit_block::maybe_split(), jit_phi::prune(), jit_instruction::push_argument(), jit_value::replace_with(), jit_instruction::resize_arguments(), and jit_infer::simplify_phi().

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_instruction::stash_parent ( jit_block *  aparent,
std::list< jit_instruction * >::iterator  alocation 
)
inlineinherited

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

References jit_instruction::mlocation, and jit_instruction::mparent.

Referenced by jit_block::insert_after(), jit_block::insert_before(), jit_block::internal_append(), jit_block::merge(), jit_block::prepend(), and jit_block::remove().

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_terminator::successor ( size_t  idx = 0) const
inline

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

References jit_instruction::argument().

Referenced by jit_infer::append_users_term(), infer(), print_successor(), jit_infer::remove_dead(), jit_block::successor(), successor_index(), and successor_llvm().

size_t jit_terminator::successor_count ( void  ) const
inline

Reimplemented in jit_cond_branch, and jit_branch.

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

References malive.

Referenced by jit_infer::append_users_term(), jit_infer::remove_dead(), jit_block::successor_count(), and successor_index().

size_t jit_terminator::successor_index ( const jit_block *  asuccessor) const

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

References panic_impossible, successor(), and successor_count().

Referenced by alive(), and jit_block::maybe_split().

llvm::BasicBlock* jit_terminator::successor_llvm ( size_t  idx = 0) const
inline

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

References successor(), and jit_block::to_llvm().

Referenced by jit_convert_llvm::visit().

llvm::TerminatorInst * jit_terminator::to_llvm ( void  ) const

Reimplemented from jit_value.

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

Referenced by jit_typeinfo::register_intrinsic().

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.

size_t jit_internal_list< jit_value , jit_use >::use_count ( void  ) const
inlineinherited

Reimplemented in jit_block.

Definition at line 115 of file jit-util.h.

Referenced by jit_call::infer(), jit_call::print(), and jit_block::use_count().

Member Data Documentation

std::vector<jit_type *> jit_instruction::already_infered
protectedinherited

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

Referenced by jit_instruction::argument_types(), jit_call::infer(), jit_instruction::jit_instruction(), jit_instruction::push_argument(), and jit_instruction::resize_arguments().

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 jit_block::to_llvm().

std::vector<bool> jit_terminator::malive
private

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

Referenced by jit_block::alive(), alive(), infer(), jit_block::mark_alive(), and successor_count().

The documentation for this class was generated from the following files:
Generated on Mon Dec 30 2013 03:06:11 for GNU Octave by   doxygen 1.8.1.2