contifier bug

Stephen Weeks MLton@sourcelight.com
Thu, 22 Feb 2001 14:43:33 -0800 (PST)


The new contifier appears to have a bug (or two).  In trying to run it on the
kit benchmark, I get an unhandled Option exception during transform when using
the Dom contify strategy, and I get an apparently bogus expression when using
the CallCont contify strategy.  The latter I conclude because the shrinker
complains.

There is a bug in the frontend of the MLton version that you have that prevents
it from compiling the kit benchmark.  So here is a new sources snapshot and the
kit benchmark.

http://www.star-lab.com/sweeks/src.tgz
http://www.star-lab.com/sweeks/kit.tgz

Here are -vv logs of the two failures.

benchmarks% $HOME/mlton/bin/mlton -vv kit.sml
MLton internal (built Thu Feb 22 13:14:24 2001 on starlinux.epr.com)
  created this file on Thu Feb 22 14:27:38 2001.
Do not edit this file.
Flag settings: 
   aux: false
   chunk: chunk per function
   contify strategy: Dom
   debug: false
   defines: [NODEBUG,MLton_safe=TRUE,MLton_detectOverflow=TRUE]
   detect overflow: true
   fixed heap: None
   indentation: 3
   includes: [mlton.h]
   inline: NonRecursive {product = 320,small = 60}
   input file: kit.sml
   instrument: false
   instrument Sxml: false
   keep Cps: false
   native: true
   native commented: 0
   native copy prop: true
   future: 64
   native ieee fp: false
   native live transfer: true
   native move hoist: true
   native optimize: 1
   native split: Some (20000)
   polyvariance: Some ({rounds = 2,small = 30,product = 300})
   print at fun entry: false
   profile: false
   safe: true
   show types: false
   static: false
   use basis library: true
   verbose: true
   very verbose: true
Compile SML starting
   pre codegen starting
      parse and elaborate starting
/tmp/fileUXUaFL.40.S 3618: GC
Starting gc.
Unmapping toSpace
fromSpace 20,496,384  toSpace 20,783,104
Finished gc.
time(ms): 100
live(bytes): 3,385,956 (16.5%)
/tmp/fileUXUaFL.40.S 3618: GC
Starting gc.
fromSpace 20,783,104  toSpace 27,234,304
Finished gc.
time(ms): 130
live(bytes): 4,551,480 (21.9%)
/tmp/fileUXUaFL.40.S 2717: GC
Starting gc.
fromSpace 27,234,304  toSpace 36,552,704
Finished gc.
time(ms): 160
live(bytes): 6,043,432 (22.2%)
/tmp/fileUXUaFL.40.S 3618: GC
Starting gc.
fromSpace 36,552,704  toSpace 48,496,640
Finished gc.
time(ms): 220
live(bytes): 8,034,900 (22.0%)
/tmp/fileUXUaFL.40.S 3618: GC
Starting gc.
fromSpace 48,496,640  toSpace 64,425,984
Finished gc.
time(ms): 290
live(bytes): 10,712,044 (22.1%)
/tmp/fileUXUaFL.40.S 3618: GC
Starting gc.
fromSpace 64,425,984  toSpace 85,843,968
Finished gc.
time(ms): 380
live(bytes): 14,102,440 (21.9%)
/tmp/fileUXUaFL.40.S 3618: GC
Starting gc.
fromSpace 85,843,968  toSpace 112,967,680
Finished gc.
time(ms): 510
live(bytes): 18,650,036 (21.7%)
/tmp/fileUXUaFL.40.S 3618: GC
Starting gc.
fromSpace 112,967,680  toSpace 149,348,352
Finished gc.
time(ms): 690
live(bytes): 24,692,468 (21.9%)
/tmp/fileozQ9Ud.15.S 12655: GC
Starting gc.
fromSpace 149,348,352  toSpace 198,864,896
Finished gc.
time(ms): 1,300
live(bytes): 34,637,976 (23.2%)
      parse and elaborate finished in 9.810
      core-ml size is 12,510,936 bytes
      numPeeks = 14
      average position in property list = 0.0
      numPeeks = 376250
      average position in bucket = 0.714
      lex and parse totals 6.950
      elaborate totals 2.860
      dead starting
      dead finished in 0.120
      basis size is 601,644 bytes
      numPeeks = 92638
      average position in property list = 0.0
      numPeeks = 376250
      average position in bucket = 0.714
      size = 226669
      gcc -DNODEBUG -DMLton_safe=TRUE -DMLton_detectOverflow=TRUE \
          -I/home/sweeks/mlton/include -o /tmp/filew9Fxf5 /tmp/filesV1GIC.c \
          -L/home/sweeks/mlton/lib -lmlton -lm -lgmp
      /tmp/filew9Fxf5 /tmp/fileOiuGFN
      infer starting
	 unification starting
