Remove unreliable Core Lint empty case checks
[ghc.git] / testsuite / tests / simplCore / should_compile / all.T
1 test('simpl001', normal, compile, [''])
2 test('simpl002', normal, compile, [''])
3 test('simpl003', normal, compile, [''])
4 test('simpl004', normal, compile, [''])
5 test('simpl005', normal, compile, [''])
6
7 # Missing:
8 # test('simpl006', normal, compile, [''])
9
10 test('simpl007', normal, compile, [''])
11 # Missing: simpl008
12 test('simpl009', normal, compile, [''])
13 test('simpl010', normal, compile, [''])
14 test('simpl011', normal, compile, [''])
15 test('simpl012', normal, compile, [''])
16 test('simpl013', normal, compile, [''])
17 test('simpl014', normal, compile, [''])
18 test('simpl016', normal, compile, ['-dsuppress-uniques'])
19 test('simpl017', normal, compile_fail, [''])
20 test('simpl018', normal, compile, [''])
21 test('simpl019', normal, compile, [''])
22 test('simpl020', [extra_files(['Simpl020_A.hs'])], multimod_compile, ['simpl020', '-v0'])
23
24 test('simpl-T1370', normal, compile, [''])
25 test('T2520', normal, compile, [''])
26
27 test('spec001', when(fast(), skip), compile, [''])
28 test('spec002', normal, compile, [''])
29 test('spec003', normal, compile, [''])
30
31 test('rule1', normal, compile, [''])
32 test('rule2', only_ways(['optasm']), compile, ['-dsuppress-uniques'])
33 test('T7162', normal, compile, [''])
34
35 test('dfun-loop', normal, compile, [''])
36 test('strict-float', normal, compile, [''])
37 test('T3118', normal, compile, [''])
38 test('T4203', normal, compile, [''])
39
40 # With -prof -fvia-C, this test makes gcc go out to lunch, and the
41 # testsuite driver times out.
42 test('T3016', when(fast(), skip), compile, [''])
43
44 test('T1647', normal, compile, ['-fdicts-strict -dcore-lint'])
45
46 test('T3234',
47      only_ways(['optasm']),
48      compile,
49      ['-ddump-simpl-stats -dsuppress-uniques'])
50
51 test('T3717', only_ways(['optasm']),
52               compile,
53               ['-ddump-simpl -dsuppress-uniques'])
54
55 test('spec-inline', only_ways(['optasm']),
56                     compile,
57                     ['-O2 -ddump-simpl -dsuppress-uniques'])
58 test('T4908', only_ways(['optasm']),
59               compile,
60               ['-O2 -ddump-simpl -dsuppress-uniques'])
61
62 test('T4930', only_ways(['optasm']),
63               compile,
64               ['-O -ddump-simpl -dsuppress-uniques'])
65
66 test('T3055', [], run_command, ['$MAKE -s --no-print-directory T3055'])
67
68 test('T4306',
69      normal,
70      run_command,
71      ['$MAKE -s --no-print-directory T4306'])
72
73 test('T4201',
74      normal,
75      run_command,
76      ['$MAKE -s --no-print-directory T4201'])
77
78 test('T3772',
79 #      only_ways(['optasm']),
80      extra_clean(['T3772_A.hi', 'T3772_A.o']),
81      run_command, ['$MAKE -s --no-print-directory T3772'])
82
83 test('EvalTest',
84      normal,
85      run_command,
86      ['$MAKE -s --no-print-directory EvalTest'])
87
88 test('T3831', normal, compile, [''])
89 test('T4345', normal, compile, [''])
90 test('T4398', normal, compile, ['-dsuppress-uniques'])
91
92 test('T4903', [], run_command, ['$MAKE -s --no-print-directory T4903'])
93
94 test('T4918', [], run_command, ['$MAKE -s --no-print-directory T4918'])
95
96 # This test flips too and fro about whether it passes
97 # I'm not sure why it is so delicate, but it greps the
98 # result of -ddump-simpl, which is never advertised to
99 # be very stable
100 test('T4945',
101      normal,
102      run_command,
103      ['$MAKE -s --no-print-directory T4945'])
104
105 test('T4957',
106      normal,
107      run_command,
108      ['$MAKE -s --no-print-directory T4957'])
109
110 test('T5168',
111      normal,
112      run_command,
113      ['$MAKE -s --no-print-directory T5168'])
114
115 test('T5329', normal, compile, [''])
116 test('T5303', normal, compile, [''])   # Coercion-optimiation test
117 test('T5342', normal, compile, [''])   # Lint error with -prof
118 test('T5359a', normal, compile, [''])  # Lint error with -O (OccurAnal)
119 test('T5359b', normal, compile, [''])  # Lint error with -O (OccurAnal)
120 test('T5458', normal, compile, [''])
121 test('simpl021', [extra_files(['Simpl021A.hs', 'Simpl021B.hs'])], run_command, ['$MAKE -s --no-print-directory simpl021'])
122 test('T5327', normal, run_command, ['$MAKE -s --no-print-directory T5327'])
123 test('T5615', normal, run_command, ['$MAKE -s --no-print-directory T5615'])
124 test('T5623', normal, run_command, ['$MAKE -s --no-print-directory T5623'])
125 test('T13155', normal, run_command, ['$MAKE -s --no-print-directory T13155'])
126 test('T5658b',
127      normal,
128      run_command,
129      ['$MAKE -s --no-print-directory T5658b'])
130 test('T5776',
131      normal,
132      run_command,
133      ['$MAKE -s --no-print-directory T5776'])
134 test('T4138', [], run_command, ['$MAKE -s --no-print-directory T4138'])
135 test('T7088', normal, compile, [''])
136 test('T6082-RULE', normal, compile, [''])
137 test('T7165', [], run_command, ['$MAKE -s --no-print-directory T7165'])
138 test('T7287', normal, compile, [''])
139 test('T7360', only_ways(['optasm']), compile, ['-ddump-simpl -dsuppress-uniques'])
140 test('T5366',
141      normal,
142      run_command,
143      ['$MAKE -s --no-print-directory T5366'])
144 test('T7796', [], run_command, ['$MAKE -s --no-print-directory T7796'])
145 test('T5550', omit_ways(prof_ways), compile, [''])
146 test('T7865', normal, run_command, ['$MAKE -s --no-print-directory T7865'])
147 test('T7785', only_ways(['optasm']), compile, ['-ddump-rules'])
148 test('T7702',
149      [extra_files(['T7702plugin']),
150       pre_cmd('$MAKE -s --no-print-directory -C T7702plugin package.T7702 TOP={top}'),
151       clean_cmd('$MAKE -s --no-print-directory -C T7702plugin clean.T7702'),
152       # we say 18mb peak allocated +/- 70% because other compiler flags have
153       # a large effect on allocation which is hard to separate from the
154       # allocation done by the plugin... but a regression allocates > 90mb
155       compiler_stats_num_field('peak_megabytes_allocated',
156           [(wordsize(32), 18, 70), (wordsize(64), 18, 70)])
157      ],
158      compile,
159      ['-v0 -package-db T7702plugin/pkg.T7702/local.package.conf -fplugin T7702Plugin -package T7702plugin ' + config.plugin_way_flags])
160
161 test('T7944', normal, compile, ['-O2'])
162 test('T7995',
163      # RULE doesn't seem to fire unless optimizations are turned on.
164      # This seems reasonable, so I've required it for the test. -- EZY 20130720
165      only_ways(['optasm']),
166      run_command,
167      ['$MAKE -s --no-print-directory T7995'])
168
169 test('T8196', normal, compile, [''])
170 test('T8221b', normal, compile, [''])
171 test('T8221', [], run_command, ['$MAKE -s --no-print-directory T8221'])
172 test('T8274', normal, run_command, ['$MAKE -s --no-print-directory T8274'])
173 test('T8329', only_ways(['optasm']), multimod_compile, ['T8329','-v0 -O'])
174 test('T5996',
175      normal,
176      run_command,
177      ['$MAKE -s --no-print-directory T5996'])
178 test('T8537', normal, compile, [''])
179 test('T8832',
180      normal,
181      run_command,
182      ['$MAKE -s --no-print-directory T8832 T8832_WORDSIZE_OPTS=' +
183       ('-DT8832_WORDSIZE_64' if wordsize(64) else '')])
184 test('T8848', normal,
185      run_command,
186      ['$MAKE -s --no-print-directory T8848'])
187 test('T8848a', only_ways(['optasm']), compile, ['-ddump-rules'])
188 test('T8331', only_ways(['optasm']), compile, ['-ddump-rules'])
189 test('T6056', only_ways(['optasm']), multimod_compile, ['T6056', '-v0 -ddump-rule-firings'])
190 test('T9400', only_ways(['optasm']), compile, ['-O0 -ddump-simpl -dsuppress-uniques'])
191 test('T9583', only_ways(['optasm']), compile, [''])
192 test('T9565', only_ways(['optasm']), compile, [''])
193 test('T5821', only_ways(['optasm']), compile, [''])
194 test('T10176', only_ways(['optasm']), compile, [''])
195 test('T10180', only_ways(['optasm']), compile, [''])
196 test('T10602', only_ways(['optasm']), multimod_compile, ['T10602','-v0'])
197 test('T10627', only_ways(['optasm']), compile, [''])
198 test('T10181', [only_ways(['optasm'])], compile, [''])
199 test('T10083',
200      normal,
201      run_command,
202      ['$MAKE -s --no-print-directory T10083'])
203 test('T10689', normal, compile, [''])
204 test('T11155',
205      normal,
206      run_command,
207      ['$MAKE -s --no-print-directory T11155'])
208 test('T11232', normal, compile, ['-O2'])
209 test('T11562', normal, compile, ['-O2'])
210 test('T11742', normal, compile, ['-O2'])
211 test('T11644', normal, compile, ['-O2'])
212 test('T3990',
213      normal,
214      run_command,
215      ['$MAKE -s --no-print-directory T3990'])
216
217 test('T12076', [], multimod_compile, ['T12076', '-v0'])
218 test('T12076lit', normal, compile, ['-O'])
219 test('T12076sat', normal, compile, ['-O'])
220 test('T12212', normal, compile, ['-O'])
221
222 test('noinline01', only_ways(['optasm']), compile, ['-ddump-stg -dsuppress-uniques -O'])
223 test('par01', only_ways(['optasm']), compile, ['-ddump-prep -dsuppress-uniques -O2'])
224 test('T12776', normal, compile, ['-O2'])
225 test('T9509',
226      normal,
227      run_command,
228      ['$MAKE -s --no-print-directory T9509'])
229 test('T12603',
230      normal,
231      run_command,
232      ['$MAKE -s --no-print-directory T12603'])
233 test('T12877', normal, run_command, ['$MAKE -s --no-print-directory T12877'])
234 test('T13027', normal, compile, [''])
235 test('T13025',
236      normal,
237      run_command,
238      ['$MAKE -s --no-print-directory T13025'])
239 test('T13143', only_ways(['optasm']), compile, ['-O -ddump-simpl -dsuppress-uniques'])
240 test('T13156', normal, run_command, ['$MAKE -s --no-print-directory T13156'])
241 test('T11444', normal, compile, [''])
242 test('str-rules',
243      normal,
244      run_command,
245      ['$MAKE -s --no-print-directory str-rules'])
246 test('T13170', only_ways(['optasm']), compile, ['-dcore-lint'])
247 test('T13317',
248      normal,
249      run_command,
250      ['$MAKE -s --no-print-directory T13317'])
251 test('T13340', normal, run_command, ['$MAKE -s --no-print-directory T13340'])
252 test('T13338', only_ways(['optasm']), compile, ['-dcore-lint'])
253 test('T13367', normal, run_command, ['$MAKE -s --no-print-directory T13367'])
254 test('T13417', normal, compile, ['-O'])
255 test('T13413', normal, compile, [''])
256 test('T13410', normal, compile, ['-O2'])
257 test('T13468',
258      normal,
259      run_command,
260      ['$MAKE -s --no-print-directory T13468'])
261 test('T13543', normal, compile, ['-ddump-str-signatures'])
262 test('T11272',
263      normal,
264      run_command,
265      ['$MAKE -s --no-print-directory T11272'])
266 test('T12600',
267      normal,
268      run_command,
269      ['$MAKE -s --no-print-directory T12600'])
270 test('T13658', normal, compile, ['-dcore-lint'])
271 test('T13708', normal, compile, [''])
272
273 # thunk should inline here, so check whether or not it appears in the Core
274 test('T14137', [ check_errmsg(r'thunk') ], compile, ['-dsuppress-uniques -ddump-simpl'])
275 # bar and foo should CSEd here, so check for that in the Core
276 test('T14186', [ only_ways(['optasm']), check_errmsg(r'bar = foo') ], compile, ['-ddump-simpl'])
277
278 test('T14140',
279      normal,
280      run_command,
281      ['$MAKE -s --no-print-directory T14140'])
282
283 test('T14272', normal, compile, [''])
284 test('T14270a', normal, compile, [''])
285 test('T14152', [ only_ways(['optasm']), check_errmsg(r'dead code') ], compile, ['-ddump-simpl'])
286 test('T14152a', [ only_ways(['optasm']), check_errmsg(r'dead code') ], compile, ['-fno-exitification -ddump-simpl'])
287 test('T13990', normal, compile, ['-dcore-lint -O'])