From da66a8dff05f656cb379edf61827af426e1b05e7 Mon Sep 17 00:00:00 2001 From: Joachim Breitner <mail@joachim-breitner.de> Date: Mon, 20 Jan 2014 10:31:45 +0000 Subject: [PATCH] Test case for #T7619 (artificial test cases are so nice: 90.7% improvement!) --- testsuite/tests/perf/should_run/T7619.hs | 12 ++++++++++++ testsuite/tests/perf/should_run/all.T | 8 ++++++++ 2 files changed, 20 insertions(+) create mode 100644 testsuite/tests/perf/should_run/T7619.hs diff --git a/testsuite/tests/perf/should_run/T7619.hs b/testsuite/tests/perf/should_run/T7619.hs new file mode 100644 index 000000000000..d64073952b8c --- /dev/null +++ b/testsuite/tests/perf/should_run/T7619.hs @@ -0,0 +1,12 @@ +{-# LANGUAGE TypeFamilies #-} +module Main where +data family Foo a + +data instance Foo Int = FooInt Int Int + +foo :: Foo Int -> Int +foo (FooInt a 0) = 0 +foo (FooInt a b) = foo (FooInt a (b-1)) + +main :: IO () +main = foo (FooInt 0 10000) `seq` return () diff --git a/testsuite/tests/perf/should_run/all.T b/testsuite/tests/perf/should_run/all.T index 4f6a9d35c0c2..98a68d7e3958 100644 --- a/testsuite/tests/perf/should_run/all.T +++ b/testsuite/tests/perf/should_run/all.T @@ -314,3 +314,11 @@ test('T4267', compile_and_run, ['-O']) +test('T7619', + [stats_num_field('bytes allocated', + [ (wordsize(64), 40992, 10)]), + # previously, it was >400000 bytes + only_ways(['normal'])], + compile_and_run, + ['-O']) + -- GitLab