public final class MIR_Branch extends ArchInstructionFormat
Instruction
contains
an explanation of the role of InstructionFormats in the
opt compiler's IR.MIR_Binary_format, MIR_Binary_traits, MIR_Branch_format, MIR_Branch_traits, MIR_CacheOp_format, MIR_CacheOp_traits, MIR_Call_format, MIR_Call_traits, MIR_CondBranch_format, MIR_CondBranch_traits, MIR_CondBranch2_format, MIR_CondBranch2_traits, MIR_CondCall_format, MIR_CondCall_traits, MIR_Condition_format, MIR_Condition_traits, MIR_DataInt_format, MIR_DataInt_traits, MIR_DataLabel_format, MIR_DataLabel_traits, MIR_Empty_format, MIR_Empty_traits, MIR_Load_format, MIR_Load_traits, MIR_LoadUpdate_format, MIR_LoadUpdate_traits, MIR_LowTableSwitch_format, MIR_LowTableSwitch_traits, MIR_Move_format, MIR_Move_traits, MIR_Nullary_format, MIR_Nullary_traits, MIR_Return_format, MIR_Return_traits, MIR_RotateAndMask_format, MIR_RotateAndMask_traits, MIR_Store_format, MIR_Store_traits, MIR_StoreUpdate_format, MIR_StoreUpdate_traits, MIR_Ternary_format, MIR_Ternary_traits, MIR_Trap_format, MIR_Trap_traits, MIR_Unary_format, MIR_Unary_traits
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 and Description |
---|
MIR_Branch() |
Modifier and Type | Method and Description |
---|---|
static boolean |
conforms(Instruction i)
InstructionFormat identification method for MIR_Branch.
|
static boolean |
conforms(Operator o)
InstructionFormat identification method for MIR_Branch.
|
static Instruction |
create(Operator o)
Create an instruction of the MIR_Branch instruction format.
|
static Instruction |
create(Operator o,
BranchOperand Target)
Create an instruction of the MIR_Branch instruction format.
|
static BranchOperand |
getClearTarget(Instruction i)
Get the operand called Target from the argument
instruction clearing its instruction pointer.
|
static BranchOperand |
getTarget(Instruction i)
Get the operand called Target from the
argument instruction.
|
static boolean |
hasTarget(Instruction i)
Does the argument instruction have a non-null
operand named Target?
|
static int |
indexOfTarget(Instruction i)
Return the index of the operand called Target
in the argument instruction.
|
static Instruction |
mutate(Instruction i,
Operator o)
Mutate the argument instruction into an instruction of the
MIR_Branch instruction format having the specified
operator and operands.
|
static Instruction |
mutate(Instruction i,
Operator o,
BranchOperand Target)
Mutate the argument instruction into an instruction of the
MIR_Branch instruction format having the specified
operator and operands.
|
static void |
setTarget(Instruction i,
BranchOperand Target)
Set the operand called Target in the argument
instruction to the argument operand.
|
fail, fail
public MIR_Branch()
public static boolean conforms(Instruction i)
i
- an instructiontrue
if the InstructionFormat of the argument
instruction is MIR_Branch or false
if it is not.public static boolean conforms(Operator o)
o
- an instructiontrue
if the InstructionFormat of the argument
operator is MIR_Branch or false
if it is not.public static BranchOperand getTarget(Instruction i)
i
- the instruction to fetch the operand frompublic static BranchOperand getClearTarget(Instruction i)
i
- the instruction to fetch the operand frompublic static void setTarget(Instruction i, BranchOperand Target)
i
- the instruction in which to store the operandTarget
- the operand to storepublic static int indexOfTarget(Instruction i)
i
- the instruction to access.public static boolean hasTarget(Instruction i)
i
- the instruction to access.true
if the instruction has an non-null
operand named Target or false
if it does not.public static Instruction create(Operator o, BranchOperand Target)
o
- the instruction's operatorTarget
- the instruction's Target operandpublic static Instruction mutate(Instruction i, Operator o, BranchOperand Target)
i
- the instruction to mutateo
- the instruction's operatorTarget
- the instruction's Target operandpublic static Instruction create(Operator o)
o
- the instruction's operatorpublic static Instruction mutate(Instruction i, Operator o)
i
- the instruction to mutateo
- the instruction's operator