extern void abort (void); typedef long fract32; int main () { fract32 t1; t1 = __builtin_bfin_sub_fr1x32 (0x40003000, 0xc0003000); if (t1 != 0x7fffffff) abort (); return 0; }