Load a value from an array. More...

Inheritance diagram for cacao::jit::compiler2::ALOADInst:

Public Member Functions
	ALOADInst (Type::TypeID type, Value ref, BeginInst begin, Instruction *state_change)
	Construct an ALOADInst. More...

virtual BeginInst *	get_BeginInst () const
	Get the BeginInst of the block that contains this ALOADInst. More...

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

virtual bool	is_homogeneous () const

virtual bool	is_floating () const
	For now consider as fixed to avoid illegal instruction reordering. More...

virtual Instruction *	to_Instruction ()

virtual SourceStateAwareInst *	to_SourceStateAwareInst ()

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

virtual ALOADInst *	to_ALOADInst ()
	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 bool	set_BeginInst (BeginInst *b)

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

Load a value from an array.

TODO The JVM specification uses "aload" to refer to an operation that stores a reference to a local variable. To avoid confusion we should therefore rename this class to something more uncontentious like "ArrayLoadInst".

Definition at line 1322 of file Instructions.hpp.

Constructor & Destructor Documentation

cacao::jit::compiler2::ALOADInst::ALOADInst	(	Type::TypeID	type,
		Value *	ref,
		BeginInst *	begin,
		Instruction *	state_change
	)

inlineexplicit

Construct an ALOADInst.

Parameters

type	The type of the accessed array element.
ref	The reference to the accessed array element.
begin	The BeginInst of the block that contains the ALOADInst.
state_change	The previous side-effect.