1// ((x & M) | y) >> S to (y >> S) when (M >> S) == 0
2
3unsigned int foo(unsigned int x, unsigned int y)
4{
5 return ((x & 0xff) | y) >> 8;
6}
7
8/*
9 * check-name: mask-lsr
10 * check-command: test-linearize -Wno-decl $file
11 *
12 * check-output-ignore
13 * check-output-excludes: %arg1
14 */
15