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

Interface IntShiftBinOpGen<T extends JitIntBinOp>

Type Parameters:

T - the class of p-code op node in the use-def graph

All Superinterfaces:

BinOpGen<T>, OpGen<T>

All Known Implementing Classes:

IntLeftOpGen, IntRightOpGen, IntSRightOpGen

public interface IntShiftBinOpGen<T extends JitIntBinOp>
extends BinOpGen<T>

An extension for integer shift operators

This is just going to invoke one of the JitCompiledPassage.intLeft(int, int), JitCompiledPassage.intRight(int, int), JitCompiledPassage.intSRight(int, int), or one of their overloaded methods, depending on the operand types.

Nested Class Summary

Nested classes/interfaces inherited from interface ghidra.pcode.emu.jit.gen.op.BinOpGen

BinOpGen.TakeOut

Nested classes/interfaces inherited from interface ghidra.pcode.emu.jit.gen.op.OpGen

OpGen.DeadOpResult, OpGen.LiveOpResult, OpGen.OpResult

Method Summary

Modifier and Type	Method	Description
default <THIS extends JitCompiledPassage> OpGen.OpResult	genRun(Emitter<Emitter.Bot> em, Local<Types.TRef<THIS>> localThis, Local<Types.TInt> localCtxmod, Methods.RetReq<Types.TRef<JitCompiledPassage.EntryPoint>> retReq, JitCodeGenerator<THIS> gen, T op, JitControlFlowModel.JitBlock block, Scope scope)	Emit bytecode into the run method.
default <THIS extends JitCompiledPassage, N extends Emitter.Next> Emitter<N>	genShiftMpMp(Emitter<N> em, Local<Types.TRef<THIS>> localThis, JitCodeGenerator<THIS> gen, JitVar outVar, JitType.MpIntJitType outType, JitVal lVal, JitType.MpIntJitType lType, JitVal rVal, JitType.MpIntJitType rType, Scope scope, Methods.MthDesc<Types.TVoid,Emitter.Ent<Emitter.Ent<Emitter.Ent<Emitter.Ent<Emitter.Bot,Types.TRef<int[]>>,Types.TInt>,Types.TRef<int[]>>,Types.TRef<int[]>>> mdesc)	The implementation when both operands are mp-ints
default <THIS extends JitCompiledPassage, RT extends Types.BPrim<?>, RJT extends JitType.SimpleJitType<RT, RJT>, N extends Emitter.Next> Emitter<N>	genShiftMpPrim(Emitter<N> em, Local<Types.TRef<THIS>> localThis, JitCodeGenerator<THIS> gen, JitVar outVar, JitType.MpIntJitType outType, JitVal lVal, JitType.MpIntJitType lType, JitVal rVal, RJT rType, Scope scope, Methods.MthDesc<Types.TVoid,Emitter.Ent<Emitter.Ent<Emitter.Ent<Emitter.Ent<Emitter.Bot,Types.TRef<int[]>>,Types.TInt>,Types.TRef<int[]>>,RT>> mdesc)	The implementation when the left operand is an mp-int and the right is a primitive
default <THIS extends JitCompiledPassage, LT extends Types.BPrim<?>, LJT extends JitType.SimpleJitType<LT, LJT>, N extends Emitter.Next> Emitter<N>	genShiftPrimMp(Emitter<N> em, Local<Types.TRef<THIS>> localThis, JitCodeGenerator<THIS> gen, JitVar outVar, LJT outType, JitVal lVal, LJT lType, JitVal rVal, JitType.MpIntJitType rType, Scope scope, Methods.MthDesc<LT,Emitter.Ent<Emitter.Ent<Emitter.Bot,LT>,Types.TRef<int[]>>> mdesc)	The implementation when the left operand is a primitive and the right operand is an mp-int
default <THIS extends JitCompiledPassage, LT extends Types.BPrim<?>, LJT extends JitType.SimpleJitType<LT, LJT>, RT extends Types.BPrim<?>, RJT extends JitType.SimpleJitType<RT, RJT>, N extends Emitter.Next> Emitter<N>	genShiftPrimPrim(Emitter<N> em, Local<Types.TRef<THIS>> localThis, JitCodeGenerator<THIS> gen, JitVar outVar, LJT outType, JitVal lVal, LJT lType, JitVal rVal, RJT rType, Scope scope, Methods.MthDesc<LT,Emitter.Ent<Emitter.Ent<Emitter.Bot,LT>,RT>> mdesc)	The implementation when both operands are simple primitives
String	methodName()	The name of the static method in JitCompiledPassage to invoke
default Opnd.Ext	rExt()	When loading the right operand, the kind of extension to apply

