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