|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.jikesrvm.compilers.opt.ir.InstructionFormat org.jikesrvm.compilers.opt.ir.TypeCheck
public final class TypeCheck
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 |
---|
Constructor Summary | |
---|---|
TypeCheck()
|
Method Summary | |
---|---|
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 |
---|
public TypeCheck()
Method Detail |
---|
public static boolean conforms(Instruction i)
i
- an instruction
true
if the InstructionFormat of the argument
instruction is TypeCheck or false
if it is not.public static boolean conforms(Operator o)
o
- an instruction
true
if the InstructionFormat of the argument
operator is TypeCheck or false
if it is not.public static RegisterOperand getResult(Instruction i)
i
- the instruction to fetch the operand from
public static RegisterOperand getClearResult(Instruction i)
i
- the instruction to fetch the operand from
public static void setResult(Instruction i, RegisterOperand Result)
i
- the instruction in which to store the operandResult
- the operand to storepublic static int indexOfResult(Instruction i)
i
- the instruction to access.
public static boolean hasResult(Instruction i)
i
- the instruction to access.
true
if the instruction has an non-null
operand named Result or false
if it does not.public static Operand getRef(Instruction i)
i
- the instruction to fetch the operand from
public static Operand getClearRef(Instruction i)
i
- the instruction to fetch the operand from
public static void setRef(Instruction i, Operand Ref)
i
- the instruction in which to store the operandRef
- the operand to storepublic static int indexOfRef(Instruction i)
i
- the instruction to access.
public static boolean hasRef(Instruction i)
i
- the instruction to access.
true
if the instruction has an non-null
operand named Ref or false
if it does not.public static TypeOperand getType(Instruction i)
i
- the instruction to fetch the operand from
public static TypeOperand getClearType(Instruction i)
i
- the instruction to fetch the operand from
public static void setType(Instruction i, TypeOperand Type)
i
- the instruction in which to store the operandType
- the operand to storepublic static int indexOfType(Instruction i)
i
- the instruction to access.
public static boolean hasType(Instruction i)
i
- the instruction to access.
true
if the instruction has an non-null
operand named Type or false
if it does not.public static Operand getGuard(Instruction i)
i
- the instruction to fetch the operand from
public static Operand getClearGuard(Instruction i)
i
- the instruction to fetch the operand from
public static void setGuard(Instruction i, Operand Guard)
i
- the instruction in which to store the operandGuard
- the operand to storepublic static int indexOfGuard(Instruction i)
i
- the instruction to access.
public static boolean hasGuard(Instruction i)
i
- the instruction to access.
true
if the instruction has an non-null
operand named Guard or false
if it does not.public static Instruction create(Operator o, RegisterOperand Result, Operand Ref, TypeOperand Type, Operand Guard)
o
- the instruction's operatorResult
- the instruction's Result operandRef
- the instruction's Ref operandType
- the instruction's Type operandGuard
- the instruction's Guard operand
public static Instruction mutate(Instruction i, Operator o, RegisterOperand Result, Operand Ref, TypeOperand Type, Operand Guard)
i
- the instruction to mutateo
- the instruction's operatorResult
- the instruction's Result operandRef
- the instruction's Ref operandType
- the instruction's Type operandGuard
- the instruction's Guard operand
public static Instruction create(Operator o, RegisterOperand Result, Operand Ref, TypeOperand Type)
o
- the instruction's operatorResult
- the instruction's Result operandRef
- the instruction's Ref operandType
- the instruction's Type operand
public static Instruction mutate(Instruction i, Operator o, RegisterOperand Result, Operand Ref, TypeOperand Type)
i
- the instruction to mutateo
- the instruction's operatorResult
- the instruction's Result operandRef
- the instruction's Ref operandType
- the instruction's Type operand
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |