Skip to content

Instantly share code, notes, and snippets.

@robrix

robrix/diffused-effects.txt

Created September 22, 2019 22:08
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save robrix/7b1758dc8d202c25c1cecb4cf664cb68 to your computer and use it in GitHub Desktop.
Save robrix/7b1758dc8d202c25c1cecb4cf664cb68 to your computer and use it in GitHub Desktop.
Download ZIP
Results of compiling a benchmark against fused-effects & diffused-effects with -dshow-passes
Raw
diffused-effects.txt
compile: input file benchmark/Send/Send10.hs
*** Checking old interface for Send.Send10 (use -ddump-hi-diffs for more details):
*** Parser [Send.Send10]:
!!! Parser [Send.Send10]: finished in 0.55 milliseconds, allocated 0.957 megabytes
*** Renamer/typechecker [Send.Send10]:
!!! Renamer/typechecker [Send.Send10]: finished in 186.13 milliseconds, allocated 77.516 megabytes
*** Desugar [Send.Send10]:
Result size of Desugar (before optimization)
= {terms: 195, types: 4,554, coercions: 6,170, joins: 0/7}
Result size of Desugar (after optimization)
= {terms: 149, types: 3,906, coercions: 6,031, joins: 0/1}
!!! Desugar [Send.Send10]: finished in 18.40 milliseconds, allocated 6.184 megabytes
*** Simplifier [Send.Send10]:
Result size of Simplifier iteration=1
= {terms: 392, types: 5,434, coercions: 4,207, joins: 0/28}
Result size of Simplifier iteration=2
= {terms: 2,244, types: 40,387, coercions: 156,828, joins: 0/254}
Result size of Simplifier iteration=3
= {terms: 346, types: 7,034, coercions: 95,120, joins: 0/59}
Result size of Simplifier
= {terms: 187, types: 893, coercions: 1,474, joins: 0/6}
!!! Simplifier [Send.Send10]: finished in 10340.18 milliseconds, allocated 25996.323 megabytes
*** Specialise [Send.Send10]:
Result size of Specialise
= {terms: 773, types: 7,643, coercions: 7,299, joins: 0/7}
!!! Specialise [Send.Send10]: finished in 1.79 milliseconds, allocated 3.452 megabytes
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [Send.Send10]:
Result size of Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False})
= {terms: 1,149, types: 14,457, coercions: 7,299, joins: 0/1}
!!! Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [Send.Send10]: finished in 3.17 milliseconds, allocated 6.325 megabytes
*** Simplifier [Send.Send10]:
Result size of Simplifier iteration=1
= {terms: 1,089, types: 10,794, coercions: 41,884, joins: 0/1}
Result size of Simplifier iteration=2
= {terms: 666, types: 3,201, coercions: 24,567, joins: 0/2}
Result size of Simplifier iteration=3
= {terms: 696, types: 3,209, coercions: 24,046, joins: 3/3}
Result size of Simplifier
= {terms: 696, types: 3,209, coercions: 24,046, joins: 3/3}
!!! Simplifier [Send.Send10]: finished in 193.57 milliseconds, allocated 387.737 megabytes
*** Simplifier [Send.Send10]:
Result size of Simplifier iteration=1
= {terms: 718, types: 3,276, coercions: 24,046, joins: 3/3}
Result size of Simplifier
= {terms: 709, types: 3,273, coercions: 24,046, joins: 3/3}
!!! Simplifier [Send.Send10]: finished in 65.98 milliseconds, allocated 129.690 megabytes
*** Simplifier [Send.Send10]:
Result size of Simplifier
= {terms: 709, types: 3,273, coercions: 24,046, joins: 3/3}
!!! Simplifier [Send.Send10]: finished in 31.98 milliseconds, allocated 64.708 megabytes
*** Float inwards [Send.Send10]:
Result size of Float inwards
= {terms: 709, types: 3,273, coercions: 24,046, joins: 3/3}
!!! Float inwards [Send.Send10]: finished in 0.57 milliseconds, allocated 0.453 megabytes
*** Called arity analysis [Send.Send10]:
Result size of Called arity analysis
= {terms: 709, types: 3,273, coercions: 24,046, joins: 3/3}
!!! Called arity analysis [Send.Send10]: finished in 1.22 milliseconds, allocated 0.851 megabytes
*** Simplifier [Send.Send10]:
Result size of Simplifier
= {terms: 709, types: 3,273, coercions: 24,046, joins: 3/3}
!!! Simplifier [Send.Send10]: finished in 34.06 milliseconds, allocated 64.708 megabytes
*** Demand analysis [Send.Send10]:
Result size of Demand analysis
= {terms: 709, types: 3,273, coercions: 24,046, joins: 3/3}
!!! Demand analysis [Send.Send10]: finished in 3.95 milliseconds, allocated 2.340 megabytes
*** Worker Wrapper binds [Send.Send10]:
Result size of Worker Wrapper binds
= {terms: 793, types: 3,505, coercions: 24,046, joins: 6/22}
!!! Worker Wrapper binds [Send.Send10]: finished in 0.44 milliseconds, allocated 0.197 megabytes
*** Simplifier [Send.Send10]:
Result size of Simplifier iteration=1
= {terms: 739, types: 3,479, coercions: 24,046, joins: 6/6}
Result size of Simplifier
= {terms: 718, types: 3,311, coercions: 24,046, joins: 3/3}
!!! Simplifier [Send.Send10]: finished in 162.11 milliseconds, allocated 135.028 megabytes
*** Exitification transformation [Send.Send10]:
Result size of Exitification transformation
= {terms: 718, types: 3,311, coercions: 24,046, joins: 3/3}
!!! Exitification transformation [Send.Send10]: finished in 0.77 milliseconds, allocated 0.157 megabytes
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True}) [Send.Send10]:
Result size of Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True})
= {terms: 778, types: 3,611, coercions: 24,046, joins: 0/0}
!!! Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True}) [Send.Send10]: finished in 2.91 milliseconds, allocated 4.887 megabytes
*** Common sub-expression [Send.Send10]:
Result size of Common sub-expression
= {terms: 519, types: 3,126, coercions: 23,106, joins: 0/0}
!!! Common sub-expression [Send.Send10]: finished in 2.88 milliseconds, allocated 4.176 megabytes
*** Float inwards [Send.Send10]:
Result size of Float inwards
= {terms: 519, types: 3,126, coercions: 23,106, joins: 0/0}
!!! Float inwards [Send.Send10]: finished in 0.63 milliseconds, allocated 0.283 megabytes
*** Simplifier [Send.Send10]:
Result size of Simplifier iteration=1
= {terms: 443, types: 2,536, coercions: 23,106, joins: 0/0}
Result size of Simplifier
= {terms: 430, types: 2,485, coercions: 23,106, joins: 0/0}
!!! Simplifier [Send.Send10]: finished in 79.64 milliseconds, allocated 133.155 megabytes
*** Demand analysis [Send.Send10]:
Result size of Demand analysis
= {terms: 430, types: 2,485, coercions: 23,106, joins: 0/0}
!!! Demand analysis [Send.Send10]: finished in 1.87 milliseconds, allocated 1.530 megabytes
*** CoreTidy [Send.Send10]:
Result size of Tidy Core
= {terms: 144, types: 264, coercions: 631, joins: 0/0}
!!! CoreTidy [Send.Send10]: finished in 1.38 milliseconds, allocated 1.361 megabytes
Created temporary directory: /var/folders/mv/2fqs8n7j2t79h91hbhf09szw0000gn/T/ghc25660_0
*** CorePrep [Send.Send10]:
Result size of CorePrep
= {terms: 152, types: 267, coercions: 631, joins: 0/1}
!!! CorePrep [Send.Send10]: finished in 0.30 milliseconds, allocated 0.261 megabytes
*** Stg2Stg:
*** CodeGen [Send.Send10]:
!!! CodeGen [Send.Send10]: finished in 5.65 milliseconds, allocated 4.492 megabytes
*** Assembler:
compile: input file benchmark/Send/Send10.hs
*** Checking old interface for Send.Send10 (use -ddump-hi-diffs for more details):
13.16 real 12.35 user 0.67 sys
Raw
fused-effects.txt
compile: input file benchmark/Send/Send10.hs
*** Checking old interface for Send.Send10 (use -ddump-hi-diffs for more details):
*** Parser [Send.Send10]:
!!! Parser [Send.Send10]: finished in 0.64 milliseconds, allocated 1.006 megabytes
*** Renamer/typechecker [Send.Send10]:
!!! Renamer/typechecker [Send.Send10]: finished in 175.43 milliseconds, allocated 74.310 megabytes
*** Desugar [Send.Send10]:
Result size of Desugar (before optimization)
= {terms: 189, types: 4,995, coercions: 0, joins: 0/5}
Result size of Desugar (after optimization)
= {terms: 163, types: 4,598, coercions: 0, joins: 0/1}
!!! Desugar [Send.Send10]: finished in 3.24 milliseconds, allocated 3.208 megabytes
*** Simplifier [Send.Send10]:
Result size of Simplifier iteration=1
= {terms: 1,800, types: 26,588, coercions: 3,525, joins: 0/283}
Result size of Simplifier iteration=2
= {terms: 201, types: 943, coercions: 1,290, joins: 0/10}
Result size of Simplifier iteration=3
= {terms: 187, types: 893, coercions: 1,262, joins: 0/6}
Result size of Simplifier
= {terms: 187, types: 893, coercions: 1,262, joins: 0/6}
!!! Simplifier [Send.Send10]: finished in 47.08 milliseconds, allocated 38.570 megabytes
*** Specialise [Send.Send10]:
Result size of Specialise
= {terms: 773, types: 7,643, coercions: 7,087, joins: 0/7}
!!! Specialise [Send.Send10]: finished in 2.39 milliseconds, allocated 3.453 megabytes
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [Send.Send10]:
Result size of Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False})
= {terms: 1,149, types: 14,457, coercions: 7,087, joins: 0/1}
!!! Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [Send.Send10]: finished in 5.75 milliseconds, allocated 6.325 megabytes
*** Simplifier [Send.Send10]:
Result size of Simplifier iteration=1
= {terms: 1,089, types: 10,794, coercions: 41,672, joins: 0/1}
Result size of Simplifier iteration=2
= {terms: 666, types: 3,201, coercions: 24,355, joins: 0/2}
Result size of Simplifier iteration=3
= {terms: 696, types: 3,209, coercions: 24,046, joins: 3/3}
Result size of Simplifier
= {terms: 696, types: 3,209, coercions: 24,046, joins: 3/3}
!!! Simplifier [Send.Send10]: finished in 211.35 milliseconds, allocated 392.841 megabytes
*** Simplifier [Send.Send10]:
Result size of Simplifier iteration=1
= {terms: 718, types: 3,276, coercions: 24,046, joins: 3/3}
Result size of Simplifier
= {terms: 709, types: 3,273, coercions: 24,046, joins: 3/3}
!!! Simplifier [Send.Send10]: finished in 70.60 milliseconds, allocated 131.549 megabytes
*** Simplifier [Send.Send10]:
Result size of Simplifier
= {terms: 709, types: 3,273, coercions: 24,046, joins: 3/3}
!!! Simplifier [Send.Send10]: finished in 37.32 milliseconds, allocated 65.637 megabytes
*** Float inwards [Send.Send10]:
Result size of Float inwards
= {terms: 709, types: 3,273, coercions: 24,046, joins: 3/3}
!!! Float inwards [Send.Send10]: finished in 0.67 milliseconds, allocated 0.453 megabytes
*** Called arity analysis [Send.Send10]:
Result size of Called arity analysis
= {terms: 709, types: 3,273, coercions: 24,046, joins: 3/3}
!!! Called arity analysis [Send.Send10]: finished in 1.74 milliseconds, allocated 0.866 megabytes
*** Simplifier [Send.Send10]:
Result size of Simplifier
= {terms: 709, types: 3,273, coercions: 24,046, joins: 3/3}
!!! Simplifier [Send.Send10]: finished in 34.23 milliseconds, allocated 65.637 megabytes
*** Demand analysis [Send.Send10]:
Result size of Demand analysis
= {terms: 709, types: 3,273, coercions: 24,046, joins: 3/3}
!!! Demand analysis [Send.Send10]: finished in 2.39 milliseconds, allocated 2.343 megabytes
*** Worker Wrapper binds [Send.Send10]:
Result size of Worker Wrapper binds
= {terms: 793, types: 3,505, coercions: 24,046, joins: 6/22}
!!! Worker Wrapper binds [Send.Send10]: finished in 0.44 milliseconds, allocated 0.197 megabytes
*** Simplifier [Send.Send10]:
Result size of Simplifier iteration=1
= {terms: 739, types: 3,479, coercions: 24,046, joins: 6/6}
Result size of Simplifier
= {terms: 718, types: 3,311, coercions: 24,046, joins: 3/3}
!!! Simplifier [Send.Send10]: finished in 68.33 milliseconds, allocated 136.936 megabytes
*** Exitification transformation [Send.Send10]:
Result size of Exitification transformation
= {terms: 718, types: 3,311, coercions: 24,046, joins: 3/3}
!!! Exitification transformation [Send.Send10]: finished in 0.36 milliseconds, allocated 0.157 megabytes
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True}) [Send.Send10]:
Result size of Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True})
= {terms: 778, types: 3,611, coercions: 24,046, joins: 0/0}
!!! Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True}) [Send.Send10]: finished in 85.06 milliseconds, allocated 4.882 megabytes
*** Common sub-expression [Send.Send10]:
Result size of Common sub-expression
= {terms: 519, types: 3,126, coercions: 23,106, joins: 0/0}
!!! Common sub-expression [Send.Send10]: finished in 3.67 milliseconds, allocated 4.186 megabytes
*** Float inwards [Send.Send10]:
Result size of Float inwards
= {terms: 519, types: 3,126, coercions: 23,106, joins: 0/0}
!!! Float inwards [Send.Send10]: finished in 0.69 milliseconds, allocated 0.283 megabytes
*** Simplifier [Send.Send10]:
Result size of Simplifier iteration=1
= {terms: 443, types: 2,536, coercions: 23,106, joins: 0/0}
Result size of Simplifier
= {terms: 430, types: 2,485, coercions: 23,106, joins: 0/0}
!!! Simplifier [Send.Send10]: finished in 80.42 milliseconds, allocated 134.996 megabytes
*** Demand analysis [Send.Send10]:
Result size of Demand analysis
= {terms: 430, types: 2,485, coercions: 23,106, joins: 0/0}
!!! Demand analysis [Send.Send10]: finished in 2.51 milliseconds, allocated 1.533 megabytes
*** CoreTidy [Send.Send10]:
Result size of Tidy Core
= {terms: 144, types: 264, coercions: 631, joins: 0/0}
!!! CoreTidy [Send.Send10]: finished in 1.62 milliseconds, allocated 1.354 megabytes
Created temporary directory: /var/folders/mv/2fqs8n7j2t79h91hbhf09szw0000gn/T/ghc25923_0
*** CorePrep [Send.Send10]:
Result size of CorePrep
= {terms: 152, types: 267, coercions: 631, joins: 0/1}
!!! CorePrep [Send.Send10]: finished in 0.34 milliseconds, allocated 0.261 megabytes
*** Stg2Stg:
*** CodeGen [Send.Send10]:
!!! CodeGen [Send.Send10]: finished in 6.68 milliseconds, allocated 4.475 megabytes
*** Assembler:
compile: input file benchmark/Send/Send10.hs
*** Checking old interface for Send.Send10 (use -ddump-hi-diffs for more details):
2.66 real 2.22 user 0.40 sys
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment