opcodes

Type Members

1. case class BOX(boxType: ICodes.TypeKind) extends ICodes.Instruction with Product with Serializable

   

2. case class CALL_METHOD(method: Global.Symbol, style: InvokeStyle) extends ICodes.Instruction with ReferenceEquality with Product with Serializable

   

   This class represents a CALL_METHOD instruction STYLE: dynamic / static(StaticInstance) Stack: ...:ref:arg1:arg2:...:argn ->: ...:result

   This class represents a CALL_METHOD instruction STYLE: dynamic / static(StaticInstance) Stack: ...:ref:arg1:arg2:...:argn ->: ...:result

   STYLE: static(StaticClass) Stack: ...:arg1:arg2:...:argn ->: ...:result

3. case class CALL_PRIMITIVE(primitive: ICodes.Primitive) extends ICodes.Instruction with Product with Serializable

   

   Call a primitive function.

   Call a primitive function. Stack: ...:arg1:arg2:...:argn ->: ...:result

4. case class CHECK_CAST(typ: ICodes.TypeKind) extends ICodes.Instruction with Product with Serializable

   

   This class represents a CHECK_CAST instruction Stack: ...:ref(oldtype) ->: ...:ref(typ <=: oldtype)

5. case class CJUMP(successBlock: ICodes.BasicBlock, failureBlock: ICodes.BasicBlock, cond: ICodes.TestOp, kind: ICodes.TypeKind) extends ICodes.Instruction with Product with Serializable

   

   This class represents a CJUMP instruction It compares the two values on the stack with the 'cond' test operator Stack: ...:value1:value2 ->: ...

6. case class CONSTANT(constant: Global.Constant) extends ICodes.Instruction with Product with Serializable

   

   Loads a constant on the stack.

   Loads a constant on the stack. Stack: ... ->: ...:constant

7. case class CREATE_ARRAY(elem: ICodes.TypeKind, dims: Int) extends ICodes.Instruction with Product with Serializable

   

   This class represents a CREATE_ARRAY instruction Stack: ...:size_1:size_2:..:size_n ->: ...:arrayref

8. case class CZJUMP(successBlock: ICodes.BasicBlock, failureBlock: ICodes.BasicBlock, cond: ICodes.TestOp, kind: ICodes.TypeKind) extends ICodes.Instruction with Product with Serializable

   

   This class represents a CZJUMP instruction It compares the one value on the stack and zero with the 'cond' test operator Stack: ...:value: ->: ...

9. case class DROP(typ: ICodes.TypeKind) extends ICodes.Instruction with Product with Serializable

   

   This class represents a DROP instruction Stack: ...:something ->: ...

10. case class DUP(typ: ICodes.TypeKind) extends ICodes.Instruction with Product with Serializable

    

    This class represents a DUP instruction Stack: ...:something ->: ...:something:something

11. case class INVOKE_DYNAMIC(poolEntry: Int) extends ICodes.Instruction with Product with Serializable

    

    A place holder entry that allows us to parse class files with invoke dynamic instructions.

    A place holder entry that allows us to parse class files with invoke dynamic instructions. Because the compiler doesn't yet really understand the behavior of invokeDynamic, this op acts as a poison pill. Any attempt to analyze this instruction will cause a failure. The only optimization that should ever look at non-Scala generated icode is the inliner, and it has been modified to not examine any method with invokeDynamic instructions. So if this poison pill ever causes problems then there's been a serious misunderstanding

12. case class IS_INSTANCE(typ: ICodes.TypeKind) extends ICodes.Instruction with Product with Serializable

    

    This class represents a IS_INSTANCE instruction Stack: ...:ref ->: ...:result(boolean)

13. sealed abstract class InvokeStyle extends AnyRef

    

    This class represents a method invocation style.

14. case class JUMP(whereto: ICodes.BasicBlock) extends ICodes.Instruction with Product with Serializable

    

    This class represents a JUMP instruction Stack: ...

    This class represents a JUMP instruction Stack: ... ->: ...

15. case class LOAD_ARRAY_ITEM(kind: ICodes.TypeKind) extends ICodes.Instruction with Product with Serializable

    

    Loads an element of an array.

    Loads an element of an array. The array and the index should be on top of the stack. Stack: ...:array[a](Ref):index(Int) ->: ...:element(a)

16. case class LOAD_EXCEPTION(clasz: Global.Symbol) extends ICodes.Instruction with Product with Serializable

    

    Fake instruction.

    Fake instruction. It designates the VM who pushes an exception on top of the /empty/ stack at the beginning of each exception handler. Note: Unlike other instructions, it consumes all elements on the stack! then pushes one exception instance.

