1 extern void abort (void);
2 
3 typedef long fract32;
4 
main()5 int main ()
6 {
7   fract32 t;
8 
9   t = __builtin_bfin_min_fr1x32 (0x77777777, 0x70007000);
10   if (t != 0x70007000)
11     abort ();
12 
13   return 0;
14 }
15 
16