Represents a speculative assumption that has to be checked at run-time. More...

Inheritance diagram for cacao::jit::compiler2::AssumptionInst:

Public Member Functions
	AssumptionInst (Value condition, BeginInst guarded_block)
	Construct an AssumptionInst. More...

virtual BeginInst *	get_guarded_block () const
	Get the entry to the region of code that relies on this assumption. More...

virtual bool	is_homogeneous () const

virtual Instruction *	to_Instruction ()
	Conversion method. More...

virtual SourceStateAwareInst *	to_SourceStateAwareInst ()
	Conversion method. More...

virtual AssumptionInst *	to_AssumptionInst ()
	Conversion method. More...

virtual void	accept (InstructionVisitor &v, bool copyOperands)
	Visitor pattern. More...

Public Member Functions inherited from cacao::jit::compiler2::Instruction
	Instruction (InstID opcode, Type::TypeID type, BeginInst *begin=NULL)

virtual	~Instruction ()

int	get_id () const
	return a unique identifier for this instruction More...

InstID	get_opcode () const
	return the opcode of the instruction More...

void	set_Method (Method *M)

Method *	get_Method () const

const_op_iterator	op_begin () const

const_op_iterator	op_end () const

Value *	op_front () const

Value *	op_back () const

size_t	op_size () const

Value *	get_operand (size_t i)

int	get_operand_index (Value *op) const

void	append_dep (Instruction *I)

void	remove_dep (Instruction *I)

virtual bool	verify () const
	Check if the instruction is in a correct state. More...

const_dep_iterator	dep_begin () const

const_dep_iterator	dep_end () const

Instruction *	dep_front () const

Instruction *	dep_back () const

size_t	dep_size () const

const_dep_iterator	rdep_begin () const

const_dep_iterator	rdep_end () const

size_t	rdep_size () const

virtual BeginInst *	get_BeginInst () const
	Get the corresponding BeginInst. More...

virtual bool	set_BeginInst (BeginInst *b)

virtual bool	is_floating () const
	True if the instruction has no fixed control dependencies. More...

virtual bool	has_side_effects () const
	True the instruction has side effects. More...

virtual bool	is_arithmetic () const
	True if the instruction is an arithmetic instruction. More...

virtual bool	is_commutable () const
	True if the operands of the instruction are commutable. More...

virtual DereferenceInst *	to_DereferenceInst ()

virtual UnaryInst *	to_UnaryInst ()

virtual BinaryInst *	to_BinaryInst ()

virtual FieldAccessInst *	to_FieldAccessInst ()

virtual CHECKNULLInst *	to_CHECKNULLInst ()

virtual ARRAYLENGTHInst *	to_ARRAYLENGTHInst ()

virtual ARRAYBOUNDSCHECKInst *	to_ARRAYBOUNDSCHECKInst ()

virtual NEGInst *	to_NEGInst ()

virtual CASTInst *	to_CASTInst ()

virtual ADDInst *	to_ADDInst ()

virtual SUBInst *	to_SUBInst ()

virtual MULInst *	to_MULInst ()

virtual DIVInst *	to_DIVInst ()

virtual REMInst *	to_REMInst ()

virtual SHLInst *	to_SHLInst ()

virtual USHRInst *	to_USHRInst ()

virtual ANDInst *	to_ANDInst ()

virtual ORInst *	to_ORInst ()

virtual XORInst *	to_XORInst ()

virtual CMPInst *	to_CMPInst ()

virtual CONSTInst *	to_CONSTInst ()

virtual GETFIELDInst *	to_GETFIELDInst ()

virtual PUTFIELDInst *	to_PUTFIELDInst ()

virtual PUTSTATICInst *	to_PUTSTATICInst ()

virtual GETSTATICInst *	to_GETSTATICInst ()

virtual INCInst *	to_INCInst ()

virtual AREFInst *	to_AREFInst ()

virtual ASTOREInst *	to_ASTOREInst ()

virtual ALOADInst *	to_ALOADInst ()

virtual LOADInst *	to_LOADInst ()

virtual NEWInst *	to_NEWInst ()

virtual NEWARRAYInst *	to_NEWARRAYInst ()

virtual ANEWARRAYInst *	to_ANEWARRAYInst ()

virtual MULTIANEWARRAYInst *	to_MULTIANEWARRAYInst ()

virtual CHECKCASTInst *	to_CHECKCASTInst ()

virtual INSTANCEOFInst *	to_INSTANCEOFInst ()

virtual GOTOInst *	to_GOTOInst ()

virtual BUILTINInst *	to_BUILTINInst ()

virtual INVOKEInst *	to_INVOKEInst ()

virtual INVOKEVIRTUALInst *	to_INVOKEVIRTUALInst ()

virtual INVOKESPECIALInst *	to_INVOKESPECIALInst ()

virtual INVOKESTATICInst *	to_INVOKESTATICInst ()

virtual INVOKEINTERFACEInst *	to_INVOKEINTERFACEInst ()

virtual IFInst *	to_IFInst ()

virtual IF_CMPInst *	to_IF_CMPInst ()

virtual TABLESWITCHInst *	to_TABLESWITCHInst ()

virtual LOOKUPSWITCHInst *	to_LOOKUPSWITCHInst ()

virtual RETURNInst *	to_RETURNInst ()

virtual THROWInst *	to_THROWInst ()

virtual PHIInst *	to_PHIInst ()

virtual BeginInst *	to_BeginInst ()

virtual EndInst *	to_EndInst ()

virtual SourceStateInst *	to_SourceStateInst ()

virtual ReplacementEntryInst *	to_ReplacementEntryInst ()

