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

Diff of /sml/trunk/src/MLRISC/mltree/rtl-props.sig

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

revision 591, Mon Apr 3 01:19:20 2000 UTC revision 606, Sun Apr 9 23:10:59 2000 UTC
# Line 21  Line 21 
21     (* Return the RTL describing the semantics of an instruction *)     (* Return the RTL describing the semantics of an instruction *)
22     val rtl : I.instruction -> RTL.rtl     val rtl : I.instruction -> RTL.rtl
23    
24     (* Return the def/use of an instruction *)     (* Return the def/use of an instruction.  *)
25     val defUse : { immed   : int -> C.cell,     val defUse : { immed   : int -> C.cell,
26                    label   : Label.label -> C.cell,                    label   : Label.label -> C.cell,
27                    operand : I.operand -> C.cell                    operand : I.operand -> C.cell
28                  } ->                  } ->
29                  I.instruction ->                  I.instruction -> C.cell list * C.cell list (* dst/src *)
                 C.cell list * C.cell list (* dst/src *)  
30    
31     (* Return the def/use of an instruction with cellkind information *)     (* Return the def/use of an instruction with cellkind information
32        * This function works the same way as the above.  But with cellkind
33        * information attached.
34        *)
35     val defUseWithCellKind :     val defUseWithCellKind :
36                  { immed   : int -> C.cell,                  { immed   : int -> C.cell,
37                    label   : Label.label -> C.cell,                    label   : Label.label -> C.cell,

Legend:
Removed from v.591  
changed lines
  Added in v.606

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