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.sml
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 848 - (view) (download)

1 : leunga 744 (*
2 :     * RTL definitions
3 :     *)
4 :     structure MDLConstant =
5 :     struct
6 :     type const = unit
7 :     fun toString _ = ""
8 :     fun valueOf _ = 0
9 :     fun hash _ = 0w0
10 :     fun == _ = false
11 :     end
12 :     structure MDLRegion =
13 :     struct
14 :     type region = unit
15 :     val stack = () and readonly = () and memory = ()
16 :     fun toString _ = ""
17 :     end
18 :     structure MDLPseudoOps =
19 :     struct
20 :     type pseudo_op = unit
21 :     fun toString _ = ""
22 :     fun emitValue _ = ()
23 :     fun sizeOf _ = 0
24 :     fun adjustLabels _ = false
25 :     end
26 :     structure MDLStream = InstructionStream(MDLPseudoOps)
27 :     structure MDLExtension =
28 :     struct
29 :     type ('s,'r,'f,'c) sx = unit
30 :     type ('s,'r,'f,'c) rx = unit
31 :     type ('s,'r,'f,'c) fx = unit
32 :     type ('s,'r,'f,'c) ccx = unit
33 :     end
34 :    
35 :     structure MDLMLTree =
36 : leunga 775 MLTreeF(structure Constant=MDLConstant
37 : leunga 744 structure Region=MDLRegion
38 :     structure Stream=MDLStream
39 :     structure Extension=MDLExtension)
40 :    
41 :     structure MDLMLTreeUtil =
42 :     MLTreeUtils(structure T = MDLMLTree
43 :     fun hashSext _ _ = 0w0
44 :     fun hashRext _ _ = 0w0
45 :     fun hashFext _ _ = 0w0
46 :     fun hashCCext _ _ = 0w0
47 :     fun eqSext _ _ = false
48 :     fun eqRext _ _ = false
49 :     fun eqFext _ _ = false
50 :     fun eqCCext _ _ = false
51 :     fun showSext _ _ = ""
52 :     fun showRext _ _ = ""
53 :     fun showFext _ _ = ""
54 :     fun showCCext _ _ = ""
55 :     )
56 :    
57 :     structure MDLMLTreeRewrite =
58 :     MLTreeRewrite(structure T = MDLMLTree
59 :     fun sext _ x = x
60 :     fun rext _ x = x
61 :     fun fext _ x = x
62 :     fun ccext _ x = x
63 :     )
64 :    
65 :     structure MDLMLTreeFold =
66 :     MLTreeFold(structure T = MDLMLTree
67 :     fun sext _ (_,x) = x
68 :     fun rext _ (_,_,x) = x
69 :     fun fext _ (_,_,x) = x
70 :     fun ccext _ (_,_,x) = x
71 :     )
72 :    
73 :     structure MDLMLTreeRTL =
74 :     MLTreeRTL(structure Util = MDLMLTreeUtil
75 :     structure Rewrite = MDLMLTreeRewrite
76 :     structure Fold = MDLMLTreeFold
77 :     )
78 :    
79 :     structure MDLRTLBuilder = RTLBuild(MDLMLTreeRTL)

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