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