unsigned lsr_and0(unsigned x)
{
	unsigned t = (x & 0x00000fff);
	return (t >> 12) & t;
}

/*
 * check-name: lsr-and0
 * check-command: test-linearize -Wno-decl $file
 * check-known-to-fail
 *
 * check-output-ignore
 * check-output-contains: ret\\..*\\$0$
 */