Methods inherited from interface ghidra.pcode.emu.jit.gen.op.BinOpGen

ext, genMpDelegationToStaticMethod, isSigned

Method Details

rExt

default Opnd.Ext rExt()

When loading the right operand, the kind of extension to apply

The shift amount is always treated unsigned.

Specified by:

rExt in interface BinOpGen<T extends JitIntBinOp>

Returns:

the extension kind

methodName

String methodName()

The name of the static method in JitCompiledPassage to invoke

Returns:

the name

genShiftPrimPrim

default <THIS extends JitCompiledPassage,
LT extends Types.BPrim<?>,
LJT extends JitType.SimpleJitType<LT,
LJT>,
RT extends Types.BPrim<?>,
RJT extends JitType.SimpleJitType<RT,
RJT>,
N extends Emitter.Next>
Emitter<N> genShiftPrimPrim(Emitter<N> em,
 Local<Types.TRef<THIS>> localThis,
 JitCodeGenerator<THIS> gen,
 JitVar outVar,
 LJT outType,
 JitVal lVal,
 LJT lType,
 JitVal rVal,
 RJT rType,
 Scope scope,
 Methods.MthDesc<LT,Emitter.Ent<Emitter.Ent<Emitter.Bot,LT>,RT>> mdesc)

The implementation when both operands are simple primitives

Type Parameters:

THIS - the type of the generated passage

LT - the JVM type of the left operand

LJT - the p-code type of the left operand

RT - the JVM type of the right operand

RJT - the p-code type of the right operand

N - the incoming stack

Parameters:

em - the emitter typed with the incoming stack

localThis - a handle to the local holding the this reference

gen - the code generator

outVar - the output operand

outType - the p-code type of the output value

lVal - the left operand

lType - the p-code type of the left operand

rVal - the right operand

rType - the p-code type of the right operand

scope - a scope for generating temporary local storage

mdesc - the descriptor of the (overloaded) method

Returns:

the emitter typed with the incoming stack

genShiftMpPrim

default <THIS extends JitCompiledPassage,
RT extends Types.BPrim<?>,
RJT extends JitType.SimpleJitType<RT,
RJT>,
N extends Emitter.Next>
Emitter<N> genShiftMpPrim(Emitter<N> em,
 Local<Types.TRef<THIS>> localThis,
 JitCodeGenerator<THIS> gen,
 JitVar outVar,
 JitType.MpIntJitType outType,
 JitVal lVal,
 JitType.MpIntJitType lType,
 JitVal rVal,
 RJT rType,
 Scope scope,
 Methods.MthDesc<Types.TVoid,Emitter.Ent<Emitter.Ent<Emitter.Ent<Emitter.Ent<Emitter.Bot,Types.TRef<int[]>>,Types.TInt>,Types.TRef<int[]>>,RT>> mdesc)

The implementation when the left operand is an mp-int and the right is a primitive

Type Parameters:

THIS - the type of the generated passage

RT - the JVM type of the right operand

RJT - the p-code type of the right operand

N - the incoming stack

Parameters:

em - the emitter typed with the incoming stack

localThis - a handle to the local holding the this reference

gen - the code generator

outVar - the output operand

outType - the p-code type of the output value

lVal - the left operand

lType - the p-code type of the left operand

rVal - the right operand

rType - the p-code type of the right operand

scope - a scope for generating temporary local storage

mdesc - the descriptor of the (overloaded) method

Returns:

the emitter typed with the incoming stack

genShiftPrimMp

