GHC 9.6.1-alpha1 is much slower to compile than GHC 9.4.4
This is extracted from this comment.
Steps to reproduce:
-
git clone https://github.com/haskell-effectful/effectful.git. -
cd effectful -
git checkout ghc-22758 -
cabal build -w ghc-9.4.4 lib:effectful -
cabal build -w ghc-9.6.0.20230111 lib:effectful -
Apply this diff:
diff --git a/effectful/effectful.cabal b/effectful/effectful.cabal index 2c31728..abbf3b5 100644 --- a/effectful/effectful.cabal +++ b/effectful/effectful.cabal @@ -149,7 +149,7 @@ test-suite test benchmark bench import: language - ghc-options: -threaded -rtsopts -with-rtsopts=-T + ghc-options: -threaded -rtsopts -with-rtsopts=-T -ddump-timings +RTS -s -RTS if flag(benchmark-foreign-libraries) build-depends: mtl -
cabal build -w ghc-9.4.4 effectful:bench -
cabal build -w ghc-9.6.0.20230111 effectful:bench
Results from (7) and (8):
unknown@electronics effectful $ time cabal build -w ghc-9.4.4 effectful:bench
Resolving dependencies...
Build profile: -w ghc-9.4.4 -O1
In order, the following will be built (use -v for more details):
- effectful-2.2.2.0 (bench:bench) (first run)
Configuring benchmark 'bench' for effectful-2.2.2.0..
Preprocessing benchmark 'bench' for effectful-2.2.2.0..
Building benchmark 'bench' for effectful-2.2.2.0..
*** initializing unit database:
initializing unit database: alloc=6669720 time=3.553
*** Chasing dependencies:
*** systool:cpp:
systool:cpp: alloc=293960 time=0.286
*** systool:cpp:
systool:cpp: alloc=231240 time=0.166
*** systool:cpp:
systool:cpp: alloc=231208 time=0.156
*** systool:cpp:
systool:cpp: alloc=231216 time=0.169
*** systool:cpp:
systool:cpp: alloc=231208 time=0.164
Chasing dependencies: alloc=62708296 time=21.085
[1 of 6] Compiling Countdown ( bench/Countdown.hs, /home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.4.4/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Countdown.o )
*** Parser [Countdown]:
Parser [Countdown]: alloc=14404448 time=14.011
*** Renamer/typechecker [Countdown]:
Renamer/typechecker [Countdown]: alloc=148811720 time=496.055
*** Desugar [Countdown]:
Desugar [Countdown]: alloc=3492496 time=10.971
*** Simplifier [Countdown]:
Simplifier [Countdown]: alloc=102347856 time=210.928
*** Specialise [Countdown]:
Specialise [Countdown]: alloc=6916896 time=231.884
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [Countdown]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = False}) [Countdown]: alloc=20854848 time=44.629
*** Simplifier [Countdown]:
Simplifier [Countdown]: alloc=116413880 time=520.545
*** Simplifier [Countdown]:
Simplifier [Countdown]: alloc=86897184 time=158.180
*** Simplifier [Countdown]:
Simplifier [Countdown]: alloc=20584392 time=32.688
*** Float inwards [Countdown]:
Float inwards [Countdown]: alloc=21312 time=0.016
*** Called arity analysis [Countdown]:
Called arity analysis [Countdown]: alloc=23056 time=0.011
*** Simplifier [Countdown]:
Simplifier [Countdown]: alloc=76026720 time=150.723
*** Demand analysis [Countdown]:
Demand analysis [Countdown]: alloc=8617216 time=8.537
*** Constructed Product Result analysis [Countdown]:
Constructed Product Result analysis [Countdown]: alloc=2269856 time=4.586
*** Worker Wrapper binds [Countdown]:
Worker Wrapper binds [Countdown]: alloc=1040360 time=0.636
*** Simplifier [Countdown]:
Simplifier [Countdown]: alloc=104716824 time=115.128
*** Exitification transformation [Countdown]:
Exitification transformation [Countdown]: alloc=24496 time=0.009
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True}) [Countdown]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = True}) [Countdown]: alloc=25244352 time=30.955
*** Common sub-expression [Countdown]:
Common sub-expression [Countdown]: alloc=23032 time=0.011
*** Float inwards [Countdown]:
Float inwards [Countdown]: alloc=21304 time=0.007
*** Simplifier [Countdown]:
Simplifier [Countdown]: alloc=81957920 time=168.369
*** Demand analysis [Countdown]:
Demand analysis [Countdown]: alloc=8582280 time=11.521
*** CoreTidy [Countdown]:
CoreTidy [Countdown]: alloc=13363824 time=9.279
*** CorePrep [Countdown]:
CorePrep [Countdown]: alloc=4479800 time=6.119
*** CoreToStg [Countdown]:
CoreToStg [Countdown]: alloc=15628016 time=12.803
*** CodeGen [Countdown]:
CodeGen [Countdown]: alloc=251258864 time=309.125
*** WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.4.4/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Countdown.hi]:
WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.4.4/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Countdown.hi]: alloc=2019008 time=6.620
*** systool:as:
systool:as: alloc=112424 time=16.938
[2 of 6] Compiling FileSizes ( bench/FileSizes.hs, /home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.4.4/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/FileSizes.o )
*** Parser [FileSizes]:
Parser [FileSizes]: alloc=19131224 time=20.378
*** Renamer/typechecker [FileSizes]:
Renamer/typechecker [FileSizes]: alloc=242519704 time=704.931
*** Desugar [FileSizes]:
Desugar [FileSizes]: alloc=6185400 time=15.163
*** Simplifier [FileSizes]:
Simplifier [FileSizes]: alloc=140092392 time=544.420
*** Specialise [FileSizes]:
Specialise [FileSizes]: alloc=22675432 time=26.839
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [FileSizes]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = False}) [FileSizes]: alloc=27826552 time=43.609
*** Simplifier [FileSizes]:
Simplifier [FileSizes]: alloc=257150952 time=398.809
*** Simplifier [FileSizes]:
Simplifier [FileSizes]: alloc=179616800 time=255.505
*** Simplifier [FileSizes]:
Simplifier [FileSizes]: alloc=267575824 time=356.080
*** Float inwards [FileSizes]:
Float inwards [FileSizes]: alloc=21352 time=0.008
*** Called arity analysis [FileSizes]:
Called arity analysis [FileSizes]: alloc=23096 time=0.007
*** Simplifier [FileSizes]:
Simplifier [FileSizes]: alloc=286024520 time=193.089
*** Demand analysis [FileSizes]:
Demand analysis [FileSizes]: alloc=40326024 time=17.147
*** Constructed Product Result analysis [FileSizes]:
Constructed Product Result analysis [FileSizes]: alloc=8749920 time=3.551
*** Worker Wrapper binds [FileSizes]:
Worker Wrapper binds [FileSizes]: alloc=4054016 time=3.622
*** Simplifier [FileSizes]:
Simplifier [FileSizes]: alloc=217524296 time=112.005
*** Exitification transformation [FileSizes]:
Exitification transformation [FileSizes]: alloc=24528 time=0.009
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True}) [FileSizes]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = True}) [FileSizes]: alloc=60374464 time=29.227
*** Common sub-expression [FileSizes]:
Common sub-expression [FileSizes]: alloc=23072 time=0.011
*** Float inwards [FileSizes]:
Float inwards [FileSizes]: alloc=21352 time=0.006
*** Simplifier [FileSizes]:
Simplifier [FileSizes]: alloc=212720432 time=147.375
*** Demand analysis [FileSizes]:
Demand analysis [FileSizes]: alloc=40793480 time=16.667
*** CoreTidy [FileSizes]:
CoreTidy [FileSizes]: alloc=20644368 time=10.881
*** CorePrep [FileSizes]:
CorePrep [FileSizes]: alloc=10731552 time=9.315
*** CoreToStg [FileSizes]:
CoreToStg [FileSizes]: alloc=44855608 time=17.444
*** CodeGen [FileSizes]:
CodeGen [FileSizes]: alloc=527400080 time=291.397
*** WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.4.4/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/FileSizes.hi]:
WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.4.4/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/FileSizes.hi]: alloc=2590096 time=3.868
*** systool:as:
systool:as: alloc=112384 time=0.311
[3 of 6] Compiling Utils ( bench/Utils.hs, /home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.4.4/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Utils.o )
*** Parser [Utils]:
Parser [Utils]: alloc=582664 time=0.485
*** Renamer/typechecker [Utils]:
Renamer/typechecker [Utils]: alloc=18978232 time=31.788
*** Desugar [Utils]:
Desugar [Utils]: alloc=51632 time=0.088
*** Simplifier [Utils]:
Simplifier [Utils]: alloc=10781416 time=20.946
*** Specialise [Utils]:
Specialise [Utils]: alloc=119752 time=0.065
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [Utils]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = False}) [Utils]: alloc=464048 time=1.320
*** Simplifier [Utils]:
Simplifier [Utils]: alloc=16815752 time=24.913
*** Simplifier [Utils]:
Simplifier [Utils]: alloc=1386104 time=2.677
*** Simplifier [Utils]:
Simplifier [Utils]: alloc=1855424 time=4.401
*** Float inwards [Utils]:
Float inwards [Utils]: alloc=20056 time=0.022
*** Called arity analysis [Utils]:
Called arity analysis [Utils]: alloc=21784 time=0.024
*** Simplifier [Utils]:
Simplifier [Utils]: alloc=1874328 time=3.949
*** Demand analysis [Utils]:
Demand analysis [Utils]: alloc=373864 time=0.764
*** Constructed Product Result analysis [Utils]:
Constructed Product Result analysis [Utils]: alloc=107192 time=0.180
*** Worker Wrapper binds [Utils]:
Worker Wrapper binds [Utils]: alloc=49208 time=0.032
*** Simplifier [Utils]:
Simplifier [Utils]: alloc=1757976 time=4.470
*** Exitification transformation [Utils]:
Exitification transformation [Utils]: alloc=23240 time=0.010
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True}) [Utils]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = True}) [Utils]: alloc=1441400 time=2.824
*** Common sub-expression [Utils]:
Common sub-expression [Utils]: alloc=21760 time=0.013
*** Float inwards [Utils]:
Float inwards [Utils]: alloc=20056 time=0.009
*** Simplifier [Utils]:
Simplifier [Utils]: alloc=2141392 time=4.653
*** Demand analysis [Utils]:
Demand analysis [Utils]: alloc=375248 time=0.908
*** CoreTidy [Utils]:
CoreTidy [Utils]: alloc=854544 time=1.558
*** CorePrep [Utils]:
CorePrep [Utils]: alloc=953072 time=2.212
*** CoreToStg [Utils]:
CoreToStg [Utils]: alloc=1157776 time=2.189
*** CodeGen [Utils]:
CodeGen [Utils]: alloc=15975352 time=28.834
*** WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.4.4/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Utils.hi]:
WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.4.4/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Utils.hi]: alloc=1291056 time=1.359
*** systool:as:
systool:as: alloc=112728 time=6.078
[4 of 6] Compiling Unlift ( bench/Unlift.hs, /home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.4.4/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Unlift.o )
*** Parser [Unlift]:
Parser [Unlift]: alloc=6497256 time=9.947
*** Renamer/typechecker [Unlift]:
Renamer/typechecker [Unlift]: alloc=39382912 time=98.089
*** Desugar [Unlift]:
Desugar [Unlift]: alloc=623504 time=1.556
*** Simplifier [Unlift]:
Simplifier [Unlift]: alloc=27905960 time=274.060
*** Specialise [Unlift]:
Specialise [Unlift]: alloc=4239792 time=7.153
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [Unlift]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = False}) [Unlift]: alloc=6785592 time=16.063
*** Simplifier [Unlift]:
Simplifier [Unlift]: alloc=28449008 time=63.110
*** Simplifier [Unlift]:
Simplifier [Unlift]: alloc=22407128 time=51.106
*** Simplifier [Unlift]:
Simplifier [Unlift]: alloc=6868216 time=13.618
*** Float inwards [Unlift]:
Float inwards [Unlift]: alloc=20400 time=0.010
*** Called arity analysis [Unlift]:
Called arity analysis [Unlift]: alloc=22128 time=0.010
*** Simplifier [Unlift]:
Simplifier [Unlift]: alloc=17248080 time=28.727
*** Demand analysis [Unlift]:
Demand analysis [Unlift]: alloc=4024904 time=11.903
*** Constructed Product Result analysis [Unlift]:
Constructed Product Result analysis [Unlift]: alloc=870472 time=0.513
*** Worker Wrapper binds [Unlift]:
Worker Wrapper binds [Unlift]: alloc=827656 time=0.340
*** Simplifier [Unlift]:
Simplifier [Unlift]: alloc=29206624 time=281.653
*** Exitification transformation [Unlift]:
Exitification transformation [Unlift]: alloc=23600 time=0.009
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True}) [Unlift]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = True}) [Unlift]: alloc=6445152 time=12.134
*** Common sub-expression [Unlift]:
Common sub-expression [Unlift]: alloc=22104 time=0.009
*** Float inwards [Unlift]:
Float inwards [Unlift]: alloc=20392 time=0.008
*** Simplifier [Unlift]:
Simplifier [Unlift]: alloc=17720952 time=39.944
*** Demand analysis [Unlift]:
Demand analysis [Unlift]: alloc=2603944 time=7.025
*** CoreTidy [Unlift]:
CoreTidy [Unlift]: alloc=3368824 time=3.916
*** CorePrep [Unlift]:
CorePrep [Unlift]: alloc=1270240 time=2.040
*** CoreToStg [Unlift]:
CoreToStg [Unlift]: alloc=3898560 time=7.033
*** CodeGen [Unlift]:
CodeGen [Unlift]: alloc=62115352 time=379.141
*** WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.4.4/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Unlift.hi]:
WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.4.4/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Unlift.hi]: alloc=1521016 time=11.494
*** systool:as:
systool:as: alloc=111408 time=10.608
[5 of 6] Compiling Concurrency ( bench/Concurrency.hs, /home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.4.4/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Concurrency.o )
*** Parser [Concurrency]:
Parser [Concurrency]: alloc=7068768 time=12.386
*** Renamer/typechecker [Concurrency]:
Renamer/typechecker [Concurrency]: alloc=48671672 time=353.472
*** Desugar [Concurrency]:
Desugar [Concurrency]: alloc=879880 time=0.968
*** Simplifier [Concurrency]:
Simplifier [Concurrency]: alloc=53769016 time=111.882
*** Specialise [Concurrency]:
Specialise [Concurrency]: alloc=6322008 time=7.220
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [Concurrency]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = False}) [Concurrency]: alloc=12090728 time=27.187
*** Simplifier [Concurrency]:
Simplifier [Concurrency]: alloc=51561248 time=338.680
*** Simplifier [Concurrency]:
Simplifier [Concurrency]: alloc=31529128 time=68.866
*** Simplifier [Concurrency]:
Simplifier [Concurrency]: alloc=27584760 time=55.826
*** Float inwards [Concurrency]:
Float inwards [Concurrency]: alloc=21936 time=0.008
*** Called arity analysis [Concurrency]:
Called arity analysis [Concurrency]: alloc=23672 time=0.007
*** Simplifier [Concurrency]:
Simplifier [Concurrency]: alloc=21684496 time=39.836
*** Demand analysis [Concurrency]:
Demand analysis [Concurrency]: alloc=3980944 time=10.792
*** Constructed Product Result analysis [Concurrency]:
Constructed Product Result analysis [Concurrency]: alloc=912424 time=1.186
*** Worker Wrapper binds [Concurrency]:
Worker Wrapper binds [Concurrency]: alloc=690000 time=0.841
*** Simplifier [Concurrency]:
Simplifier [Concurrency]: alloc=32203552 time=326.522
*** Exitification transformation [Concurrency]:
Exitification transformation [Concurrency]: alloc=25120 time=0.009
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True}) [Concurrency]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = True}) [Concurrency]: alloc=8798584 time=11.396
*** Common sub-expression [Concurrency]:
Common sub-expression [Concurrency]: alloc=23656 time=0.009
*** Float inwards [Concurrency]:
Float inwards [Concurrency]: alloc=21936 time=0.006
*** Simplifier [Concurrency]:
Simplifier [Concurrency]: alloc=19644400 time=31.420
*** Demand analysis [Concurrency]:
Demand analysis [Concurrency]: alloc=2858888 time=7.375
*** CoreTidy [Concurrency]:
CoreTidy [Concurrency]: alloc=3137640 time=1.704
*** CorePrep [Concurrency]:
CorePrep [Concurrency]: alloc=1513304 time=0.960
*** CoreToStg [Concurrency]:
CoreToStg [Concurrency]: alloc=5189616 time=8.888
*** CodeGen [Concurrency]:
CodeGen [Concurrency]: alloc=94307440 time=124.235
*** WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.4.4/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Concurrency.hi]:
WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.4.4/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Concurrency.hi]: alloc=1382528 time=1.410
*** systool:as:
systool:as: alloc=112992 time=84.196
[6 of 6] Compiling Main ( bench/Main.hs, /home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.4.4/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Main.o )
*** Parser [Main]:
Parser [Main]: alloc=6112840 time=1.933
*** Renamer/typechecker [Main]:
Renamer/typechecker [Main]: alloc=18036288 time=9.263
*** Desugar [Main]:
Desugar [Main]: alloc=382808 time=0.381
*** Simplifier [Main]:
Simplifier [Main]: alloc=211171056 time=99.120
*** Specialise [Main]:
Specialise [Main]: alloc=2327328 time=0.632
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [Main]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = False}) [Main]: alloc=9943832 time=4.442
*** Simplifier [Main]:
Simplifier [Main]: alloc=31868496 time=12.561
*** Simplifier [Main]:
Simplifier [Main]: alloc=33370472 time=13.479
*** Simplifier [Main]:
Simplifier [Main]: alloc=17065680 time=6.194
*** Float inwards [Main]:
Float inwards [Main]: alloc=19776 time=0.007
*** Called arity analysis [Main]:
Called arity analysis [Main]: alloc=21528 time=0.006
*** Simplifier [Main]:
Simplifier [Main]: alloc=12408456 time=4.133
*** Demand analysis [Main]:
Demand analysis [Main]: alloc=7113176 time=2.283
*** Constructed Product Result analysis [Main]:
Constructed Product Result analysis [Main]: alloc=1552968 time=0.523
*** Worker Wrapper binds [Main]:
Worker Wrapper binds [Main]: alloc=958496 time=0.430
*** Simplifier [Main]:
Simplifier [Main]: alloc=40971248 time=16.252
*** Exitification transformation [Main]:
Exitification transformation [Main]: alloc=22976 time=0.009
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True}) [Main]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = True}) [Main]: alloc=10103624 time=3.825
*** Common sub-expression [Main]:
Common sub-expression [Main]: alloc=21512 time=0.007
*** Float inwards [Main]:
Float inwards [Main]: alloc=19768 time=0.005
*** Simplifier [Main]:
Simplifier [Main]: alloc=12105800 time=4.575
*** Demand analysis [Main]:
Demand analysis [Main]: alloc=1445944 time=0.538
*** CoreTidy [Main]:
CoreTidy [Main]: alloc=1159232 time=0.546
*** CorePrep [Main]:
CorePrep [Main]: alloc=1154592 time=0.486
*** CoreToStg [Main]:
CoreToStg [Main]: alloc=4123784 time=1.248
*** CodeGen [Main]:
CodeGen [Main]: alloc=60643952 time=24.440
*** WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.4.4/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Main.hi]:
WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.4.4/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Main.hi]: alloc=1347816 time=0.264
*** systool:as:
systool:as: alloc=110752 time=0.305
5,271,255,520 bytes allocated in the heap
299,669,784 bytes copied during GC
91,649,920 bytes maximum residency (3 sample(s))
4,536,448 bytes maximum slop
690 MiB total memory in use (0 MB lost due to fragmentation)
Tot time (elapsed) Avg pause Max pause
Gen 0 10 colls, 8 par 0.623s 0.052s 0.0052s 0.0147s
Gen 1 3 colls, 2 par 0.469s 0.052s 0.0172s 0.0204s
Parallel GC work balance: 93.01% (serial 0%, perfect 100%)
TASKS: 41 (1 bound, 40 peak workers (40 total), using -N16)
SPARKS: 0 (0 converted, 0 overflowed, 0 dud, 0 GC'd, 0 fizzled)
INIT time 0.001s ( 0.000s elapsed)
MUT time 2.662s ( 1.632s elapsed)
GC time 1.092s ( 0.104s elapsed)
EXIT time 0.005s ( 0.004s elapsed)
Total time 3.759s ( 1.740s elapsed)
Alloc rate 1,980,481,339 bytes per MUT second
Productivity 70.8% of total user, 93.8% of total elapsedunknown@electronics effectful $ cabal build -w ghc-9.6.0.20230111 effectful:bench
Resolving dependencies...
Build profile: -w ghc-9.6.0.20230111 -O1
In order, the following will be built (use -v for more details):
- effectful-2.2.2.0 (bench:bench) (first run)
Configuring benchmark 'bench' for effectful-2.2.2.0..
Preprocessing benchmark 'bench' for effectful-2.2.2.0..
Building benchmark 'bench' for effectful-2.2.2.0..
*** initializing unit database:
initializing unit database: alloc=6774960 time=3.863
*** Chasing dependencies:
*** systool:cpp:
systool:cpp: alloc=320544 time=0.374
*** systool:cpp:
systool:cpp: alloc=254352 time=0.305
*** systool:cpp:
systool:cpp: alloc=254368 time=0.269
*** systool:cpp:
systool:cpp: alloc=254344 time=0.305
*** systool:cpp:
systool:cpp: alloc=254344 time=0.314
Chasing dependencies: alloc=62045512 time=40.199
[1 of 6] Compiling Countdown ( bench/Countdown.hs, /home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.6.0.20230111/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Countdown.o )
*** Parser [Countdown]:
Parser [Countdown]: alloc=13334392 time=18.347
*** Renamer/typechecker [Countdown]:
Renamer/typechecker [Countdown]: alloc=126482128 time=320.487
*** Desugar [Countdown]:
Desugar [Countdown]: alloc=4713824 time=15.993
*** Simplifier [Countdown]:
Simplifier [Countdown]: alloc=1567228768 time=4447.258
*** Specialise [Countdown]:
Specialise [Countdown]: alloc=159703856 time=409.617
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [Countdown]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = False}) [Countdown]: alloc=560354432 time=1064.865
*** Simplifier [Countdown]:
Simplifier [Countdown]: alloc=2359346152 time=3043.445
*** Simplifier [Countdown]:
Simplifier [Countdown]: alloc=1093573728 time=1424.289
*** Simplifier [Countdown]:
Simplifier [Countdown]: alloc=536495896 time=692.456
*** Float inwards [Countdown]:
Float inwards [Countdown]: alloc=21432 time=0.016
*** Called arity analysis [Countdown]:
Called arity analysis [Countdown]: alloc=23144 time=0.023
*** Simplifier [Countdown]:
Simplifier [Countdown]: alloc=1908106896 time=2758.850
*** Demand analysis (including Boxity) [Countdown]:
Demand analysis (including Boxity) [Countdown]: alloc=207266536 time=301.775
*** Constructed Product Result analysis [Countdown]:
Constructed Product Result analysis [Countdown]: alloc=34688904 time=43.257
*** Worker Wrapper binds [Countdown]:
Worker Wrapper binds [Countdown]: alloc=8045856 time=7.850
*** Simplifier [Countdown]:
Simplifier [Countdown]: alloc=1566415560 time=2097.847
*** Exitification transformation [Countdown]:
Exitification transformation [Countdown]: alloc=24640 time=0.018
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True}) [Countdown]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = True}) [Countdown]: alloc=675069472 time=1018.403
*** Common sub-expression [Countdown]:
Common sub-expression [Countdown]: alloc=23160 time=0.021
*** Float inwards [Countdown]:
Float inwards [Countdown]: alloc=21488 time=0.021
*** Simplifier [Countdown]:
Simplifier [Countdown]: alloc=1345765392 time=2691.484
*** Demand analysis [Countdown]:
Demand analysis [Countdown]: alloc=208360776 time=159.034
*** CoreTidy [Countdown]:
CoreTidy [Countdown]: alloc=228444040 time=195.552
*** CorePrep [Countdown]:
CorePrep [Countdown]: alloc=137883504 time=378.209
*** CoreToStg [Countdown]:
CoreToStg [Countdown]: alloc=548089944 time=797.837
*** CodeGen [Countdown]:
CodeGen [Countdown]: alloc=6081041696 time=5682.634
*** WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.6.0.20230111/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Countdown.hi]:
WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.6.0.20230111/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Countdown.hi]: alloc=1737384 time=1.630
*** systool:as:
systool:as: alloc=110544 time=0.556
[2 of 6] Compiling FileSizes ( bench/FileSizes.hs, /home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.6.0.20230111/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/FileSizes.o )
*** Parser [FileSizes]:
Parser [FileSizes]: alloc=17062784 time=25.078
*** Renamer/typechecker [FileSizes]:
Renamer/typechecker [FileSizes]: alloc=218422664 time=839.421
*** Desugar [FileSizes]:
Desugar [FileSizes]: alloc=6801536 time=23.666
*** Simplifier [FileSizes]:
Simplifier [FileSizes]: alloc=137124328 time=640.395
*** Specialise [FileSizes]:
Specialise [FileSizes]: alloc=31459792 time=336.078
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [FileSizes]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = False}) [FileSizes]: alloc=29143944 time=79.949
*** Simplifier [FileSizes]:
Simplifier [FileSizes]: alloc=223345848 time=640.945
*** Simplifier [FileSizes]:
Simplifier [FileSizes]: alloc=121663616 time=322.705
*** Simplifier [FileSizes]:
Simplifier [FileSizes]: alloc=118456040 time=206.107
*** Float inwards [FileSizes]:
Float inwards [FileSizes]: alloc=21392 time=0.018
*** Called arity analysis [FileSizes]:
Called arity analysis [FileSizes]: alloc=23104 time=0.016
*** Simplifier [FileSizes]:
Simplifier [FileSizes]: alloc=139343040 time=426.387
*** Demand analysis (including Boxity) [FileSizes]:
Demand analysis (including Boxity) [FileSizes]: alloc=15856808 time=25.948
*** Constructed Product Result analysis [FileSizes]:
Constructed Product Result analysis [FileSizes]: alloc=2734184 time=6.203
*** Worker Wrapper binds [FileSizes]:
Worker Wrapper binds [FileSizes]: alloc=2871904 time=6.443
*** Simplifier [FileSizes]:
Simplifier [FileSizes]: alloc=126629424 time=206.945
*** Exitification transformation [FileSizes]:
Exitification transformation [FileSizes]: alloc=24584 time=0.018
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True}) [FileSizes]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = True}) [FileSizes]: alloc=35124856 time=241.999
*** Common sub-expression [FileSizes]:
Common sub-expression [FileSizes]: alloc=23120 time=0.019
*** Float inwards [FileSizes]:
Float inwards [FileSizes]: alloc=21432 time=0.014
*** Simplifier [FileSizes]:
Simplifier [FileSizes]: alloc=98261272 time=167.247
*** Demand analysis [FileSizes]:
Demand analysis [FileSizes]: alloc=15277776 time=26.917
*** CoreTidy [FileSizes]:
CoreTidy [FileSizes]: alloc=15824584 time=30.846
*** CorePrep [FileSizes]:
CorePrep [FileSizes]: alloc=7439840 time=18.465
*** CoreToStg [FileSizes]:
CoreToStg [FileSizes]: alloc=24952096 time=40.416
*** CodeGen [FileSizes]:
CodeGen [FileSizes]: alloc=380693888 time=1111.884
*** WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.6.0.20230111/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/FileSizes.hi]:
WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.6.0.20230111/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/FileSizes.hi]: alloc=2346528 time=7.026
*** systool:as:
systool:as: alloc=110472 time=26.951
[3 of 6] Compiling Utils ( bench/Utils.hs, /home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.6.0.20230111/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Utils.o )
*** Parser [Utils]:
Parser [Utils]: alloc=577384 time=0.932
*** Renamer/typechecker [Utils]:
Renamer/typechecker [Utils]: alloc=20323784 time=45.991
*** Desugar [Utils]:
Desugar [Utils]: alloc=171840 time=0.383
*** Simplifier [Utils]:
Simplifier [Utils]: alloc=9887048 time=19.292
*** Specialise [Utils]:
Specialise [Utils]: alloc=138928 time=0.322
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [Utils]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = False}) [Utils]: alloc=468632 time=1.441
*** Simplifier [Utils]:
Simplifier [Utils]: alloc=2025392 time=4.917
*** Simplifier [Utils]:
Simplifier [Utils]: alloc=680200 time=1.792
*** Simplifier [Utils]:
Simplifier [Utils]: alloc=611896 time=1.674
*** Float inwards [Utils]:
Float inwards [Utils]: alloc=20136 time=0.015
*** Called arity analysis [Utils]:
Called arity analysis [Utils]: alloc=21832 time=0.015
*** Simplifier [Utils]:
Simplifier [Utils]: alloc=849304 time=2.427
*** Demand analysis (including Boxity) [Utils]:
Demand analysis (including Boxity) [Utils]: alloc=229464 time=0.791
*** Constructed Product Result analysis [Utils]:
Constructed Product Result analysis [Utils]: alloc=71496 time=0.275
*** Worker Wrapper binds [Utils]:
Worker Wrapper binds [Utils]: alloc=42064 time=0.114
*** Simplifier [Utils]:
Simplifier [Utils]: alloc=637096 time=1.709
*** Exitification transformation [Utils]:
Exitification transformation [Utils]: alloc=23288 time=0.015
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True}) [Utils]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = True}) [Utils]: alloc=671648 time=1.964
*** Common sub-expression [Utils]:
Common sub-expression [Utils]: alloc=21808 time=0.050
*** Float inwards [Utils]:
Float inwards [Utils]: alloc=20136 time=0.037
*** Simplifier [Utils]:
Simplifier [Utils]: alloc=932376 time=2.644
*** Demand analysis [Utils]:
Demand analysis [Utils]: alloc=227336 time=0.807
*** CoreTidy [Utils]:
CoreTidy [Utils]: alloc=376024 time=0.986
*** CorePrep [Utils]:
CorePrep [Utils]: alloc=167984 time=0.437
*** CoreToStg [Utils]:
CoreToStg [Utils]: alloc=626240 time=1.391
*** CodeGen [Utils]:
CodeGen [Utils]: alloc=7194552 time=17.955
*** WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.6.0.20230111/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Utils.hi]:
WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.6.0.20230111/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Utils.hi]: alloc=1243416 time=0.788
*** systool:as:
systool:as: alloc=111088 time=3.266
[4 of 6] Compiling Unlift ( bench/Unlift.hs, /home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.6.0.20230111/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Unlift.o )
*** Parser [Unlift]:
Parser [Unlift]: alloc=6560024 time=11.692
*** Renamer/typechecker [Unlift]:
Renamer/typechecker [Unlift]: alloc=41517184 time=147.995
*** Desugar [Unlift]:
Desugar [Unlift]: alloc=956216 time=3.533
*** Simplifier [Unlift]:
Simplifier [Unlift]: alloc=34651152 time=316.538
*** Specialise [Unlift]:
Specialise [Unlift]: alloc=5020328 time=16.177
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [Unlift]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = False}) [Unlift]: alloc=6709712 time=24.849
*** Simplifier [Unlift]:
Simplifier [Unlift]: alloc=20338728 time=65.736
*** Simplifier [Unlift]:
Simplifier [Unlift]: alloc=18041384 time=56.046
*** Simplifier [Unlift]:
Simplifier [Unlift]: alloc=5389408 time=14.885
*** Float inwards [Unlift]:
Float inwards [Unlift]: alloc=20480 time=0.028
*** Called arity analysis [Unlift]:
Called arity analysis [Unlift]: alloc=22176 time=0.027
*** Simplifier [Unlift]:
Simplifier [Unlift]: alloc=13888784 time=49.060
*** Demand analysis (including Boxity) [Unlift]:
Demand analysis (including Boxity) [Unlift]: alloc=3954624 time=12.243
*** Constructed Product Result analysis [Unlift]:
Constructed Product Result analysis [Unlift]: alloc=843288 time=0.870
*** Worker Wrapper binds [Unlift]:
Worker Wrapper binds [Unlift]: alloc=823520 time=2.229
*** Simplifier [Unlift]:
Simplifier [Unlift]: alloc=24745704 time=78.518
*** Exitification transformation [Unlift]:
Exitification transformation [Unlift]: alloc=23648 time=0.019
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True}) [Unlift]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = True}) [Unlift]: alloc=5563440 time=24.767
*** Common sub-expression [Unlift]:
Common sub-expression [Unlift]: alloc=22152 time=0.031
*** Float inwards [Unlift]:
Float inwards [Unlift]: alloc=20480 time=0.021
*** Simplifier [Unlift]:
Simplifier [Unlift]: alloc=9362456 time=243.643
*** Demand analysis [Unlift]:
Demand analysis [Unlift]: alloc=2524120 time=3.698
*** CoreTidy [Unlift]:
CoreTidy [Unlift]: alloc=3283544 time=11.918
*** CorePrep [Unlift]:
CorePrep [Unlift]: alloc=1230776 time=9.822
*** CoreToStg [Unlift]:
CoreToStg [Unlift]: alloc=4013160 time=13.899
*** CodeGen [Unlift]:
CodeGen [Unlift]: alloc=46963216 time=174.022
*** WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.6.0.20230111/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Unlift.hi]:
WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.6.0.20230111/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Unlift.hi]: alloc=1486880 time=10.984
*** systool:as:
systool:as: alloc=109480 time=12.489
[5 of 6] Compiling Concurrency ( bench/Concurrency.hs, /home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.6.0.20230111/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Concurrency.o )
*** Parser [Concurrency]:
Parser [Concurrency]: alloc=7117496 time=14.889
*** Renamer/typechecker [Concurrency]:
Renamer/typechecker [Concurrency]: alloc=64999688 time=210.926
*** Desugar [Concurrency]:
Desugar [Concurrency]: alloc=1434696 time=6.007
*** Simplifier [Concurrency]:
Simplifier [Concurrency]: alloc=59993264 time=199.002
*** Specialise [Concurrency]:
Specialise [Concurrency]: alloc=4806888 time=15.791
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [Concurrency]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = False}) [Concurrency]: alloc=12060112 time=47.259
*** Simplifier [Concurrency]:
Simplifier [Concurrency]: alloc=57929216 time=403.410
*** Simplifier [Concurrency]:
Simplifier [Concurrency]: alloc=37290040 time=120.028
*** Simplifier [Concurrency]:
Simplifier [Concurrency]: alloc=32982552 time=105.682
*** Float inwards [Concurrency]:
Float inwards [Concurrency]: alloc=22016 time=0.017
*** Called arity analysis [Concurrency]:
Called arity analysis [Concurrency]: alloc=23728 time=0.020
*** Simplifier [Concurrency]:
Simplifier [Concurrency]: alloc=38775624 time=95.426
*** Demand analysis (including Boxity) [Concurrency]:
Demand analysis (including Boxity) [Concurrency]: alloc=5527704 time=10.805
*** Constructed Product Result analysis [Concurrency]:
Constructed Product Result analysis [Concurrency]: alloc=1207560 time=7.861
*** Worker Wrapper binds [Concurrency]:
Worker Wrapper binds [Concurrency]: alloc=924792 time=0.742
*** Simplifier [Concurrency]:
Simplifier [Concurrency]: alloc=39655080 time=359.290
*** Exitification transformation [Concurrency]:
Exitification transformation [Concurrency]: alloc=25168 time=0.023
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True}) [Concurrency]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = True}) [Concurrency]: alloc=12291376 time=30.558
*** Common sub-expression [Concurrency]:
Common sub-expression [Concurrency]: alloc=23704 time=0.019
*** Float inwards [Concurrency]:
Float inwards [Concurrency]: alloc=22016 time=0.014
*** Simplifier [Concurrency]:
Simplifier [Concurrency]: alloc=25476288 time=68.781
*** Demand analysis [Concurrency]:
Demand analysis [Concurrency]: alloc=4453328 time=9.873
*** CoreTidy [Concurrency]:
CoreTidy [Concurrency]: alloc=4125424 time=9.722
*** CorePrep [Concurrency]:
CorePrep [Concurrency]: alloc=2334568 time=4.608
*** CoreToStg [Concurrency]:
CoreToStg [Concurrency]: alloc=8500184 time=17.275
*** CodeGen [Concurrency]:
CodeGen [Concurrency]: alloc=108412360 time=416.596
*** WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.6.0.20230111/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Concurrency.hi]:
WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.6.0.20230111/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Concurrency.hi]: alloc=1322720 time=0.336
*** systool:as:
systool:as: alloc=111072 time=20.272
[6 of 6] Compiling Main ( bench/Main.hs, /home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.6.0.20230111/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Main.o )
*** Parser [Main]:
Parser [Main]: alloc=5889416 time=6.944
*** Renamer/typechecker [Main]:
Renamer/typechecker [Main]: alloc=22288968 time=20.602
*** Desugar [Main]:
Desugar [Main]: alloc=587920 time=0.683
*** Simplifier [Main]:
Simplifier [Main]: alloc=88793552 time=65.023
*** Specialise [Main]:
Specialise [Main]: alloc=3380088 time=2.365
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [Main]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = False}) [Main]: alloc=8543304 time=6.715
*** Simplifier [Main]:
Simplifier [Main]: alloc=25799064 time=17.916
*** Simplifier [Main]:
Simplifier [Main]: alloc=27169312 time=18.880
*** Simplifier [Main]:
Simplifier [Main]: alloc=13994384 time=8.929
*** Float inwards [Main]:
Float inwards [Main]: alloc=19856 time=0.014
*** Called arity analysis [Main]:
Called arity analysis [Main]: alloc=21584 time=0.014
*** Simplifier [Main]:
Simplifier [Main]: alloc=10195280 time=7.123
*** Demand analysis (including Boxity) [Main]:
Demand analysis (including Boxity) [Main]: alloc=6676232 time=3.905
*** Constructed Product Result analysis [Main]:
Constructed Product Result analysis [Main]: alloc=1347328 time=1.114
*** Worker Wrapper binds [Main]:
Worker Wrapper binds [Main]: alloc=868616 time=0.732
*** Simplifier [Main]:
Simplifier [Main]: alloc=33989272 time=23.323
*** Exitification transformation [Main]:
Exitification transformation [Main]: alloc=23032 time=0.020
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True}) [Main]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = True}) [Main]: alloc=8473304 time=6.404
*** Common sub-expression [Main]:
Common sub-expression [Main]: alloc=21560 time=0.016
*** Float inwards [Main]:
Float inwards [Main]: alloc=19856 time=0.012
*** Simplifier [Main]:
Simplifier [Main]: alloc=10000944 time=7.337
*** Demand analysis [Main]:
Demand analysis [Main]: alloc=1481952 time=0.936
*** CoreTidy [Main]:
CoreTidy [Main]: alloc=1029088 time=0.931
*** CorePrep [Main]:
CorePrep [Main]: alloc=1008896 time=0.794
*** CoreToStg [Main]:
CoreToStg [Main]: alloc=3873368 time=2.758
*** CodeGen [Main]:
CodeGen [Main]: alloc=40475808 time=48.272
*** WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.6.0.20230111/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Main.hi]:
WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.6.0.20230111/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Main.hi]: alloc=1292632 time=0.568
*** systool:as:
systool:as: alloc=108856 time=0.391
22,459,315,024 bytes allocated in the heap
2,371,683,552 bytes copied during GC
221,817,680 bytes maximum residency (6 sample(s))
3,247,240 bytes maximum slop
1048 MiB total memory in use (0 MiB lost due to fragmentation)
Tot time (elapsed) Avg pause Max pause
Gen 0 44 colls, 42 par 7.678s 0.534s 0.0121s 0.0356s
Gen 1 6 colls, 5 par 2.247s 0.198s 0.0330s 0.0531s
Parallel GC work balance: 93.14% (serial 0%, perfect 100%)
TASKS: 42 (1 bound, 41 peak workers (41 total), using -N16)
SPARKS: 0 (0 converted, 0 overflowed, 0 dud, 0 GC'd, 0 fizzled)
INIT time 0.001s ( 0.000s elapsed)
MUT time 18.190s ( 16.359s elapsed)
GC time 9.925s ( 0.733s elapsed)
EXIT time 0.027s ( 0.008s elapsed)
Total time 28.143s ( 17.100s elapsed)
Alloc rate 1,234,726,555 bytes per MUT second
Productivity 64.6% of total user, 95.7% of total elapsedOverall:
- 4x increase in allocations (5GB vs 22GB)
- 2x maximum residency (91MB vs 221MB)
- 10x increase in runtime (1.7s vs 17s)
E.g. the first simplifier phase (after Desugar) in Countdown gets 22x slower (from 210ms to 4447ms)
GHC-9.4.4:
*** Parser [Countdown]:
Parser [Countdown]: alloc=14404448 time=14.011
*** Renamer/typechecker [Countdown]:
Renamer/typechecker [Countdown]: alloc=148811720 time=496.055
*** Desugar [Countdown]:
Desugar [Countdown]: alloc=3492496 time=10.971
*** Simplifier [Countdown]:
Simplifier [Countdown]: alloc=102347856 time=210.928
*** Specialise [Countdown]:
Specialise [Countdown]: alloc=6916896 time=231.884
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [Countdown]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = False}) [Countdown]: alloc=20854848 time=44.629
...GHC-9.6.1-alpha1:
*** Parser [Countdown]:
Parser [Countdown]: alloc=13334392 time=18.347
*** Renamer/typechecker [Countdown]:
Renamer/typechecker [Countdown]: alloc=126482128 time=320.487
*** Desugar [Countdown]:
Desugar [Countdown]: alloc=4713824 time=15.993
*** Simplifier [Countdown]:
Simplifier [Countdown]: alloc=1567228768 time=4447.258
*** Specialise [Countdown]:
Specialise [Countdown]: alloc=159703856 time=409.617
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [Countdown]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = False}) [Countdown]: alloc=560354432 time=1064.865
...EDIT: I just tested with HEAD and it's better than 9.6.1-alpha1, but still much slower than 9.4.4:
unknown@electronics effectful $ cabal build -w ~/Programowanie/haskell/ghc/_build/stage1/bin/ghc effectful:bench
Build profile: -w ghc-9.7.20230124 -O1
In order, the following will be built (use -v for more details):
- effectful-2.2.2.0 (bench:bench) (first run)
Configuring benchmark 'bench' for effectful-2.2.2.0..
Preprocessing benchmark 'bench' for effectful-2.2.2.0..
Building benchmark 'bench' for effectful-2.2.2.0..
*** initializing unit database:
initializing unit database: alloc=4779160 time=2.529
*** Chasing dependencies:
*** systool:cpp:
systool:cpp: alloc=306200 time=0.320
*** systool:cpp:
systool:cpp: alloc=239792 time=0.244
*** systool:cpp:
systool:cpp: alloc=239768 time=0.198
*** systool:cpp:
systool:cpp: alloc=239784 time=0.161
*** systool:cpp:
systool:cpp: alloc=239792 time=0.178
Chasing dependencies: alloc=55187704 time=20.148
[1 of 6] Compiling Countdown ( bench/Countdown.hs, /home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.7.20230124/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Countdown.o )
*** Parser [Countdown]:
Parser [Countdown]: alloc=10480304 time=10.003
*** Renamer/typechecker [Countdown]:
Renamer/typechecker [Countdown]: alloc=47900504 time=84.327
*** Desugar [Countdown]:
Desugar [Countdown]: alloc=2594936 time=7.957
*** Simplifier [Countdown]:
Simplifier [Countdown]: alloc=1534765528 time=3208.069
*** Specialise [Countdown]:
Specialise [Countdown]: alloc=155823736 time=57.609
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [Countdown]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = False}) [Countdown]: alloc=556798496 time=897.204
*** Simplifier [Countdown]:
Simplifier [Countdown]: alloc=2167682064 time=2485.209
*** Simplifier [Countdown]:
Simplifier [Countdown]: alloc=1077010480 time=1138.204
*** Simplifier [Countdown]:
Simplifier [Countdown]: alloc=542034152 time=566.096
*** Float inwards [Countdown]:
Float inwards [Countdown]: alloc=21440 time=0.017
*** Called arity analysis [Countdown]:
Called arity analysis [Countdown]: alloc=23144 time=0.006
*** Simplifier [Countdown]:
Simplifier [Countdown]: alloc=1918248520 time=1916.833
*** Demand analysis (including Boxity) [Countdown]:
Demand analysis (including Boxity) [Countdown]: alloc=198212856 time=291.345
*** Constructed Product Result analysis [Countdown]:
Constructed Product Result analysis [Countdown]: alloc=34439792 time=32.600
*** Worker Wrapper binds [Countdown]:
Worker Wrapper binds [Countdown]: alloc=7897080 time=7.290
*** Simplifier [Countdown]:
Simplifier [Countdown]: alloc=1560548624 time=1912.363
*** Exitification transformation [Countdown]:
Exitification transformation [Countdown]: alloc=24584 time=0.010
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True}) [Countdown]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = True}) [Countdown]: alloc=669127160 time=499.614
*** Common sub-expression [Countdown]:
Common sub-expression [Countdown]: alloc=23160 time=0.010
*** Float inwards [Countdown]:
Float inwards [Countdown]: alloc=21480 time=0.022
*** Simplifier [Countdown]:
Simplifier [Countdown]: alloc=1342318840 time=1735.502
*** Demand analysis [Countdown]:
Demand analysis [Countdown]: alloc=206247912 time=290.148
*** CoreTidy [Countdown]:
CoreTidy [Countdown]: alloc=226001888 time=115.999
*** CorePrep [Countdown]:
CorePrep [Countdown]: alloc=136603864 time=84.955
*** CoreToStg [Countdown]:
CoreToStg [Countdown]: alloc=532973760 time=685.799
*** CodeGen [Countdown]:
CodeGen [Countdown]: alloc=5987471040 time=3821.408
*** WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.7.20230124/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Countdown.hi]:
WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.7.20230124/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Countdown.hi]: alloc=1512528 time=0.775
*** systool:as:
systool:as: alloc=110360 time=0.443
[2 of 6] Compiling FileSizes ( bench/FileSizes.hs, /home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.7.20230124/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/FileSizes.o )
*** Parser [FileSizes]:
Parser [FileSizes]: alloc=9719776 time=9.095
*** Renamer/typechecker [FileSizes]:
Renamer/typechecker [FileSizes]: alloc=154949216 time=542.905
*** Desugar [FileSizes]:
Desugar [FileSizes]: alloc=3409696 time=1.579
*** Simplifier [FileSizes]:
Simplifier [FileSizes]: alloc=71478792 time=161.903
*** Specialise [FileSizes]:
Specialise [FileSizes]: alloc=13057048 time=25.414
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [FileSizes]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = False}) [FileSizes]: alloc=15966768 time=232.849
*** Simplifier [FileSizes]:
Simplifier [FileSizes]: alloc=123122488 time=248.970
*** Simplifier [FileSizes]:
Simplifier [FileSizes]: alloc=69897112 time=362.828
*** Simplifier [FileSizes]:
Simplifier [FileSizes]: alloc=132310112 time=285.262
*** Float inwards [FileSizes]:
Float inwards [FileSizes]: alloc=21384 time=0.009
*** Called arity analysis [FileSizes]:
Called arity analysis [FileSizes]: alloc=23104 time=0.006
*** Simplifier [FileSizes]:
Simplifier [FileSizes]: alloc=109596720 time=111.391
*** Demand analysis (including Boxity) [FileSizes]:
Demand analysis (including Boxity) [FileSizes]: alloc=21288192 time=15.313
*** Constructed Product Result analysis [FileSizes]:
Constructed Product Result analysis [FileSizes]: alloc=4313096 time=5.105
*** Worker Wrapper binds [FileSizes]:
Worker Wrapper binds [FileSizes]: alloc=2124968 time=1.238
*** Simplifier [FileSizes]:
Simplifier [FileSizes]: alloc=106171368 time=270.477
*** Exitification transformation [FileSizes]:
Exitification transformation [FileSizes]: alloc=24544 time=0.010
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True}) [FileSizes]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = True}) [FileSizes]: alloc=29142360 time=22.018
*** Common sub-expression [FileSizes]:
Common sub-expression [FileSizes]: alloc=23072 time=0.019
*** Float inwards [FileSizes]:
Float inwards [FileSizes]: alloc=21392 time=0.005
*** Simplifier [FileSizes]:
Simplifier [FileSizes]: alloc=60808280 time=60.156
*** Demand analysis [FileSizes]:
Demand analysis [FileSizes]: alloc=10020824 time=11.835
*** CoreTidy [FileSizes]:
CoreTidy [FileSizes]: alloc=9430448 time=7.619
*** CorePrep [FileSizes]:
CorePrep [FileSizes]: alloc=4707872 time=6.226
*** CoreToStg [FileSizes]:
CoreToStg [FileSizes]: alloc=16251720 time=9.106
*** CodeGen [FileSizes]:
CodeGen [FileSizes]: alloc=212658608 time=383.166
*** WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.7.20230124/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/FileSizes.hi]:
WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.7.20230124/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/FileSizes.hi]: alloc=1800648 time=1.263
*** systool:as:
systool:as: alloc=110296 time=20.248
[3 of 6] Compiling Utils ( bench/Utils.hs, /home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.7.20230124/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Utils.o )
*** Parser [Utils]:
Parser [Utils]: alloc=572096 time=0.552
*** Renamer/typechecker [Utils]:
Renamer/typechecker [Utils]: alloc=17292744 time=29.283
*** Desugar [Utils]:
Desugar [Utils]: alloc=171768 time=0.585
*** Simplifier [Utils]:
Simplifier [Utils]: alloc=7976384 time=15.029
*** Specialise [Utils]:
Specialise [Utils]: alloc=138688 time=0.374
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [Utils]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = False}) [Utils]: alloc=468216 time=0.669
*** Simplifier [Utils]:
Simplifier [Utils]: alloc=1968616 time=4.140
*** Simplifier [Utils]:
Simplifier [Utils]: alloc=666920 time=1.424
*** Simplifier [Utils]:
Simplifier [Utils]: alloc=627408 time=1.062
*** Float inwards [Utils]:
Float inwards [Utils]: alloc=20136 time=0.299
*** Called arity analysis [Utils]:
Called arity analysis [Utils]: alloc=21832 time=0.015
*** Simplifier [Utils]:
Simplifier [Utils]: alloc=929008 time=1.850
*** Demand analysis (including Boxity) [Utils]:
Demand analysis (including Boxity) [Utils]: alloc=229408 time=0.368
*** Constructed Product Result analysis [Utils]:
Constructed Product Result analysis [Utils]: alloc=71504 time=0.109
*** Worker Wrapper binds [Utils]:
Worker Wrapper binds [Utils]: alloc=42064 time=0.051
*** Simplifier [Utils]:
Simplifier [Utils]: alloc=619152 time=1.669
*** Exitification transformation [Utils]:
Exitification transformation [Utils]: alloc=23280 time=0.017
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True}) [Utils]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = True}) [Utils]: alloc=670816 time=1.296
*** Common sub-expression [Utils]:
Common sub-expression [Utils]: alloc=21808 time=0.025
*** Float inwards [Utils]:
Float inwards [Utils]: alloc=20136 time=0.014
*** Simplifier [Utils]:
Simplifier [Utils]: alloc=930568 time=1.181
*** Demand analysis [Utils]:
Demand analysis [Utils]: alloc=227280 time=0.253
*** CoreTidy [Utils]:
CoreTidy [Utils]: alloc=376888 time=1.569
*** CorePrep [Utils]:
CorePrep [Utils]: alloc=167664 time=0.795
*** CoreToStg [Utils]:
CoreToStg [Utils]: alloc=600672 time=0.710
*** CodeGen [Utils]:
CodeGen [Utils]: alloc=7106992 time=14.815
*** WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.7.20230124/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Utils.hi]:
WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.7.20230124/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Utils.hi]: alloc=1241672 time=1.849
*** systool:as:
systool:as: alloc=110904 time=4.616
[4 of 6] Compiling Unlift ( bench/Unlift.hs, /home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.7.20230124/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Unlift.o )
*** Parser [Unlift]:
Parser [Unlift]: alloc=6140600 time=4.537
*** Renamer/typechecker [Unlift]:
Renamer/typechecker [Unlift]: alloc=34673160 time=111.460
*** Desugar [Unlift]:
Desugar [Unlift]: alloc=2633240 time=6.134
*** Simplifier [Unlift]:
Simplifier [Unlift]: alloc=29641832 time=91.715
*** Specialise [Unlift]:
Specialise [Unlift]: alloc=4361624 time=206.373
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [Unlift]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = False}) [Unlift]: alloc=6698696 time=12.956
*** Simplifier [Unlift]:
Simplifier [Unlift]: alloc=19587664 time=48.246
*** Simplifier [Unlift]:
Simplifier [Unlift]: alloc=17847920 time=39.544
*** Simplifier [Unlift]:
Simplifier [Unlift]: alloc=5247704 time=4.594
*** Float inwards [Unlift]:
Float inwards [Unlift]: alloc=20480 time=0.007
*** Called arity analysis [Unlift]:
Called arity analysis [Unlift]: alloc=22176 time=0.006
*** Simplifier [Unlift]:
Simplifier [Unlift]: alloc=13703360 time=27.376
*** Demand analysis (including Boxity) [Unlift]:
Demand analysis (including Boxity) [Unlift]: alloc=3955008 time=9.233
*** Constructed Product Result analysis [Unlift]:
Constructed Product Result analysis [Unlift]: alloc=831408 time=1.900
*** Worker Wrapper binds [Unlift]:
Worker Wrapper binds [Unlift]: alloc=823512 time=0.322
*** Simplifier [Unlift]:
Simplifier [Unlift]: alloc=23607456 time=51.310
*** Exitification transformation [Unlift]:
Exitification transformation [Unlift]: alloc=23648 time=0.010
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True}) [Unlift]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = True}) [Unlift]: alloc=5547808 time=12.880
*** Common sub-expression [Unlift]:
Common sub-expression [Unlift]: alloc=22152 time=0.008
*** Float inwards [Unlift]:
Float inwards [Unlift]: alloc=20472 time=0.010
*** Simplifier [Unlift]:
Simplifier [Unlift]: alloc=9238352 time=15.889
*** Demand analysis [Unlift]:
Demand analysis [Unlift]: alloc=2490816 time=11.513
*** CoreTidy [Unlift]:
CoreTidy [Unlift]: alloc=3241544 time=4.204
*** CorePrep [Unlift]:
CorePrep [Unlift]: alloc=1230592 time=0.621
*** CoreToStg [Unlift]:
CoreToStg [Unlift]: alloc=3876440 time=205.443
*** CodeGen [Unlift]:
CodeGen [Unlift]: alloc=46239920 time=132.273
*** WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.7.20230124/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Unlift.hi]:
WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.7.20230124/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Unlift.hi]: alloc=1483272 time=11.482
*** systool:as:
systool:as: alloc=109312 time=20.249
[5 of 6] Compiling Concurrency ( bench/Concurrency.hs, /home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.7.20230124/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Concurrency.o )
*** Parser [Concurrency]:
Parser [Concurrency]: alloc=6692216 time=8.650
*** Renamer/typechecker [Concurrency]:
Renamer/typechecker [Concurrency]: alloc=66293120 time=145.332
*** Desugar [Concurrency]:
Desugar [Concurrency]: alloc=2458632 time=5.284
*** Simplifier [Concurrency]:
Simplifier [Concurrency]: alloc=57861296 time=337.800
*** Specialise [Concurrency]:
Specialise [Concurrency]: alloc=4781344 time=10.427
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [Concurrency]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = False}) [Concurrency]: alloc=12031768 time=26.671
*** Simplifier [Concurrency]:
Simplifier [Concurrency]: alloc=55971496 time=124.086
*** Simplifier [Concurrency]:
Simplifier [Concurrency]: alloc=35953784 time=271.967
*** Simplifier [Concurrency]:
Simplifier [Concurrency]: alloc=31915800 time=66.538
*** Float inwards [Concurrency]:
Float inwards [Concurrency]: alloc=22016 time=0.009
*** Called arity analysis [Concurrency]:
Called arity analysis [Concurrency]: alloc=23736 time=0.015
*** Simplifier [Concurrency]:
Simplifier [Concurrency]: alloc=37879912 time=68.408
*** Demand analysis (including Boxity) [Concurrency]:
Demand analysis (including Boxity) [Concurrency]: alloc=5507016 time=9.453
*** Constructed Product Result analysis [Concurrency]:
Constructed Product Result analysis [Concurrency]: alloc=1199792 time=0.656
*** Worker Wrapper binds [Concurrency]:
Worker Wrapper binds [Concurrency]: alloc=924840 time=0.429
*** Simplifier [Concurrency]:
Simplifier [Concurrency]: alloc=38023088 time=59.806
*** Exitification transformation [Concurrency]:
Exitification transformation [Concurrency]: alloc=25168 time=0.019
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True}) [Concurrency]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = True}) [Concurrency]: alloc=12281528 time=263.110
*** Common sub-expression [Concurrency]:
Common sub-expression [Concurrency]: alloc=23712 time=0.014
*** Float inwards [Concurrency]:
Float inwards [Concurrency]: alloc=22016 time=0.006
*** Simplifier [Concurrency]:
Simplifier [Concurrency]: alloc=25011272 time=39.256
*** Demand analysis [Concurrency]:
Demand analysis [Concurrency]: alloc=4427784 time=2.281
*** CoreTidy [Concurrency]:
CoreTidy [Concurrency]: alloc=4096728 time=8.562
*** CorePrep [Concurrency]:
CorePrep [Concurrency]: alloc=2338768 time=1.158
*** CoreToStg [Concurrency]:
CoreToStg [Concurrency]: alloc=8191544 time=9.788
*** CodeGen [Concurrency]:
CodeGen [Concurrency]: alloc=107535600 time=149.541
*** WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.7.20230124/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Concurrency.hi]:
WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.7.20230124/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Concurrency.hi]: alloc=1321336 time=0.400
*** systool:as:
systool:as: alloc=110912 time=13.553
[6 of 6] Compiling Main ( bench/Main.hs, /home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.7.20230124/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Main.o )
*** Parser [Main]:
Parser [Main]: alloc=4830336 time=1.009
*** Renamer/typechecker [Main]:
Renamer/typechecker [Main]: alloc=9328984 time=7.219
*** Desugar [Main]:
Desugar [Main]: alloc=527824 time=0.415
*** Simplifier [Main]:
Simplifier [Main]: alloc=31704032 time=20.789
*** Specialise [Main]:
Specialise [Main]: alloc=2137920 time=1.083
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [Main]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = False}) [Main]: alloc=5679152 time=3.802
*** Simplifier [Main]:
Simplifier [Main]: alloc=16151120 time=10.522
*** Simplifier [Main]:
Simplifier [Main]: alloc=17448120 time=7.548
*** Simplifier [Main]:
Simplifier [Main]: alloc=9191544 time=3.382
*** Float inwards [Main]:
Float inwards [Main]: alloc=19816 time=0.007
*** Called arity analysis [Main]:
Called arity analysis [Main]: alloc=21528 time=0.006
*** Simplifier [Main]:
Simplifier [Main]: alloc=6763496 time=2.196
*** Demand analysis (including Boxity) [Main]:
Demand analysis (including Boxity) [Main]: alloc=4427768 time=1.443
*** Constructed Product Result analysis [Main]:
Constructed Product Result analysis [Main]: alloc=898856 time=0.348
*** Worker Wrapper binds [Main]:
Worker Wrapper binds [Main]: alloc=597608 time=0.257
*** Simplifier [Main]:
Simplifier [Main]: alloc=21880888 time=19.272
*** Exitification transformation [Main]:
Exitification transformation [Main]: alloc=23024 time=0.008
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True}) [Main]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = True}) [Main]: alloc=5494816 time=2.547
*** Common sub-expression [Main]:
Common sub-expression [Main]: alloc=21560 time=0.018
*** Float inwards [Main]:
Float inwards [Main]: alloc=19856 time=0.008
*** Simplifier [Main]:
Simplifier [Main]: alloc=6993184 time=2.848
*** Demand analysis [Main]:
Demand analysis [Main]: alloc=1126688 time=0.427
*** CoreTidy [Main]:
CoreTidy [Main]: alloc=810368 time=0.356
*** CorePrep [Main]:
CorePrep [Main]: alloc=733808 time=0.298
*** CoreToStg [Main]:
CoreToStg [Main]: alloc=2661392 time=0.864
*** CodeGen [Main]:
CodeGen [Main]: alloc=29401512 time=12.373
*** WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.7.20230124/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Main.hi]:
WriteIface [/home/unknown/test/effectful/dist-newstyle/build/x86_64-linux/ghc-9.7.20230124/effectful-2.2.2.0/b/bench/build/bench/bench-tmp/Main.hi]: alloc=1274456 time=0.210
*** systool:as:
systool:as: alloc=108968 time=0.246
21,203,588,360 bytes allocated in the heap
2,250,479,208 bytes copied during GC
172,607,896 bytes maximum residency (6 sample(s))
3,212,520 bytes maximum slop
1008 MiB total memory in use (0 MiB lost due to fragmentation)
Tot time (elapsed) Avg pause Max pause
Gen 0 41 colls, 39 par 7.462s 0.524s 0.0128s 0.0313s
Gen 1 6 colls, 5 par 2.081s 0.182s 0.0303s 0.0470s
Parallel GC work balance: 92.94% (serial 0%, perfect 100%)
TASKS: 41 (1 bound, 40 peak workers (40 total), using -N16)
SPARKS: 0 (0 converted, 0 overflowed, 0 dud, 0 GC'd, 0 fizzled)
INIT time 0.001s ( 0.000s elapsed)
MUT time 10.455s ( 9.791s elapsed)
GC time 9.543s ( 0.705s elapsed)
EXIT time 0.024s ( 0.003s elapsed)
Total time 20.022s ( 10.500s elapsed)
Alloc rate 2,028,046,071 bytes per MUT second
Productivity 52.2% of total user, 93.2% of total elapsedEdited by Andrzej Rybczak