]> Joshua Wise's Git repositories - snipe.git/blame_incremental - trans/tree.sml
Rename output binary from l5c to snipe
[snipe.git] / trans / tree.sml
... / ...
CommitLineData
1(* L3 Compiler
2 * IR Trees
3 * Author: Kaustuv Chaudhuri <kaustuv+@cs.cmu.edu>
4 * Modified: Alex Vaynberg <alv@andrew.cmu.edu>
5 * Modified: Frank Pfenning <fp@cs.cmu.edu>
6 * Modified: Joshua Wise <jwise>
7 * Modified: Chris Lu <czl>
8 *)
9
10signature TREE =
11sig
12 datatype binop = ADD | SUB | MUL | DIV | MOD | LSH | RSH | LOGOR | LOGAND | BITOR | BITAND | BITXOR | NEQ | EQ | LT | GT | LE | GE | BE
13 datatype unop = NEG | BITNOT | BANG
14
15 type Blarg = int
16
17 datatype exp =
18 CONST of Word32.word
19 | TEMP of Temp.temp
20 | ARG of Blarg * Temp.size (* I am j4cbo *)
21 | BINOP of binop * exp * exp
22 | UNOP of unop * exp
23 | CALL of Ast.ident * (exp * Temp.size) list * Temp.size
24 | MEMORY of exp * Temp.size
25 | ALLOC of exp
26 | COND of exp * exp * exp
27 | STMVAR of stm list * exp
28 | NULLPTR
29 and stm =
30 MOVE of exp * exp
31 | RETURN of exp * Temp.size
32 | EFFECT of exp
33 | LABEL of Label.label
34 | JUMPIFN of exp * Label.label
35 | JUMP of Label.label
36 and func =
37 FUNCTION of Ast.ident * stm list
38
39 type program = func list
40end
41
42structure Tree :> TREE =
43struct
44 datatype binop = ADD | SUB | MUL | DIV | MOD | LSH | RSH | LOGOR | LOGAND | BITOR | BITAND | BITXOR | NEQ | EQ | LT | GT | LE | GE | BE
45 datatype unop = NEG | BITNOT | BANG
46
47 type Blarg = int
48
49 datatype exp =
50 CONST of Word32.word
51 | TEMP of Temp.temp
52 | ARG of Blarg * Temp.size (* I am j4cbo *)
53 | BINOP of binop * exp * exp
54 | UNOP of unop * exp
55 | CALL of Ast.ident * (exp * Temp.size) list * Temp.size
56 | MEMORY of exp * Temp.size
57 | ALLOC of exp
58 | COND of exp * exp * exp
59 | STMVAR of stm list * exp
60 | NULLPTR
61 and stm =
62 MOVE of exp * exp
63 | RETURN of exp * Temp.size
64 | EFFECT of exp
65 | LABEL of Label.label
66 | JUMPIFN of exp * Label.label
67 | JUMP of Label.label
68 and func =
69 FUNCTION of Ast.ident * stm list
70
71 type program = func list
72end
This page took 0.029128 seconds and 5 git commands to generate.