1unsigned 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