#include "jit-ir.h"

Inheritance diagram for octave::jit_terminator:

[legend]

Collaboration diagram for octave::jit_terminator:

[legend]

Public Member Functions
template<typename ... Args>
	jit_terminator (size_t asuccessor_count, Args... args)

virtual void	accept (jit_ir_walker &walker)=0

bool	alive (const jit_block *asuccessor) const

bool	alive (int idx) const

bool	alive (size_t 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 *m_value)

void	resize_arguments (size_t acount, jit_value *adefault=nullptr)

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

void	stash_argument (size_t i, jit_value *arg)

template<typename ... Args>
void	stash_argument (size_t i, jit_value *arg1, Args... aargs)

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_type)

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 * >	m_already_infered

llvm::Value *	m_llvm_value

Static Private Member Functions
static size_t	next_id (bool reset=false)

Private Attributes
std::vector< bool >	m_alive

std::vector< jit_use >	m_arguments

size_t	m_id

bool	m_in_worklist

jit_instruction *	m_last_use

std::list< jit_instruction * >::iterator	m_location

jit_block *	m_parent

jit_type *	m_type

size_t	m_use_count

jit_use *	m_use_head

jit_use *	m_use_tail

Detailed Description

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

Constructor & Destructor Documentation

◆ jit_terminator()

template<typename ... Args>

octave::jit_terminator::jit_terminator	(	size_t	asuccessor_count,
		Args...	args
	)

inline

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

Member Function Documentation

◆ accept()

virtual void octave::jit_value::accept ( jit_ir_walker & walker )

pure virtualinherited

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

Referenced by octave::jit_convert_llvm::visit().

◆ alive() [1/3]

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

inline

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

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

◆ alive() [2/3]

bool octave::jit_terminator::alive ( int idx ) const

inline

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

◆ alive() [3/3]

bool octave::jit_terminator::alive ( size_t idx ) const

inline

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

◆ argument()

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

inlineinherited

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

Referenced by octave::jit_instruction::do_construct_ssa(), octave::jit_phi::prune(), octave::jit_infer::release_dead_phi(), octave::jit_infer::release_temp(), octave::jit_magic_end::resolve_context(), octave::jit_infer::simplify_phi(), and octave::jit_convert_llvm::visit().

◆ argument_count()

size_t octave::jit_instruction::argument_count ( void ) const

inlineinherited

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

Referenced by octave::jit_convert_llvm::finish_phi(), octave::jit_phi::infer(), octave::jit_call::infer(), octave::jit_phi::prune(), octave::jit_infer::release_dead_phi(), octave::jit_infer::release_temp(), octave::jit_infer::simplify_phi(), and octave::jit_convert_llvm::visit().

◆ argument_llvm()

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

inlineinherited

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

Referenced by octave::jit_convert_llvm::finish_phi().

◆ argument_type()

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

inlineinherited

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

Referenced by octave::jit_phi::infer(), and octave::jit_call::infer().

◆ argument_type_llvm()

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

inlineinherited

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

◆ argument_types()

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

inlineinherited

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

◆ arguments()

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

inlineinherited

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

Referenced by octave::jit_convert_llvm::visit().

◆ check_alive()

virtual bool octave::jit_terminator::check_alive ( size_t ) const

inlineprotectedvirtual

Reimplemented in octave::jit_error_check.

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

Referenced by infer().

◆ construct_ssa()

virtual void octave::jit_instruction::construct_ssa ( void )

inlinevirtualinherited

Reimplemented in octave::jit_phi.

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

Referenced by octave::jit_infer::do_construct_ssa().

◆ do_construct_ssa()

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

protectedinherited

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

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

◆ first_use()

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

inlineinherited

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

◆ first_use_block()

jit_block * octave::jit_value::first_use_block ( void )

inherited

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

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

Referenced by octave::jit_infer::release_temp().

◆ has_llvm()

bool octave::jit_value::has_llvm ( void ) const

inlineinherited

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

◆ id()

size_t octave::jit_instruction::id ( void ) const

inlineinherited

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

◆ in_worklist()

bool octave::jit_value::in_worklist ( void ) const

inlineinherited

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

Referenced by octave::jit_infer::push_worklist().

◆ infer()

bool octave::jit_terminator::infer ( void )

