// Test fold-const.c (fold_range_test) optimizations.
|
// Test fold-const.c (fold_range_test) optimizations.
|
// { dg-do run } */
|
// { dg-do run } */
|
// { dg-options "-O2" } */
|
// { dg-options "-O2" } */
|
|
|
#include
|
#include
|
#include
|
#include
|
#include
|
#include
|
|
|
#if (INT_MAX == 2147483647) && (INT_MIN == -2147483648) \
|
#if (INT_MAX == 2147483647) && (INT_MIN == -2147483648) \
|
&& (SCHAR_MIN == -128) && (SCHAR_MAX == 127) \
|
&& (SCHAR_MIN == -128) && (SCHAR_MAX == 127) \
|
&& (UCHAR_MIN == 0) && (UCHAR_MAX == 255)
|
&& (UCHAR_MIN == 0) && (UCHAR_MAX == 255)
|
|
|
#ifndef T
|
#ifndef T
|
|
|
enum enum3
|
enum enum3
|
{
|
{
|
enum3_zero,
|
enum3_zero,
|
enum3_one,
|
enum3_one,
|
enum3_two,
|
enum3_two,
|
enum3_three,
|
enum3_three,
|
enum3_four,
|
enum3_four,
|
enum3_five,
|
enum3_five,
|
enum3_six,
|
enum3_six,
|
enum3_seven
|
enum3_seven
|
};
|
};
|
|
|
int var;
|
int var;
|
void
|
void
|
check ()
|
check ()
|
{
|
{
|
++var;
|
++var;
|
}
|
}
|
|
|
#define T(IDX, TYPE, TEST, YESARR, NOARR) \
|
#define T(IDX, TYPE, TEST, YESARR, NOARR) \
|
void __attribute__((noinline)) \
|
void __attribute__((noinline)) \
|
test##IDX (TYPE x) \
|
test##IDX (TYPE x) \
|
{ \
|
{ \
|
if (TEST) \
|
if (TEST) \
|
check (); \
|
check (); \
|
}
|
}
|
#include "range-test-2.C"
|
#include "range-test-2.C"
|
#undef T
|
#undef T
|
|
|
int
|
int
|
main ()
|
main ()
|
{
|
{
|
int i, fails = 0;
|
int i, fails = 0;
|
|
|
#define C ,
|
#define C ,
|
#define T(IDX, TYPE, TEST, YESARR, NOARR) \
|
#define T(IDX, TYPE, TEST, YESARR, NOARR) \
|
{ \
|
{ \
|
static TYPE yesarr##IDX [] = YESARR; \
|
static TYPE yesarr##IDX [] = YESARR; \
|
static TYPE noarr##IDX [] = NOARR; \
|
static TYPE noarr##IDX [] = NOARR; \
|
for (i = 0; i < (int) (sizeof (yesarr##IDX) / sizeof (TYPE)); ++i) \
|
for (i = 0; i < (int) (sizeof (yesarr##IDX) / sizeof (TYPE)); ++i) \
|
{ \
|
{ \
|
var = 0; \
|
var = 0; \
|
test##IDX (yesarr##IDX [i]); \
|
test##IDX (yesarr##IDX [i]); \
|
if (var != 1) \
|
if (var != 1) \
|
printf ("test" #IDX " failed for yesarr [%u]\n", i), ++fails; \
|
printf ("test" #IDX " failed for yesarr [%u]\n", i), ++fails; \
|
} \
|
} \
|
var = 0; \
|
var = 0; \
|
for (i = 0; i < (int) (sizeof (noarr##IDX) / sizeof (TYPE)); ++i) \
|
for (i = 0; i < (int) (sizeof (noarr##IDX) / sizeof (TYPE)); ++i) \
|
{ \
|
{ \
|
test##IDX (noarr##IDX [i]); \
|
test##IDX (noarr##IDX [i]); \
|
if (var != 0) \
|
if (var != 0) \
|
printf ("test" #IDX " failed for noarr [%u]\n", i), ++fails; \
|
printf ("test" #IDX " failed for noarr [%u]\n", i), ++fails; \
|
} \
|
} \
|
}
|
}
|
#include "range-test-2.C"
|
#include "range-test-2.C"
|
#undef T
|
#undef T
|
|
|
if (fails)
|
if (fails)
|
abort ();
|
abort ();
|
|
|
exit (0);
|
exit (0);
|
}
|
}
|
|
|
#else
|
#else
|
|
|
/* Use `C' instead of `,' below to separate array entries. */
|
/* Use `C' instead of `,' below to separate array entries. */
|
|
|
T(26, enum3, x == enum3_one || x == enum3_two || x == enum3_three,
|
T(26, enum3, x == enum3_one || x == enum3_two || x == enum3_three,
|
{ enum3_one C enum3_two C enum3_three }, { enum3_zero C enum3_four
|
{ enum3_one C enum3_two C enum3_three }, { enum3_zero C enum3_four
|
C enum3_five C enum3_six C enum3_seven })
|
C enum3_five C enum3_six C enum3_seven })
|
|
|
#endif
|
#endif
|
|
|
#else
|
#else
|
|
|
int
|
int
|
main (void)
|
main (void)
|
{
|
{
|
return 0;
|
return 0;
|
}
|
}
|
|
|
#endif
|
#endif
|
|
|