all.T 18.1 KB
Newer Older
1
def no_lint(name, opts):
2
   opts.compiler_always_flags = \
Simon Marlow's avatar
Simon Marlow committed
3
       filter(lambda opt: opt != '-dcore-lint' and opt != '-dcmm-lint', opts.compiler_always_flags)
4

Simon Marlow's avatar
Simon Marlow committed
5
setTestOpts(no_lint)
6 7


Simon Marlow's avatar
Simon Marlow committed
8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
# Note [residency]
#
# Residency (peak_megabytes_allocated and max_bytes_used) is sensitive
# to when the major GC runs, which makes it inherently inaccurate.
# Sometime an innocuous change somewhere can shift things around such
# that the samples occur at a different time, and the residency
# appears to change (up or down) when the underlying profile hasn't
# really changed.
#
# However, please don't just ignore changes in residency.  If you see
# a change in one of these figures, please check whether it is real or
# not as follows:
#
#  * Run the test with old and new compilers, adding +RTS -h -i0.01
#    (you don't need to compile anything for profiling or enable profiling
#    libraries to get a heap profile).
#  * view the heap profiles, read off the maximum residency.  If it has
#    really changed, then you know there's an issue.

Simon Marlow's avatar
Simon Marlow committed
27
test('T1969',
Simon Marlow's avatar
Simon Marlow committed
28
     [compiler_stats_num_field('peak_megabytes_allocated', # Note [residency]
29
          [(wordsize(32), 17, 15),
30 31 32 33 34
             # 2010-05-17 14 (x86/Windows)
             #            15 (x86/OS X)
             #            19 (x86/OS X)
             # 2013-02-10 13 (x86/Windows)
             # 2013-02-10 14 (x86/OSX)
35
             # 2013-11-13 17 (x86/Windows, 64bit machine)
36
           (wordsize(64), 30, 15)]),
37 38 39 40
             #            28 (amd64/Linux)
             #            34 (amd64/Linux)
             # 2012-09-20 23 (amd64/Linux)
             # 2012-10-03 25 (amd64/Linux if .hi exists)
41
             # 2013-02-13 23, but unstable so increased to 10% range
Simon Peyton Jones's avatar
Simon Peyton Jones committed
42
             # 2013-02-13 27, very unstable!
Austin Seipp's avatar
Austin Seipp committed
43
             # 2013-09-11 30 (amd64/Linux)
44
      compiler_stats_num_field('max_bytes_used',
45
          [(platform('i386-unknown-mingw32'), 5719436, 20),
46 47
                                 # 2010-05-17 5717704 (x86/Windows)
                                 # 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 53
             #            6707308 (x86/OS X)
             # 2009-12-31 6149572 (x86/Linux)
Austin Seipp's avatar
Austin Seipp committed
54
             # 2014-01-22 6429864 (x86/Linux)
55
             # 2014-06-29 5949188 (x86/Linux)
56
           (wordsize(64), 11000000, 20)]),
Austin Seipp's avatar
Austin Seipp committed
57
               # looks like the peak is around ~10M, but we're
58 59 60
               # unlikely to GC exactly on the peak.
               # varies quite a lot with CLEANUP and BINDIST,
               # hence 10% range.
Simon Marlow's avatar
Simon Marlow committed
61
               # See Note [residency] to get an accurate view.
62
      compiler_stats_num_field('bytes allocated',
63
          [(platform('i386-unknown-mingw32'), 301784492, 5),
64 65
                                 #            215582916 (x86/Windows)
                                 # 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 71 72 73
             #            221667908 (x86/OS X)
             #            274932264 (x86/Linux)
             # 2012-10-08 303930948 (x86/Linux, new codegen)
             # 2013-02-10 322937684 (x86/OSX)
Austin Seipp's avatar
Austin Seipp committed
74
             # 2014-01-22 316103268 (x86/Linux)
75
             # 2014-06-29 303300692 (x86/Linux)
76
           (wordsize(64), 660922376, 5)]),
77 78 79 80 81 82 83
             # 17/11/2009 434845560 (amd64/Linux)
             # 08/12/2009 459776680 (amd64/Linux)
             # 17/05/2010 519377728 (amd64/Linux)
             # 05/08/2011 561382568 (amd64/OS X)
             # 16/07/2012 589168872 (amd64/Linux)
             # 20/07/2012 595936240 (amd64/Linux)
             # 23/08/2012 606230880 (amd64/Linux)
84
             # 29/08/2012 633334184 (amd64/Linux) new codegen
85
             # 18/09/2012 641959976 (amd64/Linux)
86 87 88 89 90 91
             # 19/10/2012 661832592 (amd64/Linux) -fPIC turned on
             # 23/10/2012 642594312 (amd64/Linux) -fPIC turned off again
             # 12/11/2012 658786936 (amd64/Linux) UNKNOWN REASON
             # 17/1/13:   667160192 (x86_64/Linux) new demand analyser
             # 18/10/2013 698612512 (x86_64/Linux) fix for #8456
             # 10/02/2014 660922376 (x86_64/Linux) call artiy analysis
92
      only_ways(['normal']),
93

94
      extra_hc_opts('-dcore-lint -static')
95 96
          # Leave -dcore-lint on for this one test, so that we have something
          # that will catch a regression in -dcore-lint performance.
Simon Marlow's avatar
Simon Marlow committed
97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113
      ],
     compile,
     [''])