default <THIS extends JitCompiledPassage,
LT extends Types.BPrim<?>,
LJT extends JitType.SimpleJitType<LT,
LJT>,
N extends Emitter.Next>
Emitter<N> genShiftPrimMp(Emitter<N> em,
 Local<Types.TRef<THIS>> localThis,
 JitCodeGenerator<THIS> gen,
 JitVar outVar,
 LJT outType,
 JitVal lVal,
 LJT lType,
 JitVal rVal,
 JitType.MpIntJitType rType,
 Scope scope,
 Methods.MthDesc<LT,Emitter.Ent<Emitter.Ent<Emitter.Bot,LT>,Types.TRef<int[]>>> mdesc)

The implementation when the left operand is a primitive and the right operand is an mp-int

Type Parameters:

THIS - the type of the generated passage

LT - the JVM type of the left operand

LJT - the p-code type of the left operand

N - the incoming stack

Parameters:

em - the emitter typed with the incoming stack

localThis - a handle to the local holding the this reference

gen - the code generator

outVar - the output operand

outType - the p-code type of the output value

lVal - the left operand

lType - the p-code type of the left operand

rVal - the right operand

rType - the p-code type of the right operand

scope - a scope for generating temporary local storage

mdesc - the descriptor of the (overloaded) method

Returns:

the emitter typed with the incoming stack

genShiftMpMp

default <THIS extends JitCompiledPassage,
N extends Emitter.Next>
Emitter<N> genShiftMpMp(Emitter<N> em,
 Local<Types.TRef<THIS>> localThis,
 JitCodeGenerator<THIS> gen,
 JitVar outVar,
 JitType.MpIntJitType outType,
 JitVal lVal,
 JitType.MpIntJitType lType,
 JitVal rVal,
 JitType.MpIntJitType rType,
 Scope scope,
 Methods.MthDesc<Types.TVoid,Emitter.Ent<Emitter.Ent<Emitter.Ent<Emitter.Ent<Emitter.Bot,Types.TRef<int[]>>,Types.TInt>,Types.TRef<int[]>>,Types.TRef<int[]>>> mdesc)

The implementation when both operands are mp-ints

Type Parameters:

THIS - the type of the generated passage

N - the incoming stack

Parameters:

em - the emitter typed with the incoming stack

localThis - a handle to the local holding the this reference

gen - the code generator

outVar - the output operand

outType - the p-code type of the output value

lVal - the left operand

lType - the p-code type of the left operand

rVal - the right operand

rType - the p-code type of the right operand

scope - a scope for generating temporary local storage

mdesc - the descriptor of the (overloaded) method

Returns:

the emitter typed with the incoming stack

genRun

default <THIS extends JitCompiledPassage>
OpGen.OpResult genRun(Emitter<Emitter.Bot> em,
 Local<Types.TRef<THIS>> localThis,
 Local<Types.TInt> localCtxmod,
 Methods.RetReq<Types.TRef<JitCompiledPassage.EntryPoint>> retReq,
 JitCodeGenerator<THIS> gen,
 T op,
 JitControlFlowModel.JitBlock block,
 Scope scope)

Emit bytecode into the run method.

This method must emit the code needed to load any input operands, convert them to the appropriate type, perform the actual operation, and then if applicable, store the output operand. The implementations should delegate to JitCodeGenerator.genReadToStack(Emitter, Local, JitVal, ghidra.pcode.emu.jit.analysis.JitType.SimpleJitType, Ext), JitCodeGenerator.genWriteFromStack(Emitter, Local, JitVar, ghidra.pcode.emu.jit.analysis.JitType.SimpleJitType, Ext, Scope) or similar for mp-int types.

This reduces the implementation to just the name of the method to invoke. This will select the JVM signature of the method based on the p-code operand types.

Specified by:

genRun in interface OpGen<T extends JitIntBinOp>

Type Parameters:

THIS - the type of the generated passage

Parameters:

em - the emitter typed with the empty stack

localThis - a handle to the local holding the this reference

localCtxmod - a handle to the local holding ctxmod

retReq - an indication of what must be returned by this JitCompiledPassage.run(int) method.

gen - the code generator

op - the p-code op (use-def node) to translate

block - the basic block containing the p-code op

scope - a scope for generating temporary local storage

Returns:

the result of emitting the p-code op's bytecode