Package ghidra.pcode.emu.jit.gen.op

Interface OpGen<T extends JitOp>

Type Parameters:
T - the class of p-code op node in the use-def graph
All Known Subinterfaces:
BinOpGen<T>, FloatCompareBinOpGen<T>, FloatConvertUnOpGen<T>, FloatOpBinOpGen<T>, FloatOpUnOpGen<T>, IntBitwiseBinOpGen<T>, IntCompareBinOpGen<T>, IntCountUnOpGen<T>, IntExtUnOpGen<T>, IntOpBinOpGen<T>, IntOpUnOpGen<T>, IntPredBinOpGen<T>, IntShiftBinOpGen<T>, UnOpGen<T>
All Known Implementing Classes:
BoolAndOpGen, BoolNegateOpGen, BoolOrOpGen, BoolXorOpGen, BranchIndOpGen, BranchOpGen, CallOtherMissingOpGen, CallOtherOpGen, CatenateOpGen, CBranchOpGen, CopyOpGen, FloatAbsOpGen, FloatAddOpGen, FloatCeilOpGen, FloatDivOpGen, FloatEqualOpGen, FloatFloat2FloatOpGen, FloatFloorOpGen, FloatInt2FloatOpGen, FloatLessEqualOpGen, FloatLessOpGen, FloatMultOpGen, FloatNaNOpGen, FloatNegOpGen, FloatNotEqualOpGen, FloatRoundOpGen, FloatSqrtOpGen, FloatSubOpGen, FloatTruncOpGen, Int2CompOpGen, IntAddOpGen, IntAndOpGen, IntCarryOpGen, IntDivOpGen, IntEqualOpGen, IntLeftOpGen, IntLessEqualOpGen, IntLessOpGen, IntMultOpGen, IntNegateOpGen, IntNotEqualOpGen, IntOrOpGen, IntRemOpGen, IntRightOpGen, IntSBorrowOpGen, IntSCarryOpGen, IntSDivOpGen, IntSExtOpGen, IntSLessEqualOpGen, IntSLessOpGen, IntSRemOpGen, IntSRightOpGen, IntSubOpGen, IntXorOpGen, IntZExtOpGen, LoadOpGen, LzCountOpGen, NopOpGen, PhiOpGen, PopCountOpGen, StoreOpGen, SubPieceOpGen, SynthSubPieceOpGen, UnimplementedOpGen
public interface OpGen<T extends JitOp>
The bytecode generator for a specific p-code op

The JitCodeGenerator selects the correct generator for each PcodeOp using JitDataFlowModel.getJitOp(PcodeOp) and lookup(JitOp). The following table lists each p-code op, its use-def class, its generator class, and a brief strategy for its bytecode implementation.

