1  extern void abort (void);
       2  
       3  typedef short  __v2hi __attribute ((vector_size(4)));
       4  typedef __v2hi fract2x16;
       5  typedef short  fract16;
       6  
       7  int main ()
       8  {
       9    fract2x16 a, b;
      10    int t;
      11  
      12    a = __builtin_bfin_compose_2x16 (0x5000, 0x7000);
      13    b = __builtin_bfin_compose_2x16 (0x4000, 0x2000);
      14  
      15    t = __builtin_bfin_mulhisill (a, b);
      16    if (t != 0xe000000)
      17      abort ();
      18    return 0;
      19  }
      20