gcc/testsuite/gcc.dg/guality/csttest.c

/* PR debug/49676 */
/* { dg-do run { target lp64 } } */
/* { dg-options "-g -fno-ipa-icf" } */

volatile int v;

__attribute__((noinline, noclone))
unsigned long long
foo (unsigned long long x)
{
  unsigned long long a = x * (0x17ULL << 31);	/* { dg-final { gdb-test .+18 "a" "(0x17ULL << 31)" } } */
  unsigned long long b = x * (0x7ULL << 33);	/* { dg-final { gdb-test .+17 "b" "(0x7ULL << 33)" } } */
  unsigned long long c = x * (0x1ULL << 35);	/* { dg-final { gdb-test .+16 "c" "(0x1ULL << 35)" } } */
  unsigned long long d = x * (0x17ULL << 15);	/* { dg-final { gdb-test .+15 "d" "(0x17ULL << 15)" } } */
  unsigned long long e = x * (0x17ULL << 50);	/* { dg-final { gdb-test .+14 "e" "(0x17ULL << 50)" } } */
  unsigned long long f = x * (0x37ULL << 31);	/* { dg-final { gdb-test .+13 "f" "(0x37ULL << 31)" } } */
  unsigned long long g = x * (0x37ULL << 50);	/* { dg-final { gdb-test .+12 "g" "(0x37ULL << 50)" } } */
  unsigned long long h = x * (0x1efULL << 33);	/* { dg-final { gdb-test .+11 "h" "(0x1efULL << 33)" } } */
  unsigned long long i = x * (0x1efULL << 50);	/* { dg-final { gdb-test .+10 "i" "(0x1efULL << 50)" } } */
  unsigned long long j = x * -(0x17ULL << 31);	/* { dg-final { gdb-test .+9 "j" "-(0x17ULL << 31)" } } */
  unsigned long long k = x * -(0x7ULL << 33);	/* { dg-final { gdb-test .+8 "k" "-(0x7ULL << 33)" } } */
  unsigned long long l = x * -(0x1ULL << 35);	/* { dg-final { gdb-test .+7 "l" "-(0x1ULL << 35)" } } */
  unsigned long long m = x * -(0x17ULL << 15);	/* { dg-final { gdb-test .+6 "m" "-(0x17ULL << 15)" } } */
  unsigned long long n = x * -(0x17ULL << 50);	/* { dg-final { gdb-test .+5 "n" "-(0x17ULL << 50)" } } */
  unsigned long long o = x * -(0x37ULL << 31);	/* { dg-final { gdb-test .+4 "o" "-(0x37ULL << 31)" } } */
  unsigned long long p = x * -(0x37ULL << 50);	/* { dg-final { gdb-test .+3 "p" "-(0x37ULL << 50)" } } */
  unsigned long long q = x * -(0x1efULL << 33);	/* { dg-final { gdb-test .+2 "q" "-(0x1efULL << 33)" } } */
  unsigned long long r = x * -(0x1efULL << 50);	/* { dg-final { gdb-test .+1 "r" "-(0x1efULL << 50)" } } */
  v++;
  return x;
}

__attribute__((noinline, noclone))
unsigned long long
bar (unsigned long long x)
{
  unsigned long long a = (x & 255) + (0x17ULL << 31);	/* { dg-final { gdb-test .+18 "a" "(0x17ULL << 31)" } } */
  unsigned long long b = (x & 255) + (0x7ULL << 33);	/* { dg-final { gdb-test .+17 "b" "(0x7ULL << 33)" } } */
  unsigned long long c = (x & 255) + (0x1ULL << 35);	/* { dg-final { gdb-test .+16 "c" "(0x1ULL << 35)" } } */
  unsigned long long d = (x & 255) + (0x17ULL << 15);	/* { dg-final { gdb-test .+15 "d" "(0x17ULL << 15)" } } */
  unsigned long long e = (x & 255) + (0x17ULL << 50);	/* { dg-final { gdb-test .+14 "e" "(0x17ULL << 50)" } } */
  unsigned long long f = (x & 255) + (0x37ULL << 31);	/* { dg-final { gdb-test .+13 "f" "(0x37ULL << 31)" } } */
  unsigned long long g = (x & 255) + (0x37ULL << 50);	/* { dg-final { gdb-test .+12 "g" "(0x37ULL << 50)" } } */
  unsigned long long h = (x & 255) + (0x1efULL << 33);	/* { dg-final { gdb-test .+11 "h" "(0x1efULL << 33)" } } */
  unsigned long long i = (x & 255) + (0x1efULL << 50);	/* { dg-final { gdb-test .+10 "i" "(0x1efULL << 50)" } } */
  unsigned long long j = (x & 255) + -(0x17ULL << 31);	/* { dg-final { gdb-test .+9 "j" "-(0x17ULL << 31)" } } */
  unsigned long long k = (x & 255) + -(0x7ULL << 33);	/* { dg-final { gdb-test .+8 "k" "-(0x7ULL << 33)" } } */
  unsigned long long l = (x & 255) + -(0x1ULL << 35);	/* { dg-final { gdb-test .+7 "l" "-(0x1ULL << 35)" } } */
  unsigned long long m = (x & 255) + -(0x17ULL << 15);	/* { dg-final { gdb-test .+6 "m" "-(0x17ULL << 15)" } } */
  unsigned long long n = (x & 255) + -(0x17ULL << 50);	/* { dg-final { gdb-test .+5 "n" "-(0x17ULL << 50)" } } */
  unsigned long long o = (x & 255) + -(0x37ULL << 31);	/* { dg-final { gdb-test .+4 "o" "-(0x37ULL << 31)" } } */
  unsigned long long p = (x & 255) + -(0x37ULL << 50);	/* { dg-final { gdb-test .+3 "p" "-(0x37ULL << 50)" } } */
  unsigned long long q = (x & 255) + -(0x1efULL << 33);	/* { dg-final { gdb-test .+2 "q" "-(0x1efULL << 33)" } } */
  unsigned long long r = (x & 255) + -(0x1efULL << 50);	/* { dg-final { gdb-test .+1 "r" "-(0x1efULL << 50)" } } */
  v++;
  return x;
}

int
main ()
{
  return foo (1) + bar (256) - 257;
}