Annotation Interface AnnotatedPcodeUseropLibrary.OpInput

Enclosing class:
AnnotatedPcodeUseropLibrary<T>
@Retention(RUNTIME) @Target(PARAMETER) public static @interface AnnotatedPcodeUseropLibrary.OpInput
An annotation to receive an input into a parameter

Parameters without other annotations are assumed inputs, but this annotation permits further defining the behavior of that input. This is experimental. We need the feature, but we're not settled on how to indicate signedness of inputs.

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final boolean
    DEFAULT_SIGNED
     
    static final int
    DEFAULT_SLACK
     

  • Optional Element Summary

    Optional Elements
    Modifier and Type
    Optional Element
    Description
    boolean
    signed
    Indicates the signedness of the input
    int
    slack
    For parameters taking int[], usually in a JIT-accelerated emulator, the number of slack elements to add.

  • Field Details

  • Element Details

    • signed

      boolean signed
      Indicates the signedness of the input
      See Also:
      Default:
      false

    • slack

      int slack
      For parameters taking int[], usually in a JIT-accelerated emulator, the number of slack elements to add.

      int[] values have the elements in little-endian order. That is, the less-significant legs are in the lower indices. Slack legs are added at the most-significant end, i.e., at the upper indices. This is useful for algorithms that benefit from such extension.

      Returns:
      the number of slack elements
      Default:
      0