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

SCM Repository

[smlnj] Annotation of /sml/trunk/src/MLRISC/mltree/rtl-props.sig
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 775 - (view) (download) (as text)

1 : leunga 591 (*
2 : leunga 744 * Interface of rtl info extraction from instructions.
3 : leunga 775 * The code matching this interface is automatically generated by the MDL tool.
4 : leunga 591 *)
5 :     signature RTL_PROPERTIES =
6 :     sig
7 :    
8 :     structure I : INSTRUCTIONS
9 :     structure C : CELLS
10 :     structure RTL : MLTREE_RTL
11 : leunga 744 structure OT : OPERAND_TABLE
12 :     sharing I.C = C
13 :     sharing OT.I = I
14 : leunga 775 sharing RTL.T = I.T
15 : leunga 591
16 : leunga 775 datatype value =
17 :     CELL of C.cell (* a single value *)
18 :     | OPERAND of I.operand (* a complex operand *)
19 : leunga 591
20 : leunga 744 (* Return the RTL describing the semantics of an instruction
21 :     * The rtl returned is in lambda-lifted form, i.e. it contains
22 :     * references to PARAM n, which refers to the nth input or output parameter.
23 :     *)
24 : leunga 591 val rtl : I.instruction -> RTL.rtl
25 :    
26 : leunga 744 (*
27 :     * Return the input/ouput parameters of an instruction.
28 :     * The input/output matches positionally with the info returned by
29 :     * the function rtl.
30 :     *)
31 : leunga 775 val defUse : OT.valueNumberMethods -> I.instruction
32 :     -> value list * value list
33 : leunga 591
34 :     end

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