/tmp/fileO85EqR.13.S 9517: GC
Starting gc.
Unmapping toSpace
fromSpace 198,864,896  toSpace 224,886,784
Finished gc.
time(ms): 660
live(bytes): 14,640,440 (7.4%)
	 unification finished in 2.540
	 finish infer starting
/tmp/fileVzpvmU.43.S 6423: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 1,760
live(bytes): 53,822,976 (23.9%)
/tmp/fileDzgyAE.26.S 18150: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 1,990
live(bytes): 62,043,664 (27.6%)
	 finish infer finished in 6.050
      infer finished in 8.920
      xml.unsimplified size is 57,172,964 bytes
      numPeeks = 1264847
      average position in property list = 0.000
      numPeeks = 578619
      average position in bucket = 0.941
      infer simplify starting
/tmp/fileDzgyAE.26.S 10320: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 3,100
live(bytes): 87,678,960 (39.0%)
      infer simplify finished in 5.260
      xml size is 23,368,904 bytes
      numPeeks = 4079786
      average position in property list = 0.060
      numPeeks = 578619
      average position in bucket = 0.941
/tmp/fileK7Dd1h.27.S 727: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 860
live(bytes): 28,329,144 (12.6%)
      size = 140434
      num types in program = 26187
      num distinct types = 47891
      hash table size is 0 bytes
      mono starting
/tmp/filee4Bd7V.41.S 11316: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 840
live(bytes): 28,470,776 (12.7%)
/tmp/filee4Bd7V.41.S 11316: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 880
live(bytes): 29,253,308 (13.0%)
      mono finished in 5.150
      mono.unsimplified size is 29,073,912 bytes
      numPeeks = 8754120
      average position in property list = 0.028
      numPeeks = 1365099
      average position in bucket = 1.189
      mono simplify starting
/tmp/fileDzgyAE.26.S 6807: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 2,310
live(bytes): 61,630,876 (27.4%)
      mono simplify finished in 4.320
      mono size is 24,548,608 bytes
      numPeeks = 11262984
      average position in property list = 0.039
      numPeeks = 1365099
      average position in bucket = 1.189
      size = 172800
      num types in program = 13867
      num distinct types = 68762
      hash table size is 0 bytes
      implement exceptions starting
/tmp/fileHgqFal.3.S 16775: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 1,060
live(bytes): 34,076,308 (15.2%)
      implement exceptions finished in 1.240
      sxml.unsimplified size is 24,870,164 bytes
      numPeeks = 11534338
      average position in property list = 0.038
      numPeeks = 1366278
      average position in bucket = 1.189
      implement exceptions simplify starting
      implement exceptions simplify finished in 1.790
      sxml size is 23,817,976 bytes
      numPeeks = 13784299
      average position in property list = 0.040
      numPeeks = 1366278
      average position in bucket = 1.189
      polyvariance starting
/tmp/fileBdTnan.11.S 7995: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 990
live(bytes): 32,867,996 (14.6%)
/tmp/filePzwDMp.42.S 14673: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 1,090
live(bytes): 35,897,172 (16.0%)
	 size = 186840
	 num types in program = 11529
	 num distinct types = 68871
	 hash table size is 0 bytes
