testsuite: Bump peak_megabytes_allocated for T3064
[ghc.git] / testsuite / tests / perf / compiler / all.T
1 # Tests that call 'compiler_stats_num_field' are skipped when debugging is on.
2 # See testsuite/driver/testlib.py.
3
4 def no_lint(name, opts):
5    opts.compiler_always_flags = \
6        [opt for opt in opts.compiler_always_flags if opt != '-dcore-lint' and opt != '-dcmm-lint']
7
8 setTestOpts(no_lint)
9
10
11 # Note [residency]
12 #
13 # Residency (peak_megabytes_allocated and max_bytes_used) is sensitive
14 # to when the major GC runs, which makes it inherently inaccurate.
15 # Sometime an innocuous change somewhere can shift things around such
16 # that the samples occur at a different time, and the residency
17 # appears to change (up or down) when the underlying profile hasn't
18 # really changed.
19 #
20 # However, please don't just ignore changes in residency.  If you see
21 # a change in one of these figures, please check whether it is real or
22 # not as follows:
23 #
24 #  * Run the test with old and new compilers, adding +RTS -h -i0.01
25 #    (you don't need to compile anything for profiling or enable profiling
26 #    libraries to get a heap profile).
27 #  * view the heap profiles, read off the maximum residency.  If it has
28 #    really changed, then you know there's an issue.
29
30 test('T1969',
31      [# expect_broken(12437),
32       compiler_stats_num_field('peak_megabytes_allocated', # Note [residency]
33           [(wordsize(32), 30, 15),
34              # 2010-05-17 14 (x86/Windows)
35              #            15 (x86/OS X)
36              #            19 (x86/OS X)
37              # 2013-02-10 13 (x86/Windows)
38              # 2013-02-10 14 (x86/OSX)
39              # 2013-11-13 17 (x86/Windows, 64bit machine)
40              # 2015-07-11 21 (x86/Linux, 64bit machine) use +RTS -G1
41              # 2016-04-06 30 (x86/Linux, 64bit machine)
42            (wordsize(64), 55, 20)]),
43              #            28 (amd64/Linux)
44              #            34 (amd64/Linux)
45              # 2012-09-20 23 (amd64/Linux)
46              # 2012-10-03 25 (amd64/Linux if .hi exists)
47              # 2013-02-13 23, but unstable so increased to 10% range
48              # 2013-02-13 27, very unstable!
49              # 2014-09-10 29 (amd64/Linux) post-AMP-cleanup
50              # 2013-09-11 30, 10 (amd64/Linux)
51              # 2013-09-11 30, 15 (adapt to Phab CI)
52              # 2015-06-03 41, (amd64/Linux) use +RTS -G1
53              # 2015-10-28 55, (amd64/Linux) emit Typeable at definition site
54       compiler_stats_num_field('max_bytes_used',
55           [(platform('i386-unknown-mingw32'), 5719436, 20),
56                                  # 2010-05-17 5717704 (x86/Windows)
57                                  # 2013-02-10 5159748 (x86/Windows)
58                                  # 2013-02-10 5030080 (x86/Windows)
59                                  # 2013-11-13 7295012 (x86/Windows, 64bit machine)
60                                  # 2014-04-24 5719436 (x86/Windows, 64bit machine)
61            (wordsize(32), 9093608, 1),
62              #            6707308 (x86/OS X)
63              # 2009-12-31 6149572 (x86/Linux)
64              # 2014-01-22 6429864 (x86/Linux)
65              # 2014-06-29 5949188 (x86/Linux)
66              # 2015-07-11 6241108 (x86/Linux, 64bit machine) use +RTS -G1
67              # 2016-04-06 9093608 (x86/Linux, 64bit machine)
68            (wordsize(64), 17285216, 15)]),
69              # 2014-09-10 10463640, 10  # post-AMP-update (somewhat stabelish)
70                # looks like the peak is around ~10M, but we're
71                # unlikely to GC exactly on the peak.
72                # varies quite a lot with CLEANUP and BINDIST,
73                # hence 10% range.
74                # See Note [residency] to get an accurate view.
75              # 2014-09-14  9684256, 10 # try to lower it a bit more to match Phab's CI
76              # 2014-11-03 10584344,    # ghcspeed reports higher numbers consistently
77              # 2015-07-11 11670120 (amd64/Linux)
78              # 2015-10-28 15017528 (amd64/Linux) emit typeable at definition site
79              # 2016-10-12 17285216 (amd64/Linux) it's not entirely clear why
80       compiler_stats_num_field('bytes allocated',
81           [(platform('i386-unknown-mingw32'), 301784492, 5),
82                                  #            215582916 (x86/Windows)
83                                  # 2012-10-29 298921816 (x86/Windows)
84                                  # 2013-02-10 310633884 (x86/Windows)
85                                  # 2013-11-13 317975916 (x86/Windows, 64bit machine)
86                                  # 2014-04-04 301784492 (x86/Windows, 64bit machine)
87            (wordsize(32), 344730660, 1),
88              #            221667908 (x86/OS X)
89              #            274932264 (x86/Linux)
90              # 2012-10-08 303930948 (x86/Linux, new codegen)
91              # 2013-02-10 322937684 (x86/OSX)
92              # 2014-01-22 316103268 (x86/Linux)
93              # 2014-06-29 303300692 (x86/Linux)
94              # 2015-07-11 288699104 (x86/Linux, 64-bit machine) use +RTS -G1
95              # 2016-04-06 344730660 (x86/Linux, 64-bit machine)
96            (wordsize(64), 756138176, 5)]),
97              # 17/11/2009 434845560 (amd64/Linux)
98              # 08/12/2009 459776680 (amd64/Linux)
99              # 17/05/2010 519377728 (amd64/Linux)
100              # 05/08/2011 561382568 (amd64/OS X)
101              # 16/07/2012 589168872 (amd64/Linux)
102              # 20/07/2012 595936240 (amd64/Linux)
103              # 23/08/2012 606230880 (amd64/Linux)
104              # 29/08/2012 633334184 (amd64/Linux) new codegen
105              # 18/09/2012 641959976 (amd64/Linux)
106              # 19/10/2012 661832592 (amd64/Linux) -fPIC turned on
107              # 23/10/2012 642594312 (amd64/Linux) -fPIC turned off again
108              # 12/11/2012 658786936 (amd64/Linux) UNKNOWN REASON
109              # 17/1/13:   667160192 (x86_64/Linux) new demand analyser
110              # 18/10/2013 698612512 (x86_64/Linux) fix for #8456
111              # 10/02/2014 660922376 (x86_64/Linux) call arity analysis
112              # 17/07/2014 651626680 (x86_64/Linux) roundabout update
113              # 10/09/2014 630299456 (x86_64/Linux) post-AMP-cleanup
114              # 03/06/2015 581460896 (x86_64/Linux) use +RTS -G1
115              # 28/10/2015 695430728 (x86_64/Linux) emit Typeable at definition site
116              # 28/10/2015 756138176 (x86_64/Linux) inst-decl defaults go via typechecker (#12220)
117       only_ways(['normal']),
118
119       extra_hc_opts('-dcore-lint -static'),
120           # Leave -dcore-lint on for this one test, so that we have something
121           # that will catch a regression in -dcore-lint performance.
122
123       # Use `+RTS -G1` for more stable residency measurements. Note [residency].
124       extra_hc_opts('+RTS -G1 -RTS')
125       ],
126      compile,
127      [''])
128
129 # This one tests for the space leak in the native code generator,
130 # where it holds onto the entire asm output until the end.  The space
131 # leak reappears from time to time, so it's a good idea to have a test
132 # for it.  The residency of this test will jump by 10MB to 40MB or so
133 # on x86-64 if the space leak appears.
134
135 # Only run this one if we have an NCG:
136 if 'optasm' in config.compile_ways:
137    conf_3294 = only_ways(['normal'])
138 else:
139    conf_3294 = skip
140
141 test('T3294',
142      [
143       compiler_stats_num_field('max_bytes_used', # Note [residency]
144           [(wordsize(32), 28686588, 15),
145              #            17725476 (x86/OS X)
146              #            14593500 (Windows)
147              # 2013-02-10 20651576 (x86/Windows)
148              # 2013-02-10 20772984 (x86/OSX)
149              # 2013-11-13 24009436 (x86/Windows, 64bit machine)
150              # 2014-04-24 19882188 (x86/Windows, 64bit machine)
151              # 2014-12-22 26525384 (x86/Windows) Increase due to silent superclasses?
152              # 2015-07-11 43196344 (x86/Linux, 64-bit machine) use +RTS -G1
153              # 2016-04-06 28686588 (x86/Linux, 64-bit machine)
154
155            (wordsize(64), 52992688, 20)]),
156              # prev:           25753192 (amd64/Linux)
157              # 29/08/2012:     37724352 (amd64/Linux)
158              #  (increase due to new codegen, see #7198)
159              # 13/13/2012:     44894544 (amd64/Linux)
160              #  (reason for increase unknown)
161              # 15/5/2013:      36904752  (amd64/Linux)
162              #  (reason for decrease unknown)
163              # 29/5/2013:      43224080  (amd64/Linux)
164              #  (reason for increase back to earlier value unknown)
165              # 2014-07-14:     36670800  (amd64/Linux)
166              #  (reason unknown, setting expected value somewhere in between)
167              # 2015-01-22:     45000000  (amd64/Linux)
168              #  varies between 40959592 and 52914488... increasing to +-20%
169              # 2015-10-28:     50367248  (amd64/Linux)
170              #  D757: emit Typeable instances at site of type definition
171              # 2016-07-11:     54609256  (Windows) before fix for #12227
172              # 2016-07-11:     52992688  (Windows) after fix for #12227
173
174       compiler_stats_num_field('bytes allocated',
175           [(wordsize(32), 1377050640, 5),
176            # previous:     815479800  (x86/Linux)
177            # (^ increase due to new codegen, see #7198)
178            # 2012-10-08:  1373514844 (x86/Linux)
179            # 2013-11-13: 1478325844  (x86/Windows, 64bit machine)
180            # 2014-01-12: 1565185140  (x86/Linux)
181            # 2013-04-04: 1377050640  (x86/Windows, 64bit machine)
182            (wordsize(64), 2739731144, 5)]),
183             # old:        1357587088 (amd64/Linux)
184             # 29/08/2012: 2961778696 (amd64/Linux)
185             # (^ increase due to new codegen, see #7198)
186             # 18/09/2012: 2717327208 (amd64/Linux)
187             # 08/06/2013: 2901451552 (amd64/Linux) (reason unknown)
188             # 12/12/2013: 3083825616 (amd64/Linux) (reason unknown)
189             # 18/02/2014: 2897630040 (amd64/Linux) (call arity improvements)
190             # 12/03/2014: 2705289664 (amd64/Linux) (more call arity improvements)
191             # 2014-17-07: 2671595512 (amd64/Linux) (round-about update)
192             # 2014-09-10: 2709595808 (amd64/Linux) post-AMP cleanup
193             # 2016-07-11: 2664479936 (Windows) before fix for #12227
194             # 2016-07-11: 2739731144 (Windows) after fix for #12227 (ignoring)
195       conf_3294,
196
197       # Use `+RTS -G1` for more stable residency measurements. Note [residency].
198       extra_hc_opts('+RTS -G1 -RTS')
199       ],
200      compile,
201      [''])
202
203 test('T4801',
204      [ # expect_broken(5224),
205        # temporarily unbroken (#5227)
206 ###################################
207 # deactivated for now, as this metric became too volatile recently
208 #      compiler_stats_num_field('peak_megabytes_allocated',# Note [residency]
209 #          [(platform('x86_64-apple-darwin'), 70, 1),
210 #                           # expected value: 58 (amd64/OS X)
211 #                           # 13/01/2014 - 70
212 #           (wordsize(32), 30, 20),
213 #           (wordsize(64), 48, 20)]),
214 #            # prev:       50 (amd64/Linux)
215 #            # 19/10/2012: 64 (amd64/Linux)
216 #            #                (^ REASON UNKNOWN!)
217 #            # 12/11/2012: 49 (amd64/Linux)
218 #            #                (^ REASON UNKNOWN!)
219 #            # 28/8/13:    60 (amd64/Linux)
220 #            #                (^ REASON UNKNOWN!)
221 #            # 2014-09-10: 55 post-AMP-cleanup
222 #            # 2014-10-08: 62 (jumps between 55 and 71 observed -- GC tipping point?)
223 #            # 2014-10-13: 48 stricter seqDmdType
224
225       compiler_stats_num_field('bytes allocated',
226           [(platform('x86_64-apple-darwin'), 465653312, 10),
227            # prev:       510938976 (amd64/OS X):
228            # 2015-12-11: 465653312 (amd64/OS X) Update, bump tolerance to +/-10%
229
230            (wordsize(32), 239556572, 10),
231            # prev:        185669232 (x86/OSX)
232            # 2014-01-22:  211198056 (x86/Linux)
233            # 2014-09-03:  185242032 (Windows laptop)
234            # 2014-12-01:  203962148 (Windows laptop)
235            # 2016-04-06:  239556572 (x86/Linux)
236            (wordsize(64), 434278248, 10)]),
237             # prev:       360243576 (amd64/Linux)
238             # 19/10/2012: 447190832 (amd64/Linux) (-fPIC turned on)
239             # 19/10/2012: 392409984 (amd64/Linux) (-fPIC turned off)
240             # 2014-04-08: 362939272 (amd64/Linux) cumulation of various smaller improvements over recent commits
241             # 2014-10-08: 382056344 (amd64/Linux) stricter foldr2 488e95b
242             # 2015-10-28: 434278248 (amd64/Linux) emit Typeable at definition site
243
244 ###################################
245 # deactivated for now, as this metric became too volatile recently
246 #
247 #     compiler_stats_num_field('max_bytes_used',
248 #         [(platform('x86_64-apple-darwin'), 25145320, 5),
249 #          (wordsize(32), 11829000, 15),
250 #            #              9651948 (x86/OSX)
251 #            #              10290952 (windows)
252 #            # 2013-02-10   11071060 (x86/Windows)
253 #            # 2013-02-10:  11207828 (x86/OSX)
254 #            # (some date): 11139444
255 #            # 2013-11-13:  11829000 (x86/Windows, 64bit machine)
256 #          (wordsize(64), 19296544, 15)]),
257 #               # prev:       20486256 (amd64/OS X)
258 #               # 30/08/2012: 17305600--20391920 (varies a lot)
259 #               # 19/10/2012: 26882576 (-fPIC turned on)
260 #               # 19/10/2012: 18619912 (-fPIC turned off)
261 #               # 24/12/2012: 21657520 (perhaps gc sampling time wibbles?)
262 #               # 10/01/2014: 25166280
263 #               # 13/01/2014: 22646000 (mostly due to #8647)
264 #               # 18/02/2014: 25002136 (call arity analysis changes)
265 #               # 12/05/2014: 25002136 (specialisation and inlining changes)
266 #               # 10/09/2014: 19296544, 10 (post-AMP-cleanup)
267 #               # 14/09/2014: 19585456, 15 (adapt to Phab CI env)
268        only_ways(['normal']),
269        extra_hc_opts('-static'),
270
271        # Use `+RTS -G1` for more stable residency measurements. Note [residency].
272        extra_hc_opts('+RTS -G1 -RTS')
273        ],
274      compile,
275      [''])
276
277 test('T3064',
278      [compiler_stats_num_field('peak_megabytes_allocated',# Note [residency]
279           [(wordsize(32), 28, 20),
280             # expected value: 14 (x86/Linux 28-06-2012):
281             # 2013-11-13:     18 (x86/Windows, 64bit machine)
282             # 2014-01-22:     23 (x86/Linux)
283             # 2014-12-22:     23 (x86/Linux) death to silent superclasses
284             # 2015-07-11      28 (x86/Linux, 64-bit machine) use +RTS -G1
285            (wordsize(64), 66, 20)]),
286             # (amd64/Linux):            18
287             # (amd64/Linux) 2012-02-07: 26
288             # (amd64/Linux) 2013-02-12: 23; increased range to 10%
289             # (amd64/Linux) 2013-04-03: 26
290             # (amd64/Linux) 2013-09-11: 30; result of AMP patch
291             # Increased range to 20%.  peak-usage varies from 22 to 26,
292             #  depending on whether the old .hi file exists
293             # (amd64/Linux) 2013-09-11: 37; better arity analysis (weird)
294             # (amd64/Linux) (09/09/2014): 42, AMP changes (larger interfaces, more loading)
295             # (amd64/Linux) 2014-10-13: 38: Stricter seqDmdType
296             # (amd64/Linux) 2014-12-22: 27: death to silent superclasses
297             # (amd64/Linux) 2015-01-22: 32: Varies from 30 to 34, at least here.
298             # (amd64/Linux) 2015-06-03: 54: use +RTS -G1
299             # (amd64/Linux) 2016-10-25: 66: Presumably creep
300
301       compiler_stats_num_field('bytes allocated',
302           [(wordsize(32), 153261024, 10),
303             # 2011-06-28: 56380288  (x86/Linux)
304             # 2012-10-30: 111189536 (x86/Windows)
305             # 2013-11-13: 146626504 (x86/Windows, 64bit machine)
306             # 2014-01-22: 162457940 (x86/Linux)
307             # 2014-12-01: 162457940 (Windows)
308             # 2014-12-22: 122836340 (Windows) Death to silent superclasses
309             # 2016-04-06: 153261024 (x86/Linux) probably wildcard refactor
310
311            (wordsize(64), 287460128, 5)]),
312             # (amd64/Linux) (28/06/2011):  73259544
313             # (amd64/Linux) (07/02/2013): 224798696
314             # (amd64/Linux) (02/08/2013): 236404384, increase from roles
315             # (amd64/Linux) (11/09/2013): 290165632, increase from AMP warnings
316             # (amd64/Linux) (22/11/2013): 308300448, GND via Coercible and counters for constraints solving
317             # (amd64/Linux) (02/12/2013): 329795912, Coercible refactor
318             # (amd64/Linux) (11/02/2014): 308422280, optimize Coercions in simpleOptExpr
319             # (amd64/Linux) (23/05/2014): 324022680, unknown cause
320             # (amd64/Linux) (2014-07-17): 332702112, general round of updates
321             # (amd64/Linux) (2014-08-29): 313638592, w/w for INLINABLE things
322             # (amd64/Linux) (09/09/2014): 407416464, AMP changes (larger interfaces, more loading)
323             # (amd64/Linux) (14/09/2014): 385145080, BPP changes (more NoImplicitPrelude in base)
324             # (amd64/Linux) (10/12/2014): 363103840, improvements in constraint solver
325             # (Mac)         (18/12/2014): 350418600, improvements to flattener
326             # (amd64/Linux) (22/12/2014): 243670824, Ha! Death to superclass constraints, makes
327             #                                        much less code for Monad instances
328             # (amd64/Linux) (01/12/2015): 264952256, Regression due to Simon's wildcard refactor
329             #                                        Tracked as #11151.
330             # (amd64/Linux) (11/12/2015): 304344936, Regression due to TypeInType
331             #                                        Tracked as #11196
332             # (amd64/Linux) (15/4/2016): 287460128   Improvement due to using coercionKind instead
333             #                                        of zonkTcType (Trac #11882)
334
335 ###################################
336 # deactivated for now, as this metric became too volatile recently
337 #
338 #      compiler_stats_num_field('max_bytes_used',
339 #          [(wordsize(32), 11202304, 20),
340 #            # 2011-06-28:  2247016 (x86/Linux) (28/6/2011):
341 #            #(some date):  5511604
342 #            # 2013-11-13:  7218200 (x86/Windows, 64bit machine)
343 #            # 2014-04-04: 11202304 (x86/Windows, 64bit machine)
344 #           (wordsize(64), 13251728, 20)]),
345 #            # (amd64/Linux, intree) (28/06/2011):  4032024
346 #            # (amd64/Linux, intree) (07/02/2013):  9819288
347 #            # (amd64/Linux)         (14/02/2013):  8687360
348 #            # (amd64/Linux)         (18/02/2013):  9397488
349 #            # (amd64/Linux)         (02/08/2013): 10742536, increase from roles
350 #            # (amd64/Linux)         (19/08/2013): 9211816,  decrease apparently from better eta reduction
351 #            # (amd64/Linux)         (11/09/2013): 12000480, increase from AMP warnings
352 #            #                                     933cdf15a2d85229d3df04b437da31fdfbf4961f
353 #            # (amd64/Linux)         (22/11/2013): 16266992, GND via Coercible and counters for constraints solving
354 #            # (amd64/Linux)         (12/12/2013): 19821544, better One shot analysis
355 #            # (amd64/Linux)         (09/09/2014): 24357392, AMP changes (larger interfaces, more loading)
356 #            # (amd64/Linux)         (14/09/2014): 16053888, BPP changes (more NoImplicitPrelude in base)
357 #            # (amd64/Linux)         (19/09/2014): 18744992, unknown
358 #            # (amd64/Linux)         2014-10-13:   13251728, Stricter seqDmdType
359
360        only_ways(['normal']),
361
362        # Use `+RTS -G1` for more stable residency measurements. Note [residency].
363        extra_hc_opts('+RTS -G1 -RTS')
364       ],
365      compile,
366      [''])
367
368 test('T4007',
369      normal,
370      run_command,
371      ['$MAKE -s --no-print-directory T4007'])
372
373 test('T5030',
374      [compiler_stats_num_field('bytes allocated',
375           [(wordsize(32), 345668088, 10),
376            # previous:    196457520
377            # 2012-10-08:  259547660 (x86/Linux, new codegen)
378            # 2013-11-21:  198573456 (x86 Windows, 64 bit machine)
379            # 2014-12-10:  227205560 constraint solver got worse again; more aggressive solving
380            #                        of family-applications leads to less sharing, I think
381            # 2015-07-11:  201882912 reason unknown
382            # 2016-04-06:  345668088 likely TypeInType
383
384            (wordsize(64), 794426536, 10)]),
385              # Previously 530000000 (+/- 10%)
386              # 17/1/13:   602993184  (x86_64/Linux)
387              #            (new demand analyser)
388              # 2013-06-08 538467496  (x86_64/Linux)
389              # ^ reason unknown
390              # 2013-08-02 454498592  (amd64/Linux)
391              # decrease from more aggressive coercion optimisations from roles
392              # 2013-11-12 397672152  (amd64/Linux)
393              # big decrease following better CSE and arity
394              # 2014-07-17 409314320  (amd64/Linux)
395              # general round of updates
396              # 2014-09-10 385152728  post-AMP-cleanup
397              # 2014-12-08 340969128  constraint solver perf improvements (esp kick-out)
398              # 2014-12-10 449042120  constraint solver got worse again; more aggressive solving
399              #                          of family-applications leads to less sharing, I think
400              # 2015-03-17 403932600  tweak to solver algorithm
401              # 2015-12-11 653710960  TypeInType (see #11196)
402              # 2016-10-17 794426536  20% big increase following
403              #                       31621b12 * A collection of type-inference refactorings.
404              #                       See ticket for more info
405
406        only_ways(['normal'])
407       ],
408      compile,
409      ['-freduction-depth=300'])
410
411 test('T5631',
412      [compiler_stats_num_field('bytes allocated',
413           [(wordsize(32), 570137436, 10),
414         # expected value: 392904228 (x86/Linux)
415         # 2014-04-04:     346389856 (x86 Windows, 64 bit machine)
416         # 2014-12-01:     390199244 (Windows laptop)
417         # 2016-04-06:     570137436 (amd64/Linux) many reasons
418            (wordsize(64), 1124068664, 5)]),
419         # expected value: 774595008 (amd64/Linux):
420         # expected value: 735486328 (amd64/Linux) 2012/12/12:
421         # expected value: 690742040 (amd64/Linux) Call Arity improvements
422         # 2014-09-09:     739704712 (amd64/Linux) AMP changes
423         # 2014-11-04:     776121120 (amd64/Linux) new-flatten-skolems
424         # 2015-06-01:     812288344 (amd64/Linux) unknown cause
425         # 2015-12-11:     1128828928 (amd64/Linux) TypeInType (see #11196)
426         # 2015-12-21:     1198327544 (Mac) TypeApplications (will fix with #11196)
427         # 2015-03-18:     1124068664 (Mac) optimize Unify & zonking
428        only_ways(['normal'])
429       ],
430      compile,
431      [''])
432
433 test('parsing001',
434      [compiler_stats_num_field('bytes allocated',
435           [(wordsize(32), 274000576, 10),
436            (wordsize(64), 581551384, 5)]),
437         # expected value: 587079016 (amd64/Linux)
438         # 2016-09-01:     581551384 (amd64/Linux) Restore w/w limit (#11565)
439        only_ways(['normal']),
440       ],
441      compile_fail, [''])
442
443
444 test('T783',
445      [ only_ways(['normal']),  # no optimisation for this one
446       # expected value: 175,569,928 (x86/Linux)
447       compiler_stats_num_field('bytes allocated',
448           [(wordsize(32), 249332816, 5),
449             # 2012-10-08: 226907420 (x86/Linux)
450             # 2013-02-10: 329202116 (x86/Windows)
451             # 2013-02-10: 338465200 (x86/OSX)
452             # 2014-04-04: 319179104 (x86 Windows, 64 bit machine)
453             # 2014-09-03: 223377364 (Windows) better specialisation, raft of core-to-core optimisations
454             # 2014-12-22: 235002220 (Windows) not sure why
455             # 2016-04-06: 249332816 (x86/Linux, 64-bit machine)
456
457            (wordsize(64), 488592288, 10)]),
458             # prev:       349263216 (amd64/Linux)
459             # 07/08/2012: 384479856 (amd64/Linux)
460             # 29/08/2012: 436927840 (amd64/Linux)
461             # 12/11/2012: 640324528 (amd64/Linux)
462             #   (OldCmm removed: not sure why this got worse, the
463             #    other perf tests remained about the same)
464             # 18/10/2013: 734038080 (amd64/Linux)
465             #   (fix for #8456)
466             # 24/10/2013: 654804144 (amd64/Linux)
467             #   (fix previous fix for #8456)
468             # 2014-07-17: 640031840 (amd64/Linux)
469             #   (general round of updates)
470             # 2014-08-29: 441932632 (amd64/Linux)
471             #   (better specialisation, raft of core-to-core optimisations)
472             # 2014-08-29: 719814352 (amd64/Linux)
473             #   (changed order of cmm block causes analyses to allocate much more,
474             #      but the changed order is slighly better in terms of runtime, and
475             #      this test seems to be an extreme outlier.)
476             # 2015-05-16: 548288760 (amd64/Linux)
477             #   (improved sequenceBlocks in nativeCodeGen, #10422)
478             # 2015-08-07: 470738808 (amd64/Linux)
479             #   (simplifying the switch plan code path for simple checks, #10677)
480             # 2015-08-28: 526230456 (amd64/Linux)
481             #    (D757: Emit Typeable instances at site of type definition)
482             # 2015-12-04: 1134085384 (amd64/Linux)
483             #    (D1535: Major overhaul of pattern match checker, #11162)
484             # 2016-02-03: 488592288 (amd64/Linux)
485             #    (D1795: Another overhaul of pattern match checker, #11374)
486       extra_hc_opts('-static')
487       ],
488       compile,[''])
489
490 test('T5321Fun',
491      [ only_ways(['normal']),  # no optimisation for this one
492        compiler_stats_num_field('bytes allocated',
493            [(wordsize(32), 279922360, 10),
494              # prev:       300000000
495              # 2012-10-08: 344416344 x86/Linux
496              #  (increase due to new codegen)
497              # 2014-09-03: 299656164     (specialisation and inlining)
498              # 10/12/2014: 206406188     #  Improvements in constraint solver
499              # 2016-04-06: 279922360 x86/Linux
500             (wordsize(64), 565883176, 10)])
501              # prev:       585521080
502              # 29/08/2012: 713385808     #  (increase due to new codegen)
503              # 15/05/2013: 628341952     #  (reason for decrease unknown)
504              # 24/06/2013: 694019152     #  (reason for re-increase unknown)
505              # 12/05/2014: 614409344     #  (specialisation and inlining changes)
506              # 10/09/2014: 601629032     #  post-AMP-cleanup
507              # 06/11/2014: 541287000     #  Simon's flat-skol changes to the constraint solver
508              # 10/12/2014: 408110888     #  Improvements in constraint solver
509              # 16/12/2014: 429921312     #  Flattener parameterized over roles
510              # 10/08/2015: 509921312
511              #  (undefined now takes an implicit parameter and GHC -O0 does
512              #  not recognize that the application is bottom)
513              # 11/12/2015: 565883176     #  TypeInType (see #11196)
514       ],
515       compile,[''])
516
517 test('T5321FD',
518      [ only_ways(['normal']),  # no optimisation for this one
519       compiler_stats_num_field('bytes allocated',
520           [(wordsize(32), 250757460, 10),
521             # prev:       213380256
522             # 2012-10-08: 240302920 (x86/Linux)
523             #  (increase due to new codegen)
524             # 2014-07-31: 211699816 (Windows) (-11%)
525             #  (due to better optCoercion, 5e7406d9, #9233)
526             # 2016-04-06: 250757460 (x86/Linux)
527            (wordsize(64), 477840432, 10)])
528             # prev:       418306336
529             # 29/08/2012: 492905640
530             #  (increase due to new codegen)
531             # 15/05/2013: 406039584
532             #  (reason for decrease unknown)
533             # 08/06/2013: 476497048
534             #  (reason for increase unknown)
535             # before 2014-07-17: 441997096
536             #  (with -8%, still in range, hence cause not known)
537             # 2014-07-17: 426960992 (-11% of previous value)
538             #  (due to better optCoercion, 5e7406d9, #9233)
539             # 2014-10-08  410895536
540             #  (various changes; biggest improvements due to 949ad67 and FastString package ids)
541             # 2015-08-10: 470895536
542             #  (undefined now takes an implicit parameter and GHC -O0 does
543             #  not recognize that the application is bottom)
544             # 2015-10-28: 532365376
545             #  D757: emit Typeable instances at site of type definition
546             # 2016-07-16: 477840432
547             #  Optimize handling of built-in OccNames
548       ],
549       compile,[''])
550
551 test('T5642',
552      [ only_ways(['normal']),
553        normal,
554        compiler_stats_num_field('bytes allocated',
555            [(wordsize(32), 462677300, 10),
556                      # sample from x86/Linux
557             # prev:        650000000
558             # 2014-09-03:  753045568
559             # 2014-12-10:  641085256 Improvements in constraints solver
560             # 2016-04-06:  462677300
561
562             (wordsize(64),  838316496, 10)])
563             # prev:        1300000000
564             # 2014-07-17:  1358833928 (general round of updates)
565             # 2014-08-07:  1402242360 (caused by 1fc60ea)
566 # Watch out for:
567             # 23/05/2014:  1452688392 (More aggressive specialisation means we get
568             #                          specialised copies of imported functions that
569             #                          are ultimately discarded by trimAutoRules
570             #                          It's a bizarre program with LOTS of data types)
571             # 2014-09-10:  1536924976 post-AMP-cleanup
572             # 2014-12-10:  1282916024 Improvements in constraints solver
573             # 2015-10-28:  1412808976 Emit Typeable at definition site
574             # 2015-11-22:  1071915072 Use TypeLits in the metadata encoding
575             # 2016-02-08:   950004816 Pattern match checker re-rework
576             # 2016-05-12:  1300685592 Make Generic1 poly-kinded
577             # 2016-06-05:   916484672 Refactor derived Generic instances to reduce allocations
578             # 2016-09-03:   838316496 Derive the Generic instance in perf/compiler/T5642
579       ],
580       compile,['-O'])
581
582 test('T5837',
583      [ only_ways(['normal']),
584       compiler_stats_num_field('bytes allocated',
585           [(wordsize(32), 24199320, 10),
586              # 40000000 (x86/Linux)
587              # 2013-11-13:  45520936 (x86/Windows, 64bit machine)
588              # 2014-09-03:  37096484 (Windows laptop, w/w for INLINABLE things
589              # 2014-12-01: 135914136 (Windows laptop, regression see below)
590              # 2014-12-08: 115905208  Constraint solver perf improvements (esp kick-out)
591              # 2016-04-06: 24199320  (x86/Linux, 64-bit machine) TypeInType
592
593            (wordsize(64), 41832056, 10)])
594              # sample: 3926235424 (amd64/Linux, 15/2/2012)
595              # 2012-10-02 81879216
596              # 2012-09-20 87254264 amd64/Linux
597              # 2013-09-18 90587232 amd64/Linux
598              # 2013-11-21 86795752 amd64/Linux, GND via Coercible and counters
599              #                                  for constraints solving
600              # 2014-08-29 73639840 amd64/Linux, w/w for INLINABLE things
601              # 2014-10-08 73639840 amd64/Linux, Burning Bridges and other small changes
602              # 2014-11-06 271028976       Linux, Accept big regression;
603              #   See Note [An alternative story for the inert substitution] in TcFlatten
604              # 2014-12-08 234790312 Constraint solver perf improvements (esp kick-out)
605              # 2014-12-16 231155640 Mac  Flattener parameterized over roles;
606              #                           some optimization
607              # 2015-03-17 53424304  Mac  Better depth checking; fails earlier
608              # 2015-06-09 38834096  Better "improvement"; I'm not sure whey it improves things
609              # 2015-12-11 43877520  amd64/Linux, TypeInType (see #11196)
610              # 2016-03-18 48507272  Mac, accept small regression in exchange
611              #                           for other optimisations
612              # 2016-09-15 42445672  Linux; fixing #12422
613              # 2016-09-25 41832056  amd64/Linux, Rework handling of names (D2469)
614       ],
615       compile_fail,['-freduction-depth=50'])
616
617 test('T6048',
618      [ only_ways(['optasm']),
619       compiler_stats_num_field('bytes allocated',
620           [(wordsize(32), 55701280, 10),
621             # prev:       38000000 (x86/Linux)
622             # 2012-10-08: 48887164 (x86/Linux)
623             # 2014-04-04: 62618072 (x86 Windows, 64 bit machine)
624             # 2014-09-03: 56315812 (x86 Windows, w/w for INLINABLE)
625             # 2014-12-01: 49987836 (x86 Windows)
626             # 2016-04-06: 55701280 (x86/Linux, 64-bit machine)
627
628            (wordsize(64),  108225624, 12)])
629              # 18/09/2012  97247032 amd64/Linux
630              # 16/01/2014 108578664 amd64/Linux (unknown, likely foldl-via-foldr)
631              # 18/01/2014  95960720 amd64/Linux Call Arity improvements
632              # 28/02/2014 105556793 amd64/Linux (unknown, tweak in base/4d9e7c9e3 resulted in change)
633              # 05/03/2014 110646312 amd64/Linux Call Arity became more elaborate
634              # 14/07/2014 125431448 amd64/Linux unknown reason. Even worse in GHC-7.8.3. *shurg*
635              # 29/08/2014 108354472 amd64/Linux w/w for INLINABLE things
636              # 14/09/2014  88186056 amd64/Linux BPP part1 change (more NoImplicitPreludes in base)
637              # 08/01/2014  95946688 amd64/Linux Mostly 4c834fd. Occasional spikes to 103822120!
638              # 11/03/2016 108225624 amd64/Linux unknown reason sadly; likely gradual creep.
639       ],
640       compile,[''])
641
642 test('T9020',
643      [ only_ways(['optasm']),
644       compiler_stats_num_field('bytes allocated',
645           [(wordsize(32), 343005716, 10),
646            # Original:    381360728
647            # 2014-07-31:  343005716 (Windows) (general round of updates)
648            (wordsize(64), 698401736, 10)])
649            # prev:        795469104
650            # 2014-07-17:  728263536 (general round of updates)
651            # 2014-09-10:  785871680 post-AMP-cleanup
652            # 2014-11-03:  680162056 Further Applicative and Monad adjustments
653            # 2015-10-21:  786189008 Make stronglyConnCompFromEdgedVertices deterministic
654            # 2016-01-26:  698401736 improvement from using ExpTypes instead of ReturnTvs
655            # 2016-04-06:  852298336 Refactoring of CSE #11781
656            # 2016-04-06:  698401736 Use thenIO in Applicative IO
657       ],
658       compile,[''])
659
660 test('T9675',
661      [ only_ways(['optasm']),
662        compiler_stats_num_field('max_bytes_used', # Note [residency]
663           [(wordsize(64), 38776008, 15),
664           # 2014-10-13    29596552
665           # 2014-10-13    26570896   seq the DmdEnv in seqDmdType as well
666           # 2014-10-13    18582472   different machines giving different results..
667           # 2014-10-13    22220552   use the mean
668           # 2015-06-21    28056344   switch to `+RTS -G1`, tighten bound to 15%
669           # 2015-10-28    23776640   emit Typeable at definition site
670           # 2015-12-11    30837312   TypeInType (see #11196)
671           # 2016-04-14    38776008   Final demand analyzer run
672            (wordsize(32), 18043224, 15)
673           # 2015-07-11    15341228   (x86/Linux, 64-bit machine) use +RTS -G1
674           # 2016-04-06    18043224   (x86/Linux, 64-bit machine)
675           ]),
676        compiler_stats_num_field('peak_megabytes_allocated', # Note [residency]
677           [(wordsize(64), 121, 15),
678           # 2014-10-13    66
679           # 2014-10-13    58         seq the DmdEnv in seqDmdType as well
680           # 2014-10-13    49         different machines giving different results...
681           # 2014-10-13    53         use the mean
682           # 2015-06-15    44         reduced for some reason
683           # 2015-06-21    105        switch to `+RTS -G1`
684           # 2015-12-04    88         new pattern checker (D1535)
685           # 2015-12-11    113        TypeInType (see #11196)
686           # 2016-04-14    144        Final demand analyzer run
687           # 2016-07-26    121        Unboxed sums?
688             (wordsize(32), 56, 15)
689           # 2015-07-11    56         (x86/Linux, 64-bit machine) use +RTS -G1
690           ]),
691        compiler_stats_num_field('bytes allocated',
692           [(wordsize(64), 608284152, 10)
693           # 2014-10-13    544489040
694           # 2015-10-28    608284152  emit Typeable at definition site
695           ,(wordsize(32), 279480696, 10)
696           # 2015-07-11    279480696  (x86/Linux, 64-bit machine) use +RTS -G1
697           ]),
698
699        # Use `+RTS -G1` for more stable residency measurements. Note [residency].
700        extra_hc_opts('+RTS -G1 -RTS')
701       ],
702      compile,
703      [''])
704
705 test('T9872a',
706      [ only_ways(['normal']),
707        compiler_stats_num_field('bytes allocated',
708           [(wordsize(64), 3352882080, 5),
709           # 2014-12-10    5521332656    Initally created
710           # 2014-12-16    5848657456    Flattener parameterized over roles
711           # 2014-12-18    2680733672    Reduce type families even more eagerly
712           # 2015-12-11    3581500440    TypeInType (see #11196)
713           # 2016-04-07    3352882080    CSE improvements
714            (wordsize(32), 1740903516, 5)
715           # was           1325592896
716           # 2016-04-06    1740903516    x86/Linux
717           ]),
718       ],
719      compile_fail,
720      [''])
721
722 test('T9872b',
723      [ only_ways(['normal']),
724        compiler_stats_num_field('bytes allocated',
725           [(wordsize(64), 4069522928, 5),
726           # 2014-12-10    6483306280    Initally created
727           # 2014-12-16    6892251912    Flattener parameterized over roles
728           # 2014-12-18    3480212048    Reduce type families even more eagerly
729           # 2015-12-11    5199926080    TypeInType (see #11196)
730           # 2016-02-08    4918990352    Improved a bit by tyConRolesRepresentational
731           # 2016-04-06:   4600233488    Refactoring of CSE #11781
732           # 2016-09-15:   4069522928    Fix #12422
733            (wordsize(32), 2422750696, 5)
734           # was           1700000000
735           # 2016-04-06    2422750696    x86/Linux
736           ]),
737       ],
738      compile_fail,
739      [''])
740 test('T9872c',
741      [ only_ways(['normal']),
742        compiler_stats_num_field('bytes allocated',
743           [(wordsize(64), 3702580928, 5),
744           # 2014-12-10    5495850096    Initally created
745           # 2014-12-16    5842024784    Flattener parameterized over roles
746           # 2014-12-18    2963554096    Reduce type families even more eagerly
747           # 2015-12-11    4723613784    TypeInType (see #11196)
748           # 2016-02-08    4454071184    Improved a bit by tyConRolesRepresentational
749           # 2016-04-06:   4306667256    Refactoring of CSE #11781
750           # 2016-09-15:   3702580928    Fixing #12422
751            (wordsize(32), 2257242896, 5)
752           # was           1500000000
753           # 2016-04-06    2257242896
754           ]),
755       ],
756      compile_fail,
757      [''])
758 test('T9872d',
759      [ only_ways(['normal']),
760        compiler_stats_num_field('bytes allocated',
761           [(wordsize(64), 506691240, 5),
762           # 2014-12-18    796071864   Initally created
763           # 2014-12-18    739189056   Reduce type families even more eagerly
764           # 2015-01-07    687562440   TrieMap leaf compression
765           # 2015-03-17    726679784   tweak to solver; probably flattens more
766           # 2015-12-11    566134504   TypeInType; see #11196
767           # 2016-02-08    534693648   Improved a bit by tyConRolesRepresentational
768           # 2016-03-18    506691240   optimize Unify & zonking
769            (wordsize(32), 264566040, 5)
770           # some date     328810212
771           # 2015-07-11    350369584
772           # 2016-04-06    264566040   x86/Linux
773           ]),
774       ],
775      compile,
776      [''])
777
778 test('T9961',
779      [ only_ways(['normal']),
780        compiler_stats_num_field('bytes allocated',
781           [(wordsize(64), 537297968, 5),
782           # 2015-01-12    807117816   Initally created
783           # 2015-spring   772510192   Got better
784           # 2015-05-22    663978160   Fix for #10370 improves it more
785           # 2015-10-28    708680480   x86_64/Linux   Emit Typeable at definition site
786           # 2015-12-17    745044392   x86_64/Darwin  Creep upwards
787           # 2016-03-20    519436672   x64_64/Linux   Don't use build desugaring for large lists (#11707)
788           # 2016-03-24    568526784   x64_64/Linux   Add eqInt* variants (#11688)
789           # 2016-09-01    537297968   x64_64/Linux   Restore w/w limit (#11565)
790            (wordsize(32), 275264188, 5)
791           # was           375647160
792           # 2016-04-06    275264188   x86/Linux
793           ]),
794       ],
795      compile,
796      ['-O'])
797
798 test('T9233',
799     [ only_ways(['normal']),
800       compiler_stats_num_field('bytes allocated',
801         [(wordsize(64), 984268712, 5),
802          # 2015-08-04    999826288     initial value
803          # 2016-04-14   1066246248     Final demand analyzer run
804          # 2016-06-18    984268712     shuffling around of Data.Functor.Identity
805          (wordsize(32),  515672240, 5)   # Put in your value here if you hit this
806          # 2016-04-06    515672240     (x86/Linux) initial value
807         ]),
808       extra_clean(['T9233a.hi', 'T9233a.o'])
809     ],
810     multimod_compile,
811     ['T9233', '-v0 -O2 -fno-spec-constr'])
812
813 test('T10370',
814      [ only_ways(['optasm']),
815        compiler_stats_num_field('max_bytes_used', # Note [residency]
816           [(wordsize(64), 33049168, 15),
817           # 2015-10-22    19548720
818           # 2016-02-24    22823976   Changing Levity to RuntimeRep; not sure why this regresses though, even after some analysis
819           # 2016-04-14    28256896   final demand analyzer run
820           # 2016-08-08    33049304
821           #     This change happened because we changed the behavior
822           #     of inlining across hs-boot files, so that we don't
823           #     inline if something comes from a boot file.  This
824           #     affected stats on bootstrapped GHC.  However,
825           #     when I set -i0.01 with profiling, the heap profiles
826           #     were identical, so I think it's just GC noise.
827            (wordsize(32), 11371496, 15),
828           # 2015-10-22    11371496
829           ]),
830        compiler_stats_num_field('peak_megabytes_allocated', # Note [residency]
831           [(wordsize(64), 121, 15),
832           # 2015-10-22     76
833           # 2016-04-14    101 final demand analyzer run
834           # 2016-08-08    121 see above
835            (wordsize(32),  39, 15),
836           # 2015-10-22     39
837           ]),
838        # Use `+RTS -G1` for more stable residency measurements. Note [residency].
839        extra_hc_opts('+RTS -G1 -RTS')
840      ],
841      compile,
842      [''])
843
844 test('T10547',
845      [ compiler_stats_num_field('bytes allocated',
846           [(wordsize(64), 39165544, 20),
847           ]),
848      ],
849      compile_fail,
850      ['-fprint-expanded-synonyms'])
851
852 test('T12227',
853      [ only_ways(['normal']),
854        compiler_stats_num_field('bytes allocated',
855           [(wordsize(64), 1822822016, 5),
856           # 2016-07-11    5650186880 (Windows) before fix for #12227
857           # 2016-07-11    1822822016 (Windows) after fix for #12227
858           ]),
859      ],
860      compile,
861      # Use `-M1G` to prevent memory thrashing with ghc-8.0.1.
862      ['-O2 -ddump-hi -ddump-to-file +RTS -M1G'])