1  extern void abort (void);
       2  
       3  typedef short fract16;
       4  
       5  int main ()
       6  {
       7    fract16 t1;
       8  
       9    t1 = __builtin_bfin_sub_fr1x16 (0x3000, 0x4000);
      10    if (t1 != -0x1000)
      11      abort ();
      12    return 0;
      13  }
      14