diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2020-12-18 01:37:23 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-12-20 20:47:11 -0500 |
| commit | 5eb22fa2e80a1f07ca8c1bd6af093490a7a72bbb (patch) | |
| tree | 004e43c18bb1b9b6f129fefa3d9b7dcf4ba403ec /testsuite | |
| parent | 995a8f9d2bd0e98480a8c60498fdfff1fb8de009 (diff) | |
| download | haskell-5eb22fa2e80a1f07ca8c1bd6af093490a7a72bbb.tar.gz | |
Fix printing in -ddump-rule-rewrites (#18668)
The unapplied arguments were not printed out.
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/simplCore/should_compile/T18668.hs | 11 | ||||
| -rw-r--r-- | testsuite/tests/simplCore/should_compile/T18668.stderr | 24 | ||||
| -rw-r--r-- | testsuite/tests/simplCore/should_compile/all.T | 1 |
3 files changed, 36 insertions, 0 deletions
diff --git a/testsuite/tests/simplCore/should_compile/T18668.hs b/testsuite/tests/simplCore/should_compile/T18668.hs new file mode 100644 index 0000000000..5e5ddb44df --- /dev/null +++ b/testsuite/tests/simplCore/should_compile/T18668.hs @@ -0,0 +1,11 @@ +{-# OPTIONS_GHC -O -ddump-rule-rewrites #-} +{-# LANGUAGE MagicHash #-} + +module T18668 where + +import GHC.Exts + +{-# RULES "funky" (+#) = (*#) #-} +{-# RULES "flip" forall x. (>#) x = (<#) x #-} + +x = (I# (2# +# 3#), I# (1# ># 0#)) diff --git a/testsuite/tests/simplCore/should_compile/T18668.stderr b/testsuite/tests/simplCore/should_compile/T18668.stderr new file mode 100644 index 0000000000..d2f1693004 --- /dev/null +++ b/testsuite/tests/simplCore/should_compile/T18668.stderr @@ -0,0 +1,24 @@ +Rule fired + Rule: funky + Module: (T18668) + Before: GHC.Prim.+# ValArg 2# ValArg 3# + After: GHC.Prim.*# ValArg 2# ValArg 3# + Cont: Stop[BoringCtxt] GHC.Prim.Int# +Rule fired + Rule: *# + Module: (BUILTIN) + Before: GHC.Prim.*# ValArg 2# ValArg 3# + After: 6# + Cont: Stop[BoringCtxt] GHC.Prim.Int# +Rule fired + Rule: flip + Module: (T18668) + Before: GHC.Prim.># ValArg 1# ValArg 0# + After: (\ (x :: GHC.Prim.Int#) -> GHC.Prim.<# x) 1# ValArg 0# + Cont: Stop[BoringCtxt] GHC.Prim.Int# +Rule fired + Rule: <# + Module: (BUILTIN) + Before: GHC.Prim.<# ValArg 1# ValArg 0# + After: 0# + Cont: Stop[BoringCtxt] GHC.Prim.Int# diff --git a/testsuite/tests/simplCore/should_compile/all.T b/testsuite/tests/simplCore/should_compile/all.T index 3bfc8c5c09..51d35322d1 100644 --- a/testsuite/tests/simplCore/should_compile/all.T +++ b/testsuite/tests/simplCore/should_compile/all.T @@ -341,4 +341,5 @@ test('T18649', normal, compile, ['-O -ddump-rules -Wno-simplifiable-class-constr test('T18747A', normal, compile, ['']) test('T18747B', normal, compile, ['']) test('T18815', only_ways(['optasm']), makefile_test, ['T18815']) +test('T18668', normal, compile, ['-dsuppress-uniques']) test('T18995', [ grep_errmsg(r'print') ], compile, ['-O -ddump-simpl -dsuppress-uniques']) |