Perform a bounds-check for an array-access. More...

Inheritance diagram for cacao::jit::compiler2::ARRAYBOUNDSCHECKInst:

Public Member Functions
	ARRAYBOUNDSCHECKInst (Value arrayref, Value index)
	Construct an ARRAYBOUNDSCHECKInst. More...

virtual Instruction *	get_objectref ()
	Get the corresponding object reference. More...

virtual bool	is_homogeneous () const

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

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

virtual DereferenceInst *	to_DereferenceInst ()
	Conversion method. More...

virtual ARRAYBOUNDSCHECKInst *	to_ARRAYBOUNDSCHECKInst ()
	Casting method. More...

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

Public Member Functions inherited from cacao::jit::compiler2::BinaryInst
	BinaryInst (InstID id, Type::TypeID type, Value op1, Value op2)
	Construct a BinaryInst. More...

virtual BinaryInst *	to_BinaryInst ()
	Conversion method. 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 UnaryInst *	to_UnaryInst ()

virtual FieldAccessInst *	to_FieldAccessInst ()

virtual CHECKNULLInst *	to_CHECKNULLInst ()

virtual ARRAYLENGTHInst *	to_ARRAYLENGTHInst ()

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 AssumptionInst *	to_AssumptionInst ()

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::DereferenceInst
	DereferenceInst ()

void	set_needs_null_check (bool needs_null_check)
	Control whether a null-check is needed to safeguard the dereference. More...

bool	get_needs_null_check () const
	Whether a null-check is needed to safeguard the dereference. More...

virtual bool	needs_source_state ()

virtual	~DereferenceInst ()

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	~SourceStateAwareInst ()

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

Perform a bounds-check for an array-access.

Definition at line 1389 of file Instructions.hpp.

Constructor & Destructor Documentation

cacao::jit::compiler2::ARRAYBOUNDSCHECKInst::ARRAYBOUNDSCHECKInst	(	Value *	arrayref,
		Value *	index
	)

inlineexplicit

Construct an ARRAYBOUNDSCHECKInst.

Parameters

arrayref	The reference to the accessed array.
index	The accessed index.

Definition at line 1398 of file Instructions.hpp.

Member Function Documentation

virtual void cacao::jit::compiler2::ARRAYBOUNDSCHECKInst::accept	(	InstructionVisitor &	v,
		bool	copyOperands
	)

inlinevirtual

Visitor pattern.

Implements cacao::jit::compiler2::Instruction.

Definition at line 1440 of file Instructions.hpp.

virtual Instruction* cacao::jit::compiler2::ARRAYBOUNDSCHECKInst::get_objectref ( )

inlinevirtual

Get the corresponding object reference.

Implements cacao::jit::compiler2::DereferenceInst.

Definition at line 1406 of file Instructions.hpp.

virtual bool cacao::jit::compiler2::ARRAYBOUNDSCHECKInst::is_homogeneous ( ) const

inlinevirtual

See Also: Instruction::is_homogeneous()

Reimplemented from cacao::jit::compiler2::Instruction.

Definition at line 1415 of file Instructions.hpp.

virtual ARRAYBOUNDSCHECKInst* cacao::jit::compiler2::ARRAYBOUNDSCHECKInst::to_ARRAYBOUNDSCHECKInst ( )

inlinevirtual

Casting method.

Reimplemented from cacao::jit::compiler2::Instruction.

Definition at line 1435 of file Instructions.hpp.

virtual DereferenceInst* cacao::jit::compiler2::ARRAYBOUNDSCHECKInst::to_DereferenceInst ( )

inlinevirtual

Conversion method.

Implements cacao::jit::compiler2::DereferenceInst.

Definition at line 1430 of file Instructions.hpp.

virtual Instruction* cacao::jit::compiler2::ARRAYBOUNDSCHECKInst::to_Instruction ( )

inlinevirtual

Casting method.

Reimplemented from cacao::jit::compiler2::Instruction.

Definition at line 1420 of file Instructions.hpp.

virtual SourceStateAwareInst* cacao::jit::compiler2::ARRAYBOUNDSCHECKInst::to_SourceStateAwareInst ( )

inlinevirtual

Casting method.

Reimplemented from cacao::jit::compiler2::Instruction.

Definition at line 1425 of file Instructions.hpp.

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

/home/bbc/buildbot/slave/doxygen/source/cacao/src/vm/jit/compiler2/Instructions.hpp

Public Member Functions

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation