Push coercions in exprIsConApp_maybe
[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',
23      extra_clean(['Simpl020_A.hi', 'Simpl020_A.o']),
24      multimod_compile,
25      ['simpl020', '-v0'])
26
27 test('simpl-T1370', normal, compile, [''])
28 test('T2520', normal, compile, [''])
29
30
31 test('spec001', when(fast(), skip), compile, [''])
32 test('spec002', normal, compile, [''])
33 test('spec003', normal, compile, [''])
34
35 test('rule1', normal, compile, [''])
36 test('rule2', only_ways(['optasm']), compile, ['-dsuppress-uniques'])
37 test('T7162', normal, compile, [''])
38
39 test('dfun-loop', normal, compile, [''])
40 test('strict-float', normal, compile, [''])
41 test('T3118', normal, compile, [''])
42 test('T4203', normal, compile, [''])
43
44 # With -prof -fvia-C, this test makes gcc go out to lunch, and the
45 # testsuite driver times out.
46 test('T3016', when(fast(), skip), compile, [''])
47
48 test('T1647', normal, compile, ['-fdicts-strict -dcore-lint'])
49
50 test('T3234',
51      only_ways(['optasm']),
52      compile,
53      ['-ddump-simpl-stats -dsuppress-uniques'])
54
55 test('T3717', only_ways(['optasm']),
56               compile,
57               ['-ddump-simpl -dsuppress-uniques'])
58
59 test('spec-inline', only_ways(['optasm']),
60                     compile,
61                     ['-O2 -ddump-simpl -dsuppress-uniques'])
62 test('T4908', only_ways(['optasm']),
63               compile,
64               ['-O2 -ddump-simpl -dsuppress-uniques'])
65
66 test('T4930', only_ways(['optasm']),
67               compile,
68               ['-O -ddump-simpl -dsuppress-uniques'])
69
70 test('T3055',
71      extra_clean(['T3055.hi', 'T3055.o', 'T3055.simpl']),
72      run_command,
73      ['$MAKE -s --no-print-directory T3055'])
74
75 test('T4306',
76      normal,
77      run_command,
78      ['$MAKE -s --no-print-directory T4306'])
79
80 test('T4201',
81      normal,
82      run_command,
83      ['$MAKE -s --no-print-directory T4201'])
84
85 test('T3772',
86 #      only_ways(['optasm']),
87      extra_clean(['T3772_A.hi', 'T3772_A.o']),
88      run_command, ['$MAKE -s --no-print-directory T3772'])
89
90 test('EvalTest',
91      normal,
92      run_command,
93      ['$MAKE -s --no-print-directory EvalTest'])
94
95 test('T3831', normal, compile, [''])
96 test('T4345', normal, compile, [''])
97 test('T4398', normal, compile, ['-dsuppress-uniques'])
98
99 test('T4903',
100      extra_clean(['T4903a.hi', 'T4903a.o']),
101      run_command,
102      ['$MAKE -s --no-print-directory T4903'])
103
104 test('T4918',
105      extra_clean(['T4918a.hi', 'T4918a.o']),
106      run_command,
107      ['$MAKE -s --no-print-directory T4918'])
108
109 # This test flips too and fro about whether it passes
110 # I'm not sure why it is so delicate, but it greps the
111 # result of -ddump-simpl, which is never advertised to
112 # be very stable
113 test('T4945',
114      expect_broken(4945),
115      run_command,
116      ['$MAKE -s --no-print-directory T4945'])
117
118 test('T4957',
119      normal,
120      run_command,
121      ['$MAKE -s --no-print-directory T4957'])
122
123 test('T5168',
124      normal,
125      run_command,
126      ['$MAKE -s --no-print-directory T5168'])
127
128 test('T5329', normal, compile, [''])
129 test('T5303', reqlib('mtl'), compile, [''])   # Coercion-optimiation test
130 test('T5342', normal, compile, [''])   # Lint error with -prof
131 test('T5359a', normal, compile, [''])  # Lint error with -O (OccurAnal)
132 test('T5359b', normal, compile, [''])  # Lint error with -O (OccurAnal)
133 test('T5458', normal, compile, [''])
134 test('simpl021',
135      extra_clean(['Simpl021A.hi', 'Simpl021A.o',
136                   'Simpl021B.hi', 'Simpl021B.o']),
137      run_command,
138      ['$MAKE -s --no-print-directory simpl021'])
139 test('T5327', normal, run_command, ['$MAKE -s --no-print-directory T5327'])
140 test('T5615', normal, run_command, ['$MAKE -s --no-print-directory T5615'])
141 test('T5623', normal, run_command, ['$MAKE -s --no-print-directory T5623'])
142 test('T5658b',
143      normal,
144      run_command,
145      ['$MAKE -s --no-print-directory T5658b'])
146 test('T5776',
147      normal,
148      run_command,
149      ['$MAKE -s --no-print-directory T5776'])
150 test('T4138',
151      extra_clean(['T4138_A.hi', 'T4138_A.o', 'T4138.simpl']),
152      run_command,
153      ['$MAKE -s --no-print-directory T4138'])
154 test('T7088', normal, compile, [''])
155 test('T6082-RULE', normal, compile, [''])
156 test('T7165',
157      extra_clean(['T7165a.hi', 'T7165a.o']),
158      run_command,
159      ['$MAKE -s --no-print-directory T7165'])
160 test('T7287', normal, compile, [''])
161 test('T7360', only_ways(['optasm']), compile, ['-ddump-simpl -dsuppress-uniques'])
162 test('T5366',
163      normal,
164      run_command,
165      ['$MAKE -s --no-print-directory T5366'])
166 test('T7796',
167      extra_clean(['T7796.prep']),
168      run_command,
169      ['$MAKE -s --no-print-directory T7796'])
170 test('T5550', omit_ways(prof_ways), compile, [''])
171 test('T7865', normal, run_command, ['$MAKE -s --no-print-directory T7865'])
172 test('T7785', only_ways(['optasm']), compile, ['-ddump-rules'])
173 test('T7702', 
174      [pre_cmd('$MAKE -s --no-print-directory -C T7702plugin package.T7702 TOP={top}'),
175       clean_cmd('$MAKE -s --no-print-directory -C T7702plugin clean.T7702'), 
176       # we say 18mb peak allocated +/- 70% because other compiler flags have 
177       # a large effect on allocation which is hard to separate from the 
178       # allocation done by the plugin... but a regression allocates > 90mb 
179       compiler_stats_num_field('peak_megabytes_allocated',
180           [(wordsize(32), 18, 70), (wordsize(64), 18, 70)]) 
181      ], 
182      compile, 
183      ['-v0 -package-db T7702plugin/pkg.T7702/local.package.conf -fplugin T7702Plugin -package T7702plugin ' + config.plugin_way_flags])
184
185 test('T7995',
186      # RULE doesn't seem to fire unless optimizations are turned on.
187      # This seems reasonable, so I've required it for the test. -- EZY 20130720
188      only_ways(['optasm']),
189      run_command,
190      ['$MAKE -s --no-print-directory T7995'])
191
192 test('T8196', normal, compile, [''])
193 test('T8221b', normal, compile, [''])
194 test('T8221',
195      extra_clean(['T8221a.hi', 'T8221a.o']),
196      run_command,
197      ['$MAKE -s --no-print-directory T8221'])
198 test('T8274', normal, run_command, ['$MAKE -s --no-print-directory T8274'])
199 test('T8329', only_ways(['optasm']), multimod_compile, ['T8329','-v0 -O'])
200 test('T5996',
201      normal,
202      run_command,
203      ['$MAKE -s --no-print-directory T5996'])
204 test('T8537', normal, compile, [''])
205 test('T8832',
206      normal,
207      run_command,
208      ['$MAKE -s --no-print-directory T8832 T8832_WORDSIZE_OPTS=' +
209       ('-DT8832_WORDSIZE_64' if wordsize(64) else '')])
210 test('T8848', only_ways(['optasm']), compile, ['-ddump-rule-firings -dsuppress-uniques'])
211 test('T8848a', only_ways(['optasm']), compile, ['-ddump-rules'])
212 test('T8331', only_ways(['optasm']), compile, ['-ddump-rules'])
213 test('T6056', only_ways(['optasm']), multimod_compile, ['T6056', '-v0 -ddump-rule-firings'])
214 test('T9400', only_ways(['optasm']), compile, ['-O0 -ddump-simpl -dsuppress-uniques'])
215 test('T9583', only_ways(['optasm']), compile, [''])
216 test('T9565', only_ways(['optasm']), compile, [''])
217 test('T5821', only_ways(['optasm']), compile, [''])
218 test('T10176', only_ways(['optasm']), compile, [''])
219 test('T10180', only_ways(['optasm']), compile, [''])
220 test('T10602', only_ways(['optasm']), multimod_compile, ['T10602','-v0'])
221 test('T10627', only_ways(['optasm']), compile, [''])
222 test('T10181', [expect_broken(10181), only_ways(['optasm'])], compile, [''])
223 test('T10083',
224      normal,
225      run_command,
226      ['$MAKE -s --no-print-directory T10083'])
227 test('T10689', normal, compile, [''])
228 test('T11155',
229      normal,
230      run_command,
231      ['$MAKE -s --no-print-directory T11155'])
232 test('T11232', normal, compile, ['-O2'])
233 test('T11562', normal, compile, ['-O2'])
234 test('T11742', normal, compile, ['-O2'])
235 test('T11644', normal, compile, ['-O2'])
236 test('T3990',
237      normal,
238      run_command,
239      ['$MAKE -s --no-print-directory T3990'])
240
241 test('T12076', extra_clean(['T12076a.hi', 'T12076a.o']), multimod_compile, ['T12076', '-v0'])
242 test('T12076lit', normal, compile, ['-O'])
243 test('T12076sat', normal, compile, ['-O'])
244 test('T12212', normal, compile, ['-O'])
245
246 test('noinline01', only_ways(['optasm']), compile, ['-ddump-stg -dsuppress-uniques -O'])
247 test('par01', only_ways(['optasm']), compile, ['-ddump-prep -dsuppress-uniques -O2'])
248 test('T12776', normal, compile, ['-O2'])
249 test('T9509',
250      normal,
251      run_command,
252      ['$MAKE -s --no-print-directory T9509'])
253 test('T12603',
254      normal,
255      run_command,
256      ['$MAKE -s --no-print-directory T12603'])
257 test('T13027', normal, compile, [''])
258 test('T13025',
259      normal,
260      run_command,
261      ['$MAKE -s --no-print-directory T13025'])
262