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