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  }