GNU Octave  6.2.0
A high-level interpreted language, primarily intended for numerical computations, mostly compatible with Matlab
Public Types | Public Member Functions | Private Member Functions | Private Attributes | List of all members
octave::jit_infer Class Reference

#include "pt-jit.h"

Collaboration diagram for octave::jit_infer:
Collaboration graph
[legend]

Public Types

typedef jit_convert::variable_map variable_map
 

Public Member Functions

 jit_infer (jit_factory &afactory, jit_block_list &ablocks, const variable_map &avmap)
 
jit_block_list & get_blocks (void) const
 
jit_factory & get_factory (void) const
 
void infer (void)
 

Private Member Functions

void append_users (jit_value *v)
 
void append_users_term (jit_terminator *term)
 
void construct_ssa (void)
 
void do_construct_ssa (jit_block &block, size_t avisit_count)
 
jit_block & entry_block (void)
 
jit_block & final_block (void)
 
void place_releases (void)
 
void push_worklist (jit_instruction *instr)
 
void release_dead_phi (jit_block &ablock)
 
void release_temp (jit_block &ablock, std::set< jit_value * > &temp)
 
void remove_dead ()
 
void simplify_phi (jit_phi &phi)
 
void simplify_phi (void)
 

Private Attributes

jit_block_list & m_blocks
 
jit_factory & m_factory
 
const variable_map & m_vmap
 
std::list< jit_instruction * > m_worklist
 

Detailed Description

Definition at line 311 of file pt-jit.h.

Member Typedef Documentation

◆ variable_map

typedef jit_convert::variable_map octave::jit_infer::variable_map

Definition at line 316 of file pt-jit.h.

Constructor & Destructor Documentation

◆ jit_infer()

octave::jit_infer::jit_infer ( jit_factory &  afactory,
jit_block_list &  ablocks,
const variable_map &  avmap 
)

Definition at line 1679 of file pt-jit.cc.

Member Function Documentation

◆ append_users()

void octave::jit_infer::append_users ( jit_value *  v)
private

Definition at line 1721 of file pt-jit.cc.

References octave::jit_internal_list< LIST_T, NODE_T >::first_use(), octave::jit_internal_node< LIST_T, NODE_T >::next(), and push_worklist().

Referenced by infer().

◆ append_users_term()

void octave::jit_infer::append_users_term ( jit_terminator *  term)
private

Definition at line 1728 of file pt-jit.cc.

References octave::jit_terminator::alive(), octave::jit_block::begin(), octave::jit_block::end(), push_worklist(), octave::jit_terminator::successor(), octave::jit_terminator::successor_count(), and octave::jit_block::terminator().

Referenced by infer().

◆ construct_ssa()

void octave::jit_infer::construct_ssa ( void  )
private

Definition at line 1747 of file pt-jit.cc.

References octave::jit_block::compute_df(), octave::jit_block::compute_idom(), octave::jit_factory::create(), octave::jit_block::create_dom_tree(), octave::jit_block::df_begin(), octave::jit_block::df_end(), do_construct_ssa(), entry_block(), final_block(), octave::jit_block::front(), octave::jit_block_list::label(), m_blocks, m_factory, m_vmap, octave::jit_block::prepend(), and octave::jit_block::use_count().

Referenced by infer().

◆ do_construct_ssa()

void octave::jit_infer::do_construct_ssa ( jit_block &  block,
size_t  avisit_count 
)
private

Definition at line 1792 of file pt-jit.cc.

References octave::jit_phi::add_incoming(), octave::jit_block::begin(), octave::jit_instruction::construct_ssa(), octave::jit_assign_base::dest(), octave::jit_block::dom_successor(), octave::jit_block::dom_successor_count(), octave::jit_block::end(), octave::jit_variable::has_top(), octave::jit_variable::name(), octave::jit_block::pop_all(), octave::jit_instruction::push_variable(), octave::jit_instruction::remove(), octave::jit_block::successor(), octave::jit_block::successor_count(), octave::jit_variable::top(), octave::jit_internal_list< LIST_T, NODE_T >::use_count(), and octave::jit_block::visited().

Referenced by construct_ssa().

◆ entry_block()

jit_block& octave::jit_infer::entry_block ( void  )
inlineprivate

Definition at line 342 of file pt-jit.h.

References octave::jit_block_list::front().

Referenced by construct_ssa(), and infer().

◆ final_block()

jit_block& octave::jit_infer::final_block ( void  )
inlineprivate

Definition at line 344 of file pt-jit.h.

References octave::jit_block_list::back().

Referenced by construct_ssa(), and release_temp().

◆ get_blocks()

jit_block_list& octave::jit_infer::get_blocks ( void  ) const
inline

Definition at line 321 of file pt-jit.h.

Referenced by octave::jit_function_info::jit_function_info(), and octave::jit_info::compile().

◆ get_factory()

jit_factory& octave::jit_infer::get_factory ( void  ) const
inline

Definition at line 323 of file pt-jit.h.

◆ infer()

void octave::jit_infer::infer ( void  )

Definition at line 1684 of file pt-jit.cc.

References append_users(), append_users_term(), octave::jit_factory::constants(), construct_ssa(), entry_block(), octave::jit_block_list::label(), m_blocks, m_factory, m_worklist, octave::next, place_releases(), push_worklist(), remove_dead(), and simplify_phi().

Referenced by octave::jit_function_info::jit_function_info(), and octave::jit_info::compile().

◆ place_releases()

void octave::jit_infer::place_releases ( void  )
private

Definition at line 1837 of file pt-jit.cc.

References octave::jit_block_list::begin(), octave::jit_block_list::end(), octave::jit_block::id(), m_blocks, octave::jit_block::NO_ID, release_dead_phi(), and release_temp().

Referenced by infer().

◆ push_worklist()

void octave::jit_infer::push_worklist ( jit_instruction *  instr)
private

Definition at line 1852 of file pt-jit.cc.

References octave::jit_value::in_worklist(), m_worklist, and octave::jit_value::stash_in_worklist().

Referenced by append_users(), append_users_term(), and infer().

◆ release_dead_phi()

void octave::jit_infer::release_dead_phi ( jit_block &  ablock)
private

Definition at line 1912 of file pt-jit.cc.

References octave::jit_instruction::argument(), octave::jit_instruction::argument_count(), octave::jit_block::begin(), octave::jit_factory::create(), octave::jit_block::end(), octave::jit_internal_list< LIST_T, NODE_T >::first_use(), octave::jit_phi::incoming(), octave::jit_block::insert_before(), m_blocks, m_factory, octave::jit_block::maybe_split(), octave::jit_value::needs_release(), octave::config::release(), octave::jit_typeinfo::release(), octave::jit_instruction::remove(), octave::jit_value::replace_with(), octave::jit_block::terminator(), octave::jit_internal_list< LIST_T, NODE_T >::use_count(), and octave::jit_use::user().

Referenced by place_releases().

◆ release_temp()

void octave::jit_infer::release_temp ( jit_block &  ablock,
std::set< jit_value * > &  temp 
)
private

Definition at line 1948 of file pt-jit.cc.

References octave::jit_instruction::argument(), octave::jit_instruction::argument_count(), octave::jit_block::begin(), octave::jit_factory::create(), octave::jit_block::end(), final_block(), octave::jit_value::first_use_block(), octave::jit_block::insert_after(), octave::jit_block::insert_before(), m_blocks, m_factory, octave::jit_block::maybe_split(), octave::jit_value::needs_release(), octave::config::release(), octave::jit_typeinfo::release(), and octave::jit_block::terminator().

Referenced by place_releases().

◆ remove_dead()

void octave::jit_infer::remove_dead ( )
private

Definition at line 1862 of file pt-jit.cc.

References octave::jit_terminator::alive(), octave::jit_block::alive(), octave::jit_block::append(), octave::jit_block_list::begin(), octave::jit_block::begin(), octave::jit_factory::create(), octave::jit_block_list::end(), octave::jit_block::end(), octave::jit_block_list::erase(), octave::jit_terminator::infer(), m_blocks, m_factory, octave::jit_phi::prune(), octave::jit_block::remove(), octave::jit_instruction::remove(), octave::jit_terminator::successor(), octave::jit_terminator::successor_count(), and octave::jit_block::terminator().

Referenced by infer().

◆ simplify_phi() [1/2]

void octave::jit_infer::simplify_phi ( jit_phi &  phi)
private

Definition at line 2013 of file pt-jit.cc.

References octave::jit_instruction::argument(), octave::jit_instruction::argument_count(), octave::jit_typeinfo::cast(), octave::jit_factory::create(), octave::jit_assign_base::dest(), octave::jit_phi::incoming(), octave::jit_instruction::infer(), octave::jit_block::insert_before(), m_blocks, m_factory, octave::jit_block::maybe_split(), octave::jit_instruction::parent(), octave::jit_instruction::stash_argument(), octave::jit_block::terminator(), and octave::jit_value::type().

◆ simplify_phi() [2/2]

void octave::jit_infer::simplify_phi ( void  )
private

Definition at line 2001 of file pt-jit.cc.

References octave::jit_block_list::begin(), octave::jit_block::begin(), octave::jit_block_list::end(), octave::jit_block::end(), and m_blocks.

Referenced by infer().

Member Data Documentation

◆ m_blocks

jit_block_list& octave::jit_infer::m_blocks
private

Definition at line 329 of file pt-jit.h.

Referenced by construct_ssa(), infer(), place_releases(), release_dead_phi(), release_temp(), remove_dead(), and simplify_phi().

◆ m_factory

jit_factory& octave::jit_infer::m_factory
private

Definition at line 330 of file pt-jit.h.

Referenced by construct_ssa(), infer(), release_dead_phi(), release_temp(), remove_dead(), and simplify_phi().

◆ m_vmap

const variable_map& octave::jit_infer::m_vmap
private

Definition at line 331 of file pt-jit.h.

Referenced by construct_ssa().

◆ m_worklist

std::list<jit_instruction *> octave::jit_infer::m_worklist
private

Definition at line 332 of file pt-jit.h.

Referenced by infer(), and push_worklist().

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