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/SSA/ssa-props.sig
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/SSA/ssa-props.sig

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

revision 695, Mon Aug 7 23:57:38 2000 UTC revision 744, Fri Dec 8 04:11:42 2000 UTC
# Line 9  Line 9 
9     structure I        : INSTRUCTIONS     structure I        : INSTRUCTIONS
10     structure C        : CELLS     structure C        : CELLS
11     structure RTL      : MLTREE_RTL     structure RTL      : MLTREE_RTL
    structure T        : MLTREE  
12     structure RTLProps : RTL_PROPERTIES     structure RTLProps : RTL_PROPERTIES
13     structure OT       : OPERAND_TABLE     structure OT       : OPERAND_TABLE
14        sharing RTLProps.I   = OT.I = I        sharing RTLProps.I   = OT.I = I
15        sharing I.C          = C        sharing I.C          = C
       sharing RTL.T        = T  
16        sharing RTLProps.RTL = RTL        sharing RTLProps.RTL = RTL
17    
18     (* Create special nodes *)     (* Create special nodes *)
# Line 38  Line 36 
36     (* Extract the naming constraints on the operands *)     (* Extract the naming constraints on the operands *)
37     val namingConstraints :     val namingConstraints :
38          { instr : I.instruction, dst : C.cell list, src : C.cell list } ->          { instr : I.instruction, dst : C.cell list, src : C.cell list } ->
39          { dst    : (T.var * C.cell) list,  (* destination is fixed *)          { dst    : (RTL.T.var * C.cell) list,  (* destination is fixed *)
40            src    : (T.var * C.cell) list,  (* source is fixed *)            src    : (RTL.T.var * C.cell) list,  (* source is fixed *)
41            dstsrc : (T.var * T.var) list    (* dst = src *)            dstsrc : (RTL.T.var * RTL.T.var) list    (* dst = src *)
42          }          }
43    
44     (* Rewrite the operands of an instruction *)     (* Rewrite the operands of an instruction *)
# Line 52  Line 50 
50     (* Make copies *)     (* Make copies *)
51     val copies : {kind: C.cellkind, dst:C.cell, src:C.cell} list ->     val copies : {kind: C.cellkind, dst:C.cell, src:C.cell} list ->
52                   I.instruction list                   I.instruction list
    val copy   : {instr:I.instruction,dst:C.cell list,src:C.cell list} ->  
                  I.instruction  
53  end  end
54    

Legend:
Removed from v.695  
changed lines
  Added in v.744

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