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
|
ann
"nonexhaustiveBind warn" "nonexhaustiveMatch warn"
"redundantBind warn" "redundantMatch warn"
"sequenceNonUnit ignore"
"warnUnused false" "forceUsed"
"allowOrPats true" "allowSigWithtype true" "allowVectorExpsAndPats true"
in
local
basis l11 =
bas
(* $/basis.cm ====> *) $(SML_LIB)/basis/basis.mlb $(SML_LIB)/basis/sml-nj.mlb $(SML_LIB)/basis/unsafe.mlb
end
basis l109 =
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 l16 =
bas
(* $Control.cm(=(proxyLib.cm):.)/Control.cm =??=> *) Control.mlb
end
basis l77 =
bas
(* $Lib.cm(=(proxyLib.cm):.)/Lib.cm =??=> *) Lib.mlb
end
in
local
$(SML_LIB)/basis/pervasive.mlb
local
open l4
in
signature gs_0 = INSTRUCTION_EMITTER
end
local
open l4
in
structure gs_1 = Label
end
local
open l11
in
structure gs_2 = Option
end
local
open l16
in
signature gs_3 = MLRISC_ERROR_MSG
structure gs_4 = MLRiscErrorMsg
end
local
open l4
in
structure gs_5 = CellsBasis
end
local
open l11
in
structure gs_6 = Char
structure gs_7 = CharArray
structure gs_8 = CharVector
structure gs_9 = FixedInt
structure gs_10 = General
structure gs_11 = Int
structure gs_12 = Int32
structure gs_13 = Int64
structure gs_14 = IntInf
structure gs_15 = LargeInt
structure gs_16 = LargeReal
structure gs_17 = LargeWord
structure gs_18 = OS
structure gs_19 = Position
structure gs_20 = Real
structure gs_21 = Real64
structure gs_22 = RealArray
structure gs_23 = RealArraySlice
structure gs_24 = RealVector
structure gs_25 = RealVectorSlice
structure gs_26 = SMLofNJ
structure gs_27 = Socket
structure gs_28 = String
structure gs_29 = Substring
structure gs_30 = SysWord
structure gs_31 = Time
structure gs_32 = Word
structure gs_33 = Word32
structure gs_34 = Word64
structure gs_35 = Word8
end
local
open l4
in
signature gs_36 = CODE_STRING
end
local
open l4
in
signature gs_37 = INSTRUCTION_STREAM
end
local
open l4
in
signature gs_38 = MLTREE_EVAL
end
local
open l4
in
signature gs_39 = REGION
end
local
open l4
in
signature gs_40 = CONSTANT
end
local
open l4
in
signature gs_41 = MLTREE
end
local
open l4
in
signature gs_42 = CELLS_BASIS
end
local
open l77
in
structure gs_43 = Annotations
end
local
open l4
in
functor gs_44 = Cells
end
local
open l4
in
signature gs_45 = CELLS
end
local
signature CELLS = gs_45
functor Cells = gs_44
structure CellsBasis = gs_5
structure Char = gs_6
structure CharArray = gs_7
structure CharVector = gs_8
structure FixedInt = gs_9
structure General = gs_10
structure Int = gs_11
structure Int32 = gs_12
structure Int64 = gs_13
structure IntInf = gs_14
structure LargeInt = gs_15
structure LargeReal = gs_16
structure LargeWord = gs_17
signature MLRISC_ERROR_MSG = gs_3
structure MLRiscErrorMsg = gs_4
structure OS = gs_18
structure Position = gs_19
structure Real = gs_20
structure Real64 = gs_21
structure RealArray = gs_22
structure RealArraySlice = gs_23
structure RealVector = gs_24
structure RealVectorSlice = gs_25
structure SMLofNJ = gs_26
structure Socket = gs_27
structure String = gs_28
structure Substring = gs_29
structure SysWord = gs_30
structure Time = gs_31
structure Word = gs_32
structure Word32 = gs_33
structure Word64 = gs_34
structure Word8 = gs_35
../hppa/instructions/hppaCells.sml
in
signature gs_46 = HPPACELLS
structure gs_47 = HppaCells
end
local
structure Annotations = gs_43
signature CELLS_BASIS = gs_42
signature CONSTANT = gs_40
structure CellsBasis = gs_5
signature HPPACELLS = gs_46
structure HppaCells = gs_47
structure Label = gs_1
signature MLTREE = gs_41
signature REGION = gs_39
../hppa/instructions/hppaInstr.sml
in
signature gs_48 = HPPAINSTR
functor gs_49 = HppaInstr
end
local
signature CODE_STRING = gs_36
structure CellsBasis = gs_5
structure Char = gs_6
structure CharArray = gs_7
structure CharVector = gs_8
structure FixedInt = gs_9
structure General = gs_10
signature HPPAINSTR = gs_48
functor HppaInstr = gs_49
signature INSTRUCTION_EMITTER = gs_0
signature INSTRUCTION_STREAM = gs_37
structure Int = gs_11
structure Int32 = gs_12
structure Int64 = gs_13
structure IntInf = gs_14
structure Label = gs_1
structure LargeInt = gs_15
structure LargeReal = gs_16
structure LargeWord = gs_17
signature MLRISC_ERROR_MSG = gs_3
structure MLRiscErrorMsg = gs_4
signature MLTREE_EVAL = gs_38
structure OS = gs_18
structure Option = gs_2
structure Position = gs_19
structure Real = gs_20
structure Real64 = gs_21
structure RealArray = gs_22
structure RealArraySlice = gs_23
structure RealVector = gs_24
structure RealVectorSlice = gs_25
structure SMLofNJ = gs_26
structure Socket = gs_27
structure String = gs_28
structure Substring = gs_29
structure SysWord = gs_30
structure Time = gs_31
structure Word = gs_32
structure Word32 = gs_33
structure Word64 = gs_34
structure Word8 = gs_35
../hppa/emit/hppaMC.sml
in
functor gs_50 = HppaMCEmitter
end
local
open l4
in
signature gs_51 = PSEUDO_OPS_BASIS
end
local
open l4
in
functor gs_52 = GasPseudoOps
end
local
open l4
in
functor gs_53 = PseudoOpsBig
end
local
open l109
in
structure gs_54 = Format
end
local
open l4
in
structure gs_55 = PseudoOpsBasisTyp
end
local
structure Char = gs_6
structure CharArray = gs_7
structure CharVector = gs_8
structure FixedInt = gs_9
structure Format = gs_54
functor GasPseudoOps = gs_52
structure General = gs_10
structure Int = gs_11
structure Int32 = gs_12
structure Int64 = gs_13
structure IntInf = gs_14
structure LargeInt = gs_15
structure LargeReal = gs_16
structure LargeWord = gs_17
signature MLRISC_ERROR_MSG = gs_3
structure MLRiscErrorMsg = gs_4
signature MLTREE = gs_41
signature MLTREE_EVAL = gs_38
structure OS = gs_18
signature PSEUDO_OPS_BASIS = gs_51
structure Position = gs_19
structure PseudoOpsBasisTyp = gs_55
functor PseudoOpsBig = gs_53
structure Real = gs_20
structure Real64 = gs_21
structure RealArray = gs_22
structure RealArraySlice = gs_23
structure RealVector = gs_24
structure RealVectorSlice = gs_25
structure SMLofNJ = gs_26
structure Socket = gs_27
structure String = gs_28
structure Substring = gs_29
structure SysWord = gs_30
structure Time = gs_31
structure Word = gs_32
structure Word32 = gs_33
structure Word64 = gs_34
structure Word8 = gs_35
../hppa/flowgraph/hppaGasPseudoOps.sml
in
functor gs_56 = HppaGasPseudoOps
end
local
open l4
in
signature gs_57 = INSTRUCTIONS
end
local
structure CellsBasis = gs_5
signature INSTRUCTIONS = gs_57
signature MLTREE = gs_41
../hppa/mltree/hppaLabelComp.sig
in
signature gs_58 = LABEL_COMP
end
local
structure CellsBasis = gs_5
signature HPPAINSTR = gs_48
functor HppaInstr = gs_49
signature MLRISC_ERROR_MSG = gs_3
structure MLRiscErrorMsg = gs_4
../hppa/ra/hppaRewrite.sml
in
functor gs_59 = HppaRewrite
end
local
open l4
in
functor gs_60 = MLTreeMult
end
local
open l4
in
functor gs_61 = MLTreeGen
end
local
open l4
in
structure gs_62 = MLRiscAnnotations
end
local
open l4
in
signature gs_63 = MLTREECOMP
signature gs_64 = MLTREE_EXTENSION_COMP
end
local
signature CELLS_BASIS = gs_42
structure CellsBasis = gs_5
signature HPPAINSTR = gs_48
functor HppaInstr = gs_49
../hppa/mltree/hppaMillicode.sig
in
signature gs_65 = HPPA_MILLICODE
end
local
structure CellsBasis = gs_5
structure Char = gs_6
structure CharArray = gs_7
structure CharVector = gs_8
structure FixedInt = gs_9
structure General = gs_10
signature HPPAINSTR = gs_48
signature HPPA_MILLICODE = gs_65
functor HppaInstr = gs_49
structure Int = gs_11
structure Int32 = gs_12
structure Int64 = gs_13
structure IntInf = gs_14
signature LABEL_COMP = gs_58
structure Label = gs_1
structure LargeInt = gs_15
structure LargeReal = gs_16
structure LargeWord = gs_17
signature MLRISC_ERROR_MSG = gs_3
structure MLRiscAnnotations = gs_62
structure MLRiscErrorMsg = gs_4
signature MLTREECOMP = gs_63
signature MLTREE_EXTENSION_COMP = gs_64
functor MLTreeGen = gs_61
functor MLTreeMult = gs_60
structure OS = gs_18
structure Position = gs_19
structure Real = gs_20
structure Real64 = gs_21
structure RealArray = gs_22
structure RealArraySlice = gs_23
structure RealVector = gs_24
structure RealVectorSlice = gs_25
structure SMLofNJ = gs_26
structure Socket = gs_27
structure String = gs_28
structure Substring = gs_29
structure SysWord = gs_30
structure Time = gs_31
structure Word = gs_32
structure Word32 = gs_33
structure Word64 = gs_34
structure Word8 = gs_35
../hppa/mltree/hppa.sml
in
functor gs_66 = Hppa
end
local
open l4
in
signature gs_67 = DELAY_SLOT_PROPERTIES
end
local
open l4
in
signature gs_68 = INSN_PROPERTIES
end
local
structure CellsBasis = gs_5
signature DELAY_SLOT_PROPERTIES = gs_67
signature HPPAINSTR = gs_48
functor HppaInstr = gs_49
signature INSN_PROPERTIES = gs_68
signature MLRISC_ERROR_MSG = gs_3
structure MLRiscErrorMsg = gs_4
structure Option = gs_2
../hppa/backpatch/hppaDelaySlotProps.sml
in
functor gs_69 = HppaDelaySlots
end
local
open l4
in
signature gs_70 = ARCH_SPILL_INSTR
end
local
signature ARCH_SPILL_INSTR = gs_70
structure CellsBasis = gs_5
signature HPPAINSTR = gs_48
functor HppaInstr = gs_49
functor HppaRewrite = gs_59
signature MLRISC_ERROR_MSG = gs_3
structure MLRiscErrorMsg = gs_4
../hppa/ra/hppaSpillInstr.sml
in
functor gs_71 = HppaSpillInstr
end
local
structure CellsBasis = gs_5
signature HPPAINSTR = gs_48
functor HppaInstr = gs_49
../hppa/instructions/hppaShuffle.sig
in
signature gs_72 = HPPASHUFFLE
end
local
open l4
in
signature gs_73 = MLTREE_HASH
end
local
structure CellsBasis = gs_5
structure Char = gs_6
structure CharArray = gs_7
structure CharVector = gs_8
structure FixedInt = gs_9
structure General = gs_10
signature HPPAINSTR = gs_48
functor HppaInstr = gs_49
signature INSN_PROPERTIES = gs_68
structure Int = gs_11
structure Int32 = gs_12
structure Int64 = gs_13
structure IntInf = gs_14
structure Label = gs_1
structure LargeInt = gs_15
structure LargeReal = gs_16
structure LargeWord = gs_17
signature MLRISC_ERROR_MSG = gs_3
structure MLRiscErrorMsg = gs_4
signature MLTREE_EVAL = gs_38
signature MLTREE_HASH = gs_73
structure OS = gs_18
structure Option = gs_2
structure Position = gs_19
structure Real = gs_20
structure Real64 = gs_21
structure RealArray = gs_22
structure RealArraySlice = gs_23
structure RealVector = gs_24
structure RealVectorSlice = gs_25
structure SMLofNJ = gs_26
structure Socket = gs_27
structure String = gs_28
structure Substring = gs_29
structure SysWord = gs_30
structure Time = gs_31
structure Word = gs_32
structure Word32 = gs_33
structure Word64 = gs_34
structure Word8 = gs_35
../hppa/instructions/hppaProps.sml
in
functor gs_74 = HppaProps
end
local
open l4
in
functor gs_75 = Shuffle
end
local
structure CellsBasis = gs_5
signature HPPAINSTR = gs_48
signature HPPASHUFFLE = gs_72
functor HppaInstr = gs_49
signature MLRISC_ERROR_MSG = gs_3
structure MLRiscErrorMsg = gs_4
structure Option = gs_2
functor Shuffle = gs_75
../hppa/instructions/hppaShuffle.sml
in
functor gs_76 = HppaShuffle
end
local
open l4
in
signature gs_77 = SDI_JUMPS
end
local
structure CellsBasis = gs_5
structure Char = gs_6
structure CharArray = gs_7
structure CharVector = gs_8
structure FixedInt = gs_9
structure General = gs_10
signature HPPAINSTR = gs_48
signature HPPASHUFFLE = gs_72
functor HppaInstr = gs_49
structure Int = gs_11
structure Int32 = gs_12
structure Int64 = gs_13
structure IntInf = gs_14
structure Label = gs_1
structure LargeInt = gs_15
structure LargeReal = gs_16
structure LargeWord = gs_17
signature MLRISC_ERROR_MSG = gs_3
structure MLRiscErrorMsg = gs_4
signature MLTREE_EVAL = gs_38
structure OS = gs_18
structure Position = gs_19
structure Real = gs_20
structure Real64 = gs_21
structure RealArray = gs_22
structure RealArraySlice = gs_23
structure RealVector = gs_24
structure RealVectorSlice = gs_25
signature SDI_JUMPS = gs_77
structure SMLofNJ = gs_26
structure Socket = gs_27
structure String = gs_28
structure Substring = gs_29
structure SysWord = gs_30
structure Time = gs_31
structure Word = gs_32
structure Word32 = gs_33
structure Word64 = gs_34
structure Word8 = gs_35
../hppa/backpatch/hppaJumps.sml
in
functor gs_78 = HppaJumps
end
local
open l11
in
structure gs_79 = TextIO
end
local
open l4
in
signature gs_80 = ASM_STREAM
structure gs_81 = AsmStream
end
local
open l4
in
signature gs_82 = ASM_FORMAT_UTIL
structure gs_83 = AsmFormatUtil
end
local
open l4
in
structure gs_84 = AsmFlags
end
local
signature ASM_FORMAT_UTIL = gs_82
signature ASM_STREAM = gs_80
structure Annotations = gs_43
structure AsmFlags = gs_84
structure AsmFormatUtil = gs_83
structure AsmStream = gs_81
structure CellsBasis = gs_5
structure Char = gs_6
structure CharArray = gs_7
structure CharVector = gs_8
structure FixedInt = gs_9
structure General = gs_10
signature HPPAINSTR = gs_48
signature HPPASHUFFLE = gs_72
functor HppaInstr = gs_49
signature INSTRUCTION_EMITTER = gs_0
signature INSTRUCTION_STREAM = gs_37
structure Int = gs_11
structure Int32 = gs_12
structure Int64 = gs_13
structure IntInf = gs_14
structure LargeInt = gs_15
structure LargeReal = gs_16
structure LargeWord = gs_17
signature MLRISC_ERROR_MSG = gs_3
structure MLRiscErrorMsg = gs_4
signature MLTREE_EVAL = gs_38
structure OS = gs_18
structure Position = gs_19
structure Real = gs_20
structure Real64 = gs_21
structure RealArray = gs_22
structure RealArraySlice = gs_23
structure RealVector = gs_24
structure RealVectorSlice = gs_25
structure SMLofNJ = gs_26
structure Socket = gs_27
structure String = gs_28
structure Substring = gs_29
structure SysWord = gs_30
structure TextIO = gs_79
structure Time = gs_31
structure Word = gs_32
structure Word32 = gs_33
structure Word64 = gs_34
structure Word8 = gs_35
../hppa/emit/hppaAsm.sml
in
functor gs_85 = HppaAsmEmitter
end
local
open l4
in
signature gs_86 = FREQUENCY_PROPERTIES
end
local
open l77
in
signature gs_87 = PROBABILITY
structure gs_88 = Probability
end
local
signature FREQUENCY_PROPERTIES = gs_86
signature HPPAINSTR = gs_48
functor HppaInstr = gs_49
structure MLRiscAnnotations = gs_62
signature PROBABILITY = gs_87
structure Probability = gs_88
../hppa/instructions/hppaFreqProps.sml
in
functor gs_89 = HppaFreqProps
end
in
signature HPPACELLS = gs_46
signature HPPAINSTR = gs_48
signature HPPASHUFFLE = gs_72
signature HPPA_MILLICODE = gs_65
functor Hppa = gs_66
functor HppaAsmEmitter = gs_85
structure HppaCells = gs_47
functor HppaDelaySlots = gs_69
functor HppaFreqProps = gs_89
functor HppaGasPseudoOps = gs_56
functor HppaInstr = gs_49
functor HppaJumps = gs_78
functor HppaMCEmitter = gs_50
functor HppaProps = gs_74
functor HppaRewrite = gs_59
functor HppaShuffle = gs_76
functor HppaSpillInstr = gs_71
signature LABEL_COMP = gs_58
end
end
end
|