virtual DeoptimizeInst *	to_DeoptimizeInst ()

const char *	get_name () const

virtual OStream &	print (OStream &OS) const
	print More...

Public Member Functions inherited from cacao::jit::compiler2::Value
	Value (Type::TypeID type)

Type::TypeID	get_type () const
	get the value type of the instruction More...

virtual	~Value ()

UserListTy::const_iterator	user_begin () const

UserListTy::const_iterator	user_end () const

size_t	user_size () const
	Get the number of (unique) users. More...

void	replace_value (Value *v)
	Replace this Value this the new one in all users. More...

Public Member Functions inherited from cacao::jit::compiler2::SourceStateAwareInst
	SourceStateAwareInst ()
	Construct a SourceStateAwareInst. More...

SourceStateInst *	get_source_state () const
	Get the SourceStateInst that corresponds to this Instruction. More...

void	set_source_state (SourceStateInst *source_state)
	Set the SourceStateInst that corresponds to this Instruction. More...

virtual bool	needs_source_state ()

virtual	~SourceStateAwareInst ()

Private Attributes
BeginInst *	guarded_block
	The entry to the region of code that relies on this assumption. More...

Additional Inherited Members
Public Types inherited from cacao::jit::compiler2::Instruction
enum	InstID { UnaryInstID, BinaryInstID, FieldAccessInstID, CHECKNULLInstID, ARRAYLENGTHInstID, ARRAYBOUNDSCHECKInstID, NEGInstID, CASTInstID, ADDInstID, SUBInstID, MULInstID, DIVInstID, REMInstID, SHLInstID, USHRInstID, ANDInstID, ORInstID, XORInstID, CMPInstID, CONSTInstID, GETFIELDInstID, PUTFIELDInstID, PUTSTATICInstID, GETSTATICInstID, INCInstID, AREFInstID, ASTOREInstID, ALOADInstID, LOADInstID, NEWInstID, NEWARRAYInstID, ANEWARRAYInstID, MULTIANEWARRAYInstID, CHECKCASTInstID, INSTANCEOFInstID, GOTOInstID, BUILTINInstID, INVOKEInstID, INVOKEVIRTUALInstID, INVOKESPECIALInstID, INVOKESTATICInstID, INVOKEINTERFACEInstID, IFInstID, IF_CMPInstID, TABLESWITCHInstID, LOOKUPSWITCHInstID, RETURNInstID, THROWInstID, PHIInstID, BeginInstID, EndInstID, SourceStateInstID, ReplacementEntryInstID, AssumptionInstID, DeoptimizeInstID, NoInstID }

typedef alloc::vector< Value * > ::type	OperandListTy

typedef alloc::list < Instruction * >::type	DepListTy

typedef OperandListTy::iterator	op_iterator

typedef DepListTy::iterator	dep_iterator

typedef OperandListTy::const_iterator	const_op_iterator

typedef DepListTy::const_iterator	const_dep_iterator

Public Types inherited from cacao::jit::compiler2::Value
typedef alloc::unordered_set < Instruction * >::type	UserListTy

Static Public Member Functions inherited from cacao::jit::compiler2::memory::ManagerMixin< Value >
static void *	operator new (std::size_t size) throw (std::bad_alloc)
	normal new More...

static void *	operator new (std::size_t size, void *ptr) throw ()
	placement new More...

static void *	operator new (std::size_t size, const std::nothrow_t &nt) throw ()
	nothrow new More...

static void	operator delete (void *pMemory) throw ()
	normal delete More...

static void	operator delete (void pMemory, void ptr) throw ()
	placement delete More...

static void	operator delete (void *pMemory, const std::nothrow_t &) throw ()
	nothrow delete More...

static void *	operator new[] (std::size_t size) throw (std::bad_alloc)
	normal new[] More...

static void *	operator new[] (std::size_t size, void *ptr) throw ()
	placement new[] More...

static void *	operator new[] (std::size_t size, const std::nothrow_t &nt) throw ()
	nothrow new[] More...

static void	operator delete[] (void *pMemory) throw ()
	normal delete[] More...

static void	operator delete[] (void pMemory, void ptr) throw ()
	placement delete[] More...

static void	operator delete[] (void *pMemory, const std::nothrow_t &) throw ()
	nothrow delete[] More...

Protected Member Functions inherited from cacao::jit::compiler2::Instruction
	Instruction ()

void	append_op (Value *v)

virtual void	replace_op (Value v_old, Value v_new)

OStream &	print_operands (OStream &OS)

Protected Member Functions inherited from cacao::jit::compiler2::Value
void	append_user (Instruction *I)

OStream &	print_users (OStream &OS) const

void	user_remove (Instruction *I)

void	set_type (Type::TypeID t)

Protected Attributes inherited from cacao::jit::compiler2::Instruction
const InstID	opcode

Method *	method

const int	id

BeginInst *	begin

Detailed Description

Represents a speculative assumption that has to be checked at run-time.

Optimizations that rely on speculative assumptions may generate AssumptionInst in order to avoid the illegal execution of speculatively transformed program regions. In case a speculation fails at run-time, deoptimization will be triggered to transfer execution back to an unoptimized version of this method.

Definition at line 2097 of file Instructions.hpp.

Constructor & Destructor Documentation

cacao::jit::compiler2::AssumptionInst::AssumptionInst	(	Value *	condition,
		BeginInst *	guarded_block
	)

inlineexplicit

Construct an AssumptionInst.

Parameters

condition	A boolean HIR expression that encodes the speculative assumption to check.
guarded_block	The entry to the region of the code that relies on this assumption and thus needs to be guarded against illegal execution.

Definition at line 2116 of file Instructions.hpp.