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

Parent Directory | 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