Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/src/MLRISC/mltree/mltree.sig
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/mltree/mltree.sig

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 983, Wed Nov 21 18:44:55 2001 UTC revision 984, Wed Nov 21 19:00:08 2001 UTC
# Line 6  Line 6 
6    
7  signature MLTREE = sig  signature MLTREE = sig
8    structure Constant    : CONSTANT    structure Constant    : CONSTANT
   structure PseudoOp    : PSEUDO_OPS  
9    structure Region      : REGION    structure Region      : REGION
10    structure Stream      : INSTRUCTION_STREAM  (*  structure Stream      : INSTRUCTION_STREAM *)
11    structure Basis       : MLTREE_BASIS    structure Basis       : MLTREE_BASIS
12    structure Extension   : MLTREE_EXTENSION    structure Extension   : MLTREE_EXTENSION
13    structure I           : MACHINE_INT    structure I           : MACHINE_INT
      sharing Stream.P = PseudoOp  
14    
15    type ty  = Basis.ty    type ty  = Basis.ty
16    type fty = Basis.fty    type fty = Basis.fty
# Line 43  Line 41 
41    
42        (* control flow *)        (* control flow *)
43      | JMP     of rexp * controlflow      | JMP     of rexp * controlflow
44    (*
45        | SWITCH  of
46            {tblLab: Label.label,            (* label associated with table *)
47             base : rexp option,             (* base pointer -- if any *)
48             table : fn Label.label -> rexp, (* get table address *)
49             index : rexp,                   (* index into table  *)
50             targets : controlflow}          (* targets of switch *)
51    *)
52      | BCC     of ccexp * Label.label      | BCC     of ccexp * Label.label
53      | CALL    of {funct:rexp, targets:controlflow,      | CALL    of {funct:rexp, targets:controlflow,
54                    defs:mlrisc list, uses:mlrisc list,                    defs:mlrisc list, uses:mlrisc list,
# Line 207  Line 213 
213         and fext   = (stm, rexp, fexp, ccexp) Extension.fx         and fext   = (stm, rexp, fexp, ccexp) Extension.fx
214         and ccext  = (stm, rexp, fexp, ccexp) Extension.ccx         and ccext  = (stm, rexp, fexp, ccexp) Extension.ccx
215         and labexp = rexp         and labexp = rexp
216    (*
217    (*    (*
218     * Instruction streams     * Instruction streams
219     *)     *)
# Line 230  Line 236 
236        instrStream   : ('instr,'cellset, 'cfg) stream,        instrStream   : ('instr,'cellset, 'cfg) stream,
237        mltreeStream  : (stm,mlrisc list, 'cfg) stream        mltreeStream  : (stm,mlrisc list, 'cfg) stream
238      }      }
239    *)
240    (*    (*
241     * Useful type abbreviations for working for MLTree.     * Useful type abbreviations for working for MLTree.
242     *)     *)

Legend:
Removed from v.983  
changed lines
  Added in v.984

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0