text: extern void abort (void);
  
  typedef short  __v2hi __attribute ((vector_size(4)));
  typedef __v2hi fract2x16;
  typedef short fract16;
  
  int main ()
  {
    fract2x16 a, t;
    fract16 t1, t2;
  
    a = __builtin_bfin_compose_2x16 (0x5fff, 0xffff);
  
    t = __builtin_bfin_negate_fr2x16 (a);
    t1 = __builtin_bfin_extract_hi (t);
    t2 = __builtin_bfin_extract_lo (t);
    if (t1 != -0x5fff || t2 != 0x1)
      abort ();
  
    return 0;
  }
  
  