1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
|
# Test for #1227, #1418
test('heapprof002',
[ pre_cmd('cp heapprof001.hs heapprof002.hs')
, extra_clean(['heapprof002.hs'])
, extra_ways(['normal_h'])
, extra_run_opts('7')
],
compile_and_run, [''])
test('T11489', [req_profiling, extra_clean(['T11489.prof', 'T11489.hp'])],
run_command, ['$MAKE -s --no-print-directory T11489'])
# Below this line, run tests only with profiling ways.
setTestOpts(req_profiling)
setTestOpts(extra_ways(['prof']))
setTestOpts(only_ways(prof_ways))
setTestOpts(keep_prof_callstacks)
extra_prof_ways = ['prof', 'prof_hc_hb', 'prof_hb', 'prof_hd', 'prof_hy', 'prof_hr']
expect_broken_for_10037 = expect_broken_for(
10037,
[w for w in prof_ways if w not in opt_ways]) # e.g. prof and profllvm
test('heapprof001',
[when(have_profiling(), extra_ways(extra_prof_ways)), extra_run_opts('7')],
compile_and_run, [''])
test('T2592',
[only_ways(['profasm']), extra_run_opts('+RTS -M1m -RTS'), exit_code(251)],
compile_and_run, [''])
test('T3001', [only_ways(['prof_hb']), extra_ways(['prof_hb'])],
compile_and_run, [''])
test('T3001-2', [only_ways(['prof_hb']), extra_ways(['prof_hb'])],
compile_and_run, ['-package bytestring'])
# As with ioprof001, the unoptimised profile is different but
# not badly wrong (CAF attribution is different).
test('scc001', [expect_broken_for_10037], compile_and_run,
['-fno-state-hack -fno-full-laziness']) # Note [consistent stacks]
test('scc002', [], compile_and_run, [''])
test('scc003', [], compile_and_run,
['-fno-state-hack']) # Note [consistent stacks]
test('T5654', [expect_broken(5654)], compile_and_run, [''])
test('T5654b-O0', [only_ways(['prof'])], compile_and_run, [''])
test('T5654b-O1', [only_ways(['profasm'])], compile_and_run, [''])
test('scc005', [], compile_and_run, [''])
test('T5314', [extra_ways(extra_prof_ways)], compile_and_run, [''])
test('T680', [], compile_and_run,
['-fno-full-laziness']) # Note [consistent stacks]
test('T2552', [expect_broken_for_10037], compile_and_run, [''])
test('T949', [extra_ways(extra_prof_ways)], compile_and_run, [''])
# The results for 'prof' are fine, but the ordering changes.
# We care more about getting the optimised results right, so ignoring
# this for now.
test('ioprof', [expect_broken_for_10037, exit_code(1)], compile_and_run,
['-fno-full-laziness -fno-state-hack']) # Note [consistent stacks]
# These two examples are from the User's Guide:
test('prof-doc-fib', [], compile_and_run, [''])
test('prof-doc-last', [], compile_and_run, ['-fno-full-laziness'])
# unicode in cost centre names
test('T5559', [], compile_and_run, [''])
# Note [consistent stacks]
# Certain optimisations can change the stacks we get out of the
# profiler. These flags are necessary (but perhaps not sufficient)
# to get consistent stacks:
#
# -fno-state-hack
# -fno-full-laziness
test('callstack001', [expect_broken_for_10037],
# unoptimised results are different w.r.t. CAF attribution
compile_and_run, ['-fprof-auto-calls -fno-full-laziness -fno-state-hack'])
test('callstack002', [], compile_and_run,
['-fprof-auto-calls -fno-full-laziness -fno-state-hack'])
# Should not stack overflow with -prof -fprof-auto
test('T5363', [], compile_and_run, [''])
test('profinline001', [], compile_and_run, [''])
test('T11627a', [extra_ways(extra_prof_ways)], compile_and_run, [''])
test('T11627b', [ extra_run_opts('+RTS -i0 -RTS') # census after each GC
, extra_ways(extra_prof_ways)
]
, compile_and_run
, [''])
test('T11978a',
[only_ways(['profthreaded']), extra_run_opts('+RTS -hb -N10')],
compile_and_run, [''])
|
