arcv: apex: testsuite

Signed-off-by: Luis Silva <[email protected]>

Author: luismgsilva

gcc/testsuite/gcc.target/riscv/apex/apex.exp

@@ -0,0 +1,40 @@
+# Copyright (C) 2024-2025 Free Software Foundation, Inc.
+
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with GCC; see the file COPYING3.  If not see
+# <http://www.gnu.org/licenses/>.
+
+# GCC testsuite that uses the `dg.exp' driver.
+
+# Exit immediately if this isn't a RISC-V target.
+if ![istarget riscv*-*-*] then {
+  return
+}
+
+# Load support procs.
+load_lib gcc-dg.exp
+
+global DEFAULT_CFLAGS
+if ![info exists DEFAULT_CFLAGS] then {
+    set DEFAULT_CFLAGS " -ansi -pedantic-errors"
+}
+
+# Initialize `dg'.
+dg-init
+
+# Main loop.
+dg-runtest [lsort [glob -nocomplain $srcdir/$subdir/*.\[cS\]]] \
+        "" $DEFAULT_CFLAGS
+
+# All done.
+dg-finish

gcc/testsuite/gcc.target/riscv/apex/arcv-apex-err1.c

@@ -0,0 +1,7 @@
+/* { dg-do compile } */
+/* { dg-options "-mabi=ilp32d -march=rv32gc -mtune=arc-v-rhx-100-series" }*/
+
+
+int foo(int,int);
+
+#pragma intrinsic(foo,FOP,10,Key=>"bar") /* { dg-error "pragma intrinsic: APEX attribute 'Key' is not recognized" } */

gcc/testsuite/gcc.target/riscv/apex/arcv-apex-err10.c

@@ -0,0 +1,18 @@
+/* { dg-do compile } */
+/* { dg-options "-mabi=ilp32d -march=rv32gc -mtune=arc-v-rhx-100-series" }*/
+
+int foo(int);
+int foou(int);
+
+#pragma intrinsic(foo, FOP, 10, "XI")
+
+extern int XX;
+int
+main (void)
+{
+  int a;
+  a = foo(-2049); /* { dg-error "argument value -2049 is outside the valid range \\\[-2048, 2047\\\]" } */
+  a+= foo(2048); /* { dg-error "argument value 2048 is outside the valid range \\\[-2048, 2047\\\]" } */
+  a+= foo(1000000); /* { dg-error "argument value 1000000 is outside the valid range \\\[-2048, 2047\\\]" } */
+  return a;
+}

gcc/testsuite/gcc.target/riscv/apex/arcv-apex-err11.c

@@ -0,0 +1,13 @@
+/* { dg-do compile } */
+/* { dg-options "-O0" } */
+/* { dg-options "-mabi=ilp32d -march=rv32gc -mtune=arc-v-rhx-100-series" }*/
+
+int foo(int, int);
+
+#pragma intrinsic(foo, FOP, 10, "XC")
+
+int main() {
+  int x = 12;
+  int y = foo(x, 100000); /* { dg-error "argument value 100000 is outside the valid range \\\[-2048, 2047\\\]" } */
+  return foo(y, x); /* { dg-error "argument to 'foo' must be a constant integer" } */
+}

gcc/testsuite/gcc.target/riscv/apex/arcv-apex-err12.c

@@ -0,0 +1,13 @@
+/* { dg-do compile } */
+/* { dg-options "-O0" } */
+/* { dg-options "-mabi=ilp32d -march=rv32gc -mtune=arc-v-rhx-100-series" }*/
+
+int foo(int, int);
+
+#pragma intrinsic(foo, FOP, 10, "XS")
+
+int main() {
+  int x = 12;
+  int y = foo(x, 100000); /* { dg-error "argument value 100000 is outside the valid range \\\[-128, 127\\\]" } */
+  return foo(y, x); /* { dg-error "argument to 'foo' must be a constant integer" } */
+}

gcc/testsuite/gcc.target/riscv/apex/arcv-apex-err13.c

@@ -0,0 +1,14 @@
+/* { dg-do compile } */
+/* { dg-options "-O0" } */
+/* { dg-options "-mabi=ilp32d -march=rv32gc -mtune=arc-v-rhx-100-series" }*/
+
+void foo(int, int);
+int bar(int);
+
+#pragma intrinsic(foo, FOP, 10, "XS")
+#pragma intrinsic(bar, BAR, 11, "XI")
+
+int main() {
+  foo(12, 100000); /* { dg-error "argument value 100000 is outside the valid range \\\[-128, 127\\\]" } */
+  return bar(100000); /* { dg-error "argument value 100000 is outside the valid range \\\[-2048, 2047\\\]" } */
+}

gcc/testsuite/gcc.target/riscv/apex/arcv-apex-err14.c

@@ -0,0 +1,6 @@
+/* { dg-do compile } */
+/* { dg-options "-mabi=ilp32d -march=rv32gc -mtune=arc-v-rhx-100-series" }*/
+
+void foo(int, int);
+
+#pragma intrinsic(foo, FOP, 10, "XC") /* { dg-error "pragma intrinsic: APEX function 'foo' must return the same type as the first parameter for the 'XC' format class" } */

gcc/testsuite/gcc.target/riscv/apex/arcv-apex-err15.c

@@ -0,0 +1,10 @@
+/* { dg-do compile } */
+/* { dg-options "-mabi=ilp32d -march=rv32gc -mtune=arc-v-rhx-100-series" }*/
+
+int foo(int);
+int bar0();
+int bar3(int,int,int);
+
+#pragma intrinsic(foo, FOP, 10, "XS") /* { dg-error "pragma intrinsic: APEX function 'foo' must have 2 scalar parameter\\(s\\) for the 'XS' format class" } */
+#pragma intrinsic(bar0, bar0, 11, "XS") /* { dg-error "pragma intrinsic: APEX function 'bar0' must have 2 scalar parameter\\(s\\) for the 'XS' format class" } */
+#pragma intrinsic(bar3, bar3, 12, "XS") /* { dg-warning "pragma intrinsic: Associated function can have no more than 2 parameters" } */

gcc/testsuite/gcc.target/riscv/apex/arcv-apex-err16-rpx.c

@@ -0,0 +1,12 @@
+/* { dg-do compile } */
+/* { dg-options "-mabi=lp64d -march=rv64gc -mtune=arc-v-rpx-100-series" }*/
+
+struct S {int a,b,c,d; };
+long long foo(struct S *a, int b);
+
+#pragma intrinsic(foo,"FOP",10, XD,XS)
+
+int main(){
+  struct S s = {1,2,3,4};
+  return foo(&s, 100);
+}

gcc/testsuite/gcc.target/riscv/apex/arcv-apex-err16.c

@@ -0,0 +1,14 @@
+/* { dg-do compile } */
+/* { dg-options "-mabi=ilp32d -march=rv32gc -mtune=arc-v-rhx-100-series" }*/
+
+struct S {int a,b,c,d; };
+long long foo(struct S *a, int b);
+
+#pragma intrinsic(foo,"FOP",10, XD,XS) /* { dg-error "pragma intrinsic: APEX function 'foo' must return void or a scalar type that does not exceed 4 bytes" } */
+
+int
+main (void)
+{
+  struct S s = {1,2,3,4};
+  return foo(&s, 100);
+}