sext(int x)1 int sext(int x)
2 {
3 	return (x << 5) >> 5;
4 }
5 
6 /*
7  * check-name: sext
8  * check-command: test-linearize -Wno-decl $file
9  * check-known-to-fail
10  *
11  * check-output-ignore
12  * check-output-contains: sext\\.$27
13  * check-output-excludes: asr\\.
14  * check-output-excludes: shl\\.
15  */
16