1 files changed, 53 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/fixed-point/noassoc.c b/gcc/testsuite/gcc.dg/fixed-point/noassoc.c
new file mode 100644
index 000000000..5d134e158
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/fixed-point/noassoc.c
@@ -0,0 +1,53 @@
+/* { 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;
+}