1  /* PR rtl-optimization/83363 */
       2  /* { dg-do run } */
       3  /* { dg-options "-O2 -fno-forward-propagate" } */
       4  
       5  unsigned char a;
       6  unsigned int b;
       7  
       8  static unsigned short __attribute__ ((noinline, noclone))
       9  foo (unsigned short x)
      10  {
      11    x -= b;
      12    x <<= x == 0;
      13    a = ~0;
      14    a >>= (unsigned char) x == 0;
      15    x *= a -= ~a;
      16    return x;
      17  }
      18  
      19  int
      20  main ()
      21  {
      22    asm volatile ("" : : : "memory");
      23    if (foo (3) != (unsigned short) (3 * (unsigned char) ~0))
      24      __builtin_abort ();
      25    return 0;
      26  }