1 int foo(int a, int b)
2 {
3 return ((a & 0xfffff000) | b) >> 12;
4 }
5
6 /*
7 * check-name: and-or-lsr1
8 * check-command: test-linearize -Wno-decl $file
9 *
10 * check-output-ignore
11 * check-output-pattern(0): and\\.
12 * check-output-pattern(1): or\\.
13 */
14