xref: /illumos-gate/usr/src/tools/smatch/src/validation/optim/and-or-mask3s.c (revision a629ded1d7b2e67c2028ccbc5ba9099328cc4e1b)
1 #define W	3
2 #define	S	8
3 #define M	(W << S)
4 
5 static inline int fun(unsigned int x, unsigned int y)
6 {
7 	return ((x & M) | (y << S)) >> S;
8 }
9 
10 short foo(unsigned int x, unsigned int y)
11 {
12 	return fun(x, y) & W;
13 }
14 
15 /*
16  * check-name: and-or-mask3s
17  * check-command: test-linearize -Wno-decl $file
18  * check-known-to-fail
19  *
20  * check-output-ignore
21  * check-output-pattern(1): lsr\\.
22  * check-output-pattern(1): or\\.
23  * check-output-pattern(1): and\\.
24  * check-output-excludes: shl\\.
25  */
26