1 /* { dg-do compile } */
2 /* { dg-options "-fstrict-overflow -fdump-tree-gimple" } */
3 /* Test for folding abs(x) where appropriate. */
4 #define abs(x) x > 0 ? x : -x
5 extern double fabs (double);
6
a(int x)7 int a (int x) {
8 return (abs(x)) >= 0;
9 }
10
b(int x)11 int b (int x) {
12 return (abs(x)) == 0;
13 }
14
c(int x)15 int c (int x) {
16 return (abs(x)) != 0;
17 }
18
d(int x)19 int d (int x) {
20 return 0 != (abs(x));
21 }
22
e(int x)23 int e (int x) {
24 return 0 == (abs(x));
25 }
26
f(int x)27 int f (int x) {
28 return 0 <= (abs(x));
29 }
30
g(int x)31 int g (int x) {
32 return 0 > (abs(x));
33 }
34
h(float x)35 int h (float x) {
36 return 0.0 > fabs(x);
37 }
38
i(float x)39 int i (float x) {
40 return fabs(x) == -0.0;
41 }
42 /* { dg-final { scan-tree-dump-times "ABS_EXPR" 0 "gimple" } } */
43 /* { dg-final { cleanup-tree-dump "gimple" } } */
44