summaryrefslogtreecommitdiff
path: root/testsuite
diff options
context:
space:
mode:
authorJoachim Breitner <mail@joachim-breitner.de>2014-01-24 13:34:50 +0000
committerJoachim Breitner <mail@joachim-breitner.de>2014-02-11 15:36:14 +0000
commitf4fb94f366cc3c25f0d77e977611105ac75d9aa5 (patch)
treec5ff0e2d7ac8cd8523c8c91e4fc22765eb9da43e /testsuite
parentb4715d67ae90f4cc847daa94f0fc056a40057d65 (diff)
downloadhaskell-f4fb94f366cc3c25f0d77e977611105ac75d9aa5.tar.gz
In CoreSubst, optimize Coercible values aggressively
just like boxed type equalities.
Diffstat (limited to 'testsuite')
-rw-r--r--testsuite/tests/ghci.debugger/scripts/print018.stdout6
-rw-r--r--testsuite/tests/perf/compiler/all.T5
2 files changed, 6 insertions, 5 deletions
diff --git a/testsuite/tests/ghci.debugger/scripts/print018.stdout b/testsuite/tests/ghci.debugger/scripts/print018.stdout
index 26861305f3..d5b7d4603c 100644
--- a/testsuite/tests/ghci.debugger/scripts/print018.stdout
+++ b/testsuite/tests/ghci.debugger/scripts/print018.stdout
@@ -3,9 +3,9 @@ Stopped at ../Test.hs:40:1-17
_result :: () = _
Stopped at ../Test.hs:40:10-17
_result :: () = _
-x :: a = _
-x = (_t1::a)
-x :: a
+x :: a17 = _
+x = (_t1::a17)
+x :: a17
()
x = Unary
x :: Unary
diff --git a/testsuite/tests/perf/compiler/all.T b/testsuite/tests/perf/compiler/all.T
index ac6d5e8903..947c6f0cd0 100644
--- a/testsuite/tests/perf/compiler/all.T
+++ b/testsuite/tests/perf/compiler/all.T
@@ -222,13 +222,14 @@ test('T3064',
# 2012-10-30: 111189536 (x86/Windows)
# 2013-11-13: 146626504 (x86/Windows, 64bit machine)
# 2014-01-22: 162457940 (x86/Linux)
- (wordsize(64), 329795912, 5)]),
+ (wordsize(64), 308422280, 5)]),
# (amd64/Linux) (28/06/2011): 73259544
# (amd64/Linux) (07/02/2013): 224798696
# (amd64/Linux) (02/08/2013): 236404384, increase from roles
# (amd64/Linux) (11/09/2013): 290165632, increase from AMP warnings
# (amd64/Linux) (22/11/2013): 308300448, GND via Coercible and counters for constraints solving
- # (amd64/Linux) (02/12/2013): 329795912, Coercible refactor
+ # (amd64/Linux) (02/12/2013): 329795912, Coercible refactor
+ # (amd64/Linux) (11/02/2014): 308422280, optimize Coercions in simpleOptExpr
compiler_stats_num_field('max_bytes_used',
[(wordsize(32), 7218200 , 20),