1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
1001
1002
1003
1004
1005
1006
1007
1008
1009
|
ann
"nonexhaustiveBind warn" "nonexhaustiveMatch warn"
"redundantBind warn" "redundantMatch warn"
"sequenceNonUnit ignore"
"warnUnused false" "forceUsed"
"allowOrPats true" "allowSigWithtype true" "allowVectorExpsAndPats true"
in
local
basis l37 =
bas
(* $/basis.cm ====> *) $(SML_LIB)/basis/basis.mlb $(SML_LIB)/basis/sml-nj.mlb $(SML_LIB)/basis/unsafe.mlb
end
basis l138 =
bas
(* $/smlnj-lib.cm ====> *) $(SML_LIB)/smlnj-lib/Util/smlnj-lib.mlb
end
basis l4 =
bas
(* $MLRISC.cm(=(proxyLib.cm):.)/MLRISC.cm =??=> *) MLRISC.mlb
end
basis l48 =
bas
(* $Control.cm(=(proxyLib.cm):.)/Control.cm =??=> *) Control.mlb
end
basis l162 =
bas
(* $Graphs.cm(=(proxyLib.cm):.)/Graphs.cm =??=> *) Graphs.mlb
end
basis l86 =
bas
(* $Lib.cm(=(proxyLib.cm):.)/Lib.cm =??=> *) Lib.mlb
end
basis l211 =
bas
(* $MLTREE.cm(=(proxyLib.cm):.)/MLTREE.cm =??=> *) MLTREE.mlb
end
in
local
$(SML_LIB)/basis/pervasive.mlb
local
open l4
in
functor gs_0 = Cells
end
local
open l37
in
structure gs_1 = Char
structure gs_2 = CharArray
structure gs_3 = CharVector
structure gs_4 = FixedInt
structure gs_5 = General
structure gs_6 = Int
structure gs_7 = Int32
structure gs_8 = Int64
structure gs_9 = IntInf
structure gs_10 = LargeInt
structure gs_11 = LargeReal
structure gs_12 = LargeWord
structure gs_13 = OS
structure gs_14 = Position
structure gs_15 = Real
structure gs_16 = Real64
structure gs_17 = RealArray
structure gs_18 = RealArraySlice
structure gs_19 = RealVector
structure gs_20 = RealVectorSlice
structure gs_21 = SMLofNJ
structure gs_22 = Socket
structure gs_23 = String
structure gs_24 = Substring
structure gs_25 = SysWord
structure gs_26 = Time
structure gs_27 = Word
structure gs_28 = Word32
structure gs_29 = Word64
structure gs_30 = Word8
end
local
open l4
in
structure gs_31 = CellsBasis
end
local
open l4
in
signature gs_32 = CELLS
end
local
open l48
in
signature gs_33 = MLRISC_ERROR_MSG
structure gs_34 = MLRiscErrorMsg
end
local
signature CELLS = gs_32
functor Cells = gs_0
structure CellsBasis = gs_31
structure Char = gs_1
structure CharArray = gs_2
structure CharVector = gs_3
structure FixedInt = gs_4
structure General = gs_5
structure Int = gs_6
structure Int32 = gs_7
structure Int64 = gs_8
structure IntInf = gs_9
structure LargeInt = gs_10
structure LargeReal = gs_11
structure LargeWord = gs_12
signature MLRISC_ERROR_MSG = gs_33
structure MLRiscErrorMsg = gs_34
structure OS = gs_13
structure Position = gs_14
structure Real = gs_15
structure Real64 = gs_16
structure RealArray = gs_17
structure RealArraySlice = gs_18
structure RealVector = gs_19
structure RealVectorSlice = gs_20
structure SMLofNJ = gs_21
structure Socket = gs_22
structure String = gs_23
structure Substring = gs_24
structure SysWord = gs_25
structure Time = gs_26
structure Word = gs_27
structure Word32 = gs_28
structure Word64 = gs_29
structure Word8 = gs_30
../amd64/instructions/amd64Cells.sml
in
signature gs_35 = AMD64CELLS
structure gs_36 = AMD64Cells
end
local
open l4
in
signature gs_37 = SDI_JUMPS
end
local
open l37
in
structure gs_38 = Word8Vector
end
local
open l4
in
signature gs_39 = MC_EMIT
end
local
open l4
in
signature gs_40 = MLTREE_EVAL
end
local
open l4
in
functor gs_41 = Shuffle
end
local
open l4
in
signature gs_42 = REGION
end
local
open l4
in
signature gs_43 = CONSTANT
end
local
open l4
in
signature gs_44 = MLTREE
end
local
open l4
in
signature gs_45 = CELLS_BASIS
end
local
open l86
in
structure gs_46 = Annotations
end
local
open l4
in
structure gs_47 = Label
end
local
signature AMD64CELLS = gs_35
structure AMD64Cells = gs_36
structure Annotations = gs_46
signature CELLS_BASIS = gs_45
signature CONSTANT = gs_43
structure CellsBasis = gs_31
structure Char = gs_1
structure CharArray = gs_2
structure CharVector = gs_3
structure FixedInt = gs_4
structure General = gs_5
structure Int = gs_6
structure Int32 = gs_7
structure Int64 = gs_8
structure IntInf = gs_9
structure Label = gs_47
structure LargeInt = gs_10
structure LargeReal = gs_11
structure LargeWord = gs_12
signature MLTREE = gs_44
structure OS = gs_13
structure Position = gs_14
signature REGION = gs_42
structure Real = gs_15
structure Real64 = gs_16
structure RealArray = gs_17
structure RealArraySlice = gs_18
structure RealVector = gs_19
structure RealVectorSlice = gs_20
structure SMLofNJ = gs_21
structure Socket = gs_22
structure String = gs_23
structure Substring = gs_24
structure SysWord = gs_25
structure Time = gs_26
structure Word = gs_27
structure Word32 = gs_28
structure Word64 = gs_29
structure Word8 = gs_30
../amd64/instructions/amd64Instr.sml
in
signature gs_48 = AMD64INSTR
functor gs_49 = AMD64Instr
end
local
signature AMD64INSTR = gs_48
functor AMD64Instr = gs_49
structure CellsBasis = gs_31
functor Shuffle = gs_41
../amd64/instructions/amd64Shuffle.sml
in
signature gs_50 = AMD64SHUFFLE
functor gs_51 = AMD64Shuffle
end
local
signature AMD64INSTR = gs_48
functor AMD64Instr = gs_49
signature AMD64SHUFFLE = gs_50
functor AMD64Shuffle = gs_51
signature MC_EMIT = gs_39
signature MLRISC_ERROR_MSG = gs_33
structure MLRiscErrorMsg = gs_34
signature MLTREE_EVAL = gs_40
signature SDI_JUMPS = gs_37
structure Word8Vector = gs_38
../amd64/backpatch/amd64Jumps.sml
in
functor gs_52 = AMD64Jumps
end
local
open l4
in
signature gs_53 = ARCH_SPILL_INSTR
end
local
open l4
in
structure gs_54 = MLRiscAnnotations
end
local
open l37
in
structure gs_55 = List
end
local
open l4
in
signature gs_56 = MLTREE_HASH
end
local
open l4
in
signature gs_57 = INSN_PROPERTIES
end
local
signature AMD64INSTR = gs_48
functor AMD64Instr = gs_49
structure CellsBasis = gs_31
structure Char = gs_1
structure CharArray = gs_2
structure CharVector = gs_3
structure FixedInt = gs_4
structure General = gs_5
signature INSN_PROPERTIES = gs_57
structure Int = gs_6
structure Int32 = gs_7
structure Int64 = gs_8
structure IntInf = gs_9
structure Label = gs_47
structure LargeInt = gs_10
structure LargeReal = gs_11
structure LargeWord = gs_12
structure List = gs_55
signature MLRISC_ERROR_MSG = gs_33
structure MLRiscErrorMsg = gs_34
signature MLTREE_EVAL = gs_40
signature MLTREE_HASH = gs_56
structure OS = gs_13
structure Position = gs_14
structure Real = gs_15
structure Real64 = gs_16
structure RealArray = gs_17
structure RealArraySlice = gs_18
structure RealVector = gs_19
structure RealVectorSlice = gs_20
structure SMLofNJ = gs_21
structure Socket = gs_22
structure String = gs_23
structure Substring = gs_24
structure SysWord = gs_25
structure Time = gs_26
structure Word = gs_27
structure Word32 = gs_28
structure Word64 = gs_29
structure Word8 = gs_30
../amd64/instructions/amd64Props.sml
in
signature gs_58 = AMD64INSN_PROPERTIES
functor gs_59 = AMD64Props
end
local
signature AMD64INSN_PROPERTIES = gs_58
signature AMD64INSTR = gs_48
functor AMD64Instr = gs_49
functor AMD64Props = gs_59
signature ARCH_SPILL_INSTR = gs_53
structure Annotations = gs_46
structure CellsBasis = gs_31
signature MLRISC_ERROR_MSG = gs_33
structure MLRiscAnnotations = gs_54
structure MLRiscErrorMsg = gs_34
../amd64/ra/amd64SpillInstr.sml
in
functor gs_60 = AMD64SpillInstr
end
local
open l4
in
signature gs_61 = PSEUDO_OPS_BASIS
end
local
open l4
in
functor gs_62 = DarwinPseudoOps
end
local
open l4
in
functor gs_63 = PseudoOpsLittle
end
local
open l138
in
structure gs_64 = Format
end
local
open l4
in
structure gs_65 = PseudoOpsBasisTyp
end
local
structure Char = gs_1
structure CharArray = gs_2
structure CharVector = gs_3
functor DarwinPseudoOps = gs_62
structure FixedInt = gs_4
structure Format = gs_64
structure General = gs_5
structure Int = gs_6
structure Int32 = gs_7
structure Int64 = gs_8
structure IntInf = gs_9
structure LargeInt = gs_10
structure LargeReal = gs_11
structure LargeWord = gs_12
signature MLRISC_ERROR_MSG = gs_33
structure MLRiscErrorMsg = gs_34
signature MLTREE = gs_44
signature MLTREE_EVAL = gs_40
structure OS = gs_13
signature PSEUDO_OPS_BASIS = gs_61
structure Position = gs_14
structure PseudoOpsBasisTyp = gs_65
functor PseudoOpsLittle = gs_63
structure Real = gs_15
structure Real64 = gs_16
structure RealArray = gs_17
structure RealArraySlice = gs_18
structure RealVector = gs_19
structure RealVectorSlice = gs_20
structure SMLofNJ = gs_21
structure Socket = gs_22
structure String = gs_23
structure Substring = gs_24
structure SysWord = gs_25
structure Time = gs_26
structure Word = gs_27
structure Word32 = gs_28
structure Word64 = gs_29
structure Word8 = gs_30
../amd64/flowgraph/amd64-darwin-pseudo-ops.sml
in
functor gs_66 = AMD64DarwinPseudoOps
end
local
open l4
in
functor gs_67 = GasPseudoOps
end
local
structure Char = gs_1
structure CharArray = gs_2
structure CharVector = gs_3
structure FixedInt = gs_4
structure Format = gs_64
functor GasPseudoOps = gs_67
structure General = gs_5
structure Int = gs_6
structure Int32 = gs_7
structure Int64 = gs_8
structure IntInf = gs_9
structure LargeInt = gs_10
structure LargeReal = gs_11
structure LargeWord = gs_12
signature MLRISC_ERROR_MSG = gs_33
structure MLRiscErrorMsg = gs_34
signature MLTREE = gs_44
signature MLTREE_EVAL = gs_40
structure OS = gs_13
signature PSEUDO_OPS_BASIS = gs_61
structure Position = gs_14
structure PseudoOpsBasisTyp = gs_65
functor PseudoOpsLittle = gs_63
structure Real = gs_15
structure Real64 = gs_16
structure RealArray = gs_17
structure RealArraySlice = gs_18
structure RealVector = gs_19
structure RealVectorSlice = gs_20
structure SMLofNJ = gs_21
structure Socket = gs_22
structure String = gs_23
structure Substring = gs_24
structure SysWord = gs_25
structure Time = gs_26
structure Word = gs_27
structure Word32 = gs_28
structure Word64 = gs_29
structure Word8 = gs_30
../amd64/flowgraph/amd64GasPseudoOps.sml
in
functor gs_68 = AMD64GasPseudoOps
end
local
open l4
in
signature gs_69 = OMIT_FRAME_POINTER
end
local
open l138
in
structure gs_70 = IntHashTable
end
local
open l162
in
structure gs_71 = Graph
end
local
open l48
in
signature gs_72 = MLRISC_CONTROL
structure gs_73 = MLRiscControl
end
local
open l37
in
structure gs_74 = Option
end
local
open l37
in
structure gs_75 = ListPair
end
local
open l4
in
signature gs_76 = CONTROL_FLOW_GRAPH
end
local
signature AMD64INSTR = gs_48
functor AMD64Instr = gs_49
signature CONTROL_FLOW_GRAPH = gs_76
structure CellsBasis = gs_31
structure Char = gs_1
structure CharArray = gs_2
structure CharVector = gs_3
structure FixedInt = gs_4
structure General = gs_5
structure Graph = gs_71
structure Int = gs_6
structure Int32 = gs_7
structure Int64 = gs_8
structure IntHashTable = gs_70
structure IntInf = gs_9
structure LargeInt = gs_10
structure LargeReal = gs_11
structure LargeWord = gs_12
structure ListPair = gs_75
signature MLRISC_CONTROL = gs_72
signature MLRISC_ERROR_MSG = gs_33
structure MLRiscAnnotations = gs_54
structure MLRiscControl = gs_73
structure MLRiscErrorMsg = gs_34
signature OMIT_FRAME_POINTER = gs_69
structure OS = gs_13
structure Option = gs_74
structure Position = gs_14
structure Real = gs_15
structure Real64 = gs_16
structure RealArray = gs_17
structure RealArraySlice = gs_18
structure RealVector = gs_19
structure RealVectorSlice = gs_20
structure SMLofNJ = gs_21
structure Socket = gs_22
structure String = gs_23
structure Substring = gs_24
structure SysWord = gs_25
structure Time = gs_26
structure Word = gs_27
structure Word32 = gs_28
structure Word64 = gs_29
structure Word8 = gs_30
../amd64/omit-frameptr/amd64omit-frameptr.sml
in
functor gs_77 = AMD64OmitFramePointer
end
local
open l4
in
signature gs_78 = MLTREE_STREAM
end
local
../amd64/instructions/amd64InstrExt.sml
in
structure gs_79 = AMD64InstrExt
end
local
signature AMD64INSTR = gs_48
functor AMD64Instr = gs_49
structure AMD64InstrExt = gs_79
signature CONTROL_FLOW_GRAPH = gs_76
signature MLRISC_ERROR_MSG = gs_33
structure MLRiscErrorMsg = gs_34
signature MLTREE_STREAM = gs_78
../amd64/instructions/amd64CompInstrExt.sml
in
signature gs_80 = AMD64COMP_INSTR_EXT
functor gs_81 = AMD64CompInstrExt
end
local
open l4
in
functor gs_82 = MLTreeGen
end
local
open l4
in
functor gs_83 = MLTreeSize
end
local
open l86
in
signature gs_84 = PROBABILITY
structure gs_85 = Probability
end
local
open l4
in
signature gs_86 = MLTREECOMP
signature gs_87 = MLTREE_EXTENSION_COMP
end
local
open l211
in
signature gs_88 = MLTREE_UTILS
end
local
signature AMD64INSTR = gs_48
functor AMD64Instr = gs_49
structure Char = gs_1
structure CharArray = gs_2
structure CharVector = gs_3
structure FixedInt = gs_4
structure General = gs_5
structure Int = gs_6
structure Int32 = gs_7
structure Int64 = gs_8
structure IntInf = gs_9
structure LargeInt = gs_10
structure LargeReal = gs_11
structure LargeWord = gs_12
structure OS = gs_13
structure Position = gs_14
structure Real = gs_15
structure Real64 = gs_16
structure RealArray = gs_17
structure RealArraySlice = gs_18
structure RealVector = gs_19
structure RealVectorSlice = gs_20
structure SMLofNJ = gs_21
structure Socket = gs_22
structure String = gs_23
structure Substring = gs_24
structure SysWord = gs_25
structure Time = gs_26
structure Word = gs_27
structure Word32 = gs_28
structure Word64 = gs_29
structure Word8 = gs_30
../amd64/mltree/amd64-opcodes.sml
in
functor gs_89 = AMD64Opcodes
end
local
signature AMD64INSTR = gs_48
functor AMD64Instr = gs_49
functor AMD64Opcodes = gs_89
structure CellsBasis = gs_31
structure Char = gs_1
structure CharArray = gs_2
structure CharVector = gs_3
structure FixedInt = gs_4
structure General = gs_5
structure Int = gs_6
structure Int32 = gs_7
structure Int64 = gs_8
structure IntInf = gs_9
structure Label = gs_47
structure LargeInt = gs_10
structure LargeReal = gs_11
structure LargeWord = gs_12
structure List = gs_55
structure ListPair = gs_75
signature MLRISC_ERROR_MSG = gs_33
structure MLRiscAnnotations = gs_54
structure MLRiscErrorMsg = gs_34
signature MLTREECOMP = gs_86
signature MLTREE_EXTENSION_COMP = gs_87
signature MLTREE_UTILS = gs_88
functor MLTreeGen = gs_82
functor MLTreeSize = gs_83
structure OS = gs_13
signature PROBABILITY = gs_84
structure Position = gs_14
structure Probability = gs_85
structure Real = gs_15
structure Real64 = gs_16
structure RealArray = gs_17
structure RealArraySlice = gs_18
structure RealVector = gs_19
structure RealVectorSlice = gs_20
structure SMLofNJ = gs_21
functor Shuffle = gs_41
structure Socket = gs_22
structure String = gs_23
structure Substring = gs_24
structure SysWord = gs_25
structure Time = gs_26
structure Word = gs_27
structure Word32 = gs_28
structure Word64 = gs_29
structure Word8 = gs_30
../amd64/mltree/amd64-gen.sml
in
functor gs_90 = AMD64Gen
end
local
open l4
in
signature gs_91 = INSTRUCTION_EMITTER
end
local
signature AMD64INSTR = gs_48
functor AMD64Instr = gs_49
signature AMD64SHUFFLE = gs_50
functor AMD64Shuffle = gs_51
structure CellsBasis = gs_31
structure Char = gs_1
structure CharArray = gs_2
structure CharVector = gs_3
structure FixedInt = gs_4
structure General = gs_5
signature INSTRUCTION_EMITTER = gs_91
structure Int = gs_6
structure Int32 = gs_7
structure Int64 = gs_8
structure IntInf = gs_9
structure LargeInt = gs_10
structure LargeReal = gs_11
structure LargeWord = gs_12
signature MC_EMIT = gs_39
signature MLRISC_ERROR_MSG = gs_33
structure MLRiscErrorMsg = gs_34
signature MLTREE_EVAL = gs_40
structure OS = gs_13
structure Position = gs_14
structure Real = gs_15
structure Real64 = gs_16
structure RealArray = gs_17
structure RealArraySlice = gs_18
structure RealVector = gs_19
structure RealVectorSlice = gs_20
structure SMLofNJ = gs_21
structure Socket = gs_22
structure String = gs_23
structure Substring = gs_24
structure SysWord = gs_25
structure Time = gs_26
structure Word = gs_27
structure Word32 = gs_28
structure Word64 = gs_29
structure Word8 = gs_30
structure Word8Vector = gs_38
../amd64/amd64MC.sml
in
functor gs_92 = AMD64MCEmitter
end
local
signature AMD64INSTR = gs_48
functor AMD64Instr = gs_49
signature CELLS_BASIS = gs_45
structure CellsBasis = gs_31
structure List = gs_55
../amd64/ra/amd64Rewrite.sml
in
functor gs_93 = AMD64Rewrite
end
local
open l4
in
signature gs_94 = C_CALLS
end
local
open l4
in
structure gs_95 = CTypes
end
local
open l211
in
functor gs_96 = MLTreeUtils
end
local
signature AMD64CELLS = gs_35
structure AMD64Cells = gs_36
structure CTypes = gs_95
signature C_CALLS = gs_94
structure CellsBasis = gs_31
structure Char = gs_1
structure CharArray = gs_2
structure CharVector = gs_3
structure FixedInt = gs_4
structure General = gs_5
structure Int = gs_6
structure Int32 = gs_7
structure Int64 = gs_8
structure IntInf = gs_9
structure LargeInt = gs_10
structure LargeReal = gs_11
structure LargeWord = gs_12
structure List = gs_55
signature MLRISC_ERROR_MSG = gs_33
structure MLRiscAnnotations = gs_54
structure MLRiscErrorMsg = gs_34
signature MLTREE = gs_44
functor MLTreeUtils = gs_96
structure OS = gs_13
structure Position = gs_14
structure Real = gs_15
structure Real64 = gs_16
structure RealArray = gs_17
structure RealArraySlice = gs_18
structure RealVector = gs_19
structure RealVectorSlice = gs_20
structure SMLofNJ = gs_21
structure Socket = gs_22
structure String = gs_23
structure Substring = gs_24
structure SysWord = gs_25
structure Time = gs_26
structure Word = gs_27
structure Word32 = gs_28
structure Word64 = gs_29
structure Word8 = gs_30
../amd64/c-calls/amd64-svid.sml
in
functor gs_97 = AMD64SVID_CCalls
end
local
open l37
in
structure gs_98 = TextIO
end
local
open l4
in
signature gs_99 = ASM_STREAM
structure gs_100 = AsmStream
end
local
open l4
in
signature gs_101 = ASM_FORMAT_UTIL
structure gs_102 = AsmFormatUtil
end
local
open l4
in
structure gs_103 = AsmFlags
end
local
open l4
in
signature gs_104 = INSTRUCTION_STREAM
end
local
signature AMD64INSTR = gs_48
functor AMD64Instr = gs_49
signature AMD64SHUFFLE = gs_50
functor AMD64Shuffle = gs_51
signature ASM_FORMAT_UTIL = gs_101
signature ASM_STREAM = gs_99
structure Annotations = gs_46
structure AsmFlags = gs_103
structure AsmFormatUtil = gs_102
structure AsmStream = gs_100
structure CellsBasis = gs_31
structure Char = gs_1
structure CharArray = gs_2
structure CharVector = gs_3
structure FixedInt = gs_4
structure General = gs_5
signature INSTRUCTION_EMITTER = gs_91
signature INSTRUCTION_STREAM = gs_104
structure Int = gs_6
structure Int32 = gs_7
structure Int64 = gs_8
structure IntInf = gs_9
structure LargeInt = gs_10
structure LargeReal = gs_11
structure LargeWord = gs_12
signature MLRISC_ERROR_MSG = gs_33
structure MLRiscErrorMsg = gs_34
signature MLTREE_EVAL = gs_40
structure OS = gs_13
structure Position = gs_14
structure Real = gs_15
structure Real64 = gs_16
structure RealArray = gs_17
structure RealArraySlice = gs_18
structure RealVector = gs_19
structure RealVectorSlice = gs_20
structure SMLofNJ = gs_21
structure Socket = gs_22
structure String = gs_23
structure Substring = gs_24
structure SysWord = gs_25
structure TextIO = gs_98
structure Time = gs_26
structure Word = gs_27
structure Word32 = gs_28
structure Word64 = gs_29
structure Word8 = gs_30
../amd64/emit/amd64Asm.sml
in
functor gs_105 = AMD64AsmEmitter
end
local
open l4
in
signature gs_106 = CFG_OPTIMIZATION
end
local
open l4
in
functor gs_107 = GetReg
end
local
open l4
in
signature gs_108 = PRINT_FLOWGRAPH
functor gs_109 = PrintFlowgraph
end
local
open l4
in
functor gs_110 = RegisterAllocator
end
local
open l4
in
functor gs_111 = MemoryRA
end
local
open l4
in
functor gs_112 = RADeadCodeElim
end
local
open l4
in
functor gs_113 = ClusterRA
end
local
open l37
in
structure gs_114 = Vector
end
local
open l4
in
signature gs_115 = RA_SPILL
end
local
open l4
in
signature gs_116 = RA_SPILL_HEURISTICS
end
local
open l4
in
structure gs_117 = RAGraph
end
local
signature AMD64INSN_PROPERTIES = gs_58
signature AMD64INSTR = gs_48
functor AMD64Instr = gs_49
functor AMD64Props = gs_59
functor AMD64SpillInstr = gs_60
structure Annotations = gs_46
signature CFG_OPTIMIZATION = gs_106
signature CONTROL_FLOW_GRAPH = gs_76
structure CellsBasis = gs_31
functor ClusterRA = gs_113
functor GetReg = gs_107
structure Graph = gs_71
signature INSTRUCTION_EMITTER = gs_91
structure IntHashTable = gs_70
structure List = gs_55
signature MLRISC_CONTROL = gs_72
signature MLRISC_ERROR_MSG = gs_33
structure MLRiscControl = gs_73
structure MLRiscErrorMsg = gs_34
functor MemoryRA = gs_111
structure Option = gs_74
signature PRINT_FLOWGRAPH = gs_108
functor PrintFlowgraph = gs_109
functor RADeadCodeElim = gs_112
structure RAGraph = gs_117
signature RA_SPILL = gs_115
signature RA_SPILL_HEURISTICS = gs_116
functor RegisterAllocator = gs_110
structure Vector = gs_114
../amd64/ra/amd64RegAlloc.sml
in
functor gs_118 = AMD64RegAlloc
end
in
functor AMD64AsmEmitter = gs_105
signature AMD64CELLS = gs_35
structure AMD64Cells = gs_36
functor AMD64CompInstrExt = gs_81
functor AMD64DarwinPseudoOps = gs_66
functor AMD64GasPseudoOps = gs_68
functor AMD64Gen = gs_90
signature AMD64INSN_PROPERTIES = gs_58
signature AMD64INSTR = gs_48
functor AMD64Instr = gs_49
structure AMD64InstrExt = gs_79
functor AMD64Jumps = gs_52
functor AMD64MCEmitter = gs_92
functor AMD64OmitFramePointer = gs_77
functor AMD64Opcodes = gs_89
functor AMD64Props = gs_59
functor AMD64RegAlloc = gs_118
functor AMD64Rewrite = gs_93
signature AMD64SHUFFLE = gs_50
functor AMD64SVID_CCalls = gs_97
functor AMD64Shuffle = gs_51
functor AMD64SpillInstr = gs_60
end
end
end
|