17. case class LOAD_FIELD(field: Global.Symbol, isStatic: Boolean) extends ICodes.Instruction with Product with Serializable

    

    Load a field on the stack.

    Load a field on the stack. The object to which it refers should be on the stack. Stack: ...:ref (assuming isStatic = false) ->: ...:value

18. case class LOAD_LOCAL(local: ICodes.Local) extends ICodes.Instruction with Product with Serializable

    

    Load a local variable on the stack.

    Load a local variable on the stack. It can be a method argument. Stack: ... ->: ...:value

19. case class LOAD_MODULE(module: Global.Symbol) extends ICodes.Instruction with Product with Serializable

    

20. case class MONITOR_ENTER() extends ICodes.Instruction with Product with Serializable

    

    This class represents a MONITOR_ENTER instruction Stack: ...:object(ref) ->: ...:

21. case class MONITOR_EXIT() extends ICodes.Instruction with Product with Serializable

    

    This class represents a MONITOR_EXIT instruction Stack: ...:object(ref) ->: ...:

22. case class NEW(kind: ICodes.REFERENCE) extends ICodes.Instruction with Product with Serializable

    

    Create a new instance of a class through the specified constructor Stack: ...:arg1:arg2:...:argn ->: ...:ref

23. case class RETURN(kind: ICodes.TypeKind) extends ICodes.Instruction with Product with Serializable

    

    This class represents a RETURN instruction Stack: ...

    This class represents a RETURN instruction Stack: ... ->: ...

24. case class SCOPE_ENTER(lv: ICodes.Local) extends ICodes.Instruction with Product with Serializable

    

    A local variable becomes visible at this point in code.

    A local variable becomes visible at this point in code. Used only for generating precise local variable tables as debugging information.

25. case class SCOPE_EXIT(lv: ICodes.Local) extends ICodes.Instruction with Product with Serializable

    

    A local variable leaves its scope at this point in code.

    A local variable leaves its scope at this point in code. Used only for generating precise local variable tables as debugging information.

26. case class STORE_ARRAY_ITEM(kind: ICodes.TypeKind) extends ICodes.Instruction with Product with Serializable

    

    Store a value into an array at a specified index.

    Store a value into an array at a specified index. Stack: ...:array[a](Ref):index(Int):value(a) ->: ...

27. case class STORE_FIELD(field: Global.Symbol, isStatic: Boolean) extends ICodes.Instruction with Product with Serializable

    

    Store a value into a field.

    Store a value into a field. Stack: ...:ref:value (assuming isStatic=false) ->: ...

28. case class STORE_LOCAL(local: ICodes.Local) extends ICodes.Instruction with Product with Serializable

    

    Store a value into a local variable.

    Store a value into a local variable. It can be an argument. Stack: ...:value ->: ...

29. case class STORE_THIS(kind: ICodes.TypeKind) extends ICodes.Instruction with Product with Serializable

    

    Store a value into the 'this' pointer.

    Store a value into the 'this' pointer. Stack: ...:ref ->: ...

30. case class SWITCH(tags: List[List[Int]], labels: List[ICodes.BasicBlock]) extends ICodes.Instruction with Product with Serializable

    

    This class represents a SWITCH instruction Stack: ...:index(int) ->: ...:

    This class represents a SWITCH instruction Stack: ...:index(int) ->: ...:

    The tags array contains one entry per label, each entry consisting of an array of ints, any of which will trigger the jump to the corresponding label. labels should contain an extra label, which is the 'default' jump.

31. case class Static(onInstance: Boolean) extends InvokeStyle with Product with Serializable

    

    Special invoke: Static(true) is used for calls to private members, ie invokespecial on JVM.

    Special invoke: Static(true) is used for calls to private members, ie invokespecial on JVM. Static(false) is used for calls to class-level instance-less static methods, ie invokestatic on JVM.

32. case class SuperCall(mix: Global.Name) extends InvokeStyle with Product with Serializable

    

    Call through super[mix].

    Call through super[mix]. On JVM, translated to invokespecial.

33. case class THIS(clasz: Global.Symbol) extends ICodes.Instruction with Product with Serializable

    

    Loads "this" on top of the stack.

    Loads "this" on top of the stack. Stack: ... ->: ...:ref

34. case class THROW(clasz: Global.Symbol) extends ICodes.Instruction with Product with Serializable

    

    This class represents a THROW instruction Stack: ...:Throwable(Ref) ->: ...:

35. case class UNBOX(boxType: ICodes.TypeKind) extends ICodes.Instruction with Product with Serializable