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
|
/* PR tree-optimization/63641 */
__attribute__ ((noinline, noclone)) int
foo (unsigned char b)
{
if (0x0 <= b && b <= 0x8)
goto lab;
if (b == 0x0b)
goto lab;
if (0x0e <= b && b <= 0x1a)
goto lab;
if (0x1c <= b && b <= 0x1f)
goto lab;
return 0;
lab:
return 1;
}
__attribute__ ((noinline, noclone)) int
bar (unsigned char b)
{
if (0x0 <= b && b <= 0x8)
goto lab;
if (b == 0x0b)
goto lab;
if (0x0e <= b && b <= 0x1a)
goto lab;
if (0x3c <= b && b <= 0x3f)
goto lab;
return 0;
lab:
return 1;
}
char tab1[] = { 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 0, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1 };
char tab2[] = { 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 0, 1, 1,
1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1 };
int
main ()
{
int i;
asm volatile ("" : : : "memory");
for (i = 0; i < 256; i++)
if (foo (i) != (i < 32 ? tab1[i] : 0))
__builtin_abort ();
for (i = 0; i < 256; i++)
if (bar (i) != (i < 64 ? tab2[i] : 0))
__builtin_abort ();
return 0;
}
|