/tmp/fileVfpdU2.38.S 5450: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 1,240
live(bytes): 42,193,240 (18.8%)
/tmp/fileDzgyAE.26.S 10862: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 1,850
live(bytes): 57,360,832 (25.5%)
	 size = 185633
	 num types in program = 11439
	 num distinct types = 68871
	 hash table size is 0 bytes
      polyvariance finished in 11.100
      sxml.poly size is 25,725,496 bytes
      numPeeks = 21220729
      average position in property list = 0.041
      numPeeks = 1366278
      average position in bucket = 1.189
      size = 185633
      num types in program = 11439
      num distinct types = 68871
      hash table size is 0 bytes
      closure convert starting
	 original size is 25,725,496 bytes
	 after flow analysis size is 51,648,364 bytes
	 free variables starting
	 free variables finished in 0.430
	 after lambda free size is 52,023,884 bytes
	 globalize starting
/tmp/filePzwDMp.42.S 14673: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 2,110
live(bytes): 52,939,304 (23.5%)
	 globalize finished in 2.450
	 after globalize size is 52,351,212 bytes
	 convert starting
/tmp/fileRmXcvg.25.S 283: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 2,670
live(bytes): 75,603,908 (33.6%)
/tmp/fileANOTZJ.33.S 11504: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 3,130
live(bytes): 91,387,560 (40.6%)
/tmp/fileRmXcvg.25.S 83: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 3,580
live(bytes): 107,769,752 (47.9%)
/tmp/fileRmXcvg.25.S 2781: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 3,940
live(bytes): 119,795,780 (53.3%)
	 convert finished in 18.900
      closure convert finished in 28.690
      cps.unsimplified size is 52,958,504 bytes
      numPeeks = 26554746
      average position in property list = 0.441
      numPeeks = 1413750
      average position in bucket = 1.174
      closure convert simplify starting
	 num functions 10963
	 num local functions 140360
	 num primExps 145071
	 removeUnused starting
/tmp/fileF5ce6d.36.S 1702: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 2,430
live(bytes): 70,028,932 (31.1%)
	 removeUnused finished in 3.640
/tmp/fileqL7c6X.32.S 7191: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 2,470
live(bytes): 68,314,756 (30.4%)
	 num functions 10676
	 num local functions 94678
	 num primExps 141411
	 leaf-inline starting
	    inline starting
/tmp/fileAA0UVP.24.S 1638: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 2,070
live(bytes): 59,158,232 (26.3%)
	    inline finished in 3.730
	 leaf-inline finished in 3.730
/tmp/fileqL7c6X.32.S 6676: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 1,380
live(bytes): 39,694,264 (17.7%)
	 num functions 7692
	 num local functions 73597
	 num primExps 150328
	 raise-to-jump starting
	    inferHandlers starting
	    inferHandlers finished in 0.190
	 raise-to-jump finished in 1.530
/tmp/fileF5ce6d.36.S 10388: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 1,400
live(bytes): 39,731,420 (17.7%)
	 num functions 7692
	 num local functions 73155
	 num primExps 150309
	 contify starting
	    analyzeCall starting
	    analyzeCall finished in 0.090
	    analyzeCont starting
	    analyzeCont finished in 0.100
	    analyzeDom starting
	       buildGraph starting
	       buildGraph finished in 0.130
	       computeDominators starting
	       computeDominators finished in 0.500
	       compute ADom starting
	       compute ADom finished in 0.020
	    analyzeDom finished in 0.700
	    diagnostics starting
functions: 7692
  call_cont_dom: 2808  call_cont: 0
  call_dom: 548  cont_dom: 329
  call: 0  cont: 0  dom: 264
  rem_call_cont_dom: 3  rem_call_cont: 0
  rem_call_dom: 0  rem_cont_dom: 0
  rem_call: 0  rem_cont: 0  rem_dom: 0
	    diagnostics finished in 0.010
	    transform starting
/tmp/fileqL7c6X.32.S 2792: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 1,670
live(bytes): 49,992,580 (22.2%)
	    transform raised in 2.780
	 contify raised in 3.840
      closure convert simplify raised in 19.920
   pre codegen raised in 107.050
