1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-ifcombine" } */
6 _Bool
or1(unsigned *x
, unsigned *y
)
8 /* x <= y || x != 0 --> true */
9 return x
<= y
|| x
!= 0;
12 _Bool
or2(unsigned *x
, unsigned *y
)
14 /* x >= y || x != -1 --> true */
15 return x
>= y
|| x
!= (unsigned*)-1;
18 /* { dg-final { scan-tree-dump-not " != " "ifcombine" } } */
19 /* { dg-final { scan-tree-dump-not " <= " "ifcombine" } } */
20 /* { dg-final { scan-tree-dump-not " >= " "ifcombine" } } */