[commit: ghc] master: Add a perf test for deriving null (d724ce3)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/d724ce3cc96b521393e37f06252c196631fd3439/ghc

>---------------------------------------------------------------

commit d724ce3cc96b521393e37f06252c196631fd3439
Author: David Feuer <david.feuer at gmail.com>
Date:   Sun Apr 2 12:44:07 2017 -0400

    Add a perf test for deriving null
    
    Deriving null even helps for a simple list-like type,
    presumably because we don't perform the static argument
    transformation. Adding this test before the null deriving
    patch should give a proper baseline.
    
    Reviewers: austin, bgamari
    
    Reviewed By: bgamari
    
    Subscribers: rwbarton, thomie
    
    Differential Revision: https://phabricator.haskell.org/D3408


>---------------------------------------------------------------

d724ce3cc96b521393e37f06252c196631fd3439
 testsuite/tests/perf/should_run/DeriveNull.hs      | 23 ++++++++++++++++++++++
 .../tests/perf/should_run/DeriveNull.stdout        |  0
 testsuite/tests/perf/should_run/all.T              |  8 ++++++++
 3 files changed, 31 insertions(+)

diff --git a/testsuite/tests/perf/should_run/DeriveNull.hs b/testsuite/tests/perf/should_run/DeriveNull.hs
new file mode 100644
index 0000000..cb95b27
--- /dev/null
+++ b/testsuite/tests/perf/should_run/DeriveNull.hs
@@ -0,0 +1,23 @@
+{-# LANGUAGE DeriveFoldable #-}
+
+module Main where
+import Data.Semigroup
+
+-- Just a list without any special fusion rules.
+data List a = Nil | Cons a (List a) deriving Foldable
+
+instance Semigroup (List a) where
+  Nil <> ys = ys
+  Cons x xs <> ys = Cons x (xs <> ys)
+
+replicateList :: Int -> a -> List a
+replicateList 0 x = Nil
+replicateList n x = Cons x (replicateList (n - 1) x)
+
+newtype ListList a = ListList (List (List a)) deriving Foldable
+
+long :: Int -> Bool
+long n = null $ ListList $ replicateList n Nil <> Cons (Cons () Nil) Nil
+
+main :: IO ()
+main = print $ long (10^(6 :: Int))
diff --git a/libraries/base/tests/dynamic003.stdout b/testsuite/tests/perf/should_run/DeriveNull.stdout
similarity index 100%
copy from libraries/base/tests/dynamic003.stdout
copy to testsuite/tests/perf/should_run/DeriveNull.stdout
diff --git a/testsuite/tests/perf/should_run/all.T b/testsuite/tests/perf/should_run/all.T
index f0a8bec..a70cf38 100644
--- a/testsuite/tests/perf/should_run/all.T
+++ b/testsuite/tests/perf/should_run/all.T
@@ -526,3 +526,11 @@ test('T13218',
      only_ways(['normal'])],
     compile_and_run,
     ['-O'])
+
+test('DeriveNull',
+    [stats_num_field('bytes allocated',
+                    [ (wordsize(64), 152083704, 5) ]),
+                    # 2017-04-02     152083704 w/o derived null
+     only_ways(['normal'])],
+    compile_and_run,
+    ['-O'])