blob: 05830c83124a700b27b9b2e7e58c13b67499a383 (
plain)
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
|
/* { dg-do run { target { ! "m68k*-*-* mmix*-*-* mep*-*-* bfin*-*-* v850*-*-* picochip*-*-* moxie*-*-* cris*-*-* m32c*-*-* fr30*-*-* mcore*-*-* powerpc*-*-* xtensa*-*-* hppa*-*-*"} } } */
/* { dg-options "-O2 -fno-inline -fdump-tree-reassoc1-details" } */
/* { dg-additional-options "-mbranch-cost=2" { target mips*-*-* avr-*-* s390*-*-* i?86-*-* x86_64-*-* } } */
int test (unsigned int a, int b, int c)
{
if ((a - 43) <= 3 || (a - 75) <= 3)
return b;
else
return c;
}
int
main ()
{
volatile int n43, n47, n75, n79;
n43 = 43; n47 = n43 + 4; n75 = 75; n79 = n75 + 4;
int i;
for (i = -10; i <= 100; i++)
if (test (i, 2, 3) != 3 - ((i >= n43 && i < n47) || (i >= n75 && i < n79)))
__builtin_abort ();
return 0;
}
/* { dg-final { scan-tree-dump-times "Optimizing range tests" 1 "reassoc1"} }*/
/* { dg-final { cleanup-tree-dump "reassoc1" } } */
|