# This one tests for the space leak in the native code generator,
# where it holds onto the entire asm output until the end.  The space
# leak reappears from time to time, so it's a good idea to have a test
# for it.  The residency of this test will jump by 10MB to 40MB or so
# on x86-64 if the space leak appears.

# Only run this one if we have an NCG:
if 'optasm' in config.compile_ways:
   conf_3294 = only_ways(['normal'])
else:
   conf_3294 = skip

test('T3294',
114
     [
Simon Marlow's avatar
Simon Marlow committed
115
      compiler_stats_num_field('max_bytes_used', # Note [residency]
116
          [(wordsize(32), 19882188, 15),
117 118 119 120
             #            17725476 (x86/OS X)
             #            14593500 (Windows)
             # 2013-02-10 20651576 (x86/Windows)
             # 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), 43224080, 15)]),
124 125 126 127 128 129 130 131 132 133
             # prev:           25753192 (amd64/Linux)
             # 29/08/2012:     37724352 (amd64/Linux)
             #  (increase due to new codegen, see #7198)
             # 13/13/2012:     44894544 (amd64/Linux)
             #  (reason for increase unknown)
             # 15/5/2013:      36904752  (amd64/Linux)
             #  (reason for decrease unknown)
             # 29/5/2013:      43224080  (amd64/Linux)
             #  (reason for increase back to earlier value unknown)

134
      compiler_stats_num_field('bytes allocated',
135
          [(wordsize(32), 1377050640, 5),
136 137 138
           # previous:     815479800  (x86/Linux)
           # (^ increase due to new codegen, see #7198)
           # 2012-10-08:  1373514844 (x86/Linux)
Austin Seipp's avatar
Austin Seipp committed
139 140
           # 2013-11-13: 1478325844  (x86/Windows, 64bit machine)
           # 2014-01-12: 1565185140  (x86/Linux)
141
           # 2013-04-04: 1377050640  (x86/Windows, 64bit machine)
142
           (wordsize(64), 2705289664, 5)]),
143 144 145 146
            # old:        1357587088 (amd64/Linux)
            # 29/08/2012: 2961778696 (amd64/Linux)
            # (^ increase due to new codegen, see #7198)
            # 18/09/2012: 2717327208 (amd64/Linux)
147 148 149
            # 08/06/2013: 2901451552 (amd64/Linux) (reason unknown)
            # 12/12/2013: 3083825616 (amd64/Linux) (reason unknown)
            # 18/02/2014: 2897630040 (amd64/Linux) (call arity improvements)
150
            # 12/03/2014: 2705289664 (amd64/Linux) (more call arity improvements)
Simon Marlow's avatar
Simon Marlow committed
151 152 153 154
      conf_3294
      ],
     compile,
     [''])
Ian Lynagh's avatar
Ian Lynagh committed
155

Simon Peyton Jones's avatar
Simon Peyton Jones committed
156
test('T4801',
157 158
     [ # expect_broken(5224),
       # temporarily unbroken (#5227)
Simon Marlow's avatar
Simon Marlow committed
159
      compiler_stats_num_field('peak_megabytes_allocated',# Note [residency]
Austin Seipp's avatar
Austin Seipp committed
160
          [(platform('x86_64-apple-darwin'), 70, 1),
161
                           # expected value: 58 (amd64/OS X)
Austin Seipp's avatar
Austin Seipp committed
162
                           # 13/01/2014 - 70
163
           (wordsize(32), 30, 20),
164
           (wordsize(64), 60, 20)]),
165 166
            # prev:       50 (amd64/Linux)
            # 19/10/2012: 64 (amd64/Linux)
167
            #                (^ REASON UNKNOWN!)
168
            # 12/11/2012: 49 (amd64/Linux)
169
            #                (^ REASON UNKNOWN!)
170 171
            # 28/8/13:    60 (amd64/Linux)
            #                (^ REASON UNKNOWN!)
Simon Marlow's avatar
Simon Marlow committed
172

173
      compiler_stats_num_field('bytes allocated',
Austin Seipp's avatar
Austin Seipp committed
174
          [(platform('x86_64-apple-darwin'), 464872776, 5),
175
                           # expected value: 510938976 (amd64/OS X):
Simon Marlow's avatar
Simon Marlow committed
176

Austin Seipp's avatar
Austin Seipp committed
177 178 179
           (wordsize(32), 211198056, 10),
           # prev:        185669232 (x86/OSX)
           # 2014-01-22:  211198056 (x86/Linux)
180 181 182 183
           (wordsize(64), 392409984, 10)]),
            # prev:       360243576 (amd64/Linux)
            # 19/10/2012: 447190832 (amd64/Linux) (-fPIC turned on)
            # 19/10/2012: 392409984 (amd64/Linux) (-fPIC turned off)
Simon Marlow's avatar
Simon Marlow committed
184

185
      compiler_stats_num_field('max_bytes_used',
Austin Seipp's avatar
Austin Seipp committed
186
          [(platform('x86_64-apple-darwin'), 25145320, 5),
187 188 189 190 191 192 193
           (wordsize(32), 11829000, 15),
             #              9651948 (x86/OSX)
             #              10290952 (windows)
             # 2013-02-10   11071060 (x86/Windows)
             # 2013-02-10:  11207828 (x86/OSX)
             # (some date): 11139444
             # 2013-11-13:  11829000 (x86/Windows, 64bit machine)
194
           (wordsize(64), 25002136, 10)]),
195 196
                # prev:       20486256 (amd64/OS X)
                # 30/08/2012: 17305600--20391920 (varies a lot)
197 198
                # 19/10/2012: 26882576 (-fPIC turned on)
                # 19/10/2012: 18619912 (-fPIC turned off)
199
                # 24/12/2012: 21657520 (perhaps gc sampling time wibbles?)
200
                # 10/01/2014: 25166280 
201
                # 13/01/2014: 22646000 (mostly due to #8647)
202
                # 18/02/2014: 25002136 (call arity analysis changes)
203 204
       only_ways(['normal']),
       extra_hc_opts('-static')
Simon Peyton Jones's avatar
Simon Peyton Jones committed
205 206 207 208
      ],
     compile,
     [''])

Ian Lynagh's avatar
Ian Lynagh committed
209
test('T3064',
210
     [# expect_broken( 3064 ),
Simon Marlow's avatar
Simon Marlow committed
211
      compiler_stats_num_field('peak_megabytes_allocated',# Note [residency]
Austin Seipp's avatar
Austin Seipp committed
212
          [(wordsize(32), 23, 20),
213 214
            # expected value: 14 (x86/Linux 28-06-2012):
            # 2013-11-13:     18 (x86/Windows, 64bit machine)
Austin Seipp's avatar
Austin Seipp committed
215
            # 2014-01-22:     23 (x86/Linux)
Simon Marlow's avatar
Simon Marlow committed
216
           (wordsize(64), 42, 20)]),
217 218
            # (amd64/Linux):            18
            # (amd64/Linux) 2012-02-07: 26
219
            # (amd64/Linux) 2013-02-12: 23; increased range to 10%
220
            # (amd64/Linux) 2013-04-03: 26
Austin Seipp's avatar
Austin Seipp committed
221
            # (amd64/Linux) 2013-09-11: 30; result of AMP patch
222
            # Increased range to 20%.  peak-usage varies from 22 to 26,
223
            #  depending on whether the old .hi file exists
224
            # (amd64/Linux) 2013-09-11: 37; better arity analysis (weird)
225

226
      compiler_stats_num_field('bytes allocated',
Austin Seipp's avatar
Austin Seipp committed
227
          [(wordsize(32), 162457940, 10),
228
            # 2011-06-28: 56380288  (x86/Linux)
Austin Seipp's avatar
Austin Seipp committed
229
            # 2012-10-30: 111189536 (x86/Windows)
230
            # 2013-11-13: 146626504 (x86/Windows, 64bit machine)
Austin Seipp's avatar
Austin Seipp committed
231
            # 2014-01-22: 162457940 (x86/Linux)
232
           (wordsize(64), 324022680, 5)]),
233 234
            # (amd64/Linux) (28/06/2011):  73259544
            # (amd64/Linux) (07/02/2013): 224798696
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
235
            # (amd64/Linux) (02/08/2013): 236404384, increase from roles
Austin Seipp's avatar
Austin Seipp committed
236
            # (amd64/Linux) (11/09/2013): 290165632, increase from AMP warnings
237
            # (amd64/Linux) (22/11/2013): 308300448, GND via Coercible and counters for constraints solving
238 239
	        # (amd64/Linux) (02/12/2013): 329795912, Coercible refactor
            # (amd64/Linux) (11/02/2014): 308422280, optimize Coercions in simpleOptExpr
240
            # (amd64/Linux) (23/05/2014): 324022680, unknown cause
241

242
      compiler_stats_num_field('max_bytes_used',
243 244 245 246 247
          [(wordsize(32), 11202304, 20),
            # 2011-06-28:  2247016 (x86/Linux) (28/6/2011):
            #(some date):  5511604
            # 2013-11-13:  7218200 (x86/Windows, 64bit machine)
            # 2014-04-04: 11202304 (x86/Windows, 64bit machine)
248
           (wordsize(64), 19821544, 20)]),
249 250
            # (amd64/Linux, intree) (28/06/2011):  4032024
            # (amd64/Linux, intree) (07/02/2013):  9819288
Simon Marlow's avatar
Simon Marlow committed
251
            # (amd64/Linux)         (14/02/2013):  8687360
252
            # (amd64/Linux)         (18/02/2013):  9397488
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
253
            # (amd64/Linux)         (02/08/2013): 10742536, increase from roles
Simon Peyton Jones's avatar
Simon Peyton Jones committed
254
            # (amd64/Linux)         (19/08/2013): 9211816,  decrease apparently from better eta reduction
Austin Seipp's avatar
Austin Seipp committed
255
            # (amd64/Linux)         (11/09/2013): 12000480, increase from AMP warnings
Simon Peyton Jones's avatar
Simon Peyton Jones committed
256
            #                                     933cdf15a2d85229d3df04b437da31fdfbf4961f
257
            # (amd64/Linux)         (22/11/2013): 16266992, GND via Coercible and counters for constraints solving
258
            # (amd64/Linux)         (12/12/2013): 19821544, better One shot analysis
Ian Lynagh's avatar
Ian Lynagh committed
259 260 261 262 263
       only_ways(['normal'])
      ],
     compile,
     [''])

Ian Lynagh's avatar
Ian Lynagh committed
264 265 266 267 268
test('T4007',
     normal,
     run_command,
     ['$MAKE -s --no-print-directory T4007'])

269
test('T5030',
270
     [compiler_stats_num_field('bytes allocated',
271
          [(wordsize(32), 198573456, 10),
272 273
           # previous:    196457520
           # 2012-10-08:  259547660 (x86/Linux, new codegen)
274
           # 2013-11-21:  198573456 (x86 Windows, 64 bit machine)
275
           (wordsize(64), 397672152, 10)]),
276 277 278
             # Previously 530000000 (+/- 10%)
             # 17/1/13:   602993184  (x86_64/Linux)
             #            (new demand analyser)
279 280
             # 2013-06-08 538467496  (x86_64/Linux)
             # ^ reason unknown
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
281 282
             # 2013-08-02 454498592  (amd64/Linux)
             # decrease from more aggressive coercion optimisations from roles
283 284
             # 2013-11-12 397672152  (amd64/Linux)
             # big decrease following better CSE and arity
285

286 287 288 289 290
       only_ways(['normal'])
      ],
     compile,
     ['-fcontext-stack=300'])

Simon Peyton Jones's avatar
Simon Peyton Jones committed
291
test('T5631',
292
     [compiler_stats_num_field('bytes allocated',
293
          [(wordsize(32), 346389856, 10),
294
        # expected value: 392904228 (x86/Linux)
295
        # 2014-04-04:     346389856 (x86 Windows, 64 bit machine)
296
           (wordsize(64), 690742040, 5)]),
297
        # expected value: 774595008 (amd64/Linux):
298
        # expected value: 735486328 (amd64/Linux) 2012/12/12:
299
        # expected value: 690742040 (amd64/Linux) Call Arity improvements
Simon Peyton Jones's avatar
Simon Peyton Jones committed
300 301 302 303 304
       only_ways(['normal'])
      ],
     compile,
     [''])

305
test('parsing001',
306 307 308 309
     [compiler_stats_num_field('bytes allocated',
          [(wordsize(32), 274000576, 10),
           (wordsize(64), 587079016, 5)]),
        # expected value: 587079016 (amd64/Linux)
310 311 312 313 314
       only_ways(['normal']),
      ],
     compile_fail, [''])


315 316 317
test('T783',
     [ only_ways(['normal']),  # no optimisation for this one
      # expected value: 175,569,928 (x86/Linux)
318
      compiler_stats_num_field('bytes allocated',
319
          [(wordsize(32), 319179104, 5),
320
            # 2012-10-08: 226907420 (x86/Linux)
321 322
            # 2013-02-10: 329202116 (x86/Windows)
            # 2013-02-10: 338465200 (x86/OSX)
323
            # 2014-04-04: 319179104 (x86 Windows, 64 bit machine)
324
           (wordsize(64), 654804144, 10)]),
325 326 327 328 329 330
            # prev:       349263216 (amd64/Linux)
            # 07/08/2012: 384479856 (amd64/Linux)
            # 29/08/2012: 436927840 (amd64/Linux)
            # 12/11/2012: 640324528 (amd64/Linux)
            #   (OldCmm removed: not sure why this got worse, the
            #    other perf tests remained about the same)
331 332
            # 18/10/2013: 734038080 (amd64/Linux)
            #   (fix for #8456)
333 334
            # 24/10/2013: 654804144 (amd64/Linux)
            #   (fix previous fix for #8456)
335
      extra_hc_opts('-static')
336 337
      ],
      compile,[''])
338 339 340

test('T5321Fun',
     [ only_ways(['normal']),  # no optimisation for this one
341 342 343 344 345
       compiler_stats_num_field('bytes allocated',
           [(wordsize(32), 344416344, 10),
             # prev:       300000000
             # 2012-10-08: 344416344 x86/Linux
             #  (increase due to new codegen)
Simon Peyton Jones's avatar
Simon Peyton Jones committed
346
            (wordsize(64), 694019152, 10)])
347 348 349
             # prev:       585521080
             # 29/08/2012: 713385808
             #  (increase due to new codegen)
350
             # 15/05/2013: 628341952
351
             #  (reason for decrease unknown)
352
             # 24/06/2013: 694019152
Simon Peyton Jones's avatar
Simon Peyton Jones committed
353
             #  (reason for re-increase unknown)
354 355 356 357 358
      ],
      compile,[''])

test('T5321FD',
     [ only_ways(['normal']),  # no optimisation for this one
359 360 361 362 363
      compiler_stats_num_field('bytes allocated',
          [(wordsize(32), 240302920, 10),
            # prev:       213380256
            # 2012-10-08: 240302920 (x86/Linux)
            #  (increase due to new codegen)
364
           (wordsize(64), 476497048, 10)])
365 366 367
            # prev:       418306336
            # 29/08/2012: 492905640
            #  (increase due to new codegen)
368
            # 15/05/2013: 406039584
369
            #  (reason for decrease unknown)
370
            # 08/06/2013: 476497048
371
            #  (reason for increase unknown)
372 373
      ],
      compile,[''])
Ian Lynagh's avatar
Ian Lynagh committed
374 375 376

test('T5642',
     [ only_ways(['normal']),
377 378 379 380
       compiler_stats_num_field('bytes allocated',
           [(wordsize(32), 650000000, 10),
                     # sample from x86/Linux
            (wordsize(64), 1300000000, 10)])
Ian Lynagh's avatar
Ian Lynagh committed
381 382
      ],
      compile,['-O'])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
383 384 385

test('T5837',
     [ only_ways(['normal']),
386
      compiler_stats_num_field('bytes allocated',
387 388 389
          [(wordsize(32), 45520936 , 10),
             # 40000000 (x86/Linux)
             # 2013-11-13: 45520936 (x86/Windows, 64bit machine)
390
           (wordsize(64), 86795752, 10)])
391
             # sample: 3926235424 (amd64/Linux, 15/2/2012)
392 393
             # 2012-10-02 81879216
             # 2012-09-20 87254264 amd64/Linux
394
             # 2013-09-18 90587232 amd64/Linux
395 396
	     # 2013-11-21 86795752 amd64/Linux, GND via Coercible and counters
	     #                                  for constraints solving
Simon Peyton Jones's avatar
Simon Peyton Jones committed
397
      ],
398
      compile_fail,['-ftype-function-depth=50'])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
399 400 401

test('T6048',
     [ only_ways(['optasm']),
402
      compiler_stats_num_field('bytes allocated',
403
          [(wordsize(32), 62618072, 10),
404 405
            # prev:       38000000 (x86/Linux)
            # 2012-10-08: 48887164 (x86/Linux)
406
            # 2014-04-04: 62618072 (x86 Windows, 64 bit machine)
Joachim Breitner's avatar
Joachim Breitner committed
407
           (wordsize(64), 110646312, 10)])
408
             # 18/09/2012 97247032 amd64/Linux
409 410
             # 16/01/2014 108578664 amd64/Linux (unknown, likely foldl-via-foldr)
             # 18/01/2014 95960720 amd64/Linux Call Arity improvements
Austin Seipp's avatar
Austin Seipp committed
411
             # 28/02/2014 105556793 amd64/Linux (unknown, tweak in base/4d9e7c9e3 resulted in change)
Joachim Breitner's avatar
Joachim Breitner committed
412
             # 05/03/2014 110646312 amd64/Linux Call Arity became more elaborate
Simon Peyton Jones's avatar
Simon Peyton Jones committed
413 414
      ],
      compile,[''])
415 416 417 418

test('T9020',
     [ only_ways(['optasm']),
      compiler_stats_num_field('bytes allocated',
419
          [(wordsize(32), 381360728, 10),
420 421 422
           (wordsize(64), 795469104, 10)])
      ],
      compile,[''])