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