1  /* PR rtl-optimization/83393 */
       2  /* { dg-do run } */
       3  /* { dg-options "-O2 -fno-forward-propagate -fno-tree-bit-ccp" } */
       4  
       5  typedef unsigned char u8;
       6  typedef unsigned short u16;
       7  typedef unsigned int u32;
       8  typedef unsigned long long u64;
       9  
      10  u32 a, d;
      11  u64 b;
      12  u8 c;
      13  
      14  static u64 __attribute__ ((noinline, noclone))
      15  foo (u16 f, u64 g)
      16  {
      17    f <<= 15;
      18    f *= d;
      19    f -= g %= 44;
      20    f <<= f <= g;
      21    c = 255;
      22    c >>= (u8) f == 0;
      23    f *= g;
      24    c -= ~c;
      25    return f + a + b + f;
      26  }
      27  
      28  int
      29  main (void)
      30  {
      31  #if (__SIZEOF_LONG_LONG__ == 8 && __SIZEOF_INT__ == 4 \
      32       && __SIZEOF_SHORT__ == 2 && __CHAR_BIT__ == 8)
      33    u64 x = foo (3, 0xE6C0011BBA6DBD7LL);
      34    if (x != 0x1f66e)
      35      __builtin_abort ();
      36  #endif
      37    return 0;
      38  }