module Il1: sig end
type temp_id = int
type identifier = string
type field = identifier * Ctt_abstree.c_type
type il_switch_label =
| |
CASE of |
| |
DEFAULT |
type il_if_type =
| |
IFNOT |
| |
IFTRUE |
type 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 =
| |
ILlvPtr of |
| |
ILlvVar of |
| |
ILlvTemp of |
type il_expr =
| |
ILexpCoerce of |
| |
ILexpConstant of |
| |
ILexpUndefined |
| |
ILexpBinop of |
| |
ILexpUnaryop of |
| |
ILexpInvoke of |
| |
ILexpAddress of |
| |
ILexpArgument of |
| |
ILexpIdent of |
type il1_desc =
| |
IL1stmtDeclAutoScalar of |
| |
IL1stmtDeclBulk of |
| |
IL1stmtIf of |
| |
IL1stmtSwitch of |
| |
IL1stmtGoto of |
| |
IL1stmtReturn of |
| |
IL1stmtDefTemp of |
| |
IL1stmtReadToTemp of |
| |
IL1stmtWrite of |
| |
IL1stmtSequence of |
| |
IL1stmtParallel of |
type il1 = {
|
il1_depends : |
|
il1_defines : |
|
il1_t : |
type il1_basic_block = {
|
predecessor : |
|
successor : |
|
immediate_dominator : |
|
code : |
type il1_function_body = il1_basic_block array
type il1_global_declaration =
| |
IL1declFunction of |
| |
IL1declVariable of |