1  extern void abort (void);
       2  
       3  typedef long fract32;
       4  
       5  fract32 foo (fract32 f, short n)
       6  {
       7    return __builtin_bfin_shl_fr1x32 (f, n);
       8  }
       9  
      10  int main ()
      11  {
      12    fract32 f;
      13  
      14    f = foo (0x12345678, 4);
      15    if (f != 0x7fffffff)
      16      abort ();
      17  
      18    return 0;
      19  }