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
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
127
128
129
130
131
|
/* { dg-do run } */
/* { dg-options "-O2 -fdump-tree-optimized -g" } */
/* SUB_OVERFLOW should be folded into unsigned subtraction,
because ovf is never used. */
__attribute__((noinline, noclone)) int
fn1 (int x, unsigned int y)
{
int res;
int ovf = __builtin_sub_overflow (x, y, &res);
int res2 = res;
int res3 = res2 - 2;
(void) ovf;
return res;
}
/* MUL_OVERFLOW should be folded into unsigned multiplication,
because ovf is never used. */
__attribute__((noinline, noclone)) int
fn2 (signed char x, long int y)
{
short int res;
int ovf = __builtin_mul_overflow (x, y, &res);
int res2 = res;
int res3 = res2 - 2;
(void) ovf;
return res;
}
#if __SIZEOF_INT__ > __SIZEOF_SHORT__ && __SIZEOF_INT__ > 1
/* ADD_OVERFLOW should be folded into unsigned addition,
because it never overflows. */
__attribute__((noinline, noclone)) int
fn3 (signed char x, unsigned short y, int *ovf)
{
int res;
*ovf = __builtin_add_overflow (x, y, &res);
return res;
}
#endif
/* MUL_OVERFLOW should be folded into unsigned multiplication,
because it never overflows. */
__attribute__((noinline, noclone)) long int
fn4 (long int x, long int y, int *ovf)
{
long int res;
x &= 65535;
y = (y & 65535) - 32768;
*ovf = __builtin_mul_overflow (x, y, &res);
return res;
}
#if __SIZEOF_INT__ > 1
/* MUL_OVERFLOW should be folded into unsigned multiplication,
because it always overflows. */
__attribute__((noinline, noclone)) signed char
fn5 (long int x, long int y, int *ovf)
{
signed char res;
x = (x & 63) + (__SCHAR_MAX__ / 4);
y = (y & 3) + 5;
*ovf = __builtin_mul_overflow (x, y, &res);
return res;
}
#endif
/* ADD_OVERFLOW should be folded into unsigned additrion,
because it never overflows. */
__attribute__((noinline, noclone)) unsigned char
fn6 (unsigned char x, unsigned char y, int *ovf)
{
unsigned char res;
x = (x & 63) + ((unsigned char) ~0 - 66);
y = (y & 3);
*ovf = __builtin_add_overflow (x, y, &res);
return res;
}
/* ADD_OVERFLOW should be folded into unsigned additrion,
because it always overflows. */
__attribute__((noinline, noclone)) unsigned char
fn7 (unsigned char x, unsigned char y, int *ovf)
{
unsigned char res;
x = (x & 15) + ((unsigned char) ~0 - 15);
y = (y & 3) + 16;
*ovf = __builtin_add_overflow (x, y, &res);
return res;
}
int
main ()
{
int ovf;
if (fn1 (-10, __INT_MAX__) != (int) (-10U - __INT_MAX__)
|| fn2 (0, 0) != 0
|| fn2 (32, 16383) != (short int) 524256ULL)
__builtin_abort ();
#if __SIZEOF_INT__ > __SIZEOF_SHORT__ && __SIZEOF_INT__ > 1
if (fn3 (__SCHAR_MAX__, (unsigned short) ~0, &ovf) != (int) (__SCHAR_MAX__ + (unsigned short) ~0)
|| ovf
|| fn3 (-__SCHAR_MAX__ - 1, 0, &ovf) != (int) (-__SCHAR_MAX__ - 1)
|| ovf)
__builtin_abort ();
#endif
if (fn4 (65535, 0, &ovf) != 65535L * -32768 || ovf)
__builtin_abort ();
#if __SIZEOF_INT__ > 1
if (fn5 (0, 0, &ovf) != (signed char) (__SCHAR_MAX__ / 4 * 5)
|| !ovf
|| fn5 (63, 3, &ovf) != (signed char) ((__SCHAR_MAX__ / 4 + 63) * 8)
|| !ovf)
__builtin_abort ();
#endif
if (fn6 (0, 0, &ovf) != (unsigned char) ~0 - 66
|| ovf
|| fn6 (63, 3, &ovf) != (unsigned char) ~0
|| ovf)
__builtin_abort ();
if (fn7 (0, 0, &ovf) != 0
|| !ovf
|| fn7 (63, 3, &ovf) != 18
|| !ovf)
__builtin_abort ();
return 0;
}
/* { dg-final { scan-tree-dump-not "ADD_OVERFLOW" "optimized" } } */
/* { dg-final { scan-tree-dump-not "SUB_OVERFLOW" "optimized" } } */
/* { dg-final { scan-tree-dump-not "MUL_OVERFLOW" "optimized" } } */
|
