|
Assignment in SSA.
-
Item1
:
Variable
-
Item2
:
Expr
|
|
Branch statement.
-
Item
:
JmpType
|
|
A label (as in an assembly language). LMark is only valid within a
machine instruction.
-
Item
:
Label
|
|
Phi function.
-
Item1
:
Variable
-
Item2
:
int[]
|
|
This represents an instruction with side effects such as a system call.
-
Item
:
SideEffect
|