diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2019-10-29 09:19:14 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-11-01 23:11:37 -0400 |
| commit | 4a6d3d68f2ce97c1f231eede3819299a0fd2b9c8 (patch) | |
| tree | f5f90d0965ee9dbe4f8ea5bb07fbbb4a8ec41a64 /testsuite/tests/numeric | |
| parent | cabafe34156acb80cd9a918363b2a342fb0c8e66 (diff) | |
| download | haskell-4a6d3d68f2ce97c1f231eede3819299a0fd2b9c8.tar.gz | |
Make CSE delay inlining less
CSE delays inlining a little bit, to avoid losing vital
specialisations; see Note [Delay inlining after CSE] in CSE.
But it was being over-enthusiastic. This patch makes the
delay only apply to Ids with specialisation rules, which
avoids unnecessary delay (#17409).
Diffstat (limited to 'testsuite/tests/numeric')
| -rw-r--r-- | testsuite/tests/numeric/should_compile/T14465.stdout | 2 | ||||
| -rw-r--r-- | testsuite/tests/numeric/should_compile/T7116.stdout | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/numeric/should_compile/T14465.stdout b/testsuite/tests/numeric/should_compile/T14465.stdout index 936507532a..df97060635 100644 --- a/testsuite/tests/numeric/should_compile/T14465.stdout +++ b/testsuite/tests/numeric/should_compile/T14465.stdout @@ -98,7 +98,7 @@ plusOne :: Natural -> Natural plusOne = \ (n :: Natural) -> plusNatural n M.minusOne1 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} -one [InlPrag=NOUSERINLINE[2]] :: Natural +one :: Natural [GblId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, diff --git a/testsuite/tests/numeric/should_compile/T7116.stdout b/testsuite/tests/numeric/should_compile/T7116.stdout index a1adeb180a..171d9bc7f4 100644 --- a/testsuite/tests/numeric/should_compile/T7116.stdout +++ b/testsuite/tests/numeric/should_compile/T7116.stdout @@ -65,7 +65,7 @@ dr case x of { GHC.Types.D# x1 -> GHC.Types.D# (GHC.Prim.+## x1 x1) } -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} -dl [InlPrag=NOUSERINLINE[2]] :: Double -> Double +dl :: Double -> Double [GblId, Arity=1, Caf=NoCafRefs, @@ -97,7 +97,7 @@ fr } -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} -fl [InlPrag=NOUSERINLINE[2]] :: Float -> Float +fl :: Float -> Float [GblId, Arity=1, Caf=NoCafRefs, |