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