org.jikesrvm.compilers.opt.ir

Class TypeCheck

java.lang.Object

org.jikesrvm.compilers.opt.ir.InstructionFormat

org.jikesrvm.compilers.opt.ir.TypeCheck

public final class TypeCheck
extends InstructionFormat

The TypeCheck InstructionFormat class. The header comment for Instruction contains an explanation of the role of InstructionFormats in the opt compiler's IR.

Field Summary

Fields inherited from class org.jikesrvm.compilers.opt.ir.InstructionFormat

ALoad_format, ALoad_traits, ARCH_INDEPENDENT_INSTR_FORMAT_END_format, AStore_format, AStore_traits, Athrow_format, Athrow_traits, Attempt_format, Attempt_traits, BBend_format, BBend_traits, Binary_format, Binary_traits, BooleanCmp_format, BooleanCmp_traits, BoundsCheck_format, BoundsCheck_traits, CacheOp_format, CacheOp_traits, Call_format, Call_traits, CondMove_format, CondMove_traits, Empty_format, Empty_traits, GetField_format, GetField_traits, GetStatic_format, GetStatic_traits, Goto_format, Goto_traits, GuardedBinary_format, GuardedBinary_traits, GuardedSet_format, GuardedSet_traits, GuardedUnary_format, GuardedUnary_traits, IfCmp_format, IfCmp_traits, IfCmp2_format, IfCmp2_traits, InlineGuard_format, InlineGuard_traits, InstanceOf_format, InstanceOf_traits, InstrumentedCounter_format, InstrumentedCounter_traits, Label_format, Label_traits, Load_format, Load_traits, LookupSwitch_format, LookupSwitch_traits, LowTableSwitch_format, LowTableSwitch_traits, MIN_OPERAND_ARRAY_LENGTH, MonitorOp_format, MonitorOp_traits, Move_format, Move_traits, Multianewarray_format, Multianewarray_traits, New_format, New_traits, NewArray_format, NewArray_traits, Nullary_format, Nullary_traits, NullCheck_format, NullCheck_traits, OsrBarrier_format, OsrBarrier_traits, OsrPoint_format, OsrPoint_traits, Phi_format, Phi_traits, Prepare_format, Prepare_traits, Prologue_format, Prologue_traits, PutField_format, PutField_traits, PutStatic_format, PutStatic_traits, Return_format, Return_traits, Store_format, Store_traits, StoreCheck_format, StoreCheck_traits, TableSwitch_format, TableSwitch_traits, Trap_format, Trap_traits, TrapIf_format, TrapIf_traits, TypeCheck_format, TypeCheck_traits, Unary_format, Unary_traits, Unassigned_format, ZeroCheck_format, ZeroCheck_traits

Constructor Summary

Constructors

Constructor and Description
TypeCheck()

Method Summary

Modifier and Type	Method and Description
static boolean	conforms(Instruction i) InstructionFormat identification method for TypeCheck.
static boolean	conforms(Operator o) InstructionFormat identification method for TypeCheck.
static Instruction	create(Operator o, RegisterOperand Result, Operand Ref, TypeOperand Type) Create an instruction of the TypeCheck instruction format.
static Instruction	create(Operator o, RegisterOperand Result, Operand Ref, TypeOperand Type, Operand Guard) Create an instruction of the TypeCheck instruction format.
static Operand	getClearGuard(Instruction i) Get the operand called Guard from the argument instruction clearing its instruction pointer.
static Operand	getClearRef(Instruction i) Get the operand called Ref from the argument instruction clearing its instruction pointer.
static RegisterOperand	getClearResult(Instruction i) Get the operand called Result from the argument instruction clearing its instruction pointer.
static TypeOperand	getClearType(Instruction i) Get the operand called Type from the argument instruction clearing its instruction pointer.
static Operand	getGuard(Instruction i) Get the operand called Guard from the argument instruction.
static Operand	getRef(Instruction i) Get the operand called Ref from the argument instruction.
static RegisterOperand	getResult(Instruction i) Get the operand called Result from the argument instruction.
static TypeOperand	getType(Instruction i) Get the operand called Type from the argument instruction.
static boolean	hasGuard(Instruction i) Does the argument instruction have a non-null operand named Guard?
static boolean	hasRef(Instruction i) Does the argument instruction have a non-null operand named Ref?
static boolean	hasResult(Instruction i) Does the argument instruction have a non-null operand named Result?
static boolean	hasType(Instruction i) Does the argument instruction have a non-null operand named Type?
static int	indexOfGuard(Instruction i) Return the index of the operand called Guard in the argument instruction.
static int	indexOfRef(Instruction i) Return the index of the operand called Ref in the argument instruction.
static int	indexOfResult(Instruction i) Return the index of the operand called Result in the argument instruction.
static int	indexOfType(Instruction i) Return the index of the operand called Type in the argument instruction.
static Instruction	mutate(Instruction i, Operator o, RegisterOperand Result, Operand Ref, TypeOperand Type) Mutate the argument instruction into an instruction of the TypeCheck instruction format having the specified operator and operands.
static Instruction	mutate(Instruction i, Operator o, RegisterOperand Result, Operand Ref, TypeOperand Type, Operand Guard) Mutate the argument instruction into an instruction of the TypeCheck instruction format having the specified operator and operands.
static void	setGuard(Instruction i, Operand Guard) Set the operand called Guard in the argument instruction to the argument operand.
static void	setRef(Instruction i, Operand Ref) Set the operand called Ref in the argument instruction to the argument operand.
static void	setResult(Instruction i, RegisterOperand Result) Set the operand called Result in the argument instruction to the argument operand.
static void	setType(Instruction i, TypeOperand Type) Set the operand called Type in the argument instruction to the argument operand.

