self-compile
Stephen Weeks
MLton@research.nj.nec.com
Tue, 20 Jun 2000 16:26:06 -0700 (PDT)
Hallelujah! I finally got a successful pass of all the regressions
and a G2 self compile with the new Cps IL. This version of MLton also
includes all of the changes Matt and I discussed last week for beefing
up the Prim.Name.t datatype. FYI, here is the new datatype.
Array_array (* implemented in backend.fun *)
| Array_length
| Array_sub (* implemented in backend.fun *)
| Array_update (* implemented in backend.fun *)
| Byte_byteToChar
| Byte_charToByte
| Char_lt
| Char_le
| Char_gt
| Char_ge
| Char_chr
| Char_ord
| Constant of string (* implemented in infer.fun *)
| Cpointer_isNull
| Exn_name (* implemented in implement-exceptions.fun *)
| Exn_setTopLevelHandler (* implemented in implement-exceptions.fun *)
| FFI of string
| GC_collect
| Int_mul
| Int_add
| Int_sub
| Int_lt
| Int_le
| Int_gt
| Int_ge
| Int_geu
| Int_gtu
| Int_quot
| Int_rem
| Int_neg
| IntInf_add
| IntInf_areSmall
| IntInf_fromWord
| IntInf_isSmall
| IntInf_mul
| IntInf_neg
| IntInf_quot
| IntInf_rem
| IntInf_sub
| IntInf_toString
| IntInf_toWord
| MLton_bogus (* implemented in backend/machine.fun
* of type unit -> 'a.
* Makes a bogus value of any type
*)
| MLton_deserialize
| MLton_eq
| MLton_equal (* implemented in cps/poly-equal.fun *)
| MLton_halt
| MLton_id
| MLton_serialize
| MLton_size
| Real_nequal
| Real_mul
| Real_muladd
| Real_mulsub
| Real_add
| Real_sub
| Real_div
| Real_lt
| Real_le
| Real_equal
| Real_gt
| Real_ge
| Real_qequal
| Real_abs
| Real_fromInt
| Real_toInt
| Real_neg
| Ref_assign (* implemented in backend/backend.fun *)
| Ref_ref (* implemented in backend/backend.fun *)
| Ref_deref (* implemented in backend/backend.fun *)
| String_sub (* implemented in backend/backend.fun *)
| Thread_copy
| Thread_copyShrink
| Thread_finishHandler
| Thread_switchTo
| Vector_sub (* implemented in backend/backend.fun *)
| Vector_length
| Vector_fromArray (* implemented in backend/backend.fun *)
| Word8_mul
| Word8_add
| Word8_sub
| Word8_lt
| Word8_lshift
| Word8_le
| Word8_gt
| Word8_ge
| Word8_rshift
| Word8_andb
| Word8_div
| Word8_fromInt
| Word8_fromLargeWord
| Word8_mod
| Word8_notb
| Word8_orb
| Word8_toInt
| Word8_toIntX
| Word8_toLargeWord
| Word8_toLargeWordX
| Word8_xorb
| Word8_arshift
| Word8Array_subWord
| Word8Array_updateWord
| Word8Vector_subWord
| Word32_mul
| Word32_add
| Word32_sub
| Word32_lt
| Word32_lshift
| Word32_le
| Word32_gt
| Word32_ge
| Word32_rshift
| Word32_andb
| Word32_div
| Word32_fromInt
| Word32_mod
| Word32_notb
| Word32_orb
| Word32_toIntX
| Word32_xorb
| Word32_arshift
| World_save
All the primitives without comments are the ones Matt will have to
handle in the new backend. I think it's a pretty manageable set,
especially given that some are really pretty simple wrappers around a
runtime call (GC_collect, Thread_?, World_save).
I've also just added the new constant folding pass and am testing it
now.
Matt, if you will make a snapshot available at NEC's web site with
your split-out C backend then I will integrate your stuff with my new
version and make a snapshot that should be sufficiently stable for the
rest of your summer work.
I've appended the self-compile log below. There are some pretty bad
performance problems relative to old versions (GO->G1 is 2X slower and
G1->G2 is 4X slower). I'm looking into it.
+ hostname
eponym.epr.com
+ cat /proc/cpuinfo
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 5
model name : Pentium II (Deschutes)
stepping : 2
cpu MHz : 397.951031
cache size : 512 KB
fdiv_bug : no
hlt_bug : no
sep_bug : no
f00f_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 2
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx osfxsr
bogomips : 397.31
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 5
model name : Pentium II (Deschutes)
stepping : 2
cpu MHz : 397.951031
cache size : 512 KB
fdiv_bug : no
hlt_bug : no
sep_bug : no
f00f_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 2
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx osfxsr
bogomips : 397.31
+ echo G1: compiling mlton using G0 version of mlton
G1: compiling mlton using G0 version of mlton
+ cd /home/sweeks/mlton/self-compile/2000-06-20-14:15:45
+ mkdir G1
+ cd G1
+ ln -s ../mlton.sml .
+ time /home/sweeks/mlton/bin/mlton -v -inline 15 -flatten 1 -no-polyvariance -C mlton.sml
compile ==>
MLton 2000-6-5 created this file on Tue Jun 20 14:15:45 2000.
Do not edit this file.
Flag settings:
aux: false
canDefunctorize: false
chunk: coalesce 2000
defines: [NODEBUG]
fixed heap: None
flatten rounds: 1
includes: [mlton.h]
inline: NonRecursive Some(15)
inline rounds: 1
input file: mlton.sml
instrument: false
instrument Sxml: false
keepCps: false
match: left to right
messages: true
mode: compile
polyvariance: None
print at fun entry: false
profile: false
type check: true
parse ==>
==> time = 20.910
ast size is ~1 bytes
size = 111165
elaborate ==>
==> time = 111.990
core-ml size is ~1 bytes
size = 117058
gcc -DNODEBUG -I/home/sweeks/mlton/include -L/home/sweeks/mlton/lib -O1 -w -fomit-frame-pointer -fno-strength-reduce -m486 -malign-loops=2 -malign-jumps=2 -malign-functions=2 -o /tmp/fileuWItva /tmp/file2UywpF.c -lmlton -lm -lgmp
/tmp/fileuWItva /tmp/filerCscYb
infer ==>
unification ==>
==> time = 12.340
finish infer ==>
==> time = 104.480
==> time = 118.240
xml.unsimplified size is ~1 bytes
typeCheck ==>
==> time = 9.250
infer simplify ==>
==> time = 24.460
xml size is ~1 bytes
typeCheck ==>
==> time = 5.490
size = 73263
num types in program = 15531
num types in table = 31533
hash table size is ~1 bytes
mono ==>
==> time = 76.260
.unsimplified size is ~1 bytes
typeCheck ==>
==> time = 6.950
mono simplify ==>
==> time = 25.930
size is ~1 bytes
typeCheck ==>
==> time = 5.570
size = 122717
num types in program = 10149
num types in table = 55492
hash table size is ~1 bytes
implement exceptions ==>
==> time = 1.680
sxml.unsimplified size is ~1 bytes
typeCheck ==>
==> time = 5.710
implement exceptions simplify ==>
==> time = 19.780
sxml size is ~1 bytes
typeCheck ==>
==> time = 5.100
polyvariance ==>
==> time = 0.000
sxml.poly size is ~1 bytes
size = 119530
num types in program = 9854
num types in table = 55880
hash table size is ~1 bytes
closure convert ==>
flow analysis ==>
==> time = 8.940
flow size is ~1 bytes
free variables ==>
==> time = 3.150
globalize ==>
==> time = 1.040
convert ==>
==> time = 86.550
==> time = 104.530
cps.unsimplified size is ~1 bytes
typeCheck ==>
checkScopes ==>
==> time = 4.100
inferHandlers ==>
==> time = 5.690
==> time = 25.480
closure convert simplify ==>
simplify ==>
num functions 8638
num local functions 88146
num primExps 103887
remove unused functions ==>
==> time = 0.340
num functions 8059
num local functions 83312
num primExps 100128
leaf inline ==>
inline ==>
==> time = 26.270
==> time = 26.270
num functions 6130
num local functions 45937
num primExps 103796
typeCheck ==>
checkScopes ==>
==> time = 3.470
inferHandlers ==>
==> time = 3.510
==> time = 20.840
constant propagation ==>
inferHandlers ==>
==> time = 3.620
fixed point ==>
==> time = 22.470
==> time = 232.510
num functions 6130
num local functions 44690
num primExps 79173
typeCheck ==>
checkScopes ==>
==> time = 2.970
inferHandlers ==>
==> time = 3.400
==> time = 18.640
useless ==>
analyze ==>
==> time = 37.080
==> time = 68.670
num functions 6130
num local functions 41108
num primExps 72575
typeCheck ==>
checkScopes ==>
==> time = 2.540
inferHandlers ==>
==> time = 3.120
==> time = 17.000
simplify types ==>
fixed point ==>
==> time = 1.150
==> time = 21.670
num functions 6130
num local functions 33358
num primExps 69433
typeCheck ==>
checkScopes ==>
==> time = 3.450
inferHandlers ==>
==> time = 2.570
==> time = 15.990
poly equal ==>
==> time = 0.710
num functions 6134
num local functions 33745
num primExps 69705
typeCheck ==>
checkScopes ==>
==> time = 2.300
inferHandlers ==>
==> time = 2.670
==> time = 15.010
contify ==>
==> time = 12.930
num functions 3521
num local functions 33951
num primExps 68629
typeCheck ==>
checkScopes ==>
==> time = 1.970
inferHandlers ==>
==> time = 2.570
==> time = 13.990
inline ==>
==> time = 17.980
num functions 1991
num local functions 36616
num primExps 78438
typeCheck ==>
checkScopes ==>
==> time = 2.180
inferHandlers ==>
==> time = 2.760
==> time = 16.200
raise to jump ==>
inferHandlers ==>
==> time = 2.840
==> time = 3.990
num functions 1991
num local functions 36616
num primExps 78438
typeCheck ==>
checkScopes ==>
==> time = 2.330
inferHandlers ==>
==> time = 2.760
==> time = 15.990
contify ==>
==> time = 12.150
num functions 1980
num local functions 36169
num primExps 78427
typeCheck ==>
checkScopes ==>
==> time = 1.680
inferHandlers ==>
==> time = 2.240
==> time = 14.140
introduce loops ==>
==> time = 0.090
loop invariant ==>
==> time = 13.450
num functions 1980
num local functions 36216
num primExps 77181
typeCheck ==>
checkScopes ==>
==> time = 2.380
inferHandlers ==>
==> time = 2.780
==> time = 16.010
flatten ==>
analyze ==>
==> time = 1.070
==> time = 23.840
num functions 1980
num local functions 36243
num primExps 54365
typeCheck ==>
checkScopes ==>
==> time = 1.980
inferHandlers ==>
==> time = 4.170
==> time = 16.060
num functions 1980
num local functions 36243
num primExps 54365
typeCheck ==>
checkScopes ==>
==> time = 1.770
inferHandlers ==>
==> time = 2.780
==> time = 14.560
redundant ==>
==> time = 5.120
num functions 1980
num local functions 36243
num primExps 54365
typeCheck ==>
checkScopes ==>
==> time = 1.940
inferHandlers ==>
==> time = 3.040
==> time = 14.820
remove unused functions ==>
==> time = 0.120
remove unused globals ==>
==> time = 0.530
remove unused constructors ==>
==> time = 0.580
num functions 1927
num local functions 35671
num primExps 52058
typeCheck ==>
checkScopes ==>
==> time = 1.660
inferHandlers ==>
==> time = 2.780
==> time = 14.170
==> time = 682.280
==> time = 682.280
cps size is ~1 bytes
typeCheck ==>
checkScopes ==>
==> time = 1.690
inferHandlers ==>
==> time = 2.780
==> time = 14.100
backend ==>
compute representations ==>
==> time = 0.260
inferHandlers ==>
==> time = 2.820
chunkify ==>
==> time = 5.190
allocate registers ==>
==> time = 29.430
reg size is ~1 bytes
==> time = 61.160
c size is ~1 bytes
emit C ==>
==> time = 35.530
numPeeks = 47640635
average position in property list = 0.517
==> time = 1363.030
1336.74user 27.21system 23:13.42elapsed 97%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (4687major+964664minor)pagefaults 0swaps
+ time /home/sweeks/mlton/bin/mlton -v -inline 15 -flatten 1 -no-polyvariance mlton.c
gcc -c -DNODEBUG -I/home/sweeks/mlton/include -L/home/sweeks/mlton/lib -O1 -w -fomit-frame-pointer -fno-strength-reduce -m486 -malign-loops=2 -malign-jumps=2 -malign-functions=2 -o /tmp/file3SqGbd.o mlton.c
gcc -DNODEBUG -I/home/sweeks/mlton/include -L/home/sweeks/mlton/lib -O1 -w -fomit-frame-pointer -fno-strength-reduce -m486 -malign-loops=2 -malign-jumps=2 -malign-functions=2 -o mlton /tmp/file3SqGbd.o -lmlton -lm -lgmp
891.43user 11.55system 15:26.95elapsed 97%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (18963major+299017minor)pagefaults 0swaps
+ size mlton
text data bss dec hex filename
3097315 623416 16304 3737035 3905cb mlton
+ echo G1 processing basis library
G1 processing basis library
+ time ./mlton @MLton gc-summary -- /home/sweeks/mlton world false
max semispace size(bytes): 30,601,216
GC time(ms): 1,650 (12.3%)
maxPause(ms): 220
number of GCs: 16
bytes allocated: 179,416,844
bytes copied: 32,722,980
max bytes live: 4,138,616
12.35user 1.35system 0:13.76elapsed 99%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (1440major+54186minor)pagefaults 0swaps
+ ls -l world.mlton
-rw-r--r-- 1 sweeks softeng 3601746 Jun 20 14:54 world.mlton
+ echo G2: compiling mlton using G1 version of mlton
G2: compiling mlton using G1 version of mlton
+ cd /home/sweeks/mlton/self-compile/2000-06-20-14:15:45
+ mkdir G2
+ cd G2
+ ln -s ../mlton.sml .
+ time /home/sweeks/mlton/self-compile/2000-06-20-14:15:45/G1/mlton @MLton max-heap 350m load-world /home/sweeks/mlton/self-compile/2000-06-20-14:15:45/G1/world.mlton gc-messages gc-summary -- /home/sweeks/mlton gcc -w -fomit-frame-pointer -fno-strength-reduce -m486 -malign-loops=2 -malign-jumps=2 -malign-functions=2 END -I/home/sweeks/mlton/include -imlton.h -L/home/sweeks/mlton/lib -lgmp -lm -v -inline 15 -flatten 1 -no-polyvariance -C mlton.sml
compile ==>
MLton 2000-6-5 created this file on Tue Jun 20 14:54:39 2000.
Do not edit this file.
Flag settings:
aux: false
canDefunctorize: false
chunk: coalesce 2000
defines: [NODEBUG]
fixed heap: None
flatten rounds: 1
includes: [mlton.h]
inline: NonRecursive Some(15)
inline rounds: 1
input file: mlton.sml
instrument: false
instrument Sxml: false
keepCps: false
match: left to right
messages: true
mode: compile
polyvariance: None
print at fun entry: false
profile: false
type check: true
gc at line 150323 of mlton.c
Growing stack to size 37600.
gc at line 108329 of mlton.c
Growing stack to size 75200.
gc at line 108329 of mlton.c
Growing stack to size 150400.
parse ==>
gc at line 110913 of mlton.c
Starting gc.
Unmapping toSpace
toSpace is 29,904,896 bytes.
Finished gc.
time(ms): 280
live(bytes): 5,150,996 (17.9%)
gc at line 368680 of mlton.c
Starting gc.
toSpace is 41,811,968 bytes.
Finished gc.
time(ms): 350
live(bytes): 6,703,380 (22.4%)
gc at line 110913 of mlton.c
Starting gc.
toSpace is 53,932,032 bytes.
Finished gc.
time(ms): 460
live(bytes): 8,861,116 (21.2%)
gc at line 368680 of mlton.c
Starting gc.
toSpace is 71,041,024 bytes.
Finished gc.
time(ms): 610
live(bytes): 11,667,652 (21.6%)
gc at line 81880 of mlton.c
Starting gc.
toSpace is 93,495,296 bytes.
Finished gc.
time(ms): 770
live(bytes): 15,016,752 (21.1%)
gc at line 87052 of mlton.c
Growing stack to size 37600.
gc at line 87052 of mlton.c
Growing stack to size 75200.
==> time = 28.270
ast size is 17,299,348 bytes
size = 111165
elaborate ==>
gc at line 136663 of mlton.c
Starting gc.
Unmapping toSpace
toSpace is 120,737,792 bytes.
Finished gc.
time(ms): 1,230
live(bytes): 21,087,680 (22.6%)
gc at line 137245 of mlton.c
Starting gc.
toSpace is 169,005,056 bytes.
Finished gc.
time(ms): 1,420
live(bytes): 24,834,564 (20.6%)
gc at line 142029 of mlton.c
Growing stack to size 37600.
gc at line 135244 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 7,380
live(bytes): 89,683,584 (53.1%)
gc at line 142029 of mlton.c
Growing stack to size 37600.
gc at line 141769 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 5,660
live(bytes): 95,081,136 (51.8%)
gc at line 141769 of mlton.c
Growing stack to size 75200.
gc at line 141769 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 13,810
live(bytes): 95,925,152 (52.3%)
gc at line 143982 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 5,100
live(bytes): 96,746,448 (52.7%)
gc at line 135055 of mlton.c
Growing stack to size 37600.
gc at line 141769 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 5,040
live(bytes): 97,178,468 (53.0%)
gc at line 135055 of mlton.c
Growing stack to size 75200.
gc at line 141769 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 5,100
live(bytes): 97,832,600 (53.3%)
gc at line 137359 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 5,150
live(bytes): 98,680,124 (53.8%)
gc at line 135055 of mlton.c
Growing stack to size 75200.
gc at line 141769 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 5,120
live(bytes): 98,965,960 (53.9%)
gc at line 141769 of mlton.c
Growing stack to size 75200.
gc at line 136014 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 5,160
live(bytes): 99,627,620 (54.3%)
gc at line 135055 of mlton.c
Growing stack to size 75200.
gc at line 141769 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 5,170
live(bytes): 99,972,880 (54.5%)
==> time = 125.700
core-ml size is 97,001,072 bytes
gc at line 108329 of mlton.c
Growing stack to size 150400.
size = 117058
gcc -DNODEBUG -I/home/sweeks/mlton/include -L/home/sweeks/mlton/lib -O1 -w -fomit-frame-pointer -fno-strength-reduce -m486 -malign-loops=2 -malign-jumps=2 -malign-functions=2 -o /tmp/fileui3rn6 /tmp/filecDHRmy.c -lmlton -lm -lgmp
/tmp/fileui3rn6 /tmp/file4K8UMn
infer ==>
gc at line 151748 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Shrinking heap to 68599808 bytes.
Finished gc.
time(ms): 540
live(bytes): 8,574,924 (4.7%)
unification ==>
gc at line 294744 of mlton.c
Starting gc.
Unmapping toSpace
toSpace is 69,201,920 bytes.
Finished gc.
time(ms): 1,110
live(bytes): 18,235,540 (26.6%)
gc at line 288891 of mlton.c
Growing stack to size 75200.
gc at line 247936 of mlton.c
Starting gc.
toSpace is 146,489,344 bytes.
Finished gc.
time(ms): 1,590
live(bytes): 27,432,628 (39.6%)
==> time = 6.140
finish infer ==>
gc at line 169179 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,840
live(bytes): 31,497,532 (21.5%)
gc at line 49786 of mlton.c
Growing stack to size 37600.
gc at line 312372 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,780
live(bytes): 31,761,756 (17.3%)
gc at line 297755 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,170
live(bytes): 42,216,588 (23.0%)
gc at line 312372 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,590
live(bytes): 31,944,520 (17.4%)
gc at line 297141 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,700
live(bytes): 33,759,112 (18.4%)
gc at line 49786 of mlton.c
Growing stack to size 75200.
gc at line 297035 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,600
live(bytes): 32,171,448 (17.5%)
gc at line 296975 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,690
live(bytes): 33,595,048 (18.3%)
gc at line 245578 of mlton.c
Growing stack to size 150400.
gc at line 49738 of mlton.c
Growing stack to size 300800.
gc at line 298139 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,770
live(bytes): 33,854,928 (18.4%)
gc at line 195241 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,990
live(bytes): 37,887,072 (20.6%)
==> time = 61.500
==> time = 68.890
xml.unsimplified size is 29,206,044 bytes
typeCheck ==>
==> time = 5.710
infer simplify ==>
gc at line 352927 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,990
live(bytes): 37,216,976 (20.3%)
gc at line 49738 of mlton.c
Growing stack to size 75200.
gc at line 75638 of mlton.c
Growing stack to size 150400.
gc at line 49786 of mlton.c
Growing stack to size 300800.
gc at line 49786 of mlton.c
Growing stack to size 601600.
gc at line 49786 of mlton.c
Growing stack to size 1203200.
gc at line 74999 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,120
live(bytes): 21,498,260 (11.7%)
==> time = 23.200
xml size is 12,734,092 bytes
typeCheck ==>
==> time = 3.640
size = 73263
num types in program = 15531
num types in table = 31533
hash table size is 5,458,128 bytes
mono ==>
gc at line 195241 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,040
live(bytes): 19,707,904 (10.7%)
gc at line 195241 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,150
live(bytes): 21,129,100 (11.5%)
gc at line 129050 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,480
live(bytes): 28,343,740 (15.4%)
==> time = 48.050
.unsimplified size is 24,592,252 bytes
typeCheck ==>
==> time = 4.420
mono simplify ==>
gc at line 282532 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,850
live(bytes): 35,331,228 (19.3%)
gc at line 283341 of mlton.c
Growing stack to size 75200.
gc at line 75638 of mlton.c
Growing stack to size 150400.
gc at line 75202 of mlton.c
Growing stack to size 300800.
gc at line 157405 of mlton.c
Growing stack to size 601600.
gc at line 157405 of mlton.c
Growing stack to size 1203200.
gc at line 75638 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,970
live(bytes): 53,002,612 (28.9%)
==> time = 27.930
size is 17,533,896 bytes
typeCheck ==>
gc at line 282478 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,710
live(bytes): 32,077,596 (17.5%)
==> time = 5.220
size = 122717
num types in program = 10149
num types in table = 55492
hash table size is 10,854,556 bytes
implement exceptions ==>
==> time = 0.530
sxml.unsimplified size is 18,170,836 bytes
typeCheck ==>
==> time = 3.710
implement exceptions simplify ==>
gc at line 352927 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,710
live(bytes): 32,611,608 (17.8%)
gc at line 75638 of mlton.c
Growing stack to size 601600.
==> time = 18.450
sxml size is 17,098,364 bytes
typeCheck ==>
gc at line 289925 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,530
live(bytes): 29,434,192 (16.0%)
==> time = 5.010
polyvariance ==>
==> time = 0.0
sxml.poly size is 17,098,364 bytes
size = 119530
num types in program = 9854
num types in table = 55880
hash table size is 10,894,864 bytes
closure convert ==>
flow analysis ==>
==> time = 3.830
flow size is 4,252 bytes
free variables ==>
==> time = 0.540
globalize ==>
==> time = 0.280
convert ==>
gc at line 263036 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,590
live(bytes): 40,745,184 (22.2%)
gc at line 222724 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 3,040
live(bytes): 52,559,572 (28.6%)
gc at line 69699 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 3,570
live(bytes): 62,617,532 (34.1%)
gc at line 49786 of mlton.c
Growing stack to size 75200.
gc at line 49786 of mlton.c
Growing stack to size 150400.
gc at line 253867 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 4,200
live(bytes): 74,200,916 (40.4%)
gc at line 260664 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 4,530
live(bytes): 81,344,324 (44.3%)
gc at line 255228 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 4,970
live(bytes): 88,942,588 (48.5%)
gc at line 49786 of mlton.c
Growing stack to size 75200.
gc at line 282133 of mlton.c
Growing stack to size 150400.
gc at line 49786 of mlton.c
Growing stack to size 300800.
gc at line 49786 of mlton.c
Growing stack to size 601600.
gc at line 252891 of mlton.c
Growing stack to size 1203200.
gc at line 49786 of mlton.c
Growing stack to size 2406400.
gc at line 49738 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 5,300
live(bytes): 96,218,220 (52.4%)
==> time = 90.350
==> time = 96.190
cps.unsimplified size is 36,039,788 bytes
typeCheck ==>
checkScopes ==>
==> time = 1.460
inferHandlers ==>
gc at line 49742 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,180
live(bytes): 43,388,524 (23.6%)
==> time = 10.980
gc at line 189328 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,550
live(bytes): 48,058,324 (26.2%)
==> time = 35.780
closure convert simplify ==>
simplify ==>
num functions 8638
num local functions 88146
num primExps 103887
remove unused functions ==>
==> time = 0.220
num functions 8059
num local functions 83312
num primExps 100128
leaf inline ==>
inline ==>
gc at line 260151 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,600
live(bytes): 45,506,320 (24.8%)
gc at line 170491 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 3,070
live(bytes): 54,519,704 (29.7%)
==> time = 33.550
==> time = 33.550
num functions 6130
num local functions 45937
num primExps 103796
typeCheck ==>
checkScopes ==>
gc at line 303932 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 3,800
live(bytes): 66,036,688 (36.0%)
==> time = 4.920
inferHandlers ==>
==> time = 4.700
gc at line 253117 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,870
live(bytes): 34,172,236 (18.6%)
gc at line 174796 of mlton.c
Growing stack to size 150400.
==> time = 27.380
constant propagation ==>
inferHandlers ==>
==> time = 4.740
fixed point ==>
gc at line 189676 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 3,210
live(bytes): 57,589,964 (31.4%)
gc at line 49786 of mlton.c
Growing stack to size 150400.
==> time = 13.070
gc at line 49742 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 3,540
live(bytes): 64,678,432 (35.2%)
gc at line 332298 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 3,330
live(bytes): 62,349,784 (34.0%)
gc at line 332298 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 3,220
live(bytes): 60,342,032 (32.9%)
gc at line 194458 of mlton.c
Growing stack to size 37600.
gc at line 49786 of mlton.c
Growing stack to size 75200.
gc at line 49786 of mlton.c
Growing stack to size 150400.
gc at line 49742 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 3,130
live(bytes): 57,853,288 (31.5%)
gc at line 49742 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,960
live(bytes): 55,824,292 (30.4%)
gc at line 49786 of mlton.c
Growing stack to size 75200.
gc at line 49786 of mlton.c
Growing stack to size 150400.
gc at line 49786 of mlton.c
Growing stack to size 300800.
gc at line 332298 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,960
live(bytes): 55,268,500 (30.1%)
gc at line 195241 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,820
live(bytes): 54,352,688 (29.6%)
gc at line 49742 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,790
live(bytes): 53,722,496 (29.3%)
gc at line 49742 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,750
live(bytes): 53,026,368 (28.9%)
gc at line 195241 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,710
live(bytes): 52,044,484 (28.4%)
gc at line 332298 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,660
live(bytes): 51,153,688 (27.9%)
gc at line 332298 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,550
live(bytes): 48,915,512 (26.7%)
gc at line 49742 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,580
live(bytes): 48,082,988 (26.2%)
gc at line 49742 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,470
live(bytes): 47,275,952 (25.8%)
gc at line 303493 of mlton.c
Growing stack to size 37600.
gc at line 303493 of mlton.c
Growing stack to size 75200.
==> time = 365.440
num functions 6130
num local functions 44690
num primExps 79173
typeCheck ==>
checkScopes ==>
==> time = 0.860
inferHandlers ==>
==> time = 4.530
gc at line 303932 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,580
live(bytes): 30,013,428 (16.4%)
gc at line 49786 of mlton.c
Growing stack to size 75200.
gc at line 174796 of mlton.c
Growing stack to size 150400.
==> time = 20.970
useless ==>
analyze ==>
gc at line 274588 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 3,180
live(bytes): 56,234,796 (30.6%)
gc at line 49738 of mlton.c
Growing stack to size 150400.
==> time = 16.420
gc at line 113605 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 3,620
live(bytes): 66,124,024 (36.0%)
gc at line 155961 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,920
live(bytes): 54,644,452 (29.8%)
gc at line 49786 of mlton.c
Growing stack to size 75200.
gc at line 49786 of mlton.c
Growing stack to size 150400.
gc at line 49786 of mlton.c
Growing stack to size 300800.
gc at line 227773 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,310
live(bytes): 42,404,576 (23.1%)
==> time = 53.680
num functions 6130
num local functions 41108
num primExps 72575
typeCheck ==>
checkScopes ==>
==> time = 0.770
inferHandlers ==>
==> time = 4.180
gc at line 189328 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,540
live(bytes): 28,700,584 (15.6%)
==> time = 19.190
simplify types ==>
fixed point ==>
==> time = 0.490
gc at line 155961 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,530
live(bytes): 27,142,516 (14.8%)
gc at line 49786 of mlton.c
Growing stack to size 150400.
gc at line 49786 of mlton.c
Growing stack to size 300800.
==> time = 23.720
num functions 6130
num local functions 33358
num primExps 69433
typeCheck ==>
checkScopes ==>
gc at line 303932 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,520
live(bytes): 28,419,600 (15.5%)
==> time = 2.230
inferHandlers ==>
==> time = 3.460
==> time = 17.200
poly equal ==>
==> time = 0.400
num functions 6134
num local functions 33745
num primExps 69705
typeCheck ==>
checkScopes ==>
==> time = 0.700
inferHandlers ==>
gc at line 305970 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,330
live(bytes): 25,311,080 (13.8%)
==> time = 4.830
gc at line 49738 of mlton.c
Growing stack to size 150400.
==> time = 17.070
contify ==>
gc at line 222724 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,430
live(bytes): 27,145,032 (14.8%)
gc at line 49786 of mlton.c
Growing stack to size 150400.
==> time = 15.830
num functions 3521
num local functions 33951
num primExps 68629
typeCheck ==>
checkScopes ==>
==> time = 0.670
inferHandlers ==>
==> time = 3.530
gc at line 306558 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,390
live(bytes): 25,454,872 (13.9%)
gc at line 174796 of mlton.c
Growing stack to size 150400.
==> time = 16.990
inline ==>
gc at line 49786 of mlton.c
Growing stack to size 300800.
gc at line 260242 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,640
live(bytes): 29,883,144 (16.3%)
==> time = 20.830
gc at line 303496 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,100
live(bytes): 37,676,944 (20.5%)
num functions 1991
num local functions 36616
num primExps 78438
typeCheck ==>
checkScopes ==>
==> time = 0.750
inferHandlers ==>
==> time = 3.750
==> time = 17.450
raise to jump ==>
inferHandlers ==>
gc at line 305970 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,340
live(bytes): 25,290,216 (13.8%)
gc at line 49786 of mlton.c
Growing stack to size 75200.
==> time = 5.130
==> time = 6.130
num functions 1991
num local functions 36616
num primExps 78438
typeCheck ==>
checkScopes ==>
==> time = 0.750
inferHandlers ==>
==> time = 3.740
gc at line 49742 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,540
live(bytes): 28,935,280 (15.8%)
gc at line 202085 of mlton.c
Growing stack to size 75200.
==> time = 18.980
contify ==>
gc at line 49786 of mlton.c
Growing stack to size 150400.
gc at line 260779 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,470
live(bytes): 25,751,784 (14.0%)
gc at line 49786 of mlton.c
Growing stack to size 150400.
gc at line 49786 of mlton.c
Growing stack to size 300800.
==> time = 16.450
num functions 1980
num local functions 36169
num primExps 78427
typeCheck ==>
checkScopes ==>
==> time = 0.740
inferHandlers ==>
==> time = 3.750
gc at line 189328 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,530
live(bytes): 28,900,956 (15.7%)
==> time = 19.100
introduce loops ==>
==> time = 0.080
loop invariant ==>
gc at line 49786 of mlton.c
Growing stack to size 300800.
gc at line 49742 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,430
live(bytes): 25,709,044 (14.0%)
==> time = 16.600
num functions 1980
num local functions 36216
num primExps 77181
typeCheck ==>
checkScopes ==>
==> time = 0.690
inferHandlers ==>
==> time = 3.670
gc at line 163037 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,530
live(bytes): 27,973,752 (15.2%)
==> time = 18.700
flatten ==>
analyze ==>
==> time = 0.240
gc at line 170378 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,520
live(bytes): 26,302,140 (14.3%)
gc at line 193917 of mlton.c
Growing stack to size 75200.
gc at line 49786 of mlton.c
Growing stack to size 150400.
gc at line 49786 of mlton.c
Growing stack to size 300800.
==> time = 25.320
num functions 1980
num local functions 36243
num primExps 54365
typeCheck ==>
checkScopes ==>
gc at line 303932 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,450
live(bytes): 25,861,364 (14.1%)
==> time = 2.140
inferHandlers ==>
==> time = 3.830
==> time = 17.620
num functions 1980
num local functions 36243
num primExps 54365
typeCheck ==>
checkScopes ==>
==> time = 0.690
inferHandlers ==>
gc at line 49742 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,310
live(bytes): 24,307,896 (13.2%)
==> time = 5.060
==> time = 17.170
redundant ==>
==> time = 1.190
num functions 1980
num local functions 36243
num primExps 54365
typeCheck ==>
checkScopes ==>
==> time = 0.670
inferHandlers ==>
gc at line 175037 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,280
live(bytes): 23,446,036 (12.8%)
gc at line 62248 of mlton.c
Growing stack to size 75200.
==> time = 5.010
==> time = 17.090
remove unused functions ==>
==> time = 0.100
remove unused globals ==>
==> time = 0.320
remove unused constructors ==>
==> time = 0.230
gc at line 49786 of mlton.c
Growing stack to size 150400.
gc at line 49742 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,250
live(bytes): 23,053,500 (12.6%)
gc at line 49786 of mlton.c
Growing stack to size 150400.
num functions 1927
num local functions 35671
num primExps 52058
typeCheck ==>
checkScopes ==>
==> time = 0.670
inferHandlers ==>
==> time = 3.670
gc at line 303932 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,240
live(bytes): 22,859,556 (12.5%)
==> time = 16.730
==> time = 861.420
==> time = 861.420
cps size is 15,277,872 bytes
typeCheck ==>
checkScopes ==>
==> time = 0.630
inferHandlers ==>
==> time = 3.670
gc at line 190426 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,310
live(bytes): 24,854,476 (13.5%)
gc at line 49786 of mlton.c
Growing stack to size 75200.
==> time = 16.760
backend ==>
compute representations ==>
==> time = 0.160
inferHandlers ==>
==> time = 3.660
chunkify ==>
==> time = 2.230
allocate registers ==>
gc at line 252678 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,860
live(bytes): 32,370,184 (17.6%)
gc at line 49786 of mlton.c
Growing stack to size 75200.
gc at line 303496 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,780
live(bytes): 48,443,384 (26.4%)
gc at line 169687 of mlton.c
Growing stack to size 75200.
gc at line 49786 of mlton.c
Growing stack to size 150400.
==> time = 12.990
reg size is 4,368 bytes
gc at line 58337 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 3,960
live(bytes): 67,433,388 (36.7%)
gc at line 56056 of mlton.c
Growing stack to size 150400.
==> time = 28.240
c size is 25,725,276 bytes
emit C ==>
gc at line 69162 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,620
live(bytes): 29,507,880 (16.1%)
gc at line 179750 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,460
live(bytes): 28,767,808 (15.7%)
==> time = 24.950
numPeeks = 47640635
average position in property list = 0.517
==> time = 1450.630
max semispace size(bytes): 183,500,800
GC time(ms): 247,650 (17.1%)
maxPause(ms): 13,810
number of GCs: 98
bytes allocated: 12,568,506,864
bytes copied: 4,366,014,716
max bytes live: 99,972,880
1435.50user 16.04system 26:28.23elapsed 91%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (50045major+451043minor)pagefaults 20484swaps
+ time /home/sweeks/mlton/bin/mlton -v -inline 15 -flatten 1 -no-polyvariance mlton.c
gcc -c -DNODEBUG -I/home/sweeks/mlton/include -L/home/sweeks/mlton/lib -O1 -w -fomit-frame-pointer -fno-strength-reduce -m486 -malign-loops=2 -malign-jumps=2 -malign-functions=2 -o /tmp/filewxxoqd.o mlton.c
gcc -DNODEBUG -I/home/sweeks/mlton/include -L/home/sweeks/mlton/lib -O1 -w -fomit-frame-pointer -fno-strength-reduce -m486 -malign-loops=2 -malign-jumps=2 -malign-functions=2 -o mlton /tmp/filewxxoqd.o -lmlton -lm -lgmp
897.27user 10.73system 15:15.95elapsed 99%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (20760major+299017minor)pagefaults 0swaps
+ size mlton
text data bss dec hex filename
3097315 623416 16304 3737035 3905cb mlton
+ echo G2 processing basis library
G2 processing basis library
+ time ./mlton @MLton gc-summary -- /home/sweeks/mlton world false
max semispace size(bytes): 30,601,216
GC time(ms): 1,600 (12.2%)
maxPause(ms): 210
number of GCs: 16
bytes allocated: 179,416,844
bytes copied: 32,722,980
max bytes live: 4,138,616
12.22user 1.18system 0:14.52elapsed 92%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (1620major+54186minor)pagefaults 0swaps
+ echo G3: compiling mlton using G2 version of mlton
G3: compiling mlton using G2 version of mlton
+ cd /home/sweeks/mlton/self-compile/2000-06-20-14:15:45
+ mkdir G3
+ cd G3
+ ln -s ../mlton.sml .
+ time /home/sweeks/mlton/self-compile/2000-06-20-14:15:45/G2/mlton @MLton max-heap 350m load-world /home/sweeks/mlton/self-compile/2000-06-20-14:15:45/G2/world.mlton gc-messages gc-summary -- /home/sweeks/mlton gcc -w -fomit-frame-pointer -fno-strength-reduce -m486 -malign-loops=2 -malign-jumps=2 -malign-functions=2 END -I/home/sweeks/mlton/include -imlton.h -L/home/sweeks/mlton/lib -lgmp -lm -v -inline 15 -flatten 1 -no-polyvariance -C mlton.sml
compile ==>
MLton 2000-6-5 created this file on Tue Jun 20 15:36:38 2000.
Do not edit this file.
Flag settings:
aux: false
canDefunctorize: false
chunk: coalesce 2000
defines: [NODEBUG]
fixed heap: None
flatten rounds: 1
includes: [mlton.h]
inline: NonRecursive Some(15)
inline rounds: 1
input file: mlton.sml
instrument: false
instrument Sxml: false
keepCps: false
match: left to right
messages: true
mode: compile
polyvariance: None
print at fun entry: false
profile: false
type check: true
gc at line 150323 of mlton.c
Growing stack to size 37600.
gc at line 108329 of mlton.c
Growing stack to size 75200.
gc at line 108329 of mlton.c
Growing stack to size 150400.
parse ==>
gc at line 110913 of mlton.c
Starting gc.
Unmapping toSpace
toSpace is 29,904,896 bytes.
Finished gc.
time(ms): 270
live(bytes): 5,150,996 (17.9%)
gc at line 368680 of mlton.c
Starting gc.
toSpace is 41,811,968 bytes.
Finished gc.
time(ms): 330
live(bytes): 6,703,380 (22.4%)
gc at line 110913 of mlton.c
Starting gc.
toSpace is 53,932,032 bytes.
Finished gc.
time(ms): 440
live(bytes): 8,861,116 (21.2%)
gc at line 368680 of mlton.c
Starting gc.
toSpace is 71,041,024 bytes.
Finished gc.
time(ms): 580
live(bytes): 11,667,652 (21.6%)
gc at line 81880 of mlton.c
Starting gc.
toSpace is 93,495,296 bytes.
Finished gc.
time(ms): 740
live(bytes): 15,016,752 (21.1%)
gc at line 87052 of mlton.c
Growing stack to size 37600.
gc at line 87052 of mlton.c
Growing stack to size 75200.
==> time = 27.580
ast size is 17,299,348 bytes
size = 111165
elaborate ==>
gc at line 136663 of mlton.c
Starting gc.
Unmapping toSpace
toSpace is 120,737,792 bytes.
Finished gc.
time(ms): 1,190
live(bytes): 21,087,680 (22.6%)
gc at line 137245 of mlton.c
Starting gc.
toSpace is 169,005,056 bytes.
Finished gc.
time(ms): 1,370
live(bytes): 24,834,564 (20.6%)
gc at line 142029 of mlton.c
Growing stack to size 37600.
gc at line 135244 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 5,880
live(bytes): 89,683,584 (53.1%)
gc at line 142029 of mlton.c
Growing stack to size 37600.
gc at line 141769 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 5,470
live(bytes): 95,081,136 (51.8%)
gc at line 141769 of mlton.c
Growing stack to size 75200.
gc at line 141769 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 4,980
live(bytes): 95,925,152 (52.3%)
gc at line 143982 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 5,020
live(bytes): 96,746,448 (52.7%)
gc at line 135055 of mlton.c
Growing stack to size 37600.
gc at line 141769 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 5,020
live(bytes): 97,178,468 (53.0%)
gc at line 135055 of mlton.c
Growing stack to size 75200.
gc at line 141769 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 5,050
live(bytes): 97,832,600 (53.3%)
gc at line 137359 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 5,110
live(bytes): 98,680,124 (53.8%)
gc at line 135055 of mlton.c
Growing stack to size 75200.
gc at line 141769 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 5,100
live(bytes): 98,965,960 (53.9%)
gc at line 141769 of mlton.c
Growing stack to size 75200.
gc at line 136014 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 5,150
live(bytes): 99,627,620 (54.3%)
gc at line 135055 of mlton.c
Growing stack to size 75200.
gc at line 141769 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 5,130
live(bytes): 99,972,880 (54.5%)
==> time = 113.250
core-ml size is 97,001,072 bytes
gc at line 108329 of mlton.c
Growing stack to size 150400.
size = 117058
gcc -DNODEBUG -I/home/sweeks/mlton/include -L/home/sweeks/mlton/lib -O1 -w -fomit-frame-pointer -fno-strength-reduce -m486 -malign-loops=2 -malign-jumps=2 -malign-functions=2 -o /tmp/filewySapm /tmp/filefLeTSd.c -lmlton -lm -lgmp
/tmp/filewySapm /tmp/fileQMClfE
infer ==>
gc at line 151748 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Shrinking heap to 68599808 bytes.
Finished gc.
time(ms): 540
live(bytes): 8,574,924 (4.7%)
unification ==>
gc at line 294744 of mlton.c
Starting gc.
Unmapping toSpace
toSpace is 69,201,920 bytes.
Finished gc.
time(ms): 1,120
live(bytes): 18,235,540 (26.6%)
gc at line 288891 of mlton.c
Growing stack to size 75200.
gc at line 247936 of mlton.c
Starting gc.
toSpace is 146,489,344 bytes.
Finished gc.
time(ms): 1,600
live(bytes): 27,432,628 (39.6%)
==> time = 6.120
finish infer ==>
gc at line 169179 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,840
live(bytes): 31,497,532 (21.5%)
gc at line 49786 of mlton.c
Growing stack to size 37600.
gc at line 312372 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,770
live(bytes): 31,761,756 (17.3%)
gc at line 297755 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,160
live(bytes): 42,216,588 (23.0%)
gc at line 312372 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,590
live(bytes): 31,944,520 (17.4%)
gc at line 297141 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,710
live(bytes): 33,759,112 (18.4%)
gc at line 49786 of mlton.c
Growing stack to size 75200.
gc at line 297035 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,590
live(bytes): 32,171,448 (17.5%)
gc at line 296975 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,680
live(bytes): 33,595,048 (18.3%)
gc at line 245578 of mlton.c
Growing stack to size 150400.
gc at line 49738 of mlton.c
Growing stack to size 300800.
gc at line 298139 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,760
live(bytes): 33,854,928 (18.4%)
gc at line 195241 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,000
live(bytes): 37,887,072 (20.6%)
==> time = 61.270
==> time = 68.610
xml.unsimplified size is 29,206,044 bytes
typeCheck ==>
==> time = 5.690
infer simplify ==>
gc at line 352927 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,010
live(bytes): 37,216,976 (20.3%)
gc at line 49738 of mlton.c
Growing stack to size 75200.
gc at line 75638 of mlton.c
Growing stack to size 150400.
gc at line 49786 of mlton.c
Growing stack to size 300800.
gc at line 49786 of mlton.c
Growing stack to size 601600.
gc at line 49786 of mlton.c
Growing stack to size 1203200.
gc at line 74999 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,120
live(bytes): 21,498,260 (11.7%)
==> time = 23.170
xml size is 12,734,092 bytes
typeCheck ==>
==> time = 3.780
size = 73263
num types in program = 15531
num types in table = 31533
hash table size is 5,458,128 bytes
mono ==>
gc at line 195241 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,040
live(bytes): 19,707,904 (10.7%)
gc at line 195241 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,100
live(bytes): 21,129,100 (11.5%)
gc at line 129050 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,470
live(bytes): 28,343,740 (15.4%)
==> time = 49.570
.unsimplified size is 24,592,252 bytes
typeCheck ==>
==> time = 4.420
mono simplify ==>
gc at line 282532 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,850
live(bytes): 35,331,228 (19.3%)
gc at line 283341 of mlton.c
Growing stack to size 75200.
gc at line 75638 of mlton.c
Growing stack to size 150400.
gc at line 75202 of mlton.c
Growing stack to size 300800.
gc at line 157405 of mlton.c
Growing stack to size 601600.
gc at line 157405 of mlton.c
Growing stack to size 1203200.
gc at line 75638 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 3,020
live(bytes): 53,002,612 (28.9%)
==> time = 28.290
size is 17,533,896 bytes
typeCheck ==>
gc at line 282478 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,720
live(bytes): 32,077,596 (17.5%)
==> time = 5.240
size = 122717
num types in program = 10149
num types in table = 55492
hash table size is 10,854,556 bytes
implement exceptions ==>
==> time = 0.550
sxml.unsimplified size is 18,170,836 bytes
typeCheck ==>
==> time = 3.740
implement exceptions simplify ==>
gc at line 352927 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,730
live(bytes): 32,611,608 (17.8%)
gc at line 75638 of mlton.c
Growing stack to size 601600.
==> time = 18.610
sxml size is 17,098,364 bytes
typeCheck ==>
gc at line 289925 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,530
live(bytes): 29,434,192 (16.0%)
==> time = 5.030
polyvariance ==>
==> time = 0.0
sxml.poly size is 17,098,364 bytes
size = 119530
num types in program = 9854
num types in table = 55880
hash table size is 10,894,864 bytes
closure convert ==>
flow analysis ==>
==> time = 3.930
flow size is 4,252 bytes
free variables ==>
==> time = 0.550
globalize ==>
==> time = 0.250
convert ==>
gc at line 263036 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,610
live(bytes): 40,745,184 (22.2%)
gc at line 222724 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 3,080
live(bytes): 52,559,572 (28.6%)
gc at line 69699 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 3,600
live(bytes): 62,617,532 (34.1%)
gc at line 49786 of mlton.c
Growing stack to size 75200.
gc at line 49786 of mlton.c
Growing stack to size 150400.
gc at line 253867 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 4,230
live(bytes): 74,200,916 (40.4%)
gc at line 260664 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 4,530
live(bytes): 81,344,324 (44.3%)
gc at line 255228 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 5,060
live(bytes): 88,942,588 (48.5%)
gc at line 49786 of mlton.c
Growing stack to size 75200.
gc at line 282133 of mlton.c
Growing stack to size 150400.
gc at line 49786 of mlton.c
Growing stack to size 300800.
gc at line 49786 of mlton.c
Growing stack to size 601600.
gc at line 252891 of mlton.c
Growing stack to size 1203200.
gc at line 49786 of mlton.c
Growing stack to size 2406400.
gc at line 49738 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 5,270
live(bytes): 96,218,220 (52.4%)
==> time = 90.590
==> time = 96.550
cps.unsimplified size is 36,039,788 bytes
typeCheck ==>
checkScopes ==>
==> time = 1.450
inferHandlers ==>
gc at line 49742 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,150
live(bytes): 43,388,524 (23.6%)
==> time = 11.000
gc at line 189328 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,450
live(bytes): 48,058,324 (26.2%)
==> time = 35.520
closure convert simplify ==>
simplify ==>
num functions 8638
num local functions 88146
num primExps 103887
remove unused functions ==>
==> time = 0.210
num functions 8059
num local functions 83312
num primExps 100128
leaf inline ==>
inline ==>
gc at line 260151 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,820
live(bytes): 45,506,320 (24.8%)
gc at line 170491 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 3,020
live(bytes): 54,519,704 (29.7%)
==> time = 34.370
==> time = 34.370
num functions 6130
num local functions 45937
num primExps 103796
typeCheck ==>
checkScopes ==>
gc at line 303932 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 3,620
live(bytes): 66,036,688 (36.0%)
==> time = 4.680
inferHandlers ==>
==> time = 4.650
gc at line 253117 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,870
live(bytes): 34,172,236 (18.6%)
gc at line 174796 of mlton.c
Growing stack to size 150400.
==> time = 27.110
constant propagation ==>
inferHandlers ==>
==> time = 4.760
fixed point ==>
gc at line 189676 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 3,220
live(bytes): 57,589,964 (31.4%)
gc at line 49786 of mlton.c
Growing stack to size 150400.
==> time = 13.090
gc at line 49742 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 3,550
live(bytes): 64,678,432 (35.2%)
gc at line 332298 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 3,360
live(bytes): 62,349,784 (34.0%)
gc at line 332298 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 3,220
live(bytes): 60,342,032 (32.9%)
gc at line 194458 of mlton.c
Growing stack to size 37600.
gc at line 49786 of mlton.c
Growing stack to size 75200.
gc at line 49786 of mlton.c
Growing stack to size 150400.
gc at line 49742 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 3,080
live(bytes): 57,853,288 (31.5%)
gc at line 49742 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,960
live(bytes): 55,824,292 (30.4%)
gc at line 49786 of mlton.c
Growing stack to size 75200.
gc at line 49786 of mlton.c
Growing stack to size 150400.
gc at line 49786 of mlton.c
Growing stack to size 300800.
gc at line 332298 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,950
live(bytes): 55,268,500 (30.1%)
gc at line 195241 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,820
live(bytes): 54,352,688 (29.6%)
gc at line 49742 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,810
live(bytes): 53,722,496 (29.3%)
gc at line 49742 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,760
live(bytes): 53,026,368 (28.9%)
gc at line 195241 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,720
live(bytes): 52,044,484 (28.4%)
gc at line 332298 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,680
live(bytes): 51,153,688 (27.9%)
gc at line 332298 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,650
live(bytes): 48,915,512 (26.7%)
gc at line 49742 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,580
live(bytes): 48,082,988 (26.2%)
gc at line 49742 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,470
live(bytes): 47,275,952 (25.8%)
gc at line 303493 of mlton.c
Growing stack to size 37600.
gc at line 303493 of mlton.c
Growing stack to size 75200.
==> time = 366.420
num functions 6130
num local functions 44690
num primExps 79173
typeCheck ==>
checkScopes ==>
==> time = 0.870
inferHandlers ==>
==> time = 4.530
gc at line 303932 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,590
live(bytes): 30,013,428 (16.4%)
gc at line 49786 of mlton.c
Growing stack to size 75200.
gc at line 174796 of mlton.c
Growing stack to size 150400.
==> time = 20.990
useless ==>
analyze ==>
gc at line 274588 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 3,180
live(bytes): 56,234,796 (30.6%)
gc at line 49738 of mlton.c
Growing stack to size 150400.
==> time = 16.390
gc at line 113605 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 3,620
live(bytes): 66,124,024 (36.0%)
gc at line 155961 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,920
live(bytes): 54,644,452 (29.8%)
gc at line 49786 of mlton.c
Growing stack to size 75200.
gc at line 49786 of mlton.c
Growing stack to size 150400.
gc at line 49786 of mlton.c
Growing stack to size 300800.
gc at line 227773 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,320
live(bytes): 42,404,576 (23.1%)
==> time = 53.700
num functions 6130
num local functions 41108
num primExps 72575
typeCheck ==>
checkScopes ==>
==> time = 0.770
inferHandlers ==>
==> time = 4.180
gc at line 189328 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,520
live(bytes): 28,700,584 (15.6%)
==> time = 19.180
simplify types ==>
fixed point ==>
==> time = 0.490
gc at line 155961 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,580
live(bytes): 27,142,516 (14.8%)
gc at line 49786 of mlton.c
Growing stack to size 150400.
gc at line 49786 of mlton.c
Growing stack to size 300800.
==> time = 23.940
num functions 6130
num local functions 33358
num primExps 69433
typeCheck ==>
checkScopes ==>
gc at line 303932 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,590
live(bytes): 28,419,600 (15.5%)
==> time = 2.280
inferHandlers ==>
==> time = 3.500
==> time = 17.450
poly equal ==>
==> time = 0.410
num functions 6134
num local functions 33745
num primExps 69705
typeCheck ==>
checkScopes ==>
==> time = 0.730
inferHandlers ==>
gc at line 305970 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,630
live(bytes): 25,311,080 (13.8%)
==> time = 5.150
gc at line 49738 of mlton.c
Growing stack to size 150400.
==> time = 17.530
contify ==>
gc at line 222724 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,470
live(bytes): 27,145,032 (14.8%)
gc at line 49786 of mlton.c
Growing stack to size 150400.
==> time = 16.760
num functions 3521
num local functions 33951
num primExps 68629
typeCheck ==>
checkScopes ==>
==> time = 0.710
inferHandlers ==>
==> time = 3.570
gc at line 306558 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,420
live(bytes): 25,454,872 (13.9%)
gc at line 174796 of mlton.c
Growing stack to size 150400.
==> time = 17.260
inline ==>
gc at line 49786 of mlton.c
Growing stack to size 300800.
gc at line 260242 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,720
live(bytes): 29,883,144 (16.3%)
==> time = 21.170
gc at line 303496 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,190
live(bytes): 37,676,944 (20.5%)
num functions 1991
num local functions 36616
num primExps 78438
typeCheck ==>
checkScopes ==>
==> time = 0.800
inferHandlers ==>
==> time = 3.790
==> time = 17.740
raise to jump ==>
inferHandlers ==>
gc at line 305970 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,390
live(bytes): 25,290,216 (13.8%)
gc at line 49786 of mlton.c
Growing stack to size 75200.
==> time = 5.220
==> time = 6.240
num functions 1991
num local functions 36616
num primExps 78438
typeCheck ==>
checkScopes ==>
==> time = 0.780
inferHandlers ==>
==> time = 3.820
gc at line 49742 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,620
live(bytes): 28,935,280 (15.8%)
gc at line 202085 of mlton.c
Growing stack to size 75200.
==> time = 19.500
contify ==>
gc at line 49786 of mlton.c
Growing stack to size 150400.
gc at line 260779 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,480
live(bytes): 25,751,784 (14.0%)
gc at line 49786 of mlton.c
Growing stack to size 150400.
gc at line 49786 of mlton.c
Growing stack to size 300800.
==> time = 16.580
num functions 1980
num local functions 36169
num primExps 78427
typeCheck ==>
checkScopes ==>
==> time = 0.700
inferHandlers ==>
==> time = 3.720
gc at line 189328 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,520
live(bytes): 28,900,956 (15.7%)
==> time = 18.860
introduce loops ==>
==> time = 0.070
loop invariant ==>
gc at line 49786 of mlton.c
Growing stack to size 300800.
gc at line 49742 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,410
live(bytes): 25,709,044 (14.0%)
==> time = 16.580
num functions 1980
num local functions 36216
num primExps 77181
typeCheck ==>
checkScopes ==>
==> time = 0.700
inferHandlers ==>
==> time = 3.720
gc at line 163037 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,470
live(bytes): 27,973,752 (15.2%)
==> time = 18.670
flatten ==>
analyze ==>
==> time = 0.230
gc at line 170378 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,430
live(bytes): 26,302,140 (14.3%)
gc at line 193917 of mlton.c
Growing stack to size 75200.
gc at line 49786 of mlton.c
Growing stack to size 150400.
gc at line 49786 of mlton.c
Growing stack to size 300800.
==> time = 24.910
num functions 1980
num local functions 36243
num primExps 54365
typeCheck ==>
checkScopes ==>
gc at line 303932 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,390
live(bytes): 25,861,364 (14.1%)
==> time = 2.020
inferHandlers ==>
==> time = 3.810
==> time = 17.420
num functions 1980
num local functions 36243
num primExps 54365
typeCheck ==>
checkScopes ==>
==> time = 0.680
inferHandlers ==>
gc at line 49742 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,410
live(bytes): 24,307,896 (13.2%)
==> time = 5.540
==> time = 18.830
redundant ==>
==> time = 1.250
num functions 1980
num local functions 36243
num primExps 54365
typeCheck ==>
checkScopes ==>
==> time = 0.700
inferHandlers ==>
gc at line 175037 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,330
live(bytes): 23,446,036 (12.8%)
gc at line 62248 of mlton.c
Growing stack to size 75200.
==> time = 5.100
==> time = 17.350
remove unused functions ==>
==> time = 0.090
remove unused globals ==>
==> time = 0.350
remove unused constructors ==>
==> time = 0.240
gc at line 49786 of mlton.c
Growing stack to size 150400.
gc at line 49742 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,290
live(bytes): 23,053,500 (12.6%)
gc at line 49786 of mlton.c
Growing stack to size 150400.
num functions 1927
num local functions 35671
num primExps 52058
typeCheck ==>
checkScopes ==>
==> time = 0.700
inferHandlers ==>
==> time = 3.680
gc at line 303932 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,280
live(bytes): 22,859,556 (12.5%)
==> time = 17.000
==> time = 868.170
==> time = 868.170
cps size is 15,277,872 bytes
typeCheck ==>
checkScopes ==>
==> time = 0.640
inferHandlers ==>
==> time = 3.720
gc at line 190426 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,360
live(bytes): 24,854,476 (13.5%)
gc at line 49786 of mlton.c
Growing stack to size 75200.
==> time = 17.020
backend ==>
compute representations ==>
==> time = 0.160
inferHandlers ==>
==> time = 4.010
chunkify ==>
==> time = 2.290
allocate registers ==>
gc at line 252678 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,940
live(bytes): 32,370,184 (17.6%)
gc at line 49786 of mlton.c
Growing stack to size 75200.
gc at line 303496 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 2,920
live(bytes): 48,443,384 (26.4%)
gc at line 169687 of mlton.c
Growing stack to size 75200.
gc at line 49786 of mlton.c
Growing stack to size 150400.
==> time = 13.530
reg size is 4,368 bytes
gc at line 58337 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 4,160
live(bytes): 67,433,388 (36.7%)
gc at line 56056 of mlton.c
Growing stack to size 150400.
==> time = 29.570
c size is 25,725,276 bytes
emit C ==>
gc at line 69162 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,690
live(bytes): 29,507,880 (16.1%)
gc at line 179750 of mlton.c
Starting gc.
toSpace is 183,500,800 bytes.
Finished gc.
time(ms): 1,470
live(bytes): 28,767,808 (15.7%)
==> time = 25.410
numPeeks = 47640635
average position in property list = 0.517
==> time = 1448.650
max semispace size(bytes): 183,500,800
GC time(ms): 238,230 (16.4%)
maxPause(ms): 5,880
number of GCs: 98
bytes allocated: 12,568,506,864
bytes copied: 4,366,014,716
max bytes live: 99,972,880
1438.30user 11.25system 24:26.77elapsed 98%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (4122major+412762minor)pagefaults 0swaps
+ cd /home/sweeks/mlton/self-compile/2000-06-20-14:15:45
+ echo diff of C files
diff of C files
+ diff G2/mlton.c G3/mlton.c
2c2
< MLton 2000-6-5 created this file on Tue Jun 20 15:20:42 2000.
---
> MLton 2000-6-5 created this file on Tue Jun 20 16:00:38 2000.
403520c403520
< Main(FALSE, 0, 85936, 4700, 23904, 0x2C8916F9, 3218, initGlobals_0)
---
> Main(FALSE, 0, 85936, 4700, 23904, 0x78DA8B3E, 3218, initGlobals_0)