B2R2


Stmt Type

IR Statements.

Union cases

Union case Description

Def(Variable, Expr)

Full Usage: Def(Variable, Expr)

Parameters:

Assignment in SSA.

Item1 : Variable
Item2 : Expr

Jmp JmpType

Full Usage: Jmp JmpType

Parameters:

Branch statement.

Item : JmpType

LMark Label

Full Usage: LMark Label

Parameters:

A label (as in an assembly language). LMark is only valid within a machine instruction.

Item : Label

Phi(Variable, int[])

Full Usage: Phi(Variable, int[])

Parameters:

Phi function.

Item1 : Variable
Item2 : int[]

SideEffect SideEffect

Full Usage: SideEffect SideEffect

Parameters:

This represents an instruction with side effects such as a system call.

Item : SideEffect