Methods inherited from class org.jikesrvm.compilers.opt.ir.InstructionFormat

fail, fail

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TypeCheck

public TypeCheck()

Method Detail

conforms

public static boolean conforms(Instruction i)

InstructionFormat identification method for TypeCheck.

Parameters:

i - an instruction

Returns:

true if the InstructionFormat of the argument instruction is TypeCheck or false if it is not.

conforms

public static boolean conforms(Operator o)

InstructionFormat identification method for TypeCheck.

Parameters:

o - an instruction

Returns:

true if the InstructionFormat of the argument operator is TypeCheck or false if it is not.

getResult

public static RegisterOperand getResult(Instruction i)

Get the operand called Result from the argument instruction. Note that the returned operand will still point to its containing instruction.

Parameters:

i - the instruction to fetch the operand from

Returns:

the operand called Result

getClearResult

public static RegisterOperand getClearResult(Instruction i)

Get the operand called Result from the argument instruction clearing its instruction pointer. The returned operand will not point to any containing instruction.

Parameters:

i - the instruction to fetch the operand from

Returns:

the operand called Result

setResult

public static void setResult(Instruction i,
                             RegisterOperand Result)

Set the operand called Result in the argument instruction to the argument operand. The operand will now point to the argument instruction as its containing instruction.

Parameters:

i - the instruction in which to store the operand

Result - the operand to store

indexOfResult

public static int indexOfResult(Instruction i)

Return the index of the operand called Result in the argument instruction.

Parameters:

i - the instruction to access.

Returns:

the index of the operand called Result in the argument instruction

hasResult

public static boolean hasResult(Instruction i)

Does the argument instruction have a non-null operand named Result?

Parameters:

i - the instruction to access.

Returns:

true if the instruction has an non-null operand named Result or false if it does not.

getRef

public static Operand getRef(Instruction i)

Get the operand called Ref from the argument instruction. Note that the returned operand will still point to its containing instruction.

Parameters:

i - the instruction to fetch the operand from

Returns:

the operand called Ref

getClearRef

public static Operand getClearRef(Instruction i)

Get the operand called Ref from the argument instruction clearing its instruction pointer. The returned operand will not point to any containing instruction.

Parameters:

i - the instruction to fetch the operand from

Returns:

the operand called Ref

setRef

public static void setRef(Instruction i,
                          Operand Ref)

Set the operand called Ref in the argument instruction to the argument operand. The operand will now point to the argument instruction as its containing instruction.

Parameters:

i - the instruction in which to store the operand

Ref - the operand to store

indexOfRef

public static int indexOfRef(Instruction i)

Return the index of the operand called Ref in the argument instruction.

Parameters:

i - the instruction to access.

Returns:

the index of the operand called Ref in the argument instruction

hasRef

public static boolean hasRef(Instruction i)

Does the argument instruction have a non-null operand named Ref?

