1 /* { dg-do run } */
2 
3 typedef int fract32;
4 
5 extern void abort (void);
6 
main()7 int main ()
8 {
9   fract32 f;
10 
11   f = __builtin_bfin_shl_fr1x32 (0x12345678, 4);
12   if (f != 0x7fffffff)
13     abort ();
14 
15   return 0;
16 }
17