lsr_and0(unsigned x)1 unsigned lsr_and0(unsigned x)
2 {
3 	unsigned t = (x & 0x00000fff);
4 	return (t >> 12) & t;
5 }
6 
7 /*
8  * check-name: lsr-and0
9  * check-command: test-linearize -Wno-decl $file
10  *
11  * check-output-ignore
12  * check-output-contains: ret\\..*\\$0$
13  */
14