Parameters:

i - the instruction to access.

Returns:

true if the instruction has an non-null operand named Ref or false if it does not.

getType

public static TypeOperand getType(Instruction i)

Get the operand called Type from the argument instruction. Note that the returned operand will still point to its containing instruction.

Parameters:

i - the instruction to fetch the operand from

Returns:

the operand called Type

getClearType

public static TypeOperand getClearType(Instruction i)

Get the operand called Type from the argument instruction clearing its instruction pointer. The returned operand will not point to any containing instruction.

Parameters:

i - the instruction to fetch the operand from

Returns:

the operand called Type

setType

public static void setType(Instruction i,
                           TypeOperand Type)

Set the operand called Type in the argument instruction to the argument operand. The operand will now point to the argument instruction as its containing instruction.

Parameters:

i - the instruction in which to store the operand

Type - the operand to store

indexOfType

public static int indexOfType(Instruction i)

Return the index of the operand called Type in the argument instruction.

Parameters:

i - the instruction to access.

Returns:

the index of the operand called Type in the argument instruction

hasType

public static boolean hasType(Instruction i)

Does the argument instruction have a non-null operand named Type?

Parameters:

i - the instruction to access.

Returns:

true if the instruction has an non-null operand named Type or false if it does not.

getGuard

public static Operand getGuard(Instruction i)

Get the operand called Guard from the argument instruction. Note that the returned operand will still point to its containing instruction.

Parameters:

i - the instruction to fetch the operand from

Returns:

the operand called Guard

getClearGuard

public static Operand getClearGuard(Instruction i)

Get the operand called Guard from the argument instruction clearing its instruction pointer. The returned operand will not point to any containing instruction.

Parameters:

i - the instruction to fetch the operand from

Returns:

the operand called Guard

setGuard

public static void setGuard(Instruction i,
                            Operand Guard)

Set the operand called Guard in the argument instruction to the argument operand. The operand will now point to the argument instruction as its containing instruction.

Parameters:

i - the instruction in which to store the operand

Guard - the operand to store

indexOfGuard

public static int indexOfGuard(Instruction i)

Return the index of the operand called Guard in the argument instruction.

Parameters:

i - the instruction to access.

Returns:

the index of the operand called Guard in the argument instruction

hasGuard

public static boolean hasGuard(Instruction i)

Does the argument instruction have a non-null operand named Guard?

Parameters:

i - the instruction to access.

Returns:

true if the instruction has an non-null operand named Guard or false if it does not.

create

public static Instruction create(Operator o,
                                 RegisterOperand Result,
                                 Operand Ref,
                                 TypeOperand Type,
                                 Operand Guard)

Create an instruction of the TypeCheck instruction format.

Parameters:

o - the instruction's operator

Result - the instruction's Result operand

Ref - the instruction's Ref operand

Type - the instruction's Type operand

Guard - the instruction's Guard operand

Returns:

the newly created TypeCheck instruction

mutate

public static Instruction mutate(Instruction i,
                                 Operator o,
                                 RegisterOperand Result,
                                 Operand Ref,
                                 TypeOperand Type,
                                 Operand Guard)

Mutate the argument instruction into an instruction of the TypeCheck instruction format having the specified operator and operands.

Parameters:

i - the instruction to mutate

o - the instruction's operator

Result - the instruction's Result operand

Ref - the instruction's Ref operand

Type - the instruction's Type operand

Guard - the instruction's Guard operand

Returns:

the mutated instruction

create

public static Instruction create(Operator o,
                                 RegisterOperand Result,
                                 Operand Ref,
                                 TypeOperand Type)

Create an instruction of the TypeCheck instruction format.

Parameters:

o - the instruction's operator

Result - the instruction's Result operand

Ref - the instruction's Ref operand

Type - the instruction's Type operand

Returns:

the newly created TypeCheck instruction

mutate

public static Instruction mutate(Instruction i,
                                 Operator o,
                                 RegisterOperand Result,
                                 Operand Ref,
                                 TypeOperand Type)

Mutate the argument instruction into an instruction of the TypeCheck instruction format having the specified operator and operands.

Parameters:

i - the instruction to mutate

o - the instruction's operator

Result - the instruction's Result operand

Ref - the instruction's Ref operand

Type - the instruction's Type operand

Returns:

the mutated instruction