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/branches/idlbasis-devel/src/MLRISC/Tools/MDL/mdl-rtl-tools.sig
ViewVC logotype

Annotation of /sml/branches/idlbasis-devel/src/MLRISC/Tools/MDL/mdl-rtl-tools.sig

Parent Directory Parent Directory | Revision Log Revision Log


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

1 : leunga 744 (*
2 :     * Some simple utilities on transforming RTLs
3 :     *)
4 :     signature MDL_RTL_TOOLS =
5 :     sig
6 :     structure RTL : MLTREE_RTL
7 :     structure Ast : MDL_AST
8 :    
9 :     (* Simplify an RTL *)
10 :     val simplify : RTL.rtl -> RTL.rtl
11 :    
12 :     (* Translate an rtl into an expression *)
13 :     val rtlToExp : RTL.rtl -> Ast.exp
14 :    
15 :     (* Translate an rtl into a pattern *)
16 :     val rtlToPat : RTL.rtl -> Ast.pat
17 :    
18 :     (* Translate an rtl into an rtl construction function *)
19 :     val rtlToFun : Ast.id * Ast.id list * RTL.rtl -> Ast.decl
20 :    
21 :     (* create code to generate a new operator *)
22 :     val createNewOp : RTL.T.Basis.misc_op -> Ast.decl
23 :    
24 :     end

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