virtual

Reimplemented from octave::jit_instruction.

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

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

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

◆ last_use()

jit_instruction* octave::jit_value::last_use ( void ) const

inlineinherited

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

◆ location()

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

inlineinherited

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

◆ needs_release()

virtual bool octave::jit_value::needs_release ( void ) const

inlinevirtualinherited

Reimplemented in octave::jit_call.

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

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

◆ next_id()

static size_t octave::jit_instruction::next_id ( bool reset = false )

inlinestaticprivateinherited

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

◆ parent()

jit_block* octave::jit_instruction::parent ( void ) const

inlineinherited

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

Referenced by octave::jit_phi::infer(), infer(), octave::jit_phi::prune(), octave::jit_infer::simplify_phi(), octave::jit_use::user_parent(), and octave::jit_phi_incoming::user_parent().

◆ parent_llvm()

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

inherited

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

References octave::jit_instruction::m_parent, and octave::jit_block::to_llvm().

◆ pop_variable()

virtual void octave::jit_instruction::pop_variable ( void )

inlinevirtualinherited

Reimplemented in octave::jit_assign_base.

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

Referenced by octave::jit_block::pop_all().

◆ print()

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

pure virtualinherited

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

Referenced by octave::jit_print(), and octave::jit_block::print().

◆ print_argument()

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

inlineinherited

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

◆ print_indent()

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

inlineprotectedinherited

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

Referenced by octave::jit_block::print(), octave::jit_error_check::print(), and octave::jit_magic_end::print().

◆ print_string()

std::string octave::jit_value::print_string ( void )

inlineinherited

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

◆ print_successor()

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

inline

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

Referenced by octave::jit_error_check::print().

◆ push_argument()

void octave::jit_instruction::push_argument ( jit_value * arg )

inlineinherited

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

◆ push_variable()

virtual void octave::jit_instruction::push_variable ( void )

inlinevirtualinherited

Reimplemented in octave::jit_assign_base.

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

Referenced by octave::jit_infer::do_construct_ssa().

◆ remove()

void octave::jit_instruction::remove ( void )

inherited

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

References octave::jit_instruction::m_location, octave::jit_instruction::m_parent, octave::jit_block::remove(), and octave::jit_instruction::resize_arguments().

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

◆ replace_with()

void octave::jit_value::replace_with ( jit_value * m_value )

virtualinherited

Reimplemented in octave::jit_block.

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

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

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

◆ reset_ids()

static void octave::jit_instruction::reset_ids ( void )

inlinestaticinherited

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

Referenced by octave::jit_convert::initialize().

◆ resize_arguments()

void octave::jit_instruction::resize_arguments	(	size_t	acount,
		jit_value *	adefault = `nullptr`
	)

inlineinherited

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

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

◆ short_print()

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

virtualinherited

Reimplemented from octave::jit_value.

Reimplemented in octave::jit_magic_end, and octave::jit_assign_base.

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

References octave::jit_print(), octave::jit_instruction::m_id, and octave::jit_value::type().

◆ stash_argument() [1/2]

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

inlineinherited

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

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

◆ stash_argument() [2/2]

template<typename ... Args>

void octave::jit_instruction::stash_argument	(	size_t	i,
		jit_value *	arg1,
		Args...	aargs
	)

inlineinherited

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

◆ stash_in_worklist()

void octave::jit_value::stash_in_worklist ( bool ain_worklist )

inlineinherited

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

Referenced by octave::jit_infer::push_worklist().

◆ stash_last_use()

void octave::jit_value::stash_last_use ( jit_instruction * alast_use )

inlineinherited

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

◆ stash_llvm()

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

inlineinherited

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

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

◆ stash_parent()

void octave::jit_instruction::stash_parent	(	jit_block *	aparent,
		std::list< jit_instruction * >::iterator	alocation
	)

inlineinherited

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

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

◆ stash_type()

void octave::jit_value::stash_type ( jit_type * new_type )

inlineinherited

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

Referenced by octave::jit_phi::infer(), octave::jit_call::infer(), and octave::jit_magic_end::infer().

◆ successor()

jit_block* octave::jit_terminator::successor ( size_t idx = 0 ) const

inline

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

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

◆ successor_count()

size_t octave::jit_terminator::successor_count ( void ) const

