1 /* PR optimization/11864
2 * Reporter: Kazumoto Kojima <kkojima@gcc.gnu.org>
3 * Summary: [3.3/3.4 regression] miscompiles zero extension and test
4 * Description:
5 * gcc-3.3/3.4 -O2 for sh target may miscompile the combination of zero extension
6 * and test if it's zero.
7 *
8 * Testcase tweaked by dank@kegel.com. Not marked as xfail because it's a regression.
9 */
10 /* { dg-do run } */
11 /* { dg-options "-O2" } */
12
13 extern void abort(void);
14
15 int val = 0xff00;
16
f(void)17 int f(void)
18 {
19 return val;
20 }
21
22 unsigned char a[1];
23
foo(void)24 void foo(void)
25 {
26 a[0] = f() & 255;
27
28 if (!a[0])
29 a[0] = f() & 255;
30
31 if (!a[0])
32 a[0] = 1 + (f() & 127);
33 }
34
main(int argc,char ** argv)35 int main(int argc, char **argv)
36 {
37 foo();
38 if (!a[0])
39 abort();
40
41 return 0;
42 }
43