Richards optCoercion improvement made test cases fail the nice way
[ghc.git] / testsuite / tests / perf / compiler / all.T
1 def no_lint(name, opts):
2    opts.compiler_always_flags = \
3        filter(lambda opt: opt != '-dcore-lint' and opt != '-dcmm-lint', opts.compiler_always_flags)
4
5 setTestOpts(no_lint)
6
7
8 # Note [residency]
9 #
10 # Residency (peak_megabytes_allocated and max_bytes_used) is sensitive
11 # to when the major GC runs, which makes it inherently inaccurate.
12 # Sometime an innocuous change somewhere can shift things around such
13 # that the samples occur at a different time, and the residency
14 # appears to change (up or down) when the underlying profile hasn't
15 # really changed.
16 #
17 # However, please don't just ignore changes in residency.  If you see
18 # a change in one of these figures, please check whether it is real or
19 # not as follows:
20 #
21 #  * Run the test with old and new compilers, adding +RTS -h -i0.01
22 #    (you don't need to compile anything for profiling or enable profiling
23 #    libraries to get a heap profile).
24 #  * view the heap profiles, read off the maximum residency.  If it has
25 #    really changed, then you know there's an issue.
26
27 test('T1969',
28      [compiler_stats_num_field('peak_megabytes_allocated', # Note [residency]
29           [(wordsize(32), 17, 15),
30              # 2010-05-17 14 (x86/Windows)
31              #            15 (x86/OS X)
32              #            19 (x86/OS X)
33              # 2013-02-10 13 (x86/Windows)
34              # 2013-02-10 14 (x86/OSX)
35              # 2013-11-13 17 (x86/Windows, 64bit machine)
36            (wordsize(64), 30, 15)]),
37              #            28 (amd64/Linux)
38              #            34 (amd64/Linux)
39              # 2012-09-20 23 (amd64/Linux)
40              # 2012-10-03 25 (amd64/Linux if .hi exists)
41              # 2013-02-13 23, but unstable so increased to 10% range
42              # 2013-02-13 27, very unstable!
43              # 2013-09-11 30 (amd64/Linux)
44       compiler_stats_num_field('max_bytes_used',
45           [(platform('i386-unknown-mingw32'), 5719436, 20),
46                                  # 2010-05-17 5717704 (x86/Windows)
47                                  # 2013-02-10 5159748 (x86/Windows)
48                                  # 2013-02-10 5030080 (x86/Windows)
49                                  # 2013-11-13 7295012 (x86/Windows, 64bit machine)
50                                  # 2014-04-24 5719436 (x86/Windows, 64bit machine)
51            (wordsize(32), 5949188, 1),
52              #            6707308 (x86/OS X)
53              # 2009-12-31 6149572 (x86/Linux)
54              # 2014-01-22 6429864 (x86/Linux)
55              # 2014-06-29 5949188 (x86/Linux)
56            (wordsize(64), 11000000, 20)]),
57                # looks like the peak is around ~10M, but we're
58                # unlikely to GC exactly on the peak.
59                # varies quite a lot with CLEANUP and BINDIST,
60                # hence 10% range.
61                # See Note [residency] to get an accurate view.
62       compiler_stats_num_field('bytes allocated',
63           [(platform('i386-unknown-mingw32'), 301784492, 5),
64                                  #            215582916 (x86/Windows)
65                                  # 2012-10-29 298921816 (x86/Windows)
66                                  # 2013-02-10 310633884 (x86/Windows)
67                                  # 2013-11-13 317975916 (x86/Windows, 64bit machine)
68                                  # 2014-04-04 301784492 (x86/Windows, 64bit machine)
69            (wordsize(32), 303300692, 1),
70              #            221667908 (x86/OS X)
71              #            274932264 (x86/Linux)
72              # 2012-10-08 303930948 (x86/Linux, new codegen)
73              # 2013-02-10 322937684 (x86/OSX)
74              # 2014-01-22 316103268 (x86/Linux)
75              # 2014-06-29 303300692 (x86/Linux)
76            (wordsize(64), 660922376, 5)]),
77              # 17/11/2009 434845560 (amd64/Linux)
78              # 08/12/2009 459776680 (amd64/Linux)
79              # 17/05/2010 519377728 (amd64/Linux)
80              # 05/08/2011 561382568 (amd64/OS X)
81              # 16/07/2012 589168872 (amd64/Linux)
82              # 20/07/2012 595936240 (amd64/Linux)
83              # 23/08/2012 606230880 (amd64/Linux)
84              # 29/08/2012 633334184 (amd64/Linux) new codegen
85              # 18/09/2012 641959976 (amd64/Linux)
86              # 19/10/2012 661832592 (amd64/Linux) -fPIC turned on
87              # 23/10/2012 642594312 (amd64/Linux) -fPIC turned off again
88              # 12/11/2012 658786936 (amd64/Linux) UNKNOWN REASON
89              # 17/1/13:   667160192 (x86_64/Linux) new demand analyser
90              # 18/10/2013 698612512 (x86_64/Linux) fix for #8456
91              # 10/02/2014 660922376 (x86_64/Linux) call artiy analysis
92       only_ways(['normal']),
93
94       extra_hc_opts('-dcore-lint -static')
95           # Leave -dcore-lint on for this one test, so that we have something
96           # that will catch a regression in -dcore-lint performance.
97       ],
98      compile,
99      [''])
100
101 # This one tests for the space leak in the native code generator,
102 # where it holds onto the entire asm output until the end.  The space
103 # leak reappears from time to time, so it's a good idea to have a test
104 # for it.  The residency of this test will jump by 10MB to 40MB or so
105 # on x86-64 if the space leak appears.
106
107 # Only run this one if we have an NCG:
108 if 'optasm' in config.compile_ways:
109    conf_3294 = only_ways(['normal'])
110 else:
111    conf_3294 = skip
112
113 test('T3294',
114      [
115       compiler_stats_num_field('max_bytes_used', # Note [residency]
116           [(wordsize(32), 19882188, 15),
117              #            17725476 (x86/OS X)
118              #            14593500 (Windows)
119              # 2013-02-10 20651576 (x86/Windows)
120              # 2013-02-10 20772984 (x86/OSX)
121              # 2013-11-13 24009436 (x86/Windows, 64bit machine)
122              # 2014-04-24 19882188 (x86/Windows, 64bit machine)
123            (wordsize(64), 40000000, 15)]),
124              # prev:           25753192 (amd64/Linux)
125              # 29/08/2012:     37724352 (amd64/Linux)
126              #  (increase due to new codegen, see #7198)
127              # 13/13/2012:     44894544 (amd64/Linux)
128              #  (reason for increase unknown)
129              # 15/5/2013:      36904752  (amd64/Linux)
130              #  (reason for decrease unknown)
131              # 29/5/2013:      43224080  (amd64/Linux)
132              #  (reason for increase back to earlier value unknown)
133              # 2014-07-14:     36670800  (amd64/Linux)
134              #  (reason unknown, setting expected value somewhere in between)
135
136       compiler_stats_num_field('bytes allocated',
137           [(wordsize(32), 1377050640, 5),
138            # previous:     815479800  (x86/Linux)
139            # (^ increase due to new codegen, see #7198)
140            # 2012-10-08:  1373514844 (x86/Linux)
141            # 2013-11-13: 1478325844  (x86/Windows, 64bit machine)
142            # 2014-01-12: 1565185140  (x86/Linux)
143            # 2013-04-04: 1377050640  (x86/Windows, 64bit machine)
144            (wordsize(64), 2705289664, 5)]),
145             # old:        1357587088 (amd64/Linux)
146             # 29/08/2012: 2961778696 (amd64/Linux)
147             # (^ increase due to new codegen, see #7198)
148             # 18/09/2012: 2717327208 (amd64/Linux)
149             # 08/06/2013: 2901451552 (amd64/Linux) (reason unknown)
150             # 12/12/2013: 3083825616 (amd64/Linux) (reason unknown)
151             # 18/02/2014: 2897630040 (amd64/Linux) (call arity improvements)
152             # 12/03/2014: 2705289664 (amd64/Linux) (more call arity improvements)
153       conf_3294
154       ],
155      compile,
156      [''])
157
158 test('T4801',
159      [ # expect_broken(5224),
160        # temporarily unbroken (#5227)
161       compiler_stats_num_field('peak_megabytes_allocated',# Note [residency]
162           [(platform('x86_64-apple-darwin'), 70, 1),
163                            # expected value: 58 (amd64/OS X)
164                            # 13/01/2014 - 70
165            (wordsize(32), 30, 20),
166            (wordsize(64), 60, 20)]),
167             # prev:       50 (amd64/Linux)
168             # 19/10/2012: 64 (amd64/Linux)
169             #                (^ REASON UNKNOWN!)
170             # 12/11/2012: 49 (amd64/Linux)
171             #                (^ REASON UNKNOWN!)
172             # 28/8/13:    60 (amd64/Linux)
173             #                (^ REASON UNKNOWN!)
174
175       compiler_stats_num_field('bytes allocated',
176           [(platform('x86_64-apple-darwin'), 464872776, 5),
177                            # expected value: 510938976 (amd64/OS X):
178
179            (wordsize(32), 211198056, 10),
180            # prev:        185669232 (x86/OSX)
181            # 2014-01-22:  211198056 (x86/Linux)
182            (wordsize(64), 392409984, 10)]),
183             # prev:       360243576 (amd64/Linux)
184             # 19/10/2012: 447190832 (amd64/Linux) (-fPIC turned on)
185             # 19/10/2012: 392409984 (amd64/Linux) (-fPIC turned off)
186
187       compiler_stats_num_field('max_bytes_used',
188           [(platform('x86_64-apple-darwin'), 25145320, 5),
189            (wordsize(32), 11829000, 15),
190              #              9651948 (x86/OSX)
191              #              10290952 (windows)
192              # 2013-02-10   11071060 (x86/Windows)
193              # 2013-02-10:  11207828 (x86/OSX)
194              # (some date): 11139444
195              # 2013-11-13:  11829000 (x86/Windows, 64bit machine)
196            (wordsize(64), 25002136, 10)]),
197                 # prev:       20486256 (amd64/OS X)
198                 # 30/08/2012: 17305600--20391920 (varies a lot)
199                 # 19/10/2012: 26882576 (-fPIC turned on)
200                 # 19/10/2012: 18619912 (-fPIC turned off)
201                 # 24/12/2012: 21657520 (perhaps gc sampling time wibbles?)
202                 # 10/01/2014: 25166280 
203                 # 13/01/2014: 22646000 (mostly due to #8647)
204                 # 18/02/2014: 25002136 (call arity analysis changes)
205        only_ways(['normal']),
206        extra_hc_opts('-static')
207       ],
208      compile,
209      [''])
210
211 test('T3064',
212      [# expect_broken( 3064 ),
213       compiler_stats_num_field('peak_megabytes_allocated',# Note [residency]
214           [(wordsize(32), 23, 20),
215             # expected value: 14 (x86/Linux 28-06-2012):
216             # 2013-11-13:     18 (x86/Windows, 64bit machine)
217             # 2014-01-22:     23 (x86/Linux)
218            (wordsize(64), 42, 20)]),
219             # (amd64/Linux):            18
220             # (amd64/Linux) 2012-02-07: 26
221             # (amd64/Linux) 2013-02-12: 23; increased range to 10%
222             # (amd64/Linux) 2013-04-03: 26
223             # (amd64/Linux) 2013-09-11: 30; result of AMP patch
224             # Increased range to 20%.  peak-usage varies from 22 to 26,
225             #  depending on whether the old .hi file exists
226             # (amd64/Linux) 2013-09-11: 37; better arity analysis (weird)
227
228       compiler_stats_num_field('bytes allocated',
229           [(wordsize(32), 162457940, 10),
230             # 2011-06-28: 56380288  (x86/Linux)
231             # 2012-10-30: 111189536 (x86/Windows)
232             # 2013-11-13: 146626504 (x86/Windows, 64bit machine)
233             # 2014-01-22: 162457940 (x86/Linux)
234            (wordsize(64), 324022680, 5)]),
235             # (amd64/Linux) (28/06/2011):  73259544
236             # (amd64/Linux) (07/02/2013): 224798696
237             # (amd64/Linux) (02/08/2013): 236404384, increase from roles
238             # (amd64/Linux) (11/09/2013): 290165632, increase from AMP warnings
239             # (amd64/Linux) (22/11/2013): 308300448, GND via Coercible and counters for constraints solving
240                 # (amd64/Linux) (02/12/2013): 329795912, Coercible refactor
241             # (amd64/Linux) (11/02/2014): 308422280, optimize Coercions in simpleOptExpr
242             # (amd64/Linux) (23/05/2014): 324022680, unknown cause
243
244       compiler_stats_num_field('max_bytes_used',
245           [(wordsize(32), 11202304, 20),
246             # 2011-06-28:  2247016 (x86/Linux) (28/6/2011):
247             #(some date):  5511604
248             # 2013-11-13:  7218200 (x86/Windows, 64bit machine)
249             # 2014-04-04: 11202304 (x86/Windows, 64bit machine)
250            (wordsize(64), 19821544, 20)]),
251             # (amd64/Linux, intree) (28/06/2011):  4032024
252             # (amd64/Linux, intree) (07/02/2013):  9819288
253             # (amd64/Linux)         (14/02/2013):  8687360
254             # (amd64/Linux)         (18/02/2013):  9397488
255             # (amd64/Linux)         (02/08/2013): 10742536, increase from roles
256             # (amd64/Linux)         (19/08/2013): 9211816,  decrease apparently from better eta reduction
257             # (amd64/Linux)         (11/09/2013): 12000480, increase from AMP warnings
258             #                                     933cdf15a2d85229d3df04b437da31fdfbf4961f
259             # (amd64/Linux)         (22/11/2013): 16266992, GND via Coercible and counters for constraints solving
260             # (amd64/Linux)         (12/12/2013): 19821544, better One shot analysis
261        only_ways(['normal'])
262       ],
263      compile,
264      [''])
265
266 test('T4007',
267      normal,
268      run_command,
269      ['$MAKE -s --no-print-directory T4007'])
270
271 test('T5030',
272      [compiler_stats_num_field('bytes allocated',
273           [(wordsize(32), 198573456, 10),
274            # previous:    196457520
275            # 2012-10-08:  259547660 (x86/Linux, new codegen)
276            # 2013-11-21:  198573456 (x86 Windows, 64 bit machine)
277            (wordsize(64), 397672152, 10)]),
278              # Previously 530000000 (+/- 10%)
279              # 17/1/13:   602993184  (x86_64/Linux)
280              #            (new demand analyser)
281              # 2013-06-08 538467496  (x86_64/Linux)
282              # ^ reason unknown
283              # 2013-08-02 454498592  (amd64/Linux)
284              # decrease from more aggressive coercion optimisations from roles
285              # 2013-11-12 397672152  (amd64/Linux)
286              # big decrease following better CSE and arity
287
288        only_ways(['normal'])
289       ],
290      compile,
291      ['-fcontext-stack=300'])
292
293 test('T5631',
294      [compiler_stats_num_field('bytes allocated',
295           [(wordsize(32), 346389856, 10),
296         # expected value: 392904228 (x86/Linux)
297         # 2014-04-04:     346389856 (x86 Windows, 64 bit machine)
298            (wordsize(64), 690742040, 5)]),
299         # expected value: 774595008 (amd64/Linux):
300         # expected value: 735486328 (amd64/Linux) 2012/12/12:
301         # expected value: 690742040 (amd64/Linux) Call Arity improvements
302        only_ways(['normal'])
303       ],
304      compile,
305      [''])
306
307 test('parsing001',
308      [compiler_stats_num_field('bytes allocated',
309           [(wordsize(32), 274000576, 10),
310            (wordsize(64), 587079016, 5)]),
311         # expected value: 587079016 (amd64/Linux)
312        only_ways(['normal']),
313       ],
314      compile_fail, [''])
315
316
317 test('T783',
318      [ only_ways(['normal']),  # no optimisation for this one
319       # expected value: 175,569,928 (x86/Linux)
320       compiler_stats_num_field('bytes allocated',
321           [(wordsize(32), 319179104, 5),
322             # 2012-10-08: 226907420 (x86/Linux)
323             # 2013-02-10: 329202116 (x86/Windows)
324             # 2013-02-10: 338465200 (x86/OSX)
325             # 2014-04-04: 319179104 (x86 Windows, 64 bit machine)
326            (wordsize(64), 654804144, 10)]),
327             # prev:       349263216 (amd64/Linux)
328             # 07/08/2012: 384479856 (amd64/Linux)
329             # 29/08/2012: 436927840 (amd64/Linux)
330             # 12/11/2012: 640324528 (amd64/Linux)
331             #   (OldCmm removed: not sure why this got worse, the
332             #    other perf tests remained about the same)
333             # 18/10/2013: 734038080 (amd64/Linux)
334             #   (fix for #8456)
335             # 24/10/2013: 654804144 (amd64/Linux)
336             #   (fix previous fix for #8456)
337       extra_hc_opts('-static')
338       ],
339       compile,[''])
340
341 test('T5321Fun',
342      [ only_ways(['normal']),  # no optimisation for this one
343        compiler_stats_num_field('bytes allocated',
344            [(wordsize(32), 344416344, 10),
345              # prev:       300000000
346              # 2012-10-08: 344416344 x86/Linux
347              #  (increase due to new codegen)
348             (wordsize(64), 694019152, 10)])
349              # prev:       585521080
350              # 29/08/2012: 713385808
351              #  (increase due to new codegen)
352              # 15/05/2013: 628341952
353              #  (reason for decrease unknown)
354              # 24/06/2013: 694019152
355              #  (reason for re-increase unknown)
356       ],
357       compile,[''])
358
359 test('T5321FD',
360      [ only_ways(['normal']),  # no optimisation for this one
361       compiler_stats_num_field('bytes allocated',
362           [(wordsize(32), 240302920, 10),
363             # prev:       213380256
364             # 2012-10-08: 240302920 (x86/Linux)
365             #  (increase due to new codegen)
366            (wordsize(64), 426960992, 10)])
367             # prev:       418306336
368             # 29/08/2012: 492905640
369             #  (increase due to new codegen)
370             # 15/05/2013: 406039584
371             #  (reason for decrease unknown)
372             # 08/06/2013: 476497048
373             #  (reason for increase unknown)
374             # before 2014-07-17: 441997096
375             #  (with -8%, still in range, hence cause not known)
376             # 2014-07-17: 426960992 (-11% of previous value)
377             #  (due to better optCoercion, 5e7406d9, #9233)
378       ],
379       compile,[''])
380
381 test('T5642',
382      [ only_ways(['normal']),
383        compiler_stats_num_field('bytes allocated',
384            [(wordsize(32), 650000000, 10),
385                      # sample from x86/Linux
386             (wordsize(64), 1300000000, 10)])
387       ],
388       compile,['-O'])
389
390 test('T5837',
391      [ only_ways(['normal']),
392       compiler_stats_num_field('bytes allocated',
393           [(wordsize(32), 45520936 , 10),
394              # 40000000 (x86/Linux)
395              # 2013-11-13: 45520936 (x86/Windows, 64bit machine)
396            (wordsize(64), 86795752, 10)])
397              # sample: 3926235424 (amd64/Linux, 15/2/2012)
398              # 2012-10-02 81879216
399              # 2012-09-20 87254264 amd64/Linux
400              # 2013-09-18 90587232 amd64/Linux
401              # 2013-11-21 86795752 amd64/Linux, GND via Coercible and counters
402              #                                  for constraints solving
403       ],
404       compile_fail,['-ftype-function-depth=50'])
405
406 test('T6048',
407      [ only_ways(['optasm']),
408       compiler_stats_num_field('bytes allocated',
409           [(wordsize(32), 62618072, 10),
410             # prev:       38000000 (x86/Linux)
411             # 2012-10-08: 48887164 (x86/Linux)
412             # 2014-04-04: 62618072 (x86 Windows, 64 bit machine)
413            (wordsize(64), 125431448, 12)])
414              # 18/09/2012  97247032 amd64/Linux
415              # 16/01/2014 108578664 amd64/Linux (unknown, likely foldl-via-foldr)
416              # 18/01/2014  95960720 amd64/Linux Call Arity improvements
417              # 28/02/2014 105556793 amd64/Linux (unknown, tweak in base/4d9e7c9e3 resulted in change)
418              # 05/03/2014 110646312 amd64/Linux Call Arity became more elaborate
419              # 14/07/2014 125431448 amd64/Linux unknown reason. Even worse in GHC-7.8.3. *shurg*
420       ],
421       compile,[''])
422
423 test('T9020',
424      [ only_ways(['optasm']),
425       compiler_stats_num_field('bytes allocated',
426           [(wordsize(32), 381360728, 10),
427            (wordsize(64), 795469104, 10)])
428       ],
429       compile,[''])