This class represents an arithmetic operation.
This class represents an arithmetic operation.
A boxed value.
A boxed value.
This class represents a basic block.
This class represents a basic block. Each basic block contains a list of instructions that are either executed all, or none. No jumps to/from the "middle" of the basic block are allowed (modulo exceptions).
This class represents the intermediate code of a method or other multi-block piece of code, like exception handlers.
This class represents the intermediate code of a method or other multi-block piece of code, like exception handlers.
This class represents a comparison operation.
This class represents a comparison operation.
Linearize code using a depth first traversal.
Linearize code using a depth first traversal.
A 'dump' of the blocks in this method, which does not require any well-formedness of the basic blocks (like the last instruction being a jump).
A 'dump' of the blocks in this method, which does not require any well-formedness of the basic blocks (like the last instruction being a jump).
Represent a class in ICode
Represent a class in ICode
A phase which works on icode.
Represent a field in ICode
Represent a field in ICode
Common interface for IClass/IField/IMethod.
Common interface for IClass/IField/IMethod.
Represents a method in ICode.
Represents a method in ICode. Local variables contain both locals and parameters, similar to the way the JVM 'sees' them.
Locals and parameters are added in reverse order, as they are kept in cons-lists. The 'builder' is responsible for reversing them and putting them back, when the generation is finished (GenICode does that).
This class represents an instruction of the intermediate code.
This class represents an instruction of the intermediate code. Each case subclass will represent a specific operation.
Represent local variables and parameters
Represent local variables and parameters
This class represents a logical operation.
This class represents a logical operation.
A simple linearizer which predicts all branches to take the 'success' branch and tries to schedule those blocks immediately after the test.
A simple linearizer which predicts all branches to take the 'success' branch and tries to schedule those blocks immediately after the test. This is in sync with how 'while' statements are translated (if the test is 'true', the loop continues).
This class represents a primitive operation.
This class represents a primitive operation.
Pretty printer for primitives
Pretty printer for primitives
A class type.
A class type.
Linearize code in reverse post order.
Linearize code in reverse post order. In fact, it does a post order traversal, prepending visited nodes to the list. This way, it is constructed already in reverse post order.
This class represents a shift operation.
This class represents a shift operation.
This class represents a test operation.
This class represents a test operation.
This class represents a type kind.
This class represents a type kind. Type kinds represent the types that the VM know (or the ICode view of what VMs know).
An arithmetic addition operation
An arithmetic addition operation
A bitwise AND operation
A bitwise AND operation
An arithmetic shift to the right
An arithmetic shift to the right
A boolean value
A boolean value
A 1-byte signed integer
A 1-byte signed integer
A 2-byte UNSIGNED integer
A 2-byte UNSIGNED integer
A comparison operation with no default for NaNs
A comparison operation with no default for NaNs
A comparison operation with +1 default for NaNs
A comparison operation with +1 default for NaNs
A comparison operation with -1 default for NaNs
A comparison operation with -1 default for NaNs
Dummy TypeKind to represent the ConcatClass in a platform-independent way.
Dummy TypeKind to represent the ConcatClass in a platform-independent way. For JVM it would have been a REFERENCE to 'StringBuffer'.
An arithmetic division operation
An arithmetic division operation
An 8-byte floating point number
An 8-byte floating point number
An equality test
An equality test
type: (buf) => STR jvm : It should turn the StringBuffer into a String.
type: (buf) => STR jvm : It should turn the StringBuffer into a String.
A 4-byte floating point number
A 4-byte floating point number
A greater-than-or-equal test
A greater-than-or-equal test
A greater-than test
A greater-than test
A 4-byte signed integer
A 4-byte signed integer
A less-than-or-equal test
A less-than-or-equal test
An 8-byte signed integer
An 8-byte signed integer
A logical shift to the left
A logical shift to the left
A logical shift to the right
A logical shift to the right
A less-than test
A less-than test
An arithmetic multiplication operation
An arithmetic multiplication operation
A non-equality test
A non-equality test
Bitwise negation.
Bitwise negation.
A bitwise OR operation
A bitwise OR operation
An arithmetic remainder operation
An arithmetic remainder operation
A 2-byte signed integer
A 2-byte signed integer
An arithmetic subtraction operation
An arithmetic subtraction operation
Signals the beginning of a series of concatenations.
Signals the beginning of a series of concatenations. On the JVM platform, it should create a new StringBuffer
The unit value
The unit value
A bitwise XOR operation
A bitwise XOR operation
Is the given class available as icode?
Is the given class available as icode?
The ICode representation of classes
Print all classes and basic blocks.
Print all classes and basic blocks. Used for debugging.
The icode of the given class, if available
The icode of the given class, if available
The ICode linearizer.
Load bytecode for given symbol.
Load bytecode for given symbol.
The least upper bound of two typekinds.
The least upper bound of two typekinds. They have to be either REFERENCE or ARRAY kinds.
The lub is based on the lub of scala types.
A map from scala primitive Types to ICode TypeKinds
A map from scala primitive Types to ICode TypeKinds
Debugging flag
Return the TypeKind of the given type
Return the TypeKind of the given type
Call to dealiasWiden fixes #3003 (follow type aliases). Otherwise, arrayOrClassType below would return ObjectReference.
Glue together ICode parts.