gcc/testsuite/gcc.dg/pr69535.c

   1 /* { dg-do run { target int128 } } */
   2 /* { dg-options "-O -fno-tree-bit-ccp -fno-tree-reassoc" } */
   3
   4 typedef unsigned char u8;
   5 typedef unsigned short u16;
   6 typedef unsigned int u32;
   7 typedef unsigned long long u64;
   8 typedef unsigned __int128 u128;
   9
  10 void __attribute__((noinline, noclone))
  11 dirtify_stack(void)
  12 {
  13   volatile char a[] = "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"
  14                       "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"
  15                       "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"
  16                       "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa";
  17 }
  18
  19 u128 __attribute__ ((noinline, noclone))
  20 foo(u32 u32_1, u64 u64_1, u128 u128_1, u8 u8_2, u16 u16_2, u32 u32_2, u8 u8_3)
  21 {
  22   u128_1 /= ~u128_1 | 1;
  23   u8_3 = ((u8_3 << 2) >> 1) << 7;
  24   u32_2 >>= u8_3;
  25   return u128_1 + u32_2 + u8_3;
  26 }
  27
  28 int
  29 main ()
  30 {
  31   dirtify_stack();
  32   u128 x = foo(1, 1, 1, 1, 1, 1, 0);
  33   if (x != 1)
  34     __builtin_abort();
  35   return 0;
  36 }