wiki:Simplifier

The mighty simplifier

This page summarises the state of play for GHC's simplifier, including inlining heuristics.

Tickets

Use Keyword = Simplifier to ensure that a ticket ends up on these lists.

Open Tickets:

#7411
Exceptions are optimized away in certain situations
#9279
Local wrapper function remains in final program; result = extra closure allocation
#13011
Simplifier ticks exhausted: a 10-line case
#13715
test dynamic-paper for way profasm fails with Simplifier ticks exhausted
#13851
Change in specialisation(?) behaviour since 8.0.2 causes 6x slowdown
#15056
Wrappers inlined too late
#15717
Performance regression in for_ alternatives from GHC 8.2.2 to newer GHCs
#16296
OccurAnal should not break the linter assumptions

Closed Tickets:

#4237
-dcore-lint error after simplifier iteration 1 when profiling
#4462
-dcore-lint error in simplifier phase 0 when profiling
#8168
ghc "Simplifier ticks exhausted" "When trying UnfoldingDone"
#10372
panic! compiling Y combinator with optimizations
#16288
Core Lint error: Occurrence is GlobalId, but binding is LocalId

Last modified 7 months ago Last modified on Jan 18, 2019 10:13:31 AM