inline

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

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

◆ successor_index()

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

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

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

Referenced by octave::jit_block::maybe_split().

◆ successor_llvm()

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

inline

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

Referenced by octave::jit_convert_llvm::visit().

◆ to_llvm()

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

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

References octave::jit_value::to_llvm().

◆ type()

jit_type* octave::jit_value::type ( void ) const

inlineinherited

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

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

◆ type_llvm()

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

inlineinherited

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

Referenced by octave::jit_convert_llvm::visit().

◆ type_name()

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

inlineinherited

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

◆ use_count()

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

inlineinherited

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

Member Data Documentation

◆ m_alive

std::vector<bool> octave::jit_terminator::m_alive

private

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

Referenced by infer().

◆ m_already_infered

std::vector<jit_type *> octave::jit_instruction::m_already_infered

protectedinherited

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

Referenced by octave::jit_call::infer().

◆ m_arguments

std::vector<jit_use> octave::jit_instruction::m_arguments

privateinherited

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

◆ m_id

size_t octave::jit_instruction::m_id

privateinherited

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

Referenced by octave::jit_instruction::short_print().

◆ m_in_worklist

bool octave::jit_value::m_in_worklist

privateinherited

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

◆ m_last_use

jit_instruction* octave::jit_value::m_last_use

privateinherited

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

◆ m_llvm_value

llvm::Value* octave::jit_value::m_llvm_value

protectedinherited

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

Referenced by octave::jit_block::to_llvm().

◆ m_location

std::list<jit_instruction *>::iterator octave::jit_instruction::m_location

privateinherited

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

Referenced by octave::jit_instruction::remove().

◆ m_parent

jit_block* octave::jit_instruction::m_parent

privateinherited

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

Referenced by octave::jit_instruction::parent_llvm(), and octave::jit_instruction::remove().

◆ m_type

jit_type* octave::jit_value::m_type

privateinherited

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

◆ m_use_count

size_t octave::jit_internal_list< jit_value , jit_use >::m_use_count

privateinherited

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

◆ m_use_head

jit_use * octave::jit_internal_list< jit_value , jit_use >::m_use_head

privateinherited

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

◆ m_use_tail

jit_use * octave::jit_internal_list< jit_value , jit_use >::m_use_tail

privateinherited

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

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

libinterp/parse-tree/jit-ir.h
libinterp/parse-tree/jit-ir.cc

Public Member Functions

Static Public Member Functions

Protected Member Functions

Protected Attributes

Static Private Member Functions

Private Attributes

Detailed Description

Constructor & Destructor Documentation

◆ jit_terminator()

Member Function Documentation

◆ accept()

◆ alive() [1/3]

◆ alive() [2/3]

◆ alive() [3/3]

◆ argument()

◆ argument_count()

◆ argument_llvm()

◆ argument_type()

◆ argument_type_llvm()

◆ argument_types()

◆ arguments()

◆ check_alive()

◆ construct_ssa()

◆ do_construct_ssa()

◆ first_use()

◆ first_use_block()

◆ has_llvm()

◆ id()

◆ in_worklist()

◆ infer()

◆ last_use()

◆ location()

◆ needs_release()

◆ next_id()

◆ parent()

◆ parent_llvm()

◆ pop_variable()

◆ print()

◆ print_argument()

◆ print_indent()

◆ print_string()

◆ print_successor()

◆ push_argument()

◆ push_variable()

◆ remove()

◆ replace_with()

◆ reset_ids()

◆ resize_arguments()

◆ short_print()

◆ stash_argument() [1/2]

◆ stash_argument() [2/2]

◆ stash_in_worklist()

◆ stash_last_use()

◆ stash_llvm()

◆ stash_parent()

◆ stash_type()

◆ successor()

◆ successor_count()

◆ successor_index()

◆ successor_llvm()

◆ to_llvm()

◆ type()

◆ type_llvm()

◆ type_name()

◆ use_count()

Member Data Documentation

◆ m_alive

◆ m_already_infered

◆ m_arguments

◆ m_id

◆ m_in_worklist

◆ m_last_use

◆ m_llvm_value

◆ m_location

◆ m_parent

◆ m_type

◆ m_use_count

◆ m_use_head

◆ m_use_tail