public final class MIR_Condition 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_Condition() |
Modifier and Type | Method and Description |
---|---|
static boolean |
conforms(Instruction i)
InstructionFormat identification method for MIR_Condition.
|
static boolean |
conforms(Operator o)
InstructionFormat identification method for MIR_Condition.
|
static Instruction |
create(Operator o,
IntConstantOperand ResultBit,
IntConstantOperand Value1Bit,
IntConstantOperand Value2Bit)
Create an instruction of the MIR_Condition instruction format.
|
static IntConstantOperand |
getClearResultBit(Instruction i)
Get the operand called ResultBit from the argument
instruction clearing its instruction pointer.
|
static IntConstantOperand |
getClearValue1Bit(Instruction i)
Get the operand called Value1Bit from the argument
instruction clearing its instruction pointer.
|
static IntConstantOperand |
getClearValue2Bit(Instruction i)
Get the operand called Value2Bit from the argument
instruction clearing its instruction pointer.
|
static IntConstantOperand |
getResultBit(Instruction i)
Get the operand called ResultBit from the
argument instruction.
|
static IntConstantOperand |
getValue1Bit(Instruction i)
Get the operand called Value1Bit from the
argument instruction.
|
static IntConstantOperand |
getValue2Bit(Instruction i)
Get the operand called Value2Bit from the
argument instruction.
|
static boolean |
hasResultBit(Instruction i)
Does the argument instruction have a non-null
operand named ResultBit?
|
static boolean |
hasValue1Bit(Instruction i)
Does the argument instruction have a non-null
operand named Value1Bit?
|
static boolean |
hasValue2Bit(Instruction i)
Does the argument instruction have a non-null
operand named Value2Bit?
|
static int |
indexOfResultBit(Instruction i)
Return the index of the operand called ResultBit
in the argument instruction.
|
static int |
indexOfValue1Bit(Instruction i)
Return the index of the operand called Value1Bit
in the argument instruction.
|
static int |
indexOfValue2Bit(Instruction i)
Return the index of the operand called Value2Bit
in the argument instruction.
|
static Instruction |
mutate(Instruction i,
Operator o,
IntConstantOperand ResultBit,
IntConstantOperand Value1Bit,
IntConstantOperand Value2Bit)
Mutate the argument instruction into an instruction of the
MIR_Condition instruction format having the specified
operator and operands.
|
static void |
setResultBit(Instruction i,
IntConstantOperand ResultBit)
Set the operand called ResultBit in the argument
instruction to the argument operand.
|
static void |
setValue1Bit(Instruction i,
IntConstantOperand Value1Bit)
Set the operand called Value1Bit in the argument
instruction to the argument operand.
|
static void |
setValue2Bit(Instruction i,
IntConstantOperand Value2Bit)
Set the operand called Value2Bit in the argument
instruction to the argument operand.
|
fail, fail
public MIR_Condition()
public static boolean conforms(Instruction i)
i
- an instructiontrue
if the InstructionFormat of the argument
instruction is MIR_Condition or false
if it is not.public static boolean conforms(Operator o)
o
- an instructiontrue
if the InstructionFormat of the argument
operator is MIR_Condition or false
if it is not.public static IntConstantOperand getResultBit(Instruction i)
i
- the instruction to fetch the operand frompublic static IntConstantOperand getClearResultBit(Instruction i)
i
- the instruction to fetch the operand frompublic static void setResultBit(Instruction i, IntConstantOperand ResultBit)
i
- the instruction in which to store the operandResultBit
- the operand to storepublic static int indexOfResultBit(Instruction i)
i
- the instruction to access.public static boolean hasResultBit(Instruction i)
i
- the instruction to access.true
if the instruction has an non-null
operand named ResultBit or false
if it does not.public static IntConstantOperand getValue1Bit(Instruction i)
i
- the instruction to fetch the operand frompublic static IntConstantOperand getClearValue1Bit(Instruction i)
i
- the instruction to fetch the operand frompublic static void setValue1Bit(Instruction i, IntConstantOperand Value1Bit)
i
- the instruction in which to store the operandValue1Bit
- the operand to storepublic static int indexOfValue1Bit(Instruction i)
i
- the instruction to access.public static boolean hasValue1Bit(Instruction i)
i
- the instruction to access.true
if the instruction has an non-null
operand named Value1Bit or false
if it does not.public static IntConstantOperand getValue2Bit(Instruction i)
i
- the instruction to fetch the operand frompublic static IntConstantOperand getClearValue2Bit(Instruction i)
i
- the instruction to fetch the operand frompublic static void setValue2Bit(Instruction i, IntConstantOperand Value2Bit)
i
- the instruction in which to store the operandValue2Bit
- the operand to storepublic static int indexOfValue2Bit(Instruction i)
i
- the instruction to access.public static boolean hasValue2Bit(Instruction i)
i
- the instruction to access.true
if the instruction has an non-null
operand named Value2Bit or false
if it does not.public static Instruction create(Operator o, IntConstantOperand ResultBit, IntConstantOperand Value1Bit, IntConstantOperand Value2Bit)
o
- the instruction's operatorResultBit
- the instruction's ResultBit operandValue1Bit
- the instruction's Value1Bit operandValue2Bit
- the instruction's Value2Bit operandpublic static Instruction mutate(Instruction i, Operator o, IntConstantOperand ResultBit, IntConstantOperand Value1Bit, IntConstantOperand Value2Bit)
i
- the instruction to mutateo
- the instruction's operatorResultBit
- the instruction's ResultBit operandValue1Bit
- the instruction's Value1Bit operandValue2Bit
- the instruction's Value2Bit operand