1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-optimized-raw" } */
3
4 int carry;
f(unsigned a,unsigned b)5 int f(unsigned a, unsigned b) {
6 unsigned r;
7 carry = __builtin_sub_overflow(a, b, &r);
8 return r > a;
9 }
g(unsigned a,unsigned b)10 int g(unsigned a, unsigned b) {
11 unsigned r;
12 carry = __builtin_sub_overflow(a, b, &r);
13 return a < r;
14 }
h(unsigned a,unsigned b)15 int h(unsigned a, unsigned b) {
16 unsigned r;
17 carry = __builtin_sub_overflow(a, b, &r);
18 return r <= a;
19 }
i(unsigned a,unsigned b)20 int i(unsigned a, unsigned b) {
21 unsigned r;
22 carry = __builtin_sub_overflow(a, b, &r);
23 return a >= r;
24 }
j(unsigned a,unsigned b)25 int j(unsigned a, unsigned b) {
26 unsigned r;
27 carry = __builtin_add_overflow(a, b, &r);
28 return r < a;
29 }
j2(unsigned a,unsigned b)30 int j2(unsigned a, unsigned b) {
31 unsigned r;
32 carry = __builtin_add_overflow(a, b, &r);
33 return r < b;
34 }
k(unsigned a,unsigned b)35 int k(unsigned a, unsigned b) {
36 unsigned r;
37 carry = __builtin_add_overflow(a, b, &r);
38 return a > r;
39 }
k2(unsigned a,unsigned b)40 int k2(unsigned a, unsigned b) {
41 unsigned r;
42 carry = __builtin_add_overflow(a, b, &r);
43 return b > r;
44 }
l(unsigned a,unsigned b)45 int l(unsigned a, unsigned b) {
46 unsigned r;
47 carry = __builtin_add_overflow(a, b, &r);
48 return r >= a;
49 }
l2(unsigned a,unsigned b)50 int l2(unsigned a, unsigned b) {
51 unsigned r;
52 carry = __builtin_add_overflow(a, b, &r);
53 return r >= b;
54 }
m(unsigned a,unsigned b)55 int m(unsigned a, unsigned b) {
56 unsigned r;
57 carry = __builtin_add_overflow(a, b, &r);
58 return a <= r;
59 }
m2(unsigned a,unsigned b)60 int m2(unsigned a, unsigned b) {
61 unsigned r;
62 carry = __builtin_add_overflow(a, b, &r);
63 return b <= r;
64 }
65
66 /* { dg-final { scan-tree-dump-not "(le|lt|ge|gt)_expr" "optimized" } } */
67 /* { dg-final { scan-tree-dump-times "ADD_OVERFLOW" 8 "optimized" } } */
68 /* { dg-final { scan-tree-dump-times "SUB_OVERFLOW" 4 "optimized" } } */
69