Compile SML raised in 107.050
mlton: unhandled exception: Option
max semispace size(bytes): 224,886,784
max stack size(bytes): 8,822,784
GC time(ms): 49,260 (46.0%)
maxPause(ms): 3,940
number of GCs: 33
bytes allocated: 4,615,694,740
bytes copied: 1,467,492,912
max bytes live: 119,795,780


benchmarks% $HOME/mlton/bin/mlton -vv -contify cc kit.sml
MLton internal (built Thu Feb 22 13:14:24 2001 on starlinux.epr.com)
  created this file on Thu Feb 22 14:30:06 2001.
Do not edit this file.
Flag settings: 
   aux: false
   chunk: chunk per function
   contify strategy: CallCont
   debug: false
   defines: [NODEBUG,MLton_safe=TRUE,MLton_detectOverflow=TRUE]
   detect overflow: true
   fixed heap: None
   indentation: 3
   includes: [mlton.h]
   inline: NonRecursive {product = 320,small = 60}
   input file: kit.sml
   instrument: false
   instrument Sxml: false
   keep Cps: false
   native: true
   native commented: 0
   native copy prop: true
   future: 64
   native ieee fp: false
   native live transfer: true
   native move hoist: true
   native optimize: 1
   native split: Some (20000)
   polyvariance: Some ({rounds = 2,small = 30,product = 300})
   print at fun entry: false
   profile: false
   safe: true
   show types: false
   static: false
   use basis library: true
   verbose: true
   very verbose: true
Compile SML starting
   pre codegen starting
      parse and elaborate starting
/tmp/fileUXUaFL.40.S 3618: GC
Starting gc.
Unmapping toSpace
fromSpace 20,496,384  toSpace 20,783,104
Finished gc.
time(ms): 90
live(bytes): 3,385,956 (16.5%)
/tmp/fileUXUaFL.40.S 3618: GC
Starting gc.
fromSpace 20,783,104  toSpace 27,234,304
Finished gc.
time(ms): 130
live(bytes): 4,551,480 (21.9%)
/tmp/fileUXUaFL.40.S 2717: GC
Starting gc.
fromSpace 27,234,304  toSpace 36,552,704
Finished gc.
time(ms): 170
live(bytes): 6,043,432 (22.2%)
/tmp/fileUXUaFL.40.S 3618: GC
Starting gc.
fromSpace 36,552,704  toSpace 48,496,640
Finished gc.
time(ms): 210
live(bytes): 8,034,900 (22.0%)
/tmp/fileUXUaFL.40.S 3618: GC
Starting gc.
fromSpace 48,496,640  toSpace 64,425,984
Finished gc.
time(ms): 290
live(bytes): 10,712,044 (22.1%)
/tmp/fileUXUaFL.40.S 3618: GC
Starting gc.
fromSpace 64,425,984  toSpace 85,843,968
Finished gc.
time(ms): 380
live(bytes): 14,102,440 (21.9%)
/tmp/fileUXUaFL.40.S 3618: GC
Starting gc.
fromSpace 85,843,968  toSpace 112,967,680
Finished gc.
time(ms): 510
live(bytes): 18,650,036 (21.7%)
/tmp/fileUXUaFL.40.S 3618: GC
Starting gc.
fromSpace 112,967,680  toSpace 149,348,352
Finished gc.
time(ms): 690
live(bytes): 24,692,468 (21.9%)
/tmp/fileozQ9Ud.15.S 12655: GC
Starting gc.
fromSpace 149,348,352  toSpace 198,864,896
Finished gc.
time(ms): 1,300
live(bytes): 34,637,976 (23.2%)
      parse and elaborate finished in 9.460
      core-ml size is 12,510,936 bytes
      numPeeks = 14
      average position in property list = 0.0
      numPeeks = 376250
      average position in bucket = 0.714
      lex and parse totals 6.600
      elaborate totals 2.860
      dead starting
      dead finished in 0.110
      basis size is 601,644 bytes
      numPeeks = 92638
      average position in property list = 0.0
      numPeeks = 376250
      average position in bucket = 0.714
      size = 226669
      gcc -DNODEBUG -DMLton_safe=TRUE -DMLton_detectOverflow=TRUE \
          -I/home/sweeks/mlton/include -o /tmp/fileAYK8q5 /tmp/filexWLvKC.c \
          -L/home/sweeks/mlton/lib -lmlton -lm -lgmp
      /tmp/fileAYK8q5 /tmp/fileanU5HI
      infer starting
	 unification starting
