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
|
/* { dg-do run } */
/* { dg-options "-fwrapv" } */
signed char foo(unsigned char c2)
{
signed char c2_22;
if (c2 <= 63 || c2 == 127)
goto bb43;
else
goto bb20;
bb20:
if (c2 > 252)
goto bb43;
else
goto bb21;
bb21:
/*...*/;
bb24:
c2_22 = (signed char)c2;
if (c2_22 >= 0)
goto bb25;
else
goto bb26;
bb25:
c2 = (unsigned char)(c2_22 - 64);
goto bb27;
bb26:
c2 = (unsigned char)(c2_22 - 65);
bb27:
if (c2 <= 93)
goto bb28;
else
goto bb29;
bb28:
c2 = c2 + 33;
goto bb30;
bb29:
c2 = (unsigned char)((signed char)c2 - 61);
bb30:
return c2;
bb43:
return -1;
}
extern void abort (void);
int main()
{
signed char res[256] = {
-1, -1, -1, -1, -1, -1, -1, -1,
-1, -1, -1, -1, -1, -1, -1, -1,
-1, -1, -1, -1, -1, -1, -1, -1,
-1, -1, -1, -1, -1, -1, -1, -1,
-1, -1, -1, -1, -1, -1, -1, -1,
-1, -1, -1, -1, -1, -1, -1, -1,
-1, -1, -1, -1, -1, -1, -1, -1,
-1, -1, -1, -1, -1, -1, -1, -1,
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, -1,
96, 97, 98, 99, 100, 101, 102, 103,
104, 105, 106, 107, 108, 109, 110, 111,
112, 113, 114, 115, 116, 117, 118, 119,
120, 121, 122, 123, 124, 125, 126, 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, 113,
114, 115, 116, 117, 118, 119, 120, 121,
122, 123, 124, 125, 126, -1, -1, -1
};
unsigned int c;
for (c = 0; c <= 255; ++c)
{
if (foo (c) != res[c])
abort ();
}
return 0;
}
|
