1 files changed, 102 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/fixed-point/func-array.c b/gcc/testsuite/gcc.dg/fixed-point/func-array.c
new file mode 100644
index 000000000..0d0e8c191
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/fixed-point/func-array.c
@@ -0,0 +1,102 @@
+/* { dg-do run } */
+/* { dg-options "-std=gnu99" } */
+
+/* C99 6.5.2.2 Function calls.
+   Test passing array elements involving fixed-point types.
+   Based on the test from ../dfp/.  */
+
+extern void abort (void);
+
+/* A handful of functions that return the Nth argument of
+   an incoming array.  */
+
+#define FUNC(TYPE,NAME) \
+TYPE NAME ## 0 (TYPE args[]) { return args[0]; } \
+TYPE NAME ## 1 (TYPE args[]) { return args[1]; } \
+TYPE NAME ## 2 (TYPE args[]) { return args[2]; } \
+TYPE NAME ## 3 (TYPE args[]) { return args[3]; } \
+TYPE NAME ## 4 (TYPE args[]) { return args[4]; } \
+TYPE NAME ## 5 (TYPE args[]) { return args[5]; }
+
+FUNC (short _Fract, sf)
+FUNC (_Fract, f)
+FUNC (long _Fract, lf)
+FUNC (long long _Fract, llf)
+FUNC (unsigned short _Fract, usf)
+FUNC (unsigned _Fract, uf)
+FUNC (unsigned long _Fract, ulf)
+FUNC (unsigned long long _Fract, ullf)
+FUNC (_Sat short _Fract, Ssf)
+FUNC (_Sat _Fract, Sf)
+FUNC (_Sat long _Fract, Slf)
+FUNC (_Sat long long _Fract, Sllf)
+FUNC (_Sat unsigned short _Fract, Susf)
+FUNC (_Sat unsigned _Fract, Suf)
+FUNC (_Sat unsigned long _Fract, Sulf)
+FUNC (_Sat unsigned long long _Fract, Sullf)
+FUNC (short _Accum, sa)
+FUNC (_Accum, a)
+FUNC (long _Accum, la)
+FUNC (long long _Accum, lla)
+FUNC (unsigned short _Accum, usa)
+FUNC (unsigned _Accum, ua)
+FUNC (unsigned long _Accum, ula)
+FUNC (unsigned long long _Accum, ulla)
+FUNC (_Sat short _Accum, Ssa)
+FUNC (_Sat _Accum, Sa)
+FUNC (_Sat long _Accum, Sla)
+FUNC (_Sat long long _Accum, Slla)
+FUNC (_Sat unsigned short _Accum, Susa)
+FUNC (_Sat unsigned _Accum, Sua)
+FUNC (_Sat unsigned long _Accum, Sula)
+FUNC (_Sat unsigned long long _Accum, Sulla)
+
+int main()
+{
+#define TEST(TYPE,NAME,PF) \
+  { \
+    TYPE NAME[] = { 0.0 ## PF, 0.1 ## PF, 0.2 ## PF, 0.3 ## PF, 0.4 ## PF, \
+		    0.5 ## PF }; \
+    if (NAME ## 0 (NAME) != 0.0 ## PF) abort (); \
+    if (NAME ## 1 (NAME) != 0.1 ## PF) abort (); \
+    if (NAME ## 2 (NAME) != 0.2 ## PF) abort (); \
+    if (NAME ## 3 (NAME) != 0.3 ## PF) abort (); \
+    if (NAME ## 4 (NAME) != 0.4 ## PF) abort (); \
+    if (NAME ## 5 (NAME) != 0.5 ## PF) abort (); \
+  }
+
+  TEST (short _Fract, sf, hr)
+  TEST (_Fract, f, r)
+  TEST (long _Fract, lf, lr)
+  TEST (long long _Fract, llf, llr)
+  TEST (unsigned short _Fract, usf, uhr)
+  TEST (unsigned _Fract, uf, ur)
+  TEST (unsigned long _Fract, ulf, ulr)
+  TEST (unsigned long long _Fract, ullf, ullr)
+  TEST (_Sat short _Fract, Ssf, hr)
+  TEST (_Sat _Fract, Sf, r)
+  TEST (_Sat long _Fract, Slf, lr)
+  TEST (_Sat long long _Fract, Sllf, llr)
+  TEST (_Sat unsigned short _Fract, Susf, uhr)
+  TEST (_Sat unsigned _Fract, Suf, ur)
+  TEST (_Sat unsigned long _Fract, Sulf, ulr)
+  TEST (_Sat unsigned long long _Fract, Sullf, ullr)
+  TEST (short _Accum, sa, hk)
+  TEST (_Accum, a, k)
+  TEST (long _Accum, la, lk)
+  TEST (long long _Accum, lla, llk)
+  TEST (unsigned short _Accum, usa, uhk)
+  TEST (unsigned _Accum, ua, uk)
+  TEST (unsigned long _Accum, ula, ulk)
+  TEST (unsigned long long _Accum, ulla, ullk)
+  TEST (_Sat short _Accum, Ssa, hk)
+  TEST (_Sat _Accum, Sa, k)
+  TEST (_Sat long _Accum, Sla, lk)
+  TEST (_Sat long long _Accum, Slla, llk)
+  TEST (_Sat unsigned short _Accum, Susa, uhk)
+  TEST (_Sat unsigned _Accum, Sua, uk)
+  TEST (_Sat unsigned long _Accum, Sula, ulk)
+  TEST (_Sat unsigned long long _Accum, Sulla, ullk)
+
+  return 0;
+}