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