1 /* { dg-do compile }  */
2 
3 int
kerninfo(int __bsx,double tscale)4 kerninfo(int __bsx, double tscale)
5 {
6  return (
7 	 (int)(__extension__
8 	       ({
9 		 ((((__bsx) & 0xff000000u) >> 24)
10 		  | (((__bsx) & 0x00ff0000) >> 8)
11 		  | (((__bsx) & 0x0000ff00) << 8)
12 		  | (((__bsx) & 0x000000ff) << 24)
13 		  ); }))
14 	       * tscale);
15 }
16