unsigned shl_and0(unsigned x)
{
	unsigned t = (x & 0xfff00000);
	return (t << 12) & t;
}

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