convert.c: Split into manageable parts:

	* gcc.dg/fixed-point/convert.c: Split into manageable parts:
	* gcc.dg/fixed-point/convert-1.c: New.
	* gcc.dg/fixed-point/convert-2.c: New.
	* gcc.dg/fixed-point/convert-3.c: New.
	* gcc.dg/fixed-point/convert-4.c: New.
	* gcc.dg/fixed-point/convert-float-1.c: New.
	* gcc.dg/fixed-point/convert-float-2.c: New.
	* gcc.dg/fixed-point/convert-float-3.c: New.
	* gcc.dg/fixed-point/convert-float-4.c: New.
	* gcc.dg/fixed-point/convert-accum-neg.c: New.
	* gcc.dg/fixed-point/convert-sat.c: New.
	* gcc.dg/fixed-point/convert.h: New.

From-SVN: r190615

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 3c4db30985b17ff44674dc2e09b19d9a74a15043..6f8cae84bd11475d58f879fcf7b9b22a85e6d530 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,18 @@
+2012-08-23  Georg-Johann Lay  <avr@gjlay.de>
+
+       * gcc.dg/fixed-point/convert.c: Split into manageable parts:
+       * gcc.dg/fixed-point/convert-1.c: New.
+       * gcc.dg/fixed-point/convert-2.c: New.
+       * gcc.dg/fixed-point/convert-3.c: New.
+       * gcc.dg/fixed-point/convert-4.c: New.
+       * gcc.dg/fixed-point/convert-float-1.c: New.
+       * gcc.dg/fixed-point/convert-float-2.c: New.
+       * gcc.dg/fixed-point/convert-float-3.c: New.
+       * gcc.dg/fixed-point/convert-float-4.c: New.
+       * gcc.dg/fixed-point/convert-accum-neg.c: New.
+       * gcc.dg/fixed-point/convert-sat.c: New.
+       * gcc.dg/fixed-point/convert.h: New.
+
 2012-08-22  Oleg Endo  <olegendo@gcc.gnu.org>
 
        PR target/54089

diff --git a/gcc/testsuite/gcc.dg/fixed-point/convert-1.c b/gcc/testsuite/gcc.dg/fixed-point/convert-1.c
new file mode 100644 (file)
index 0000000..04adea8
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/fixed-point/convert-1.c
@@ -0,0 +1,20 @@
+/* { dg-do run } */
+/* { dg-options "-std=gnu99 -O0" } */
+
+/* C99 6.3 Conversions.
+
+   Check conversions involving fixed-point.  */
+
+extern void abort (void);
+
+#include "convert.h"
+
+int main ()
+{
+  ALL_CONV (short _Fract, hr);
+  ALL_CONV (_Fract, r);
+  ALL_CONV (long _Fract, lr);
+  ALL_CONV (long long _Fract, llr);
+
+  return 0;
+}

diff --git a/gcc/testsuite/gcc.dg/fixed-point/convert-2.c b/gcc/testsuite/gcc.dg/fixed-point/convert-2.c
new file mode 100644 (file)
index 0000000..fc5bc1f
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/fixed-point/convert-2.c
@@ -0,0 +1,20 @@
+/* { dg-do run } */
+/* { dg-options "-std=gnu99 -O0" } */
+
+/* C99 6.3 Conversions.
+
+   Check conversions involving fixed-point.  */
+
+extern void abort (void);
+
+#include "convert.h"
+
+int main ()
+{
+  ALL_CONV (unsigned short _Fract, uhr);
+  ALL_CONV (unsigned _Fract, ur);
+  ALL_CONV (unsigned long _Fract, ulr);
+  ALL_CONV (unsigned long long _Fract, ullr);
+
+  return 0;
+}

diff --git a/gcc/testsuite/gcc.dg/fixed-point/convert-3.c b/gcc/testsuite/gcc.dg/fixed-point/convert-3.c
new file mode 100644 (file)
index 0000000..753c472
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/fixed-point/convert-3.c
@@ -0,0 +1,20 @@
+/* { dg-do run } */
+/* { dg-options "-std=gnu99 -O0" } */
+
+/* C99 6.3 Conversions.
+
+   Check conversions involving fixed-point.  */
+
+extern void abort (void);
+
+#include "convert.h"
+
+int main ()
+{
+  ALL_CONV (short _Accum, hk);
+  ALL_CONV (_Accum, k);
+  ALL_CONV (long _Accum, lk);
+  ALL_CONV (long long _Accum, llk);
+
+  return 0;
+}

diff --git a/gcc/testsuite/gcc.dg/fixed-point/convert-4.c b/gcc/testsuite/gcc.dg/fixed-point/convert-4.c
new file mode 100644 (file)
index 0000000..17c4e66
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/fixed-point/convert-4.c
@@ -0,0 +1,20 @@
+/* { dg-do run } */
+/* { dg-options "-std=gnu99 -O0" } */
+
+/* C99 6.3 Conversions.
+
+   Check conversions involving fixed-point.  */
+
+extern void abort (void);
+
+#include "convert.h"
+
+int main ()
+{
+  ALL_CONV (unsigned short _Accum, uhk);
+  ALL_CONV (unsigned _Accum, uk);
+  ALL_CONV (unsigned long _Accum, ulk);
+  ALL_CONV (unsigned long long _Accum, ullk);
+
+  return 0;
+}

diff --git a/gcc/testsuite/gcc.dg/fixed-point/convert-accum-neg.c b/gcc/testsuite/gcc.dg/fixed-point/convert-accum-neg.c
new file mode 100644 (file)
index 0000000..af95610
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/fixed-point/convert-accum-neg.c
@@ -0,0 +1,33 @@
+/* { dg-do run } */
+/* { dg-options "-std=gnu99 -O0" } */
+
+/* C99 6.3 Conversions.
+
+   Check conversions involving fixed-point.  */
+
+extern void abort (void);
+
+#include "convert.h"
+
+int main ()
+{
+  ALL_ACCUM_CONV (short _Accum, hk);
+  ALL_ACCUM_CONV (_Accum, k);
+  ALL_ACCUM_CONV (long _Accum, lk);
+  ALL_ACCUM_CONV (long long _Accum, llk);
+  ALL_ACCUM_CONV (unsigned short _Accum, uhk);
+  ALL_ACCUM_CONV (unsigned _Accum, uk);
+  ALL_ACCUM_CONV (unsigned long _Accum, ulk);
+  ALL_ACCUM_CONV (unsigned long long _Accum, ullk);
+
+  NEG_CONV (short _Fract, hr);
+  NEG_CONV (_Fract, r);
+  NEG_CONV (long _Fract, lr);
+  NEG_CONV (long long _Fract, llr);
+  NEG_CONV (short _Accum, hk);
+  NEG_CONV (_Accum, k);
+  NEG_CONV (long _Accum, lk);
+  NEG_CONV (long long _Accum, llk);
+
+  return 0;
+}

diff --git a/gcc/testsuite/gcc.dg/fixed-point/convert-float-1.c b/gcc/testsuite/gcc.dg/fixed-point/convert-float-1.c
new file mode 100644 (file)
index 0000000..b36adab
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/fixed-point/convert-float-1.c
@@ -0,0 +1,20 @@
+/* { dg-do run } */
+/* { dg-options "-std=gnu99 -O0" } */
+
+/* C99 6.3 Conversions.
+
+   Check conversions involving fixed-point.  */
+
+extern void abort (void);
+
+#include "convert.h"
+
+int main ()
+{
+  ALL_CONV_FLOAT (short _Fract, hr);
+  ALL_CONV_FLOAT (_Fract, r);
+  ALL_CONV_FLOAT (long _Fract, lr);
+  ALL_CONV_FLOAT (long long _Fract, llr);
+
+  return 0;
+}

diff --git a/gcc/testsuite/gcc.dg/fixed-point/convert-float-2.c b/gcc/testsuite/gcc.dg/fixed-point/convert-float-2.c
new file mode 100644 (file)
index 0000000..2a3f3e9
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/fixed-point/convert-float-2.c
@@ -0,0 +1,20 @@
+/* { dg-do run } */
+/* { dg-options "-std=gnu99 -O0" } */
+
+/* C99 6.3 Conversions.
+
+  Check conversions involving fixed-point.  */
+
+extern void abort (void);
+
+#include "convert.h"
+
+int main ()
+{
+  ALL_CONV_FLOAT (unsigned short _Fract, uhr);
+  ALL_CONV_FLOAT (unsigned _Fract, ur);
+  ALL_CONV_FLOAT (unsigned long _Fract, ulr);
+  ALL_CONV_FLOAT (unsigned long long _Fract, ullr);
+
+  return 0;
+}

