Invoke an instance method with special handling. More...

Inheritance diagram for cacao::jit::compiler2::INVOKESPECIALInst:

Public Member Functions
	INVOKESPECIALInst (Type::TypeID type, unsigned size, constant_FMIref fmiref, BeginInst begin, Instruction state_change, SourceStateInst source_state)
	Construct an INVOKESPECIALInst. More...

virtual INVOKESPECIALInst *	to_INVOKESPECIALInst ()
	Conversion method. More...

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

Public Member Functions inherited from cacao::jit::compiler2::INVOKEInst
	INVOKEInst (InstID ID, Type::TypeID type, unsigned size, constant_FMIref fmiref, BeginInst begin, Instruction state_change, SourceStateInst source_state)
	Construct an INVOKEInst. More...

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

virtual SourceStateInst *	get_SourceStateInst () const

virtual bool	is_homogeneous () const

virtual bool	has_side_effects () const
	Pessimistically assume that each kind of invocation has side-effects. More...

virtual bool	is_floating () const
	An INVOKEInst is not allowed to float, it has to stay fixed in the CFG. More...

void	append_parameter (Value *V)
	Append a parameter that has to be passed to the invoked method. More...

MethodDescriptor &	get_MethodDescriptor ()
	Get the MethodDescriptor of the method to invoke. More...

constant_FMIref *	get_fmiref () const
	Get information about the method to invoke. More...

virtual INVOKEInst *	to_INVOKEInst ()
	Conversion method. More...

Public Member Functions inherited from cacao::jit::compiler2::MultiOpInst
	MultiOpInst (InstID id, Type::TypeID type)
	Construct a MultiOpInst. 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	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 Instruction *	to_Instruction ()

virtual SourceStateAwareInst *	to_SourceStateAwareInst ()

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 INVOKEVIRTUALInst *	to_INVOKEVIRTUALInst ()

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

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

Invoke an instance method with special handling.

Definition at line 1733 of file Instructions.hpp.

Constructor & Destructor Documentation

cacao::jit::compiler2::INVOKESPECIALInst::INVOKESPECIALInst	(	Type::TypeID	type,
		unsigned	size,
		constant_FMIref *	fmiref,
		BeginInst *	begin,
		Instruction *	state_change,
		SourceStateInst *	source_state
	)

inlineexplicit

Construct an INVOKESPECIALInst.

Parameters

type	The return type.
size	The number of method parameters.
fmiref	The reference to the corresponding methodinfo.
begin	The BeginInst of the block that contains this INVOKESPECIALInst.
state_change	The previous side-effect.