/tmp/fileO85EqR.13.S 9517: GC
Starting gc.
Unmapping toSpace
fromSpace 198,864,896  toSpace 224,886,784
Finished gc.
time(ms): 660
live(bytes): 14,640,440 (7.4%)
	 unification finished in 2.550
	 finish infer starting
/tmp/fileVzpvmU.43.S 6423: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 1,830
live(bytes): 53,822,976 (23.9%)
/tmp/fileDzgyAE.26.S 18150: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 1,980
live(bytes): 62,043,664 (27.6%)
	 finish infer finished in 6.060
      infer finished in 8.950
      xml.unsimplified size is 57,172,964 bytes
      numPeeks = 1264847
      average position in property list = 0.000
      numPeeks = 578619
      average position in bucket = 0.941
      infer simplify starting
/tmp/fileDzgyAE.26.S 10320: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 3,090
live(bytes): 87,678,960 (39.0%)
      infer simplify finished in 5.240
      xml size is 23,368,904 bytes
      numPeeks = 4079786
      average position in property list = 0.060
      numPeeks = 578619
      average position in bucket = 0.941
/tmp/fileK7Dd1h.27.S 727: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 870
live(bytes): 28,329,144 (12.6%)
      size = 140434
      num types in program = 26187
      num distinct types = 47891
      hash table size is 0 bytes
      mono starting
/tmp/filee4Bd7V.41.S 11316: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 850
live(bytes): 28,470,776 (12.7%)
/tmp/filee4Bd7V.41.S 11316: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 880
live(bytes): 29,253,308 (13.0%)
      mono finished in 5.160
      mono.unsimplified size is 29,073,912 bytes
      numPeeks = 8754120
      average position in property list = 0.028
      numPeeks = 1365099
      average position in bucket = 1.189
      mono simplify starting
/tmp/fileDzgyAE.26.S 6807: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 2,320
live(bytes): 61,630,876 (27.4%)
      mono simplify finished in 4.320
      mono size is 24,548,608 bytes
      numPeeks = 11262984
      average position in property list = 0.039
      numPeeks = 1365099
      average position in bucket = 1.189
      size = 172800
      num types in program = 13867
      num distinct types = 68762
      hash table size is 0 bytes
      implement exceptions starting
/tmp/fileHgqFal.3.S 16775: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 1,060
live(bytes): 34,076,308 (15.2%)
      implement exceptions finished in 1.250
      sxml.unsimplified size is 24,870,164 bytes
      numPeeks = 11534338
      average position in property list = 0.038
      numPeeks = 1366278
      average position in bucket = 1.189
      implement exceptions simplify starting
      implement exceptions simplify finished in 1.780
      sxml size is 23,817,976 bytes
      numPeeks = 13784299
      average position in property list = 0.040
      numPeeks = 1366278
      average position in bucket = 1.189
      polyvariance starting
/tmp/fileBdTnan.11.S 7995: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 1,000
live(bytes): 32,867,996 (14.6%)
/tmp/filePzwDMp.42.S 14673: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 1,090
live(bytes): 35,897,172 (16.0%)
	 size = 186840
	 num types in program = 11529
	 num distinct types = 68871
	 hash table size is 0 bytes
/tmp/fileVfpdU2.38.S 5450: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 1,220
live(bytes): 42,193,240 (18.8%)
/tmp/fileDzgyAE.26.S 10862: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 1,850
live(bytes): 57,360,832 (25.5%)
	 size = 185633
	 num types in program = 11439
	 num distinct types = 68871
	 hash table size is 0 bytes
      polyvariance finished in 11.050
      sxml.poly size is 25,725,496 bytes
      numPeeks = 21220729
      average position in property list = 0.041
      numPeeks = 1366278
      average position in bucket = 1.189
      size = 185633
      num types in program = 11439
      num distinct types = 68871
      hash table size is 0 bytes
      closure convert starting
	 original size is 25,725,496 bytes
	 after flow analysis size is 51,648,364 bytes
	 free variables starting
	 free variables finished in 0.430
	 after lambda free size is 52,023,884 bytes
	 globalize starting
