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/cm/ALL.cm
ViewVC logotype

Annotation of /sml/trunk/src/MLRISC/cm/ALL.cm

Parent Directory Parent Directory | Revision Log Revision Log


Revision 775 - (view) (download)

1 : leunga 775 ALPHA.cm:
2 :    
3 :     smlnj-lib.cm
4 :     MLRISC.cm
5 :     Control.cm
6 :     Lib.cm
7 :    
8 :     (* Alpha specific backend *)
9 :     ../alpha/instructions/alphaCells.sml
10 :     ../alpha/instructions/alphaInstr.sml
11 :     ../alpha/instructions/alphaShuffle.sig
12 :     ../alpha/instructions/alphaShuffle.sml
13 :     ../alpha/instructions/alphaProps.sml
14 :     ../alpha/instructions/alphaFreqProps.sml
15 :     ../alpha/emit/alphaAsm.sml
16 :     ../alpha/emit/alphaMC.sml
17 :     ../alpha/backpatch/alphaJumps.sml
18 :     ../alpha/mltree/alphaPseudoInstr.sig
19 :     ../alpha/mltree/alpha.sml
20 :     ../alpha/ra/alphaRewrite.sml
21 :    
22 :     ALPHA-GC.cm:
23 :    
24 :     smlnj-lib.cm
25 :     MLRISC.cm
26 :     GC.cm
27 :     ALPHA.cm
28 :    
29 :     ALPHA-Peephole.cm:
30 :    
31 :     MLRISC.cm
32 :     Peephole.cm
33 :     ALPHA.cm
34 :    
35 :     (* alpha *)
36 :     ../alpha/instructions/alphaPeephole.sml
37 :     ALPHA-RTL.cm:
38 :    
39 :     smlnj-lib.cm
40 :     Control.cm
41 :     MLRISC.cm
42 :     RTL.cm
43 :     Region.cm
44 :     ALPHA.cm
45 :    
46 :     (* Alpha specific backend *)
47 :     ../alpha/mltree/alphaRTL.sml
48 :     ../alpha/mltree/alphaRTLProps.sml
49 :    
50 :     ALPHA-Sched.cm:
51 :     (*
52 :     * This library contains the superscalar scheduling stuff.
53 :     *)
54 :     smlnj-lib.cm
55 :     Control.cm
56 :     Lib.cm
57 :     MLRISC.cm
58 :     ALPHA.cm
59 :     Sched.cm
60 :     Region.cm
61 :    
62 :     (* Alpha scheduler *)
63 :     ../alpha/scheduling/alphaSchedProps.sml
64 :    
65 :     ALPHA-SSA.cm:
66 :    
67 :     smlnj-lib.cm
68 :     Control.cm
69 :     MLRISC.cm
70 :     RTL.cm
71 :     SSA.cm
72 :     Region.cm
73 :     ALPHA.cm
74 :     ALPHA-RTL.cm
75 :    
76 :     (* Alpha specific backend *)
77 :     ../alpha/SSA/alphaSSAProps.sml
78 :    
79 :     Control.cm:
80 :    
81 :     ../control/mlriscErrormsg.sml
82 :     ../control/mlrisc-control.sml
83 :     ../control/mlrisc-timing.sml
84 :    
85 :     GC.cm:
86 :     (*
87 :     * This library implements GC safety.
88 :     *)
89 :    
90 :     smlnj-lib.cm
91 :     Control.cm
92 :     Lib.cm
93 :     Graphs.cm
94 :     MLRISC.cm
95 :     IR.cm
96 :     RTL.cm
97 :    
98 :     (* GC safety stuff *)
99 :     ../gc-safety/gc-gen.sig
100 :     ../gc-safety/gc-gen.sml
101 :     ../gc-safety/gc-liveness.sig
102 :     ../gc-safety/gc-liveness.sml
103 :     ../gc-safety/gc-typemap.sig
104 :     ../gc-safety/gc-typemap.sml
105 :     ../gc-safety/gc-dummy-type.sml
106 :     ../gc-safety/gc-type-system.sig
107 :     ../gc-safety/gc-type-system.sml
108 :     ../gc-safety/gc-invariants.sml
109 :    
110 :     Graphs.cm:
111 :     (*
112 :     * This is a generic graph library.
113 :     *)
114 :    
115 :     smlnj-lib.cm
116 :     Control.cm
117 :     Lib.cm
118 :    
119 :     ../graphs/acyclic-graph.sml
120 :     ../graphs/bellman-ford.sml
121 :     ../graphs/bigraph.sig
122 :     ../graphs/closed-semi-ring.sig
123 :     ../graphs/digraph.sml
124 :     ../graphs/dijkstra.sml
125 :     ../graphs/floyd-warshall.sml
126 :     ../graphs/johnson.sml
127 :     ../graphs/graph-bfs.sig
128 :     ../graphs/graph-bfs.sml
129 :     ../graphs/graph-bcc.sig
130 :     ../graphs/graph-bcc.sml
131 :     ../graphs/graph-comb.sig
132 :     ../graphs/graph-comb.sml
133 :     ../graphs/graph-cycles.sig
134 :     ../graphs/graph-cycles.sml
135 :     ../graphs/graph-dfs.sig
136 :     ../graphs/graph-dfs.sml
137 :     ../graphs/graph-is-cyclic.sig
138 :     ../graphs/graph-is-cyclic.sml
139 :     ../graphs/graph-minor.sml
140 :     ../graphs/graph-scc.sig
141 :     ../graphs/graph-scc.sml
142 :     ../graphs/graph-topsort.sig
143 :     ../graphs/graph-topsort.sml
144 :     ../graphs/graph.sig
145 :     ../graphs/graph.sml
146 :     ../graphs/graphimpl.sig
147 :     ../graphs/group.sig
148 :     ../graphs/isograph.sml
149 :     ../graphs/kruskal.sml
150 :     ../graphs/matching.sig
151 :     ../graphs/matching.sml
152 :     ../graphs/max-flow.sig
153 :     ../graphs/max-flow.sml
154 :     ../graphs/min-cut.sig
155 :     ../graphs/min-cut.sml
156 :     ../graphs/no-exit.sml
157 :     ../graphs/node-partition.sml
158 :     ../graphs/node-priqueue.sig
159 :     ../graphs/node-priqueue.sml
160 :     ../graphs/printgraph.sml
161 :     ../graphs/readonly.sml
162 :     ../graphs/renamegraph.sml
163 :     ../graphs/revgraph.sml
164 :     ../graphs/seme.sml
165 :     ../graphs/shortest-paths.sig
166 :     ../graphs/singleton.sml
167 :     ../graphs/snap-shot.sml
168 :     ../graphs/spanning-tree.sig
169 :     ../graphs/start-stop.sml
170 :     ../graphs/subgraph-p.sml
171 :     ../graphs/subgraph.sml
172 :     ../graphs/trace-graph.sml
173 :     ../graphs/trans-closure.sml
174 :     ../graphs/ugraph.sml
175 :     ../graphs/uniongraph.sml
176 :     ../graphs/wrappers.sml
177 :     ../graphs/udgraph.sml
178 :     ../graphs/update-graph-info.sml
179 :    
180 :     HPPA.cm:
181 :    
182 :     smlnj-lib.cm
183 :     MLRISC.cm
184 :     Control.cm
185 :     Lib.cm
186 :    
187 :     (* HPPA specific backend *)
188 :     ../hppa/instructions/hppaCells.sml
189 :     ../hppa/instructions/hppaInstr.sml
190 :     ../hppa/instructions/hppaShuffle.sig
191 :     ../hppa/instructions/hppaShuffle.sml
192 :     ../hppa/instructions/hppaProps.sml
193 :     ../hppa/instructions/hppaFreqProps.sml
194 :     ../hppa/emit/hppaAsm.sml
195 :     ../hppa/emit/hppaMC.sml
196 :     ../hppa/backpatch/hppaDelaySlotProps.sml
197 :     ../hppa/backpatch/hppaJumps.sml
198 :     ../hppa/mltree/hppaMillicode.sig
199 :     ../hppa/mltree/hppaLabelComp.sig
200 :     ../hppa/mltree/hppa.sml
201 :     ../hppa/ra/hppaRewrite.sml
202 :     (* ../hppa/ra/hppaRegAlloc.sml *)
203 :    
204 :     HPPA-GC.cm:
205 :    
206 :    
207 :     MLRISC.cm
208 :     GC.cm
209 :     HPPA.cm
210 :    
211 :     (* Hppa specific backend *)
212 :     HPPA-RTL.cm:
213 :    
214 :     smlnj-lib.cm
215 :     Control.cm
216 :     MLRISC.cm
217 :     RTL.cm
218 :     Region.cm
219 :     HPPA.cm
220 :    
221 :     (* Hppa specific backend *)
222 :     ../hppa/mltree/hppaRTL.sml
223 :     ../hppa/mltree/hppaRTLProps.sml
224 :    
225 :     HPPA-Sched.cm:
226 :    
227 :     smlnj-lib.cm
228 :     Control.cm
229 :     Lib.cm
230 :     MLRISC.cm
231 :     HPPA.cm
232 :     Sched.cm
233 :     Region.cm
234 :    
235 :     (* Hppa scheduler *)
236 :     ../hppa/scheduling/hppaSchedProps.sml
237 :     HPPA-SSA.cm:
238 :    
239 :     smlnj-lib.cm
240 :     Control.cm
241 :     MLRISC.cm
242 :     RTL.cm
243 :     SSA.cm
244 :     Region.cm
245 :     HPPA.cm
246 :     HPPA-RTL.cm
247 :    
248 :     (* Hppa specific backend *)
249 :     ../hppa/SSA/hppaSSAProps.sml
250 :     IA32.cm:
251 :    
252 :     smlnj-lib.cm
253 :     MLRISC.cm
254 :     Control.cm
255 :     Lib.cm
256 :    
257 :     (* c calls *)
258 :     ../x86/c-calls/ia32-svid.sml
259 :    
260 :     (* X86 specific backend *)
261 :     ../x86/instructions/x86Cells.sml
262 :     ../x86/instructions/x86comp-instr-ext.sml
263 :     ../x86/instructions/x86Instr.sml
264 :     ../x86/instructions/x86instr-ext.sml
265 :     ../x86/instructions/x86Shuffle.sig
266 :     ../x86/instructions/x86Shuffle.sml
267 :     ../x86/instructions/x86Props.sml
268 :     ../x86/instructions/x86MemRegs.sig
269 :     ../x86/instructions/x86FreqProps.sml
270 :     ../x86/emit/x86Asm.sml
271 :     ../x86/x86MC.sml
272 :     ../x86/ra/x86Rewrite.sig
273 :     ../x86/ra/x86Rewrite.sml
274 :     (* ../x86/ra/x86RegAlloc.sml *)
275 :     ../x86/ra/x86Spill.sml
276 :     (* This is no long needed *)
277 :     (* ../x86/ra/x86PseudoR.sml *)
278 :     ../x86/backpatch/x86Jumps.sml
279 :     ../x86/mltree/x86.sml
280 :    
281 :     (* Floating Point Code Generation/Optimization *)
282 :     ../x86/mltree/x86-fp.sml
283 :    
284 :     (* register allocator *)
285 :     ../x86/ra/x86RA.sml
286 :     IA32-GC.cm:
287 :    
288 :     smlnj-lib.cm
289 :     MLRISC.cm
290 :     GC.cm
291 :     IA32.cm
292 :    
293 :     (* X86 specific backend *)
294 :     IA32-Peephole.cm:
295 :    
296 :     smlnj-lib.cm
297 :     MLRISC.cm
298 :     Peephole.cm
299 :     IA32.cm
300 :    
301 :     (* x86 *)
302 :     ../x86/instructions/x86Peephole.sml
303 :    
304 :     IA32-RTL.cm:
305 :    
306 :     smlnj-lib.cm
307 :     Control.cm
308 :     MLRISC.cm
309 :     RTL.cm
310 :     Region.cm
311 :     IA32.cm
312 :    
313 :     (* x86 specific backend *)
314 :     ../x86/mltree/x86RTL.sml
315 :     ../x86/mltree/x86RTLProps.sml
316 :    
317 :     IA32-Sched.cm:
318 :    
319 :     smlnj-lib.cm
320 :     Control.cm
321 :     Lib.cm
322 :     MLRISC.cm
323 :     IA32.cm
324 :     Sched.cm
325 :     Region.cm
326 :    
327 :     (* X86 scheduler *)
328 :     ../x86/scheduling/x86Arch.sig
329 :     ../x86/scheduling/x86ReservationTable.sig
330 :     ../x86/scheduling/x86PairingRT.sml
331 :     ../x86/scheduling/x86PipelineRT.sml
332 :     ../x86/scheduling/x86PentiumII.sml
333 :     ../x86/scheduling/x86PentiumPro.sml
334 :     (* ../x86/scheduling/x86SchedulingProps.sml *)
335 :    
336 :     ../x86/scheduling/x86SchedProps.sml
337 :    
338 :     IA32-SSA.cm:
339 :    
340 :     smlnj-lib.cm
341 :     Control.cm
342 :     MLRISC.cm
343 :     RTL.cm
344 :     SSA.cm
345 :     Region.cm
346 :     IA32.cm
347 :     IA32-RTL.cm
348 :    
349 :     (* X86 specific backend *)
350 :     ../x86/SSA/x86SSAProps.sml
351 :     IR.cm:
352 :    
353 :     smlnj-lib.cm
354 :     MLRISC.cm
355 :     Control.cm
356 :     Lib.cm
357 :     Graphs.cm
358 :     Visual.cm
359 :     ir.cm
360 :     MLTREE.cm
361 :    
362 :     (* These provide a graph view for clusters. Required if you
363 :     * want to perform any non-trivial analysis on the program.
364 :     * Also required if you want to use the visualization stuff on clusters.
365 :     *)
366 :     ../cluster/clusterGraph.sig
367 :     ../cluster/clusterGraph.sml
368 :     ../cluster/clusterViewer.sig
369 :     ../cluster/clusterViewer.sml
370 :    
371 :     (* MLRISC IR for optimizations. These are necessary only if you want
372 :     * to use various optional MLRISC optimizations.
373 :     *)
374 :     ../IR/dataflow.sig
375 :     ../IR/dataflow.sml
376 :     ../IR/mlrisc-branch-chaining.sml
377 :     ../IR/mlrisc-cfg-gen.sig
378 :     ../IR/mlrisc-cfg-gen.sml
379 :     ../IR/mlrisc-cfg-gen2.sml
380 :     ../IR/mlrisc-cfg-util.sig
381 :     ../IR/mlrisc-cfg-util.sml
382 :     ../IR/mlrisc-cfg.sig
383 :     ../IR/mlrisc-cfg.sml
384 :     ../IR/mlrisc-cluster2cfg.sml
385 :     ../IR/mlrisc-cfg2cluster.sml
386 :     ../IR/mlrisc-cpr.sml
387 :     ../IR/mlrisc-format-insn.sml
388 :     ../IR/idefs2.sig
389 :     ../IR/idefs2.sml
390 :     ../IR/mlrisc-idefs.sig
391 :     ../IR/mlrisc-idefs.sml
392 :     ../IR/mlrisc-ir.sig
393 :     ../IR/mlrisc-ir.sml
394 :     ../IR/mlrisc-ir-optimization.sig
395 :     ../IR/mlrisc-liveness.sml
396 :     ../IR/mlrisc-preheaders.sml
397 :     ../IR/mlrisc-reshape-branches.sml
398 :     ../IR/static-branch-prediction.sml
399 :    
400 :     (* Glue modules. These are required only if you want to
401 :     * play with optimizations.
402 :     *)
403 :     ../Glue/mlrisc-glue.sig
404 :     ../Glue/mlrisc-glue.sml
405 :     ir.cm:
406 :     smlnj-lib.cm
407 :     Control.cm
408 :     Lib.cm
409 :     Graphs.cm
410 :    
411 :     ../ir/apt.sig
412 :     ../ir/apt.sml
413 :     ../ir/cdg.sig
414 :     ../ir/cdg.sml
415 :     ../ir/compute-freq.sig
416 :     ../ir/compute-freq.sml
417 :     ../ir/compute-freq2.sig
418 :     ../ir/compute-freq2.sml
419 :     ../ir/comp-djgraph.sml
420 :     ../ir/derived-graph.sig
421 :     ../ir/derived-graph.sml
422 :     ../ir/dj-dataflow.sig
423 :     ../ir/dj-dataflow.sml
424 :     ../ir/djgraph.sig
425 :     ../ir/djgraph.sml
426 :     ../ir/dominance-frontier.sig
427 :     ../ir/dominance-frontier.sml
428 :     ../ir/dominator.sig
429 :     ../ir/dominator.sml
430 :     ../ir/reducibility.sig
431 :     ../ir/reducibility.sml
432 :     ../ir/loop-structure.sig
433 :     ../ir/loop-structure.sml
434 :     ../ir/ssa.sig
435 :     ../ir/ssa.sml
436 :    
437 :     Lib.cm:
438 :     (*
439 :     * This is the MLRISC library
440 :     *)
441 :     smlnj-lib.cm
442 :     Control.cm
443 :    
444 :     ../library/annotations.sig
445 :     ../library/annotations.sml
446 :     ../library/bitset.sig
447 :     ../library/bitset.sml
448 :     ../library/cache.sml
449 :     ../library/catlist.sml
450 :     ../library/dynamic-array.sml
451 :     (*
452 :     ../library/dynamic-bitset.sml
453 :     ../library/fixed-point.sig
454 :     ../library/fixed-point.sml
455 :     *)
456 :     ../library/freq.sig
457 :     ../library/freq.sml
458 :     ../library/hash-array.sml
459 :     (*
460 :     ../library/hash-table.sig
461 :     ../library/hash-table.sml
462 :     ../library/hashMap.sig
463 :     ../library/hashMap.sml
464 :     ../library/hashBag.sig
465 :     ../library/hashBag.sml
466 :     ../library/hashMultimap.sig
467 :     ../library/hashMultimap.sml
468 :     ../library/hashSet.sig
469 :     ../library/hashSet.sml
470 :     ../library/int-set.sml
471 :     *)
472 :     (*
473 :     ../library/intmap.sig
474 :     ../library/intmap.sml
475 :     *)
476 :     ../library/heap.sml
477 :     ../library/line-break.sml
478 :     ../library/priQueue.sig
479 :     ../library/priQueue.sml
480 :     (*
481 :     ../library/probability.sml
482 :     ../library/randlist.sml
483 :     ../library/regset.sig
484 :     ../library/regset.sml
485 :     *)
486 :     ../library/sortedlist.sml
487 :     ../library/stringOutStream.sig
488 :     ../library/stringOutStream.sml
489 :     (*
490 :     ../library/susp.sml
491 :     ../library/transaction-glue.sml
492 :     ../library/transaction-log.sig
493 :     ../library/transaction-log.sml
494 :     ../library/transaction.sig
495 :     ../library/transaction.sml
496 :     ../library/undoable-array.sml
497 :     ../library/undoable-ref.sml
498 :     *)
499 :     (*
500 :     ../library/word64.sml
501 :     *)
502 :    
503 :     MIPS.cm:
504 :     (*
505 :     * MIPS specific modules for MLRISC code generation framework.
506 :     *)
507 :    
508 :     smlnj-lib.cm
509 :     MLRISC.cm
510 :     Control.cm
511 :     Lib.cm
512 :    
513 :     (* MIPS specific backend *)
514 :     ../mips/instructions/mipsCells.sml
515 :     ../mips/instructions/mipsInstr.sml
516 :     ../mips/instructions/mipsShuffle.sig
517 :     ../mips/instructions/mipsShuffle.sml
518 :     (*mips/instructions/mipsProps.sml
519 :     ../mips/instructions/mipsFreqProps.sml*)
520 :     ../mips/emit/mipsAsm.sml
521 :     ../mips/emit/mipsMC.sml
522 :     ../mips/backpatch/mipsJumps.sml
523 :     (*mips/mltree/mipsPseudoInstr.sig*)
524 :     (*mips/mltree/mips.sml*)
525 :     ../mips/ra/mipsRewrite.sml
526 :     MLRISC.cm:
527 :     (* MLRISC.cm
528 :     *
529 :     * COPYRIGHT (c) 1999 Bell Labs, Lucent Technologies.
530 :     *
531 :     * This library contains only the core MLRISC stuff. There are
532 :     * architecture-specific files for the various supported machines.
533 :     *)
534 :    
535 :     smlnj-lib.cm
536 :     Control.cm
537 :     Lib.cm
538 :    
539 :     (* Core definitions. These are required *)
540 :     ../instructions/cells.sig
541 :     ../instructions/cells.sml
542 :     ../instructions/cells-basis.sig
543 :     ../instructions/cells-basis.sml
544 :     ../instructions/rewrite.sig
545 :     ../instructions/insnProps.sig
546 :     ../instructions/stream.sig
547 :     ../instructions/stream.sml
548 :     ../instructions/instructions.sig
549 :     ../instructions/shuffle.sig
550 :     ../instructions/shuffle.sml
551 :     ../instructions/constant.sig
552 :     ../instructions/labels.sml
553 :     ../instructions/pseudoOps.sig
554 :     ../instructions/region.sig
555 :     ../instructions/freqProps.sig
556 :     ../instructions/freqProps.sml
557 :     ../instructions/mlriscAnnotations.sig
558 :     ../instructions/mlriscAnnotations.sml
559 :     ../instructions/mlriscOptimization.sig
560 :    
561 :     (* New ../aliasing/memory disambiguation support *)
562 :     ../aliasing/mlriscRegion.sig
563 :     ../aliasing/mlriscRegion.sml
564 :     ../aliasing/pointsTo.sig
565 :     ../aliasing/pointsTo.sml
566 :    
567 :     (* Core definitions for the MLTREE language. These are required. *)
568 :     ../mltree/mltree-extension.sig
569 :     ../mltree/mltree-basis.sig
570 :     ../mltree/mltree-basis.sml
571 :     ../mltree/mltree.sig
572 :     ../mltree/mltree.sml
573 :     ../mltree/mltreecomp.sig
574 :     ../mltree/mltree-gen.sig
575 :     ../mltree/mltree-gen.sml
576 :     ../mltree/mltree-size.sig
577 :     ../mltree/mltree-size.sml
578 :     ../mltree/flowgen.sig
579 :     ../mltree/mltree-mult.sig
580 :     ../mltree/mltree-mult.sml
581 :     ../mltree/mltree-labexp.sig
582 :     ../mltree/mltree-labexp.sml
583 :     ../mltree/machine-int.sig
584 :     ../mltree/machine-int.sml
585 :    
586 :     (* Basic cluster stuff. These are required. *)
587 :     ../cluster/flowgraph.sml
588 :     ../cluster/clustergen.sml
589 :     ../cluster/printCluster.sml
590 :     ../cluster/clusterOptimization.sig
591 :     ../cluster/clusterCountCopies.sml
592 :    
593 :     (* Core register allocator utilities *)
594 :     ../ra/getreg.sig
595 :     ../ra/getreg.sml
596 :     ../ra/getreg2.sml
597 :     ../ra/liveness.sml
598 :    
599 :     (* Spill heuristics *)
600 :     ../ra/chaitin-spillheur.sml
601 :     ../ra/chow-hennessy-spillheur.sml
602 :    
603 :     (* New RA *)
604 :     ../ra/ra-graph.sig
605 :     ../ra/ra-graph.sml
606 :     ../ra/ra-core.sig
607 :     ../ra/ra-core.sml
608 :     ../ra/ra-spill-types.sml
609 :     ../ra/ra-spill.sig
610 :     ../ra/ra-spill.sml
611 :     ../ra/ra-spillheur.sig
612 :     ../ra/ra-flowgraph.sig
613 :     ../ra/ra-flowgraph-part.sig
614 :     ../ra/ra.sig
615 :     ../ra/ra.sml
616 :     ../ra/ra-deadCodeE.sml
617 :     ../ra/ra-priqueue.sig
618 :     ../ra/mem-ra.sml
619 :     ../ra/region-based-ra.sml
620 :     ../ra/risc-ra.sml
621 :    
622 :     (* Cluster based RA's *)
623 :     ../ra/cluster-ra.sml
624 :     ../ra/cluster-partitioner.sml
625 :    
626 :     (* Assembly machine code stuff *)
627 :     ../emit/instruction-emitter.sig
628 :     ../emit/asmEmit.sig
629 :     ../emit/asmStream.sml
630 :     ../emit/asmUtil.sml
631 :     ../emit/clusterEmit.sml
632 :     ../emit/code-string.sig
633 :    
634 :     (* Basic GC types stuff *)
635 :     ../gc-safety/gc-cells.sig
636 :     ../gc-safety/gc-cells.sml
637 :     ../gc-safety/gc-type.sig
638 :    
639 :     (* Span dependency stuff *)
640 :     ../backpatch/backpatch.sml
641 :     ../backpatch/bbsched.sig
642 :     ../backpatch/spanDep.sml
643 :     ../backpatch/delaySlotProps.sig
644 :     ../backpatch/noDelaySlots.sml
645 :     ../backpatch/sdi-jumps.sig
646 :     ../backpatch/vlBackPatch.sml
647 :    
648 :     (* c calls *)
649 :     ../c-calls/c-types.sml
650 :     ../c-calls/c-calls.sig
651 :    
652 :     MLTREE.cm:
653 :     (*
654 :     * This library contains some simple MLTree utilities
655 :     *)
656 :     smlnj-lib.cm
657 :     MLRISC.cm
658 :     Control.cm
659 :     Lib.cm
660 :    
661 :     ../mltree/mltree-utils.sig
662 :     ../mltree/mltree-utils.sml
663 :     ../mltree/mltree-fold.sig
664 :     ../mltree/mltree-fold.sml
665 :     ../mltree/mltree-rewrite.sig
666 :     ../mltree/mltree-rewrite.sml
667 :     ../mltree/mltree-simplify.sig
668 :     ../mltree/mltree-simplify.sml
669 :     ../mltree/instr-gen.sig
670 :     ../mltree/instr-gen.sml
671 :    
672 :     Opt.cm:
673 :     (*
674 :     * This library implemenents the MLRISC SSA optimizer.
675 :     *)
676 :    
677 :     MLRISC.cm
678 :     Control.cm
679 :     Lib.cm
680 :     Graphs.cm
681 :     Visual.cm
682 :     ir.cm
683 :     IR.cm
684 :     RTL.cm
685 :     SSA.cm
686 :     Sched.cm
687 :     GC.cm
688 :    
689 :     ../Glue/mlrisc-optimizer.sml
690 :    
691 :     Peephole.cm:
692 :     (*
693 :     * This library contains only the peephole optimization stuff.
694 :     *)
695 :     smlnj-lib.cm
696 :     MLRISC.cm
697 :    
698 :     (* Peephole optimizations *)
699 :     ../instructions/peephole.sig
700 :     ../cluster/clusterPeephole.sml
701 :    
702 :     PPC.cm:
703 :     (*
704 :     * PowerPC specific modules for MLRISC code generation framework.
705 :     *)
706 :    
707 :     smlnj-lib.cm
708 :     MLRISC.cm
709 :     Control.cm
710 :     Lib.cm
711 :    
712 :     (* PowerPC specific backend *)
713 :     ../ppc/instructions/ppcCells.sml
714 :     ../ppc/instructions/ppcInstr.sml
715 :     ../ppc/instructions/ppcShuffle.sig
716 :     ../ppc/instructions/ppcShuffle.sml
717 :     ../ppc/instructions/ppcProps.sml
718 :     ../ppc/instructions/ppcFreqProps.sml
719 :     ../ppc/emit/ppcAsm.sml
720 :     ../ppc/emit/ppcMC.sml
721 :     ../ppc/backpatch/ppcDelaySlots.sml
722 :     ../ppc/backpatch/ppcJumps.sml
723 :     ../ppc/mltree/ppcPseudoInstr.sig
724 :     ../ppc/mltree/ppc.sml
725 :     ../ppc/ra/ppcRewrite.sml
726 :     (* ../ppc/ra/ppcRegAlloc.sml *)
727 :    
728 :     PPC-GC.cm:
729 :    
730 :     smlnj-lib.cm
731 :     MLRISC.cm
732 :     GC.cm
733 :     PPC.cm
734 :    
735 :     (* PowerPC specific backend *)
736 :    
737 :     PPC-Sched.cm:
738 :     (*
739 :     * This library contains the superscalar scheduling stuff.
740 :     *)
741 :     smlnj-lib.cm
742 :     Control.cm
743 :     Lib.cm
744 :     MLRISC.cm
745 :     PPC.cm
746 :     Sched.cm
747 :     Region.cm
748 :    
749 :     (* PowerPC scheduler *)
750 :     ../ppc/scheduling/ppcSchedProps.sml
751 :    
752 :     RA.cm:
753 :    
754 :     smlnj-lib.cm
755 :     MLRISC.cm
756 :     Control.cm
757 :     Lib.cm
758 :     ir.cm
759 :    
760 :     (*../ra/ra-spill-gcm.sig
761 :     ../ra/ra-spill-gcm.sml
762 :     ../ra/lcm.sig
763 :     ../ra/lcm.sml
764 :     ../ra/frame-info.sig
765 :     ../ra/cluster-frame-info.sml*)
766 :     (* ../ra/interproc-mem-ra.sml *)
767 :    
768 :     ../ra/chaitin-spillheur2.sml
769 :     ../ra/chow-hennessy-spillheur2.sml
770 :    
771 :     ../ra/ra-spill-with-renaming.sml
772 :    
773 :     Region.cm:
774 :     (*
775 :     * This library contains the basic interface to the regions stuff
776 :     *)
777 :    
778 :     smlnj-lib.cm
779 :     MLRISC.cm
780 :     Control.cm
781 :     Lib.cm
782 :    
783 :     ../instructions/regionInfo.sml
784 :     ../instructions/regionProps.sig
785 :    
786 :     ../aliasing/pointsToInfo.sig
787 :     ../aliasing/pointsToInfo.sml
788 :     RTL.cm:
789 :     (*
790 :     * This library contains modules that implements the RTL and related stuff
791 :     *)
792 :    
793 :     smlnj-lib.cm
794 :     Control.cm
795 :     Lib.cm
796 :     MLRISC.cm
797 :     MLTREE.cm
798 :    
799 :     (* RTL *)
800 :     ../mltree/mltree-rtl.sig
801 :     ../mltree/mltree-rtl.sml
802 :     ../mltree/rtl-props.sig
803 :     ../mltree/rtl-build.sig
804 :     ../mltree/rtl-build.sml
805 :    
806 :     (* Operand tables *)
807 :     ../mltree/operand-table.sig
808 :     ../mltree/operand-table.sml
809 :    
810 :     Sched.cm:
811 :     (*
812 :     * This library contains the superscalar scheduling stuff.
813 :     *)
814 :     smlnj-lib.cm
815 :     Control.cm
816 :     Lib.cm
817 :     Graphs.cm
818 :     Visual.cm
819 :     ir.cm
820 :     MLRISC.cm
821 :     RTL.cm
822 :     IR.cm
823 :    
824 :     (* Rank algorithms *)
825 :     ../scheduling/PalemSimons.sig
826 :     ../scheduling/PalemSimons.sml
827 :     ../scheduling/LeungPalemPnueli.sig
828 :     ../scheduling/LeungPalemPnueli.sml
829 :    
830 :     (* Data dependence dag representation *)
831 :     ../scheduling/schedulerDDG.sig
832 :     ../scheduling/schedulerDDG.sml
833 :    
834 :     (* Signature of a rank function *)
835 :     ../scheduling/schedulingRanks.sig
836 :    
837 :     (* Architectural Properties *)
838 :     ../scheduling/schedulingProps.sig
839 :    
840 :     (* Basic block scheduling *)
841 :     ../scheduling/localCP.sml
842 :     ../scheduling/buildLocalDDG.sig
843 :     ../scheduling/buildLocalDDG.sml
844 :     ../scheduling/bbScheduler.sig
845 :     ../scheduling/bbScheduler.sml
846 :     ../scheduling/bbDDGViewer.sig
847 :     ../scheduling/bbDDGViewer.sml
848 :     ../scheduling/clusterBBScheduler.sml
849 :    
850 :     (* Superscalar scheduling. These are required if you want to
851 :     * play with instruction scheduling for superscalars.
852 :     * It requires the MLRISC IR stuff. !!!
853 :     *)
854 :     ../scheduling/listScheduler.sig
855 :     ../scheduling/listScheduler.sml
856 :     ../scheduling/buildDDG.sig
857 :     ../scheduling/buildDDG.sml
858 :     ../scheduling/schedulingAliasing.sig
859 :     ../scheduling/regionBuilder.sig
860 :     ../scheduling/regionBuilder.sml
861 :    
862 :     (* Various global scheduling algorithms *)
863 :     ../scheduling/globalCP.sml
864 :     ../scheduling/globalDDGViewer.sig
865 :     ../scheduling/globalDDGViewer.sml
866 :     ../scheduling/globalSchedulingAlgo.sig
867 :     ../scheduling/dagScheduling.sml
868 :     ../scheduling/globalScheduler.sml
869 :     SPARC.cm:
870 :     (*
871 :     * SPARC specific modules for MLRISC code generation framework.
872 :     *)
873 :     smlnj-lib.cm
874 :     MLRISC.cm
875 :     Control.cm
876 :     Lib.cm
877 :    
878 :     (* Sparc specific backend *)
879 :     ../sparc/instructions/sparcCells.sml
880 :     ../sparc/instructions/sparcInstr.sml
881 :     ../sparc/instructions/sparcShuffle.sig
882 :     ../sparc/instructions/sparcShuffle.sml
883 :     ../sparc/instructions/sparcProps.sml
884 :     ../sparc/instructions/sparcFreqProps.sml
885 :     ../sparc/emit/sparcAsm.sml
886 :     ../sparc/emit/sparcMC.sml
887 :     ../sparc/backpatch/sparcJumps.sml
888 :     ../sparc/mltree/sparcPseudoInstr.sig
889 :     ../sparc/mltree/sparc.sml
890 :     ../sparc/ra/sparcRewrite.sml
891 :     (* ../sparc/ra/sparcRegAlloc.sml *)
892 :     ../sparc/backpatch/sparcDelaySlotProps.sml
893 :    
894 :     SPARC-GC.cm:
895 :    
896 :     smlnj-lib.cm
897 :     MLRISC.cm
898 :     GC.cm
899 :     SPARC.cm
900 :    
901 :     (* Sparc specific backend *)
902 :     SPARC-Peephole.cm:
903 :    
904 :     MLRISC.cm
905 :     Peephole.cm
906 :     SPARC.cm
907 :    
908 :     (* sparc *)
909 :     ../sparc/instructions/sparcPeephole.sml
910 :    
911 :     SPARC-RTL.cm:
912 :    
913 :     smlnj-lib.cm
914 :     Control.cm
915 :     MLRISC.cm
916 :     RTL.cm
917 :     Region.cm
918 :     SPARC.cm
919 :    
920 :     (* sparc specific backend *)
921 :     ../sparc/mltree/sparcRTL.sml
922 :     ../sparc/mltree/sparcRTLProps.sml
923 :    
924 :     SPARC-Sched.cm:
925 :     (*
926 :     * This library contains the superscalar scheduling stuff.
927 :     *)
928 :    
929 :     smlnj-lib.cm
930 :     Control.cm
931 :     Lib.cm
932 :     MLRISC.cm
933 :     SPARC.cm
934 :     Sched.cm
935 :     Region.cm
936 :    
937 :     (* Sparc scheduler *)
938 :     ../sparc/scheduling/sparcSchedProps.sml
939 :     SPARC-SSA.cm:
940 :    
941 :     smlnj-lib.cm
942 :     Control.cm
943 :     MLRISC.cm
944 :     RTL.cm
945 :     SSA.cm
946 :     Region.cm
947 :     SPARC.cm
948 :     SPARC-RTL.cm
949 :    
950 :     (* sparc specific backend *)
951 :     ../sparc/SSA/sparcSSAProps.sml
952 :    
953 :     SSA.cm:
954 :     (*
955 :     * This library implements the SSA optimizations.
956 :     *)
957 :     smlnj-lib.cm
958 :     Control.cm
959 :     Lib.cm
960 :     Graphs.cm
961 :     Visual.cm
962 :     ir.cm
963 :     MLRISC.cm
964 :     IR.cm
965 :     GC.cm
966 :     MLTREE.cm
967 :     RTL.cm
968 :     Region.cm
969 :    
970 :     (* The SSA representation *)
971 :     ../SSA/SSA-flowgraph.sig
972 :     ../SSA/mlrisc-ssa.sig
973 :     ../SSA/mlrisc-ssa.sml
974 :     ../SSA/SSA-optimization.sig
975 :    
976 :     (* Machine specific properties *)
977 :     ../SSA/SSA-props.sig
978 :    
979 :     (* CFG <-> SSA *)
980 :     ../SSA/mlrisc-ssa-construction.sig
981 :     ../SSA/mlrisc-ssa-construction.sml
982 :     ../SSA/mlrisc-ssa-deconstruction.sig
983 :     ../SSA/mlrisc-ssa-deconstruction.sml
984 :    
985 :     ../SSA/SSA-const-folding.sig
986 :     ../SSA/SSA-const-folding.sml
987 :    
988 :     ../SSA/SSA-gvn-basis.sig
989 :     ../SSA/SSA-gvn-basis.sml
990 :    
991 :     (* Instruction selection *)
992 :     ../SSA/SSA-instrgen.sig
993 :     ../SSA/SSA-instrgen.sml
994 :    
995 :     (* Optimization phases *)
996 :     ../SSA/SSA-dead-code-elim.sml
997 :     ../SSA/SSA-cond-const-folding.sml
998 :     ../SSA/SSA-global-code-motion.sml
999 :     ../SSA/SSA-global-value-numbering.sml
1000 :     ../SSA/SSA-operator-strength-reduction.sml
1001 :    
1002 :     ../SSA/SSA-gc-invariants.sml
1003 :    
1004 :    
1005 :     Visual.cm:
1006 :    
1007 :     (*
1008 :     * This library implements visualization of graphs
1009 :     *)
1010 :     Control.cm
1011 :     Lib.cm
1012 :     Graphs.cm
1013 :    
1014 :     ../visualization/allDisplays.sml
1015 :     ../visualization/daVinci.sml
1016 :     ../visualization/dot.sml
1017 :     ../visualization/graphDisplay.sig
1018 :     ../visualization/graphLayout.sml
1019 :     ../visualization/graphViewer.sig
1020 :     ../visualization/graphViewer.sml
1021 :     ../visualization/vcg.sml
1022 :    
1023 :     VLIW.cm:
1024 :     (*
1025 :     * This library contains the VLIW based optimizations.
1026 :     *)
1027 :    
1028 :     smlnj-lib.cm
1029 :     Control.cm
1030 :     Lib.cm
1031 :     Graphs.cm
1032 :     Visual.cm
1033 :     ir.cm
1034 :     MLRISC.cm
1035 :     IR.cm
1036 :    
1037 :     ../emit/emitterNEW.sig (* dummy *)
1038 :    
1039 :     (* ../VLIW/EPIC foundational stuff.
1040 :     *)
1041 :     ../instructions/funits.sig
1042 :     ../instructions/datapaths.sig
1043 :     ../instructions/pred-instructions.sig
1044 :     ../instructions/vliw-instructions.sig
1045 :     ../instructions/pred-vliw-instructions.sig
1046 :     ../instructions/predicationProps.sig
1047 :     ../instructions/vliwProps.sig
1048 :    
1049 :     (* Hyperblock and predicate analysis.
1050 :     * These are necessary if you want to play with optimizations
1051 :     * for predicated for VLIW architectures.
1052 :     *)
1053 :     ../hyperblock/decision-trees.sig
1054 :     ../hyperblock/decision-trees.sml
1055 :     ../hyperblock/hyperblock.sig
1056 :     ../hyperblock/hyperblock.sml
1057 :     ../hyperblock/hyperblock-ddg.sig
1058 :     ../hyperblock/hyperblock-ddg.sml
1059 :     ../hyperblock/if-conversion.sig
1060 :     ../hyperblock/if-conversion.sml
1061 :     ../hyperblock/predicated-ddg.sig
1062 :     ../hyperblock/predicated-ddg.sml
1063 :    
1064 :     (* Hyperblock Scheduling for VLIW
1065 :     * It requires the hyperblock, MLRISC IR and VLIW modules. !!!
1066 :     *)
1067 :     ../hyperblock-scheduling/critical-path.sml
1068 :     ../hyperblock-scheduling/hyperblock-scheduling.sig
1069 :     ../hyperblock-scheduling/hyperblock-scheduling.sml
1070 :     ../hyperblock-scheduling/rank-algorithm.sig
1071 :     ../hyperblock-scheduling/vliwSchedulingProps.sig
1072 :     ../hyperblock-scheduling/vliwSchedulingAutomaton.sig
1073 :    
1074 :     (* Modulo Scheduling for VLIW
1075 :     * It requires the hyperblock, MLRISC IR and VLIW modules. !!!
1076 :     *)
1077 :     ../modulo-scheduling/iterated-modulo-scheduling.sml
1078 :     ../modulo-scheduling/modulo-scheduling-algo.sig
1079 :     ../modulo-scheduling/modulo-scheduling.sig
1080 :     ../modulo-scheduling/modulo-scheduling.sml
1081 :     ../modulo-scheduling/mrt.sig
1082 :     ../modulo-scheduling/mrt.sml
1083 :     ../modulo-scheduling/pre-modulo-scheduling.sig
1084 :     ../modulo-scheduling/pre-modulo-scheduling.sml
1085 :    
1086 :     (* C6 specific backend !!! *)
1087 :     ../C6/instructions/C6Cells.sig
1088 :     ../C6/instructions/C6Cells.sml
1089 :     ../C6/instructions/C6Datapaths.sig
1090 :     ../C6/instructions/C6Datapaths.sml
1091 :     (*C6/instructions/C6DatapathsProps.sml*)
1092 :     ../C6/instructions/C6Funits.sig
1093 :     ../C6/instructions/C6Funits.sml
1094 :     ../C6/instructions/C6Instr.sig
1095 :     ../C6/instructions/C6Instr.sml
1096 :     ../C6/instructions/C6InstrClass.sig
1097 :     ../C6/instructions/C6InstrClass.sml
1098 :     ../C6/instructions/C6Intrinsics.sig
1099 :     ../C6/instructions/C6Intrinsics.sml
1100 :     ../C6/instructions/C6PredicationProps.sml
1101 :     ../C6/instructions/C6Props.sml
1102 :     ../C6/instructions/C6PseudoOps.sig
1103 :     ../C6/instructions/C6PseudoOps.sml
1104 :     ../C6/instructions/C6Shuffle.sig
1105 :     ../C6/instructions/C6Shuffle.sml
1106 :     ../C6/instructions/C6VLIWProps.sml
1107 :     ../C6/emit/C6Asm.sml
1108 :     (*C6/scheduling/C6RTDEFS.sml
1109 :     C6/scheduling/C6RTDEFS2.sml
1110 :     C6/scheduling/C6RTTables.sml
1111 :     C6/scheduling/C6RTTables2.sml*)
1112 :     ../C6/scheduling/C6SchedulingProps.sml
1113 :     (* ../C6/SSA/C6SSAProps.sml *)

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