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

Enum Class BoolNegateOpGen

java.lang.Object
java.lang.Enum<BoolNegateOpGen>
ghidra.pcode.emu.jit.gen.op.BoolNegateOpGen
All Implemented Interfaces:
IntOpUnOpGen<JitBoolNegateOp>, OpGen<JitBoolNegateOp>, UnOpGen<JitBoolNegateOp>, Serializable, Comparable<BoolNegateOpGen>, Constable
public enum BoolNegateOpGen extends Enum<BoolNegateOpGen> implements IntOpUnOpGen<JitBoolNegateOp>
The generator for a bool_negate.

This emits ^1, as observed in code emitted by javac. For multi-precision, we perform that operation only on the least-significant leg.

Implementation Notes:
It is the responsibility of the slaspec author to ensure boolean values are 0 or 1. This allows us to use bitwise logic instead of having to check for any non-zero value, just like OpBehaviorBoolNegate. Additionally, boolean operands ought to be a byte, but certainly no larger than an int (4 bytes).

  • Enum Constant Details

  • Method Details

    • values

      public static BoolNegateOpGen[] values()
      Returns an array containing the constants of this enum class, in the order they are declared.
      Returns:
      an array containing the constants of this enum class, in the order they are declared

    • valueOf

      public static BoolNegateOpGen valueOf(String name)
      Returns the enum constant of this class with the specified name. The string must match exactly an identifier used to declare an enum constant in this class. (Extraneous whitespace characters are not permitted.)
      Parameters:
      name - the name of the enum constant to be returned.
      Returns:
      the enum constant with the specified name
      Throws:
      IllegalArgumentException - if this enum class has no constant with the specified name
      NullPointerException - if the argument is null

    • isSigned

      public boolean isSigned()
      Description copied from interface: UnOpGen
      Whether this operator is signed

      In many cases, the operator itself is not affected by the signedness of the operands; however, if size adjustments to the operands are needed, this can determine how those operands are extended.

      Specified by:
      isSigned in interface UnOpGen<JitBoolNegateOp>
      Returns:
      true for signed, false if not

    • opForInt

      public <N1 extends Emitter.Next, N0 extends Emitter.Ent<N1, Types.TInt>> Emitter<Emitter.Ent<N1,Types.TInt>> opForInt(Emitter<N0> em)
      Description copied from interface: IntOpUnOpGen
      Emit the JVM bytecode to perform the operator with int operands on the stack.
      Specified by:
      opForInt in interface IntOpUnOpGen<JitBoolNegateOp>
      Type Parameters:
      N1 - the tail of the incoming stack
      N0 - the incoming stack with the input operand on top
      Parameters:
      em - the emitter typed with the incoming stack
      Returns:
      the emitter typed with the resulting stack, i.e., the tail with the result pushed

    • opForLong

      public <N1 extends Emitter.Next, N0 extends Emitter.Ent<N1, Types.TLong>> Emitter<Emitter.Ent<N1,Types.TLong>> opForLong(Emitter<N0> em)
      Description copied from interface: IntOpUnOpGen
      Emit the JVM bytecode to perform the operator with long operands on the stack.
      Specified by:
      opForLong in interface IntOpUnOpGen<JitBoolNegateOp>
      Type Parameters:
      N1 - the tail of the incoming stack
      N0 - the incoming stack with the input operand on top
      Parameters:
      em - the emitter typed with the incoming stack
      Returns:
      the emitter typed with the resulting stack, i.e., the tail with the result pushed

    • genRunMpInt

      public <THIS extends JitCompiledPassage> Emitter<Emitter.Bot> genRunMpInt(Emitter<Emitter.Bot> em, Local<Types.TRef<THIS>> localThis, JitCodeGenerator<THIS> gen, JitBoolNegateOp op, JitType.MpIntJitType type, Scope scope)
      Description copied from interface: IntOpUnOpGen
      Emit the JVM bytecode to perform the operator with multi-precision operands.
      Specified by:
      genRunMpInt in interface IntOpUnOpGen<JitBoolNegateOp>
      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
      gen - the code generator
      op - the p-code op
      type - the p-code type of the operands
      scope - a scope for generating temporary local storage
      Returns:
      the emitter typed with the empty stack