54 lines
1.0 KiB
C
54 lines
1.0 KiB
C
/* { dg-do run } */
|
|
/* { dg-options "-std=gnu99 -O0" } */
|
|
|
|
extern void abort (void);
|
|
|
|
/* Make sure GCC knows there is no associativity for saturating types. */
|
|
|
|
/* Don't transform to (temp + (0.5r + 0.8r)) */
|
|
_Sat _Fract add_test (_Sat _Fract temp)
|
|
{
|
|
return temp + 0.5r + 0.8r;
|
|
}
|
|
|
|
/* Don't transform to (temp * ((-0.5r - 0.5r) * (-0.5r - 0.5r))) */
|
|
_Sat _Fract mul_test (_Sat _Fract temp)
|
|
{
|
|
return temp * (-0.5r - 0.5r) * (-0.5r - 0.5r);
|
|
}
|
|
|
|
/* Don't transform to ((temp1 + temp2) * 0.5r) */
|
|
_Sat _Fract mul_add_test (_Sat _Fract temp1, _Sat _Fract temp2)
|
|
{
|
|
return temp1 * 0.5r + temp2 * 0.5r;
|
|
}
|
|
|
|
/* Don't transform to ((temp1 - temp2) * 0.5r) */
|
|
_Sat _Fract mul_sub_test (_Sat _Fract temp1, _Sat _Fract temp2)
|
|
{
|
|
return temp1 * 0.5r - temp2 * 0.5r;
|
|
}
|
|
|
|
int main ()
|
|
{
|
|
_Sat _Fract a;
|
|
|
|
a = add_test (-0.5r);
|
|
if (a != 0.8r)
|
|
abort ();
|
|
|
|
a = mul_test (0.1r);
|
|
if (a != 0.1r)
|
|
abort ();
|
|
|
|
a = mul_add_test (0.75r, 0.5r);
|
|
if (a != 0.625r)
|
|
abort ();
|
|
|
|
a = mul_sub_test (0.75r, -0.5r);
|
|
if (a != 0.625r)
|
|
abort ();
|
|
|
|
return 0;
|
|
}
|