xref: /illumos-gate/usr/src/tools/smatch/src/validation/optim/lsr-and0.c (revision b30d193948be5a7794d7ae3ba0ed9c2f72c88e0f)
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