/tmp/filePzwDMp.42.S 14673: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 2,120
live(bytes): 52,939,304 (23.5%)
	 globalize finished in 2.460
	 after globalize size is 52,351,212 bytes
	 convert starting
/tmp/fileRmXcvg.25.S 283: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 2,670
live(bytes): 75,603,908 (33.6%)
/tmp/fileANOTZJ.33.S 11504: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 3,110
live(bytes): 91,387,560 (40.6%)
/tmp/fileRmXcvg.25.S 83: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 3,590
live(bytes): 107,769,752 (47.9%)
/tmp/fileRmXcvg.25.S 2781: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 3,950
live(bytes): 119,795,780 (53.3%)
	 convert finished in 18.890
      closure convert finished in 28.710
      cps.unsimplified size is 52,958,504 bytes
      numPeeks = 26554746
      average position in property list = 0.441
      numPeeks = 1413750
      average position in bucket = 1.174
      closure convert simplify starting
	 num functions 10963
	 num local functions 140360
	 num primExps 145071
	 removeUnused starting
/tmp/fileF5ce6d.36.S 1702: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 2,430
live(bytes): 70,028,932 (31.1%)
	 removeUnused finished in 3.640
/tmp/fileqL7c6X.32.S 7191: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 2,470
live(bytes): 68,314,756 (30.4%)
	 num functions 10676
	 num local functions 94678
	 num primExps 141411
	 leaf-inline starting
	    inline starting
/tmp/fileAA0UVP.24.S 1638: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 2,080
live(bytes): 59,158,232 (26.3%)
	    inline finished in 3.750
	 leaf-inline finished in 3.750
/tmp/fileqL7c6X.32.S 6676: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 1,380
live(bytes): 39,694,264 (17.7%)
	 num functions 7692
	 num local functions 73597
	 num primExps 150328
	 raise-to-jump starting
	    inferHandlers starting
	    inferHandlers finished in 0.190
	 raise-to-jump finished in 1.520
/tmp/fileF5ce6d.36.S 10388: GC
Starting gc.
fromSpace 224,886,784  toSpace 224,886,784
Finished gc.
time(ms): 1,400
live(bytes): 39,731,420 (17.7%)
	 num functions 7692
	 num local functions 73155
	 num primExps 150309
	 contify starting
	    analyzeCall starting
	    analyzeCall finished in 0.090
	    analyzeCont starting
	    analyzeCont finished in 0.100
	    analyzeDom starting
	       buildGraph starting
	       buildGraph finished in 0.130
	       computeDominators starting
	       computeDominators finished in 0.490
	       compute ADom starting
	       compute ADom finished in 0.020
	    analyzeDom finished in 0.680
	    diagnostics starting
functions: 7692
  call_cont_dom: 2808  call_cont: 0
  call_dom: 548  cont_dom: 329
  call: 0  cont: 0  dom: 264
  rem_call_cont_dom: 3  rem_call_cont: 0
  rem_call_dom: 0  rem_cont_dom: 0
  rem_call: 0  rem_cont: 0  rem_dom: 0
	    diagnostics finished in 0.010
	    transform starting
	    transform raised in 0.340
	 contify raised in 1.390
      closure convert simplify raised in 17.490
   pre codegen raised in 104.320
Compile SML raised in 104.320
mlton: action_0 has no Shrink.info property
max semispace size(bytes): 224,886,784
max stack size(bytes): 8,822,784
GC time(ms): 47,670 (45.7%)
maxPause(ms): 3,950
number of GCs: 32
bytes allocated: 4,513,231,116
bytes copied: 1,417,500,332
max bytes live: 119,795,780
benchmarks%