1  /* { dg-do compile }  */
       2  
       3  int
       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  }