1/* { dg-do compile { target bfin-*-* } } */
2typedef long fract32;
3main() {
4  fract32 val_tmp;
5  fract32 val1 = 0x7FFFFFFF;
6  fract32 val2 = 0x40000000;
7  val_tmp = __builtin_bfin_mult_fr1x32x32 (0x06666667, val1);
8  val2 = __builtin_bfin_mult_fr1x32x32 (0x79999999, val2);
9  val2 = __builtin_bfin_add_fr1x32 (val_tmp, val2);
10}
11