trans/tree.sml

   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
  10 signature TREE =
  11 sig
  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 (* I am j4cbo *)
  21     | BINOP of binop * exp * exp
  22     | UNOP of unop * exp
  23     | CALL of Ast.ident * exp list
  24     | MEMORY of exp
  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
  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
  40 end
  41
  42 structure Tree :> TREE =
  43 struct
  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 (* I am j4cbo *)
  53     | BINOP of binop * exp * exp
  54     | UNOP of unop * exp
  55     | CALL of Ast.ident * exp list
  56     | MEMORY of exp
  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
  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
  72 end