diff --git a/gcc/testsuite/gcc.dg/fixed-point/convert-float-3.c b/gcc/testsuite/gcc.dg/fixed-point/convert-float-3.c
new file mode 100644 (file)
index 0000000..9cad010
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/fixed-point/convert-float-3.c
@@ -0,0 +1,20 @@
+/* { dg-do run } */
+/* { dg-options "-std=gnu99 -O0" } */
+
+/* C99 6.3 Conversions.
+
+   Check conversions involving fixed-point.  */
+
+extern void abort (void);
+
+#include "convert.h"
+
+int main ()
+{
+  ALL_CONV_FLOAT (short _Accum, hk);
+  ALL_CONV_FLOAT (_Accum, k);
+  ALL_CONV_FLOAT (long _Accum, lk);
+  ALL_CONV_FLOAT (long long _Accum, llk);
+
+  return 0;
+}

diff --git a/gcc/testsuite/gcc.dg/fixed-point/convert-float-4.c b/gcc/testsuite/gcc.dg/fixed-point/convert-float-4.c
new file mode 100644 (file)
index 0000000..c25a55c
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/fixed-point/convert-float-4.c
@@ -0,0 +1,20 @@
+/* { dg-do run } */
+/* { dg-options "-std=gnu99 -O0" } */
+
+/* C99 6.3 Conversions.
+
+   Check conversions involving fixed-point.  */
+
+extern void abort (void);
+
+#include "convert.h"
+
+int main ()
+{
+  ALL_CONV_FLOAT (unsigned short _Accum, uhk);
+  ALL_CONV_FLOAT (unsigned _Accum, uk);
+  ALL_CONV_FLOAT (unsigned long _Accum, ulk);
+  ALL_CONV_FLOAT (unsigned long long _Accum, ullk);
+
+  return 0;
+}

diff --git a/gcc/testsuite/gcc.dg/fixed-point/convert-sat.c b/gcc/testsuite/gcc.dg/fixed-point/convert-sat.c
new file mode 100644 (file)
index 0000000..278aa17
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/fixed-point/convert-sat.c
@@ -0,0 +1,45 @@
+/* { dg-do run } */
+/* { dg-options "-std=gnu99 -O0" } */
+
+/* C99 6.3 Conversions.
+
+   Check conversions involving fixed-point.  */
+
+extern void abort (void);
+
+#include "convert.h"
+
+int main ()
+{
+  SAT_CONV1 (short _Accum, hk);
+  SAT_CONV1 (_Accum, k);
+  SAT_CONV1 (long _Accum, lk);
+  SAT_CONV1 (long long _Accum, llk);
+
+  SAT_CONV2 (unsigned short _Accum, uhk);
+  SAT_CONV2 (unsigned _Accum, uk);
+  SAT_CONV2 (unsigned long _Accum, ulk);
+  SAT_CONV2 (unsigned long long _Accum, ullk);
+
+  SAT_CONV3 (short _Fract, hr);
+  SAT_CONV3 (_Fract, r);
+  SAT_CONV3 (long _Fract, lr);
+  SAT_CONV3 (long long _Fract, llr);
+
+  SAT_CONV4 (signed char);
+  SAT_CONV4 (short);
+  SAT_CONV4 (int);
+  SAT_CONV4 (long);
+  SAT_CONV4 (long long);
+
+  SAT_CONV5 (unsigned char);
+  SAT_CONV5 (unsigned short);
+  SAT_CONV5 (unsigned int);
+  SAT_CONV5 (unsigned long);
+  SAT_CONV5 (unsigned long long);
+
+  SAT_CONV6 (float);
+  SAT_CONV6 (double);
+
+  return 0;
+}

