module Il: sig end
type temp_id = int
type identifier = string
type field = identifier * Ctt_abstree.c_type
type il_switch_label = Il1.il_switch_label
=
| |
CASE of |
| |
DEFAULT |
type il_if_type = Il1.il_if_type
=
| |
IFNOT |
| |
IFTRUE |
type il_binop = Il1.il_binop
=
| |
ILbinTimes |
| |
ILbinDiv |
| |
ILbinPlusVV |
| |
ILbinMinusVV |
| |
ILbinPlusPV |
| |
ILbinMinusPP |
| |
ILbinMinusPV |
| |
ILbinModulo |
| |
ILbinLshift |
| |
ILbinRshift |
| |
ILbinLogAnd |
| |
ILbinLogOr |
| |
ILbinIntAnd |
| |
ILbinIntOr |
| |
ILbinIntXor |
| |
ILbinLessThan |
| |
ILbinLessEqual |
| |
ILbinGtrThan |
| |
ILbinGtrEqual |
| |
ILbinEqual |
| |
ILbinNotEqual |
type il_lvalue = Il1.il_lvalue
=
| |
ILlvPtr of |
| |
ILlvVar of |
| |
ILlvTemp of |
type il_expr = Il1.il_expr
=
| |
ILexpCoerce of |
| |
ILexpConstant of |
| |
ILexpUndefined |
| |
ILexpBinop of |
| |
ILexpUnaryop of |
| |
ILexpInvoke of |
| |
ILexpAddress of |
| |
ILexpArgument of |
| |
ILexpIdent of |
type il =
| |
ILstmtIf of |
| |
ILstmtSwitch of |
| |
ILstmtGoto of |
| |
ILstmtReturn of |
| |
ILstmtAssign of |
| |
ILstmtRead of |
| |
ILstmtWrite of |
| |
ILstmtInitialize of |
| |
ILstmtSequence of |
| |
ILstmtParallel of |
type il_basic_block = {
|
predecessor : |
|
successor : |
|
immediate_dominator : |
|
nest_level : |
|
mutable phi_function : |
|
mutable code : |
type il_variable_attribute = {
|
original_name : |
|
variable_type : |
|
storage_class : |
type il_function = {
|
body : |
|
max_variable_number : |
|
variable_environment : |
|
arguments : |