/* This testcase failed at -O2 on powerpc64 due to andsi3 writing nonzero bits to the high 32 bits of a 64 bit register. */externvoidabort(void);externvoidexit(int);unsignedlongfoo(unsignedlongbase,unsignedintval){returnbase+(val&0x80000001);}intmain(void){if(foo(0L,0x0ffffff0)!=0L)abort();exit(0);}