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