diff --git a/gcc/testsuite/gcc.dg/fixed-point/convert.c b/gcc/testsuite/gcc.dg/fixed-point/convert.c
deleted file mode 100644 (file)
index f4e373f..0000000
--- a/gcc/testsuite/gcc.dg/fixed-point/convert.c
+++ /dev/null
@@ -1,432 +0,0 @@
-/* { dg-do run } */
-/* { dg-options "-std=gnu99 -O0" } */
-
-/* C99 6.3 Conversions.
-
-   Check conversions involving fixed-point.  */
-
-extern void abort (void);
-
-/* Fixed-point to fixed-point.  */
-#define CONV(TYPE1,POSTFIX1,TYPE2,POSTFIX2) \
-  { \
-    TYPE1 a = 0.5 ## POSTFIX1; \
-    TYPE2 b = a; \
-    if (b != 0.5 ## POSTFIX2) \
-      abort(); \
-  }
-
-/* TYPE1 with VALUE1 to TYPE2 with VALUE2.  */
-#define CONV2(TYPE1,VALUE1,TYPE2,VALUE2) \
-  { \
-    TYPE1 a = VALUE1; \
-    TYPE2 b = a; \
-    if (b != VALUE2) \
-      abort(); \
-  }
-
-/* Fixed-point to integer, and integer to fixed-point.  */
-#define CONV_INT(TYPE1,POSTFIX1,TYPE2) \
-  { \
-    TYPE1 a = 0.5 ## POSTFIX1; \
-    TYPE2 b = a; \
-    TYPE2 c = 0; \
-    TYPE1 d = c; \
-    if (b != 0) \
-      abort(); \
-    if (d != 0.0 ## POSTFIX1) \
-      abort(); \
-  }
-
-/* Signed fixed-point to integer.  */
-#define CONV_INT2(TYPE1,POSTFIX1,TYPE2) \
-  { \
-    TYPE1 a = -0.5 ## POSTFIX1; \
-    TYPE2 b = a; \
-    if (b != 0) \
-      abort(); \
-    a = -0.0 ## POSTFIX1; \
-    b = a; \
-    if (b != 0) \
-      abort(); \
-    a = +0.0 ## POSTFIX1; \
-    b = a; \
-    if (b != 0) \
-      abort(); \
-    a = +0.1 ## POSTFIX1; \
-    b = a; \
-    if (b != 0) \
-      abort(); \
-    a = -0.1 ## POSTFIX1; \
-    b = a; \
-    if (b != 0) \
-      abort(); \
-  }
-
-/* Signed fixed-point to signed integer.  */
-#define CONV_INT3(TYPE1,POSTFIX1,TYPE2) \
-  { \
-    TYPE1 a = -0.5 ## POSTFIX1 - 0.5 ## POSTFIX1; \
-    TYPE2 b = a; \
-    if (b != -1) \
-      abort(); \
-  }
-
-/* Fixed-point to floating-point, and floating-point to fixed-point.  */
-#define CONV_FLOAT(TYPE1,POSTFIX1,TYPE2) \
-  { \
-    TYPE1 a = 0.5 ## POSTFIX1; \
-    TYPE2 b = a; \
-    TYPE2 c = 0.25; \
-    TYPE1 d = c; \
-    if (b != 0.5) \
-      abort(); \
-    if (d != 0.25 ## POSTFIX1) \
-      abort(); \
-  }
-
-/* Accum to integer, and integer to accum.  */
-#define CONV_ACCUM_INT(TYPE1,POSTFIX1,TYPE2) \
-  { \
-    TYPE1 a = 99.12345 ## POSTFIX1; \
-    TYPE2 b = a; \
-    TYPE2 c = 123; \
-    TYPE1 d = c; \
-    if (b != 99) \
-      abort(); \
-    if (d != 123.0 ## POSTFIX1) \
-      abort(); \
-  }
-
-#define ALL_CONV(TYPE,POSTFIX) \
-  CONV(TYPE, POSTFIX, short _Fract, hr) \
-  CONV(TYPE, POSTFIX, _Fract, r) \
-  CONV(TYPE, POSTFIX, long _Fract, lr) \
-  CONV(TYPE, POSTFIX, long long _Fract, llr) \
-  CONV(TYPE, POSTFIX, unsigned short _Fract, uhr) \
-  CONV(TYPE, POSTFIX, unsigned _Fract, ur) \
-  CONV(TYPE, POSTFIX, unsigned long _Fract, ulr) \
-  CONV(TYPE, POSTFIX, unsigned long long _Fract, ullr) \
-  CONV(TYPE, POSTFIX, short _Accum, hk) \
-  CONV(TYPE, POSTFIX, _Accum, k) \
-  CONV(TYPE, POSTFIX, long _Accum, lk) \
-  CONV(TYPE, POSTFIX, long long _Accum, llk) \
-  CONV(TYPE, POSTFIX, unsigned short _Accum, uhk) \
-  CONV(TYPE, POSTFIX, unsigned _Accum, uk) \
-  CONV(TYPE, POSTFIX, unsigned long _Accum, ulk) \
-  CONV(TYPE, POSTFIX, unsigned long long _Accum, ullk) \
-  CONV(_Sat TYPE, POSTFIX, short _Fract, hr) \
-  CONV(_Sat TYPE, POSTFIX, _Fract, r) \
-  CONV(_Sat TYPE, POSTFIX, long _Fract, lr) \
-  CONV(_Sat TYPE, POSTFIX, long long _Fract, llr) \
-  CONV(_Sat TYPE, POSTFIX, unsigned short _Fract, uhr) \
-  CONV(_Sat TYPE, POSTFIX, unsigned _Fract, ur) \
-  CONV(_Sat TYPE, POSTFIX, unsigned long _Fract, ulr) \
-  CONV(_Sat TYPE, POSTFIX, unsigned long long _Fract, ullr) \
-  CONV(_Sat TYPE, POSTFIX, short _Accum, hk) \
-  CONV(_Sat TYPE, POSTFIX, _Accum, k) \
-  CONV(_Sat TYPE, POSTFIX, long _Accum, lk) \
-  CONV(_Sat TYPE, POSTFIX, long long _Accum, llk) \
-  CONV(_Sat TYPE, POSTFIX, unsigned short _Accum, uhk) \
-  CONV(_Sat TYPE, POSTFIX, unsigned _Accum, uk) \
-  CONV(_Sat TYPE, POSTFIX, unsigned long _Accum, ulk) \
-  CONV(_Sat TYPE, POSTFIX, unsigned long long _Accum, ullk) \
-  CONV(TYPE, POSTFIX, _Sat short _Fract, hr) \
-  CONV(TYPE, POSTFIX, _Sat _Fract, r) \
-  CONV(TYPE, POSTFIX, _Sat long _Fract, lr) \
-  CONV(TYPE, POSTFIX, _Sat long long _Fract, llr) \
-  CONV(TYPE, POSTFIX, _Sat unsigned short _Fract, uhr) \
-  CONV(TYPE, POSTFIX, _Sat unsigned _Fract, ur) \
-  CONV(TYPE, POSTFIX, _Sat unsigned long _Fract, ulr) \
-  CONV(TYPE, POSTFIX, _Sat unsigned long long _Fract, ullr) \
-  CONV(TYPE, POSTFIX, _Sat short _Accum, hk) \
-  CONV(TYPE, POSTFIX, _Sat _Accum, k) \
-  CONV(TYPE, POSTFIX, _Sat long _Accum, lk) \
-  CONV(TYPE, POSTFIX, _Sat long long _Accum, llk) \
-  CONV(TYPE, POSTFIX, _Sat unsigned short _Accum, uhk) \
-  CONV(TYPE, POSTFIX, _Sat unsigned _Accum, uk) \
-  CONV(TYPE, POSTFIX, _Sat unsigned long _Accum, ulk) \
-  CONV(TYPE, POSTFIX, _Sat unsigned long long _Accum, ullk) \
-  CONV_INT(TYPE, POSTFIX, signed char) \
-  CONV_INT(TYPE, POSTFIX, short) \
-  CONV_INT(TYPE, POSTFIX, int) \
-  CONV_INT(TYPE, POSTFIX, long) \
-  CONV_INT(TYPE, POSTFIX, long long) \
-  CONV_INT(TYPE, POSTFIX, unsigned char) \
-  CONV_INT(TYPE, POSTFIX, unsigned short) \
-  CONV_INT(TYPE, POSTFIX, unsigned int) \
-  CONV_INT(TYPE, POSTFIX, unsigned long) \
-  CONV_INT(TYPE, POSTFIX, unsigned long long) \
-  CONV_INT(_Sat TYPE, POSTFIX, signed char) \
-  CONV_INT(_Sat TYPE, POSTFIX, short) \
-  CONV_INT(_Sat TYPE, POSTFIX, int) \
-  CONV_INT(_Sat TYPE, POSTFIX, long) \
-  CONV_INT(_Sat TYPE, POSTFIX, long long) \
-  CONV_INT(_Sat TYPE, POSTFIX, unsigned char) \
-  CONV_INT(_Sat TYPE, POSTFIX, unsigned short) \
-  CONV_INT(_Sat TYPE, POSTFIX, unsigned int) \
-  CONV_INT(_Sat TYPE, POSTFIX, unsigned long) \
-  CONV_INT(_Sat TYPE, POSTFIX, unsigned long long) \
-  CONV_FLOAT(TYPE, POSTFIX, float) \
-  CONV_FLOAT(TYPE, POSTFIX, double) \
-  CONV_FLOAT(_Sat TYPE, POSTFIX, float) \
-  CONV_FLOAT(_Sat TYPE, POSTFIX, double)
-
-#define ALL_ACCUM_CONV(TYPE,POSTFIX) \
-  CONV_ACCUM_INT(TYPE, POSTFIX, signed char) \
-  CONV_ACCUM_INT(TYPE, POSTFIX, short) \
-  CONV_ACCUM_INT(TYPE, POSTFIX, int) \
-  CONV_ACCUM_INT(TYPE, POSTFIX, long) \
-  CONV_ACCUM_INT(TYPE, POSTFIX, long long) \
-  CONV_ACCUM_INT(TYPE, POSTFIX, unsigned char) \
-  CONV_ACCUM_INT(TYPE, POSTFIX, unsigned short) \
-  CONV_ACCUM_INT(TYPE, POSTFIX, unsigned int) \
-  CONV_ACCUM_INT(TYPE, POSTFIX, unsigned long) \
-  CONV_ACCUM_INT(TYPE, POSTFIX, unsigned long long) \
-  CONV_ACCUM_INT(_Sat TYPE, POSTFIX, signed char) \
-  CONV_ACCUM_INT(_Sat TYPE, POSTFIX, short) \
-  CONV_ACCUM_INT(_Sat TYPE, POSTFIX, int) \
-  CONV_ACCUM_INT(_Sat TYPE, POSTFIX, long) \
-  CONV_ACCUM_INT(_Sat TYPE, POSTFIX, long long) \
-  CONV_ACCUM_INT(_Sat TYPE, POSTFIX, unsigned char) \
-  CONV_ACCUM_INT(_Sat TYPE, POSTFIX, unsigned short) \
-  CONV_ACCUM_INT(_Sat TYPE, POSTFIX, unsigned int) \
-  CONV_ACCUM_INT(_Sat TYPE, POSTFIX, unsigned long) \
-  CONV_ACCUM_INT(_Sat TYPE, POSTFIX, unsigned long long)
-
-#define NEG_CONV(TYPE,POSTFIX) \
-  CONV_INT2(TYPE, POSTFIX, signed char) \
-  CONV_INT2(TYPE, POSTFIX, short) \
-  CONV_INT2(TYPE, POSTFIX, int) \
-  CONV_INT2(TYPE, POSTFIX, long) \
-  CONV_INT2(TYPE, POSTFIX, long long) \
-  CONV_INT2(TYPE, POSTFIX, unsigned char) \
-  CONV_INT2(TYPE, POSTFIX, unsigned short) \
-  CONV_INT2(TYPE, POSTFIX, unsigned int) \
-  CONV_INT2(TYPE, POSTFIX, unsigned long) \
-  CONV_INT2(TYPE, POSTFIX, unsigned long long) \
-  CONV_INT3(TYPE, POSTFIX, signed char) \
-  CONV_INT3(TYPE, POSTFIX, short) \
-  CONV_INT3(TYPE, POSTFIX, int) \
-  CONV_INT3(TYPE, POSTFIX, long) \
-  CONV_INT3(TYPE, POSTFIX, long long)
-
-/* Signed accum to _Sat unsigned/signed fract.  */
-#define SAT_CONV1(TYPE, POSTFIX) \
-  CONV2(TYPE, 3.2 ## POSTFIX, _Sat short _Fract, 1.0hr) \
-  CONV2(TYPE, -3.2 ## POSTFIX, _Sat short _Fract, -0.5hr - 0.5hr) \
-  CONV2(TYPE, 3.2 ## POSTFIX, _Sat _Fract, 1.0r) \
-  CONV2(TYPE, -3.2 ## POSTFIX, _Sat _Fract, -0.5r - 0.5r) \
-  CONV2(TYPE, 3.2 ## POSTFIX, _Sat long _Fract, 1.0lr) \
-  CONV2(TYPE, -3.2 ## POSTFIX, _Sat long _Fract, -0.5lr - 0.5lr) \
-  CONV2(TYPE, 3.2 ## POSTFIX, _Sat long long _Fract, 1.0llr) \
-  CONV2(TYPE, -3.2 ## POSTFIX, _Sat long long _Fract, -0.5llr - 0.5llr) \
-  CONV2(TYPE, 3.2 ## POSTFIX, _Sat unsigned short _Fract, 1.0uhr) \
-  CONV2(TYPE, -3.2 ## POSTFIX, _Sat unsigned short _Fract, 0.0uhr) \
-  CONV2(TYPE, 3.2 ## POSTFIX, _Sat unsigned _Fract, 1.0ur) \
-  CONV2(TYPE, -3.2 ## POSTFIX, _Sat unsigned _Fract, 0.0ur) \
-  CONV2(TYPE, 3.2 ## POSTFIX, _Sat unsigned long _Fract, 1.0ulr) \
-  CONV2(TYPE, -3.2 ## POSTFIX, _Sat unsigned long _Fract, 0.0ulr) \
-  CONV2(TYPE, 3.2 ## POSTFIX, _Sat unsigned long long _Fract, 1.0ullr) \
-  CONV2(TYPE, -3.2 ## POSTFIX, _Sat unsigned long long _Fract, 0.0ullr) \
-  CONV2(TYPE, 1.0 ## POSTFIX, _Sat short _Fract, 1.0hr) \
-  CONV2(TYPE, -1.0 ## POSTFIX, _Sat short _Fract, -0.5hr - 0.5hr) \
-  CONV2(TYPE, 1.0 ## POSTFIX, _Sat _Fract, 1.0r) \
-  CONV2(TYPE, -1.0 ## POSTFIX, _Sat _Fract, -0.5r - 0.5r) \
-  CONV2(TYPE, 1.0 ## POSTFIX, _Sat long _Fract, 1.0lr) \
-  CONV2(TYPE, -1.0 ## POSTFIX, _Sat long _Fract, -0.5lr - 0.5lr) \
-  CONV2(TYPE, 1.0 ## POSTFIX, _Sat long long _Fract, 1.0llr) \
-  CONV2(TYPE, -1.0 ## POSTFIX, _Sat long long _Fract, -0.5llr - 0.5llr) \
-  CONV2(TYPE, 1.0 ## POSTFIX, _Sat unsigned short _Fract, 1.0uhr) \
-  CONV2(TYPE, -1.0 ## POSTFIX, _Sat unsigned short _Fract, 0.0uhr) \
-  CONV2(TYPE, 1.0 ## POSTFIX, _Sat unsigned _Fract, 1.0ur) \
-  CONV2(TYPE, -1.0 ## POSTFIX, _Sat unsigned _Fract, 0.0ur) \
-  CONV2(TYPE, 1.0 ## POSTFIX, _Sat unsigned long _Fract, 1.0ulr) \
-  CONV2(TYPE, -1.0 ## POSTFIX, _Sat unsigned long _Fract, 0.0ulr) \
-  CONV2(TYPE, 1.0 ## POSTFIX, _Sat unsigned long long _Fract, 1.0ullr) \
-  CONV2(TYPE, -1.0 ## POSTFIX, _Sat unsigned long long _Fract, 0.0ullr)
-
-/* Unsigned accum to _Sat unsigned/signed fract.  */
-#define SAT_CONV2(TYPE, POSTFIX) \
-  CONV2(TYPE, 3.2 ## POSTFIX, _Sat short _Fract, 1.0hr) \
-  CONV2(TYPE, 3.2 ## POSTFIX, _Sat _Fract, 1.0r) \
-  CONV2(TYPE, 3.2 ## POSTFIX, _Sat long _Fract, 1.0lr) \
-  CONV2(TYPE, 3.2 ## POSTFIX, _Sat long long _Fract, 1.0llr) \
-  CONV2(TYPE, 3.2 ## POSTFIX, _Sat unsigned short _Fract, 1.0uhr) \
-  CONV2(TYPE, 3.2 ## POSTFIX, _Sat unsigned _Fract, 1.0ur) \
-  CONV2(TYPE, 3.2 ## POSTFIX, _Sat unsigned long _Fract, 1.0ulr) \
-  CONV2(TYPE, 3.2 ## POSTFIX, _Sat unsigned long long _Fract, 1.0ullr) \
-  CONV2(TYPE, 1.0 ## POSTFIX, _Sat short _Fract, 1.0hr) \
-  CONV2(TYPE, 1.0 ## POSTFIX, _Sat _Fract, 1.0r) \
-  CONV2(TYPE, 1.0 ## POSTFIX, _Sat long _Fract, 1.0lr) \
-  CONV2(TYPE, 1.0 ## POSTFIX, _Sat long long _Fract, 1.0llr) \
-  CONV2(TYPE, 1.0 ## POSTFIX, _Sat unsigned short _Fract, 1.0uhr) \
-  CONV2(TYPE, 1.0 ## POSTFIX, _Sat unsigned _Fract, 1.0ur) \
-  CONV2(TYPE, 1.0 ## POSTFIX, _Sat unsigned long _Fract, 1.0ulr) \
-  CONV2(TYPE, 1.0 ## POSTFIX, _Sat unsigned long long _Fract, 1.0ullr)
-
-/* Signed fract to _Sat unsigned fract.  */
-#define SAT_CONV3(TYPE, POSTFIX) \
-  CONV2(TYPE, -0.5 ## POSTFIX, _Sat unsigned short _Fract, 0.0uhr) \
-  CONV2(TYPE, -0.5 ## POSTFIX, _Sat unsigned  _Fract, 0.0ur) \
-  CONV2(TYPE, -0.5 ## POSTFIX, _Sat unsigned long _Fract, 0.0ulr) \
-  CONV2(TYPE, -0.5 ## POSTFIX, _Sat unsigned long long _Fract, 0.0ullr)
-
-/* Signed integer to _Sat signed/unsigned fract.  */
-#define SAT_CONV4(TYPE) \
-  CONV2(TYPE, 100, _Sat short _Fract, 1.0hr) \
-  CONV2(TYPE, -100, _Sat short _Fract, -0.5hr - 0.5hr) \
-  CONV2(TYPE, 100, _Sat _Fract, 1.0r) \
-  CONV2(TYPE, -100, _Sat _Fract, -0.5r - 0.5r) \
-  CONV2(TYPE, 100, _Sat long _Fract, 1.0lr) \
-  CONV2(TYPE, -100, _Sat long _Fract, -0.5lr - 0.5lr) \
-  CONV2(TYPE, 100, _Sat long long _Fract, 1.0llr) \
-  CONV2(TYPE, -100, _Sat long long _Fract, -0.5llr - 0.5llr) \
-  CONV2(TYPE, 100, _Sat unsigned short _Fract, 1.0uhr) \
-  CONV2(TYPE, -100, _Sat unsigned short _Fract, 0.0uhr) \
-  CONV2(TYPE, 100, _Sat unsigned _Fract, 1.0ur) \
-  CONV2(TYPE, -100, _Sat unsigned _Fract, 0.0ur) \
-  CONV2(TYPE, 100, _Sat unsigned long _Fract, 1.0ulr) \
-  CONV2(TYPE, -100, _Sat unsigned long _Fract, 0.0ulr) \
-  CONV2(TYPE, 100, _Sat unsigned long long _Fract, 1.0ullr) \
-  CONV2(TYPE, -100, _Sat unsigned long long _Fract, 0.0ullr) \
-  CONV2(TYPE, 1, _Sat short _Fract, 1.0hr) \
-  CONV2(TYPE, -1, _Sat short _Fract, -0.5hr - 0.5hr) \
-  CONV2(TYPE, 1, _Sat _Fract, 1.0r) \
-  CONV2(TYPE, -1, _Sat _Fract, -0.5r - 0.5r) \
-  CONV2(TYPE, 1, _Sat long _Fract, 1.0lr) \
-  CONV2(TYPE, -1, _Sat long _Fract, -0.5lr - 0.5lr) \
-  CONV2(TYPE, 1, _Sat long long _Fract, 1.0llr) \
-  CONV2(TYPE, -1, _Sat long long _Fract, -0.5llr - 0.5llr) \
-  CONV2(TYPE, 1, _Sat unsigned short _Fract, 1.0uhr) \
-  CONV2(TYPE, -1, _Sat unsigned short _Fract, 0.0uhr) \
-  CONV2(TYPE, 1, _Sat unsigned _Fract, 1.0ur) \
-  CONV2(TYPE, -1, _Sat unsigned _Fract, 0.0ur) \
-  CONV2(TYPE, 1, _Sat unsigned long _Fract, 1.0ulr) \
-  CONV2(TYPE, -1, _Sat unsigned long _Fract, 0.0ulr) \
-  CONV2(TYPE, 1, _Sat unsigned long long _Fract, 1.0ullr) \
-  CONV2(TYPE, -1, _Sat unsigned long long _Fract, 0.0ullr)
-
-/* Unsigned integer to _Sat signed/unsigned fract.  */
-#define SAT_CONV5(TYPE) \
-  CONV2(TYPE, 100, _Sat short _Fract, 1.0hr) \
-  CONV2(TYPE, 100, _Sat _Fract, 1.0r) \
-  CONV2(TYPE, 100, _Sat long _Fract, 1.0lr) \
-  CONV2(TYPE, 100, _Sat long long _Fract, 1.0llr) \
-  CONV2(TYPE, 100, _Sat unsigned short _Fract, 1.0uhr) \
-  CONV2(TYPE, 100, _Sat unsigned _Fract, 1.0ur) \
-  CONV2(TYPE, 100, _Sat unsigned long _Fract, 1.0ulr) \
-  CONV2(TYPE, 100, _Sat unsigned long long _Fract, 1.0ullr) \
-  CONV2(TYPE, 1, _Sat short _Fract, 1.0hr) \
-  CONV2(TYPE, 1, _Sat _Fract, 1.0r) \
-  CONV2(TYPE, 1, _Sat long _Fract, 1.0lr) \
-  CONV2(TYPE, 1, _Sat long long _Fract, 1.0llr) \
-  CONV2(TYPE, 1, _Sat unsigned short _Fract, 1.0uhr) \
-  CONV2(TYPE, 1, _Sat unsigned _Fract, 1.0ur) \
-  CONV2(TYPE, 1, _Sat unsigned long _Fract, 1.0ulr) \
-  CONV2(TYPE, 1, _Sat unsigned long long _Fract, 1.0ullr)
-
-/* Floating-point to _Sat signed/unsigned fract.  */
-#define SAT_CONV6(TYPE) \
-  CONV2(TYPE, 100.0, _Sat short _Fract, 1.0hr) \
-  CONV2(TYPE, -100.0, _Sat short _Fract, -0.5hr - 0.5hr) \
-  CONV2(TYPE, 100.0, _Sat _Fract, 1.0r) \
-  CONV2(TYPE, -100.0, _Sat _Fract, -0.5r - 0.5r) \
-  CONV2(TYPE, 100.0, _Sat long _Fract, 1.0lr) \
-  CONV2(TYPE, -100.0, _Sat long _Fract, -0.5lr - 0.5lr) \
-  CONV2(TYPE, 100.0, _Sat long long _Fract, 1.0llr) \
-  CONV2(TYPE, -100.0, _Sat long long _Fract, -0.5llr - 0.5llr) \
-  CONV2(TYPE, 100.0, _Sat unsigned short _Fract, 1.0uhr) \
-  CONV2(TYPE, -100.0, _Sat unsigned short _Fract, 0.0uhr) \
-  CONV2(TYPE, 100.0, _Sat unsigned _Fract, 1.0ur) \
-  CONV2(TYPE, -100.0, _Sat unsigned _Fract, 0.0ur) \
-  CONV2(TYPE, 100.0, _Sat unsigned long _Fract, 1.0ulr) \
-  CONV2(TYPE, -100.0, _Sat unsigned long _Fract, 0.0ulr) \
-  CONV2(TYPE, 100.0, _Sat unsigned long long _Fract, 1.0ullr) \
-  CONV2(TYPE, -100.0, _Sat unsigned long long _Fract, 0.0ullr) \
-  CONV2(TYPE, 1.0, _Sat short _Fract, 1.0hr) \
-  CONV2(TYPE, -1.0, _Sat short _Fract, -0.5hr - 0.5hr) \
-  CONV2(TYPE, 1.0, _Sat _Fract, 1.0r) \
-  CONV2(TYPE, -1.0, _Sat _Fract, -0.5r - 0.5r) \
-  CONV2(TYPE, 1.0, _Sat long _Fract, 1.0lr) \
-  CONV2(TYPE, -1.0, _Sat long _Fract, -0.5lr - 0.5lr) \
-  CONV2(TYPE, 1.0, _Sat long long _Fract, 1.0llr) \
-  CONV2(TYPE, -1.0, _Sat long long _Fract, -0.5llr - 0.5llr) \
-  CONV2(TYPE, 1.0, _Sat unsigned short _Fract, 1.0uhr) \
-  CONV2(TYPE, -1.0, _Sat unsigned short _Fract, 0.0uhr) \
-  CONV2(TYPE, 1.0, _Sat unsigned _Fract, 1.0ur) \
-  CONV2(TYPE, -1.0, _Sat unsigned _Fract, 0.0ur) \
-  CONV2(TYPE, 1.0, _Sat unsigned long _Fract, 1.0ulr) \
-  CONV2(TYPE, -1.0, _Sat unsigned long _Fract, 0.0ulr) \
-  CONV2(TYPE, 1.0, _Sat unsigned long long _Fract, 1.0ullr) \
-  CONV2(TYPE, -1.0, _Sat unsigned long long _Fract, 0.0ullr)
-
-int main ()
-{
-  ALL_CONV (short _Fract, hr);
-  ALL_CONV (_Fract, r);
-  ALL_CONV (long _Fract, lr);
-  ALL_CONV (long long _Fract, llr);
-  ALL_CONV (unsigned short _Fract, uhr);
-  ALL_CONV (unsigned _Fract, ur);
-  ALL_CONV (unsigned long _Fract, ulr);
-  ALL_CONV (unsigned long long _Fract, ullr);
-  ALL_CONV (short _Accum, hk);
-  ALL_CONV (_Accum, k);
-  ALL_CONV (long _Accum, lk);
-  ALL_CONV (long long _Accum, llk);
-  ALL_CONV (unsigned short _Accum, uhk);
-  ALL_CONV (unsigned _Accum, uk);
-  ALL_CONV (unsigned long _Accum, ulk);
-  ALL_CONV (unsigned long long _Accum, ullk);
-
-  ALL_ACCUM_CONV (short _Accum, hk);
-  ALL_ACCUM_CONV (_Accum, k);
-  ALL_ACCUM_CONV (long _Accum, lk);
-  ALL_ACCUM_CONV (long long _Accum, llk);
-  ALL_ACCUM_CONV (unsigned short _Accum, uhk);
-  ALL_ACCUM_CONV (unsigned _Accum, uk);
-  ALL_ACCUM_CONV (unsigned long _Accum, ulk);
-  ALL_ACCUM_CONV (unsigned long long _Accum, ullk);
-
-  NEG_CONV (short _Fract, hr);
-  NEG_CONV (_Fract, r);
-  NEG_CONV (long _Fract, lr);
-  NEG_CONV (long long _Fract, llr);
-  NEG_CONV (short _Accum, hk);
-  NEG_CONV (_Accum, k);
-  NEG_CONV (long _Accum, lk);
-  NEG_CONV (long long _Accum, llk);
-
-  SAT_CONV1 (short _Accum, hk);
-  SAT_CONV1 (_Accum, k);
-  SAT_CONV1 (long _Accum, lk);
-  SAT_CONV1 (long long _Accum, llk);
-
-  SAT_CONV2 (unsigned short _Accum, uhk);
-  SAT_CONV2 (unsigned _Accum, uk);
-  SAT_CONV2 (unsigned long _Accum, ulk);
-  SAT_CONV2 (unsigned long long _Accum, ullk);
-
-  SAT_CONV3 (short _Fract, hr);
-  SAT_CONV3 (_Fract, r);
-  SAT_CONV3 (long _Fract, lr);
-  SAT_CONV3 (long long _Fract, llr);
-
-  SAT_CONV4 (signed char);
-  SAT_CONV4 (short);
-  SAT_CONV4 (int);
-  SAT_CONV4 (long);
-  SAT_CONV4 (long long);
-
-  SAT_CONV5 (unsigned char);
-  SAT_CONV5 (unsigned short);
-  SAT_CONV5 (unsigned int);
-  SAT_CONV5 (unsigned long);
-  SAT_CONV5 (unsigned long long);
-
-  SAT_CONV6 (float);
-  SAT_CONV6 (double);
-
-  return 0;
-}

diff --git a/gcc/testsuite/gcc.dg/fixed-point/convert.h b/gcc/testsuite/gcc.dg/fixed-point/convert.h
new file mode 100644 (file)
index 0000000..e4e6815
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/fixed-point/convert.h
@@ -0,0 +1,359 @@
+/* Check conversions involving fixed-point.
+ * Break up use-site into into manageable parts so that even embedded
+ * targets with restrictive resources can run them.  */
+
+/* Fixed-point to fixed-point.  */
+#define CONV(TYPE1,POSTFIX1,TYPE2,POSTFIX2) \
+  { \
+    TYPE1 a = 0.5 ## POSTFIX1; \
+    TYPE2 b = a; \
+    if (b != 0.5 ## POSTFIX2) \
+      abort(); \
+  }
+
+/* TYPE1 with VALUE1 to TYPE2 with VALUE2.  */
+#define CONV2(TYPE1,VALUE1,TYPE2,VALUE2) \
+  { \
+    TYPE1 a = VALUE1; \
+    TYPE2 b = a; \
+    if (b != VALUE2) \
+      abort(); \
+  }
+
+/* Fixed-point to integer, and integer to fixed-point.  */
+#define CONV_INT(TYPE1,POSTFIX1,TYPE2) \
+  { \
+    TYPE1 a = 0.5 ## POSTFIX1; \
+    TYPE2 b = a; \
+    TYPE2 c = 0; \
+    TYPE1 d = c; \
+    if (b != 0) \
+      abort(); \
+    if (d != 0.0 ## POSTFIX1) \
+      abort(); \
+  }
+
+/* Signed fixed-point to integer.  */
+#define CONV_INT2(TYPE1,POSTFIX1,TYPE2) \
+  { \
+    TYPE1 a = -0.5 ## POSTFIX1; \
+    TYPE2 b = a; \
+    if (b != 0) \
+      abort(); \
+    a = -0.0 ## POSTFIX1; \
+    b = a; \
+    if (b != 0) \
+      abort(); \
+    a = +0.0 ## POSTFIX1; \
+    b = a; \
+    if (b != 0) \
+      abort(); \
+    a = +0.1 ## POSTFIX1; \
+    b = a; \
+    if (b != 0) \
+      abort(); \
+    a = -0.1 ## POSTFIX1; \
+    b = a; \
+    if (b != 0) \
+      abort(); \
+  }
+
+/* Signed fixed-point to signed integer.  */
+#define CONV_INT3(TYPE1,POSTFIX1,TYPE2) \
+  { \
+    TYPE1 a = -0.5 ## POSTFIX1 - 0.5 ## POSTFIX1; \
+    TYPE2 b = a; \
+    if (b != -1) \
+      abort(); \
+  }
+
+/* Fixed-point to floating-point, and floating-point to fixed-point.  */
+#define CONV_FLOAT(TYPE1,POSTFIX1,TYPE2) \
+  { \
+    TYPE1 a = 0.5 ## POSTFIX1; \
+    TYPE2 b = a; \
+    TYPE2 c = 0.25; \
+    TYPE1 d = c; \
+    if (b != 0.5) \
+      abort(); \
+    if (d != 0.25 ## POSTFIX1) \
+      abort(); \
+  }
+
+/* Accum to integer, and integer to accum.  */
+#define CONV_ACCUM_INT(TYPE1,POSTFIX1,TYPE2) \
+  { \
+    TYPE1 a = 99.12345 ## POSTFIX1; \
+    TYPE2 b = a; \
+    TYPE2 c = 123; \
+    TYPE1 d = c; \
+    if (b != 99) \
+      abort(); \
+    if (d != 123.0 ## POSTFIX1) \
+      abort(); \
+  }
+
+#define ALL_CONV(TYPE,POSTFIX) \
+  CONV(TYPE, POSTFIX, short _Fract, hr) \
+  CONV(TYPE, POSTFIX, _Fract, r) \
+  CONV(TYPE, POSTFIX, long _Fract, lr) \
+  CONV(TYPE, POSTFIX, long long _Fract, llr) \
+  CONV(TYPE, POSTFIX, unsigned short _Fract, uhr) \
+  CONV(TYPE, POSTFIX, unsigned _Fract, ur) \
+  CONV(TYPE, POSTFIX, unsigned long _Fract, ulr) \
+  CONV(TYPE, POSTFIX, unsigned long long _Fract, ullr) \
+  CONV(TYPE, POSTFIX, short _Accum, hk) \
+  CONV(TYPE, POSTFIX, _Accum, k) \
+  CONV(TYPE, POSTFIX, long _Accum, lk) \
+  CONV(TYPE, POSTFIX, long long _Accum, llk) \
+  CONV(TYPE, POSTFIX, unsigned short _Accum, uhk) \
+  CONV(TYPE, POSTFIX, unsigned _Accum, uk) \
+  CONV(TYPE, POSTFIX, unsigned long _Accum, ulk) \
+  CONV(TYPE, POSTFIX, unsigned long long _Accum, ullk) \
+  CONV(_Sat TYPE, POSTFIX, short _Fract, hr) \
+  CONV(_Sat TYPE, POSTFIX, _Fract, r) \
+  CONV(_Sat TYPE, POSTFIX, long _Fract, lr) \
+  CONV(_Sat TYPE, POSTFIX, long long _Fract, llr) \
+  CONV(_Sat TYPE, POSTFIX, unsigned short _Fract, uhr) \
+  CONV(_Sat TYPE, POSTFIX, unsigned _Fract, ur) \
+  CONV(_Sat TYPE, POSTFIX, unsigned long _Fract, ulr) \
+  CONV(_Sat TYPE, POSTFIX, unsigned long long _Fract, ullr) \
+  CONV(_Sat TYPE, POSTFIX, short _Accum, hk) \
+  CONV(_Sat TYPE, POSTFIX, _Accum, k) \
+  CONV(_Sat TYPE, POSTFIX, long _Accum, lk) \
+  CONV(_Sat TYPE, POSTFIX, long long _Accum, llk) \
+  CONV(_Sat TYPE, POSTFIX, unsigned short _Accum, uhk) \
+  CONV(_Sat TYPE, POSTFIX, unsigned _Accum, uk) \
+  CONV(_Sat TYPE, POSTFIX, unsigned long _Accum, ulk) \
+  CONV(_Sat TYPE, POSTFIX, unsigned long long _Accum, ullk) \
+  CONV(TYPE, POSTFIX, _Sat short _Fract, hr)                \
+  CONV(TYPE, POSTFIX, _Sat _Fract, r) \
+  CONV(TYPE, POSTFIX, _Sat long _Fract, lr) \
+  CONV(TYPE, POSTFIX, _Sat long long _Fract, llr) \
+  CONV(TYPE, POSTFIX, _Sat unsigned short _Fract, uhr) \
+  CONV(TYPE, POSTFIX, _Sat unsigned _Fract, ur) \
+  CONV(TYPE, POSTFIX, _Sat unsigned long _Fract, ulr) \
+  CONV(TYPE, POSTFIX, _Sat unsigned long long _Fract, ullr) \
+  CONV(TYPE, POSTFIX, _Sat short _Accum, hk) \
+  CONV(TYPE, POSTFIX, _Sat _Accum, k) \
+  CONV(TYPE, POSTFIX, _Sat long _Accum, lk) \
+  CONV(TYPE, POSTFIX, _Sat long long _Accum, llk) \
+  CONV(TYPE, POSTFIX, _Sat unsigned short _Accum, uhk) \
+  CONV(TYPE, POSTFIX, _Sat unsigned _Accum, uk) \
+  CONV(TYPE, POSTFIX, _Sat unsigned long _Accum, ulk) \
+  CONV(TYPE, POSTFIX, _Sat unsigned long long _Accum, ullk) \
+  CONV_INT(TYPE, POSTFIX, signed char)                      \
+  CONV_INT(TYPE, POSTFIX, short) \
+  CONV_INT(TYPE, POSTFIX, int) \
+  CONV_INT(TYPE, POSTFIX, long) \
+  CONV_INT(TYPE, POSTFIX, long long) \
+  CONV_INT(TYPE, POSTFIX, unsigned char) \
+  CONV_INT(TYPE, POSTFIX, unsigned short) \
+  CONV_INT(TYPE, POSTFIX, unsigned int) \
+  CONV_INT(TYPE, POSTFIX, unsigned long) \
+  CONV_INT(TYPE, POSTFIX, unsigned long long) \
+  CONV_INT(_Sat TYPE, POSTFIX, signed char) \
+  CONV_INT(_Sat TYPE, POSTFIX, short) \
+  CONV_INT(_Sat TYPE, POSTFIX, int) \
+  CONV_INT(_Sat TYPE, POSTFIX, long) \
+  CONV_INT(_Sat TYPE, POSTFIX, long long) \
+  CONV_INT(_Sat TYPE, POSTFIX, unsigned char) \
+  CONV_INT(_Sat TYPE, POSTFIX, unsigned short) \
+  CONV_INT(_Sat TYPE, POSTFIX, unsigned int) \
+  CONV_INT(_Sat TYPE, POSTFIX, unsigned long) \
+  CONV_INT(_Sat TYPE, POSTFIX, unsigned long long)
+
+#define ALL_CONV_FLOAT(TYPE,POSTFIX) \
+  CONV_FLOAT(TYPE, POSTFIX, float)    \
+  CONV_FLOAT(TYPE, POSTFIX, double) \
+  CONV_FLOAT(_Sat TYPE, POSTFIX, float) \
+  CONV_FLOAT(_Sat TYPE, POSTFIX, double)
+
+#define ALL_ACCUM_CONV(TYPE,POSTFIX) \
+  CONV_ACCUM_INT(TYPE, POSTFIX, signed char) \
+  CONV_ACCUM_INT(TYPE, POSTFIX, short) \
+  CONV_ACCUM_INT(TYPE, POSTFIX, int) \
+  CONV_ACCUM_INT(TYPE, POSTFIX, long) \
+  CONV_ACCUM_INT(TYPE, POSTFIX, long long) \
+  CONV_ACCUM_INT(TYPE, POSTFIX, unsigned char) \
+  CONV_ACCUM_INT(TYPE, POSTFIX, unsigned short) \
+  CONV_ACCUM_INT(TYPE, POSTFIX, unsigned int) \
+  CONV_ACCUM_INT(TYPE, POSTFIX, unsigned long) \
+  CONV_ACCUM_INT(TYPE, POSTFIX, unsigned long long) \
+  CONV_ACCUM_INT(_Sat TYPE, POSTFIX, signed char) \
+  CONV_ACCUM_INT(_Sat TYPE, POSTFIX, short) \
+  CONV_ACCUM_INT(_Sat TYPE, POSTFIX, int) \
+  CONV_ACCUM_INT(_Sat TYPE, POSTFIX, long) \
+  CONV_ACCUM_INT(_Sat TYPE, POSTFIX, long long) \
+  CONV_ACCUM_INT(_Sat TYPE, POSTFIX, unsigned char) \
+  CONV_ACCUM_INT(_Sat TYPE, POSTFIX, unsigned short) \
+  CONV_ACCUM_INT(_Sat TYPE, POSTFIX, unsigned int) \
+  CONV_ACCUM_INT(_Sat TYPE, POSTFIX, unsigned long) \
+  CONV_ACCUM_INT(_Sat TYPE, POSTFIX, unsigned long long)
+
+#define NEG_CONV(TYPE,POSTFIX) \
+  CONV_INT2(TYPE, POSTFIX, signed char) \
+  CONV_INT2(TYPE, POSTFIX, short) \
+  CONV_INT2(TYPE, POSTFIX, int) \
+  CONV_INT2(TYPE, POSTFIX, long) \
+  CONV_INT2(TYPE, POSTFIX, long long) \
+  CONV_INT2(TYPE, POSTFIX, unsigned char) \
+  CONV_INT2(TYPE, POSTFIX, unsigned short) \
+  CONV_INT2(TYPE, POSTFIX, unsigned int) \
+  CONV_INT2(TYPE, POSTFIX, unsigned long) \
+  CONV_INT2(TYPE, POSTFIX, unsigned long long) \
+  CONV_INT3(TYPE, POSTFIX, signed char) \
+  CONV_INT3(TYPE, POSTFIX, short) \
+  CONV_INT3(TYPE, POSTFIX, int) \
+  CONV_INT3(TYPE, POSTFIX, long) \
+  CONV_INT3(TYPE, POSTFIX, long long)
+
+/* Signed accum to _Sat unsigned/signed fract.  */
+#define SAT_CONV1(TYPE, POSTFIX) \
+  CONV2(TYPE, 3.2 ## POSTFIX, _Sat short _Fract, 1.0hr) \
+  CONV2(TYPE, -3.2 ## POSTFIX, _Sat short _Fract, -0.5hr - 0.5hr) \
+  CONV2(TYPE, 3.2 ## POSTFIX, _Sat _Fract, 1.0r) \
+  CONV2(TYPE, -3.2 ## POSTFIX, _Sat _Fract, -0.5r - 0.5r) \
+  CONV2(TYPE, 3.2 ## POSTFIX, _Sat long _Fract, 1.0lr) \
+  CONV2(TYPE, -3.2 ## POSTFIX, _Sat long _Fract, -0.5lr - 0.5lr) \
+  CONV2(TYPE, 3.2 ## POSTFIX, _Sat long long _Fract, 1.0llr) \
+  CONV2(TYPE, -3.2 ## POSTFIX, _Sat long long _Fract, -0.5llr - 0.5llr) \
+  CONV2(TYPE, 3.2 ## POSTFIX, _Sat unsigned short _Fract, 1.0uhr) \
+  CONV2(TYPE, -3.2 ## POSTFIX, _Sat unsigned short _Fract, 0.0uhr) \
+  CONV2(TYPE, 3.2 ## POSTFIX, _Sat unsigned _Fract, 1.0ur) \
+  CONV2(TYPE, -3.2 ## POSTFIX, _Sat unsigned _Fract, 0.0ur) \
+  CONV2(TYPE, 3.2 ## POSTFIX, _Sat unsigned long _Fract, 1.0ulr) \
+  CONV2(TYPE, -3.2 ## POSTFIX, _Sat unsigned long _Fract, 0.0ulr) \
+  CONV2(TYPE, 3.2 ## POSTFIX, _Sat unsigned long long _Fract, 1.0ullr) \
+  CONV2(TYPE, -3.2 ## POSTFIX, _Sat unsigned long long _Fract, 0.0ullr) \
+  CONV2(TYPE, 1.0 ## POSTFIX, _Sat short _Fract, 1.0hr) \
+  CONV2(TYPE, -1.0 ## POSTFIX, _Sat short _Fract, -0.5hr - 0.5hr) \
+  CONV2(TYPE, 1.0 ## POSTFIX, _Sat _Fract, 1.0r) \
+  CONV2(TYPE, -1.0 ## POSTFIX, _Sat _Fract, -0.5r - 0.5r) \
+  CONV2(TYPE, 1.0 ## POSTFIX, _Sat long _Fract, 1.0lr) \
+  CONV2(TYPE, -1.0 ## POSTFIX, _Sat long _Fract, -0.5lr - 0.5lr) \
+  CONV2(TYPE, 1.0 ## POSTFIX, _Sat long long _Fract, 1.0llr) \
+  CONV2(TYPE, -1.0 ## POSTFIX, _Sat long long _Fract, -0.5llr - 0.5llr) \
+  CONV2(TYPE, 1.0 ## POSTFIX, _Sat unsigned short _Fract, 1.0uhr) \
+  CONV2(TYPE, -1.0 ## POSTFIX, _Sat unsigned short _Fract, 0.0uhr) \
+  CONV2(TYPE, 1.0 ## POSTFIX, _Sat unsigned _Fract, 1.0ur) \
+  CONV2(TYPE, -1.0 ## POSTFIX, _Sat unsigned _Fract, 0.0ur) \
+  CONV2(TYPE, 1.0 ## POSTFIX, _Sat unsigned long _Fract, 1.0ulr) \
+  CONV2(TYPE, -1.0 ## POSTFIX, _Sat unsigned long _Fract, 0.0ulr) \
+  CONV2(TYPE, 1.0 ## POSTFIX, _Sat unsigned long long _Fract, 1.0ullr) \
+  CONV2(TYPE, -1.0 ## POSTFIX, _Sat unsigned long long _Fract, 0.0ullr)
+
+/* Unsigned accum to _Sat unsigned/signed fract.  */
+#define SAT_CONV2(TYPE, POSTFIX) \
+  CONV2(TYPE, 3.2 ## POSTFIX, _Sat short _Fract, 1.0hr) \
+  CONV2(TYPE, 3.2 ## POSTFIX, _Sat _Fract, 1.0r) \
+  CONV2(TYPE, 3.2 ## POSTFIX, _Sat long _Fract, 1.0lr) \
+  CONV2(TYPE, 3.2 ## POSTFIX, _Sat long long _Fract, 1.0llr) \
+  CONV2(TYPE, 3.2 ## POSTFIX, _Sat unsigned short _Fract, 1.0uhr) \
+  CONV2(TYPE, 3.2 ## POSTFIX, _Sat unsigned _Fract, 1.0ur) \
+  CONV2(TYPE, 3.2 ## POSTFIX, _Sat unsigned long _Fract, 1.0ulr) \
+  CONV2(TYPE, 3.2 ## POSTFIX, _Sat unsigned long long _Fract, 1.0ullr) \
+  CONV2(TYPE, 1.0 ## POSTFIX, _Sat short _Fract, 1.0hr) \
+  CONV2(TYPE, 1.0 ## POSTFIX, _Sat _Fract, 1.0r) \
+  CONV2(TYPE, 1.0 ## POSTFIX, _Sat long _Fract, 1.0lr) \
+  CONV2(TYPE, 1.0 ## POSTFIX, _Sat long long _Fract, 1.0llr) \
+  CONV2(TYPE, 1.0 ## POSTFIX, _Sat unsigned short _Fract, 1.0uhr) \
+  CONV2(TYPE, 1.0 ## POSTFIX, _Sat unsigned _Fract, 1.0ur) \
+  CONV2(TYPE, 1.0 ## POSTFIX, _Sat unsigned long _Fract, 1.0ulr) \
+  CONV2(TYPE, 1.0 ## POSTFIX, _Sat unsigned long long _Fract, 1.0ullr)
+
+/* Signed fract to _Sat unsigned fract.  */
+#define SAT_CONV3(TYPE, POSTFIX) \
+  CONV2(TYPE, -0.5 ## POSTFIX, _Sat unsigned short _Fract, 0.0uhr) \
+  CONV2(TYPE, -0.5 ## POSTFIX, _Sat unsigned  _Fract, 0.0ur) \
+  CONV2(TYPE, -0.5 ## POSTFIX, _Sat unsigned long _Fract, 0.0ulr) \
+  CONV2(TYPE, -0.5 ## POSTFIX, _Sat unsigned long long _Fract, 0.0ullr)
+
+/* Signed integer to _Sat signed/unsigned fract.  */
+#define SAT_CONV4(TYPE) \
+  CONV2(TYPE, 100, _Sat short _Fract, 1.0hr) \
+  CONV2(TYPE, -100, _Sat short _Fract, -0.5hr - 0.5hr) \
+  CONV2(TYPE, 100, _Sat _Fract, 1.0r) \
+  CONV2(TYPE, -100, _Sat _Fract, -0.5r - 0.5r) \
+  CONV2(TYPE, 100, _Sat long _Fract, 1.0lr) \
+  CONV2(TYPE, -100, _Sat long _Fract, -0.5lr - 0.5lr) \
+  CONV2(TYPE, 100, _Sat long long _Fract, 1.0llr) \
+  CONV2(TYPE, -100, _Sat long long _Fract, -0.5llr - 0.5llr) \
+  CONV2(TYPE, 100, _Sat unsigned short _Fract, 1.0uhr) \
+  CONV2(TYPE, -100, _Sat unsigned short _Fract, 0.0uhr) \
+  CONV2(TYPE, 100, _Sat unsigned _Fract, 1.0ur) \
+  CONV2(TYPE, -100, _Sat unsigned _Fract, 0.0ur) \
+  CONV2(TYPE, 100, _Sat unsigned long _Fract, 1.0ulr) \
+  CONV2(TYPE, -100, _Sat unsigned long _Fract, 0.0ulr) \
+  CONV2(TYPE, 100, _Sat unsigned long long _Fract, 1.0ullr) \
+  CONV2(TYPE, -100, _Sat unsigned long long _Fract, 0.0ullr) \
+  CONV2(TYPE, 1, _Sat short _Fract, 1.0hr) \
+  CONV2(TYPE, -1, _Sat short _Fract, -0.5hr - 0.5hr) \
+  CONV2(TYPE, 1, _Sat _Fract, 1.0r) \
+  CONV2(TYPE, -1, _Sat _Fract, -0.5r - 0.5r) \
+  CONV2(TYPE, 1, _Sat long _Fract, 1.0lr) \
+  CONV2(TYPE, -1, _Sat long _Fract, -0.5lr - 0.5lr) \
+  CONV2(TYPE, 1, _Sat long long _Fract, 1.0llr) \
+  CONV2(TYPE, -1, _Sat long long _Fract, -0.5llr - 0.5llr) \
+  CONV2(TYPE, 1, _Sat unsigned short _Fract, 1.0uhr) \
+  CONV2(TYPE, -1, _Sat unsigned short _Fract, 0.0uhr) \
+  CONV2(TYPE, 1, _Sat unsigned _Fract, 1.0ur) \
+  CONV2(TYPE, -1, _Sat unsigned _Fract, 0.0ur) \
+  CONV2(TYPE, 1, _Sat unsigned long _Fract, 1.0ulr) \
+  CONV2(TYPE, -1, _Sat unsigned long _Fract, 0.0ulr) \
+  CONV2(TYPE, 1, _Sat unsigned long long _Fract, 1.0ullr) \
+  CONV2(TYPE, -1, _Sat unsigned long long _Fract, 0.0ullr)
+
+/* Unsigned integer to _Sat signed/unsigned fract.  */
+#define SAT_CONV5(TYPE) \
+  CONV2(TYPE, 100, _Sat short _Fract, 1.0hr) \
+  CONV2(TYPE, 100, _Sat _Fract, 1.0r) \
+  CONV2(TYPE, 100, _Sat long _Fract, 1.0lr) \
+  CONV2(TYPE, 100, _Sat long long _Fract, 1.0llr) \
+  CONV2(TYPE, 100, _Sat unsigned short _Fract, 1.0uhr) \
+  CONV2(TYPE, 100, _Sat unsigned _Fract, 1.0ur) \
+  CONV2(TYPE, 100, _Sat unsigned long _Fract, 1.0ulr) \
+  CONV2(TYPE, 100, _Sat unsigned long long _Fract, 1.0ullr) \
+  CONV2(TYPE, 1, _Sat short _Fract, 1.0hr) \
+  CONV2(TYPE, 1, _Sat _Fract, 1.0r) \
+  CONV2(TYPE, 1, _Sat long _Fract, 1.0lr) \
+  CONV2(TYPE, 1, _Sat long long _Fract, 1.0llr) \
+  CONV2(TYPE, 1, _Sat unsigned short _Fract, 1.0uhr) \
+  CONV2(TYPE, 1, _Sat unsigned _Fract, 1.0ur) \
+  CONV2(TYPE, 1, _Sat unsigned long _Fract, 1.0ulr) \
+  CONV2(TYPE, 1, _Sat unsigned long long _Fract, 1.0ullr)
+
+/* Floating-point to _Sat signed/unsigned fract.  */
+#define SAT_CONV6(TYPE) \
+  CONV2(TYPE, 100.0, _Sat short _Fract, 1.0hr) \
+  CONV2(TYPE, -100.0, _Sat short _Fract, -0.5hr - 0.5hr) \
+  CONV2(TYPE, 100.0, _Sat _Fract, 1.0r) \
+  CONV2(TYPE, -100.0, _Sat _Fract, -0.5r - 0.5r) \
+  CONV2(TYPE, 100.0, _Sat long _Fract, 1.0lr) \
+  CONV2(TYPE, -100.0, _Sat long _Fract, -0.5lr - 0.5lr) \
+  CONV2(TYPE, 100.0, _Sat long long _Fract, 1.0llr) \
+  CONV2(TYPE, -100.0, _Sat long long _Fract, -0.5llr - 0.5llr) \
+  CONV2(TYPE, 100.0, _Sat unsigned short _Fract, 1.0uhr) \
+  CONV2(TYPE, -100.0, _Sat unsigned short _Fract, 0.0uhr) \
+  CONV2(TYPE, 100.0, _Sat unsigned _Fract, 1.0ur) \
+  CONV2(TYPE, -100.0, _Sat unsigned _Fract, 0.0ur) \
+  CONV2(TYPE, 100.0, _Sat unsigned long _Fract, 1.0ulr) \
+  CONV2(TYPE, -100.0, _Sat unsigned long _Fract, 0.0ulr) \
+  CONV2(TYPE, 100.0, _Sat unsigned long long _Fract, 1.0ullr) \
+  CONV2(TYPE, -100.0, _Sat unsigned long long _Fract, 0.0ullr) \
+  CONV2(TYPE, 1.0, _Sat short _Fract, 1.0hr) \
+  CONV2(TYPE, -1.0, _Sat short _Fract, -0.5hr - 0.5hr) \
+  CONV2(TYPE, 1.0, _Sat _Fract, 1.0r) \
+  CONV2(TYPE, -1.0, _Sat _Fract, -0.5r - 0.5r) \
+  CONV2(TYPE, 1.0, _Sat long _Fract, 1.0lr) \
+  CONV2(TYPE, -1.0, _Sat long _Fract, -0.5lr - 0.5lr) \
+  CONV2(TYPE, 1.0, _Sat long long _Fract, 1.0llr) \
+  CONV2(TYPE, -1.0, _Sat long long _Fract, -0.5llr - 0.5llr) \
+  CONV2(TYPE, 1.0, _Sat unsigned short _Fract, 1.0uhr) \
+  CONV2(TYPE, -1.0, _Sat unsigned short _Fract, 0.0uhr) \
+  CONV2(TYPE, 1.0, _Sat unsigned _Fract, 1.0ur) \
+  CONV2(TYPE, -1.0, _Sat unsigned _Fract, 0.0ur) \
+  CONV2(TYPE, 1.0, _Sat unsigned long _Fract, 1.0ulr) \
+  CONV2(TYPE, -1.0, _Sat unsigned long _Fract, 0.0ulr) \
+  CONV2(TYPE, 1.0, _Sat unsigned long long _Fract, 1.0ullr) \
+  CONV2(TYPE, -1.0, _Sat unsigned long long _Fract, 0.0ullr)