P-code Op Use-Def Type Generator Type Bytecodes / Methods
Misc Data
unimplemented JitUnimplementedOp UnimplementedOpGen new, athrow
copy JitCopyOp CopyOpGen none; defers to VarGen
load JitLoadOp LoadOpGen JitCompiledPassage.readIntLE4(byte[], int), etc.
store JitStoreOp StoreOpGen JitCompiledPassage.writeIntLE4(int, byte[], int), etc.
Control Flow
branch,
call		 JitBranchOp BranchOpGen goto, areturn
cbranch JitCBranchOp CBranchOpGen ifeq, ifne, goto, areturn
branchind,
callind,
return		 JitBranchIndOp BranchIndOpGen areturn
callother JitCallOtherOp,
JitCallOtherDefOp,
JitCallOtherMissingOp,
JitNopOp		 CallOtherOpGen,
CallOtherMissingOpGen,
NopOpGen		 See JitDataFlowUseropLibrary:
Integer Comparison
int_equal JitIntEqualOp IntEqualOpGen if_icmpeq, ifeq
int_notequal JitIntNotEqualOp IntNotEqualOpGen if_icmpne, ifne
int_sless JitIntSLessOp IntSLessOpGen if_icmplt, iflt
int_slessequal JitIntSLessEqualOp IntSLessEqualOpGen if_icmple, ifle
int_less JitIntLessOp IntLessOpGen Integer.compareUnsigned(int, int), iflt, etc.
int_lessequal JitIntLessEqualOp IntLessEqualOpGen Integer.compareUnsigned(int, int), ifle, etc.
Integer Arithmetic
int_zext JitIntZExtOp IntZExtOpGen none; defers to VarGen and Opnd
int_sext JitIntSExtOp IntSExtOpGen none; defers to VarGen and Opnd
int_add JitIntAddOp IntAddOpGen iadd, ladd
int_sub JitIntSubOp IntSubOpGen isub, lsub
int_carry JitIntCarryOp IntCarryOpGen Integer.compareUnsigned(int, int), iadd, ishr, etc.
int_scarry JitIntSCarryOp IntSCarryOpGen JitCompiledPassage.sCarryIntRaw(int, int), ishr, etc.
int_sborrow JitIntSBorrowOp IntSBorrowOpGen JitCompiledPassage.sBorrowIntRaw(int, int), ishr, etc.
int_2comp JitInt2CompOp Int2CompOpGen ineg, lneg
int_negate JitIntNegateOp IntNegateOpGen iconst_m1, ixor, etc.
int_xor JitIntXorOp IntXorOpGen ixor, lxor
int_and JitIntAndOp IntAndOpGen iand, land
int_or JitIntOrOp IntOrOpGen ior, lor
int_left JitIntLeftOp IntLeftOpGen JitCompiledPassage.intLeft(int, int), etc.
int_right JitIntRightOp IntRightOpGen JitCompiledPassage.intRight(int, int), etc.
int_sright JitIntSRightOp IntSRightOpGen JitCompiledPassage.intSRight(int, int), etc.
int_mult JitIntMultOp IntMultOpGen imul, lmul
int_div JitIntDivOp IntDivOpGen Integer.divideUnsigned(int, int), etc.
int_sdiv JitIntSDivOp IntSDivOpGen idiv, ldiv
int_rem JitIntRemOp IntRemOpGen Integer.remainderUnsigned(int, int), etc.
int_srem JitIntSRemOp IntSRemOpGen irem, lrem
Boolean Logic
bool_negate JitBoolNegateOp BoolNegateOpGen Conditional jumps to ldc 0 or 1
bool_xor JitBoolXorOp BoolXorOpGen Conditional jumps to ldc 0 or 1
bool_and JitBoolAndOp BoolAndOpGen Conditional jumps to ldc 0 or 1
bool_or JitBoolOrOp BoolOrOpGen Conditional jumps to ldc 0 or 1
Float Comparison
float_equal JitFloatEqualOp FloatEqualOpGen fcmpl, dcmpl, ifeq
float_notequal JitFloatNotEqualOp FloatNotEqualOpGen fcmpl, dcmpl, ifne
float_less JitFloatLessOp FloatLessOpGen fcmpg, dcmpg, iflt
float_lessequal JitFloatLessEqualOp FloatLessEqualOpGen fcmpg, dcmpg, ifle
float_nan JitFloatNaNOp FloatNaNOpGen Float.isNaN(float), Double.isNaN(double)
Float Arithmetic
float_add JitFloatAddOp FloatAddOpGen fadd, dadd
float_div JitFloatDivOp FloatDivOpGen fdiv, ddiv
float_mult JitFloatMultOp FloatMultOpGen fmul, dmul
float_sub JitFloatSubOp FloatSubOpGen fsub, dsub
float_neg JitFloatNegOp FloatNegOpGen fneg, dneg
float_abs JitFloatAbsOp FloatAbsOpGen Math.abs(float), Math.abs(double)
float_sqrt JitFloatSqrtOp FloatSqrtOpGen Math.sqrt(double)
float_int2float JitFloatInt2FloatOp FloatInt2FloatOpGen i2f, i2d, l2f, l2d
float_float2float JitFloatFloat2FloatOp FloatFloat2FloatOpGen f2d, d2f
float_trunc JitFloatTruncOp FloatTruncOpGen f2i, f2l, d2i, d2l
float_ceil JitFloatCeilOp FloatCeilOpGen Math.ceil(double)
float_floor JitFloatFloorOp FloatFloorOpGen Math.floor(double)
float_round JitFloatRoundOp FloatRoundOpGen +0.5 then Math.floor(double)
Miscellaneous
subpiece JitSubPieceOp SubPieceOpGen iushr, lushr
popcount JitPopCountOp PopCountOpGen Integer.bitCount(int), etc.
lzcount JitLzCountOp LzCountOpGen Integer.numberOfLeadingZeros(int), etc.
Synthetic
(none) JitCatenateOp CatenateOpGen
(none) JitSynthSubPieceOp SynthSubPieceOpGen
(none) JitPhiOp PhiOpGen

There are other p-code ops. Some are only used in "high" p-code, and so we need not implement them here. Others are used in abstract virtual machines, e.g., PcodeOp.NEW or are just not yet implemented, e.g., PcodeOp.SEGMENTOP.

The mapping from PcodeOp opcode to JitOp is done in, e.g., JitOp.binOp(PcodeOp, JitOutVar, JitVal, JitVal), and the mapping from JitOp to OpGen is done in lookup(JitOp).

The synthetic use-def nodes do not correspond to any p-code op. They are synthesized based on access patterns to the JitDataFlowState. Their generators do not emit any bytecode. See JitVarScopeModel regarding coalescing and allocating variables.