1 extern void abort (void);
2 extern void exit (int);
3 
4 typedef int fract32;
5 
main()6 int main ()
7 {
8   fract32 f = 0x1234, g;
9   int a;
10 
11   a = __builtin_bfin_norm_fr1x32 (f);
12   g = f << a;
13   if (g != 0x48d00000)
14     abort ();
15 
16   exit (0);
17 }
18 
19