1  /* { dg-do run } */
       2  /* { dg-options "-O2" } */
       3  
       4  void abort(void);
       5  
       6  __attribute__((noinline))
       7  int f (unsigned short word) {  
       8    return (word & 0x1) && (((unsigned short) (word & 0x8000)) == 0x8000);
       9  }
      10  
      11  int main(void) {
      12    if (!f(0x8001))
      13      abort();
      14    return 0;
      15  }
      16