1  /* PR tree-optimization/57083 */
       2  /* { dg-do run { target int32plus } } */
       3  
       4  extern void abort (void);
       5  short x = 1;
       6  int y = 0;
       7  
       8  int
       9  main ()
      10  {
      11    unsigned t = (0x7fff8001U - x) << (y == 0);
      12    if (t != 0xffff0000U)
      13      abort ();
      14    return 0;
      15  }