Add Zcmp extension testcases, zcmpe means Zcmp with RVE extension.
Co-Authored by: Nandni Jamnadas <nandni.jamna...@embecosm.com>
Co-Authored by: Yulong Shi <yul...@iscas.ac.cn>
Co-Authored by: Shihua Liao <shi...@iscas.ac.cn>
Co-Authored by: Sinan Lin <sinan....@linux.alibaba.com>
gcc/testsuite/ChangeLog:
* gcc.target/riscv/zc-zcmp-push-pop-1.c: New test.
* gcc.target/riscv/zc-zcmp-push-pop-2.c: New test.
* gcc.target/riscv/zc-zcmp-push-pop-3.c: New test.
* gcc.target/riscv/zc-zcmp-push-pop-4.c: New test.
* gcc.target/riscv/zc-zcmp-push-pop-5.c: New test.
* gcc.target/riscv/zc-zcmp-push-pop-6.c: New test.
* gcc.target/riscv/zc-zcmp-push-pop-7.c: New test.
* gcc.target/riscv/zc-zcmpe-push-pop-1.c: New test.
* gcc.target/riscv/zc-zcmpe-push-pop-2.c: New test.
* gcc.target/riscv/zc-zcmpe-push-pop-3.c: New test.
* gcc.target/riscv/zc-zcmpe-push-pop-4.c: New test.
* gcc.target/riscv/zc-zcmpe-push-pop-5.c: New test.
* gcc.target/riscv/zc-zcmpe-push-pop-6.c: New test.
* gcc.target/riscv/zc-zcmpe-push-pop-7.c: New test.
---
.../gcc.target/riscv/zc-zcmp-push-pop-1.c | 15 +++++++++++++++
.../gcc.target/riscv/zc-zcmp-push-pop-2.c | 17 +++++++++++++++++
.../gcc.target/riscv/zc-zcmp-push-pop-3.c | 17 +++++++++++++++++
.../gcc.target/riscv/zc-zcmp-push-pop-4.c | 17 +++++++++++++++++
.../gcc.target/riscv/zc-zcmp-push-pop-5.c | 17 +++++++++++++++++
.../gcc.target/riscv/zc-zcmp-push-pop-6.c | 13 +++++++++++++
.../gcc.target/riscv/zc-zcmp-push-pop-7.c | 16 ++++++++++++++++
.../gcc.target/riscv/zc-zcmpe-push-pop-1.c | 15 +++++++++++++++
.../gcc.target/riscv/zc-zcmpe-push-pop-2.c | 17 +++++++++++++++++
.../gcc.target/riscv/zc-zcmpe-push-pop-3.c | 17 +++++++++++++++++
.../gcc.target/riscv/zc-zcmpe-push-pop-4.c | 17 +++++++++++++++++
.../gcc.target/riscv/zc-zcmpe-push-pop-5.c | 17 +++++++++++++++++
.../gcc.target/riscv/zc-zcmpe-push-pop-6.c | 13 +++++++++++++
.../gcc.target/riscv/zc-zcmpe-push-pop-7.c | 16 ++++++++++++++++
14 files changed, 224 insertions(+)
create mode 100644 gcc/testsuite/gcc.target/riscv/zc-zcmp-push-pop-1.c
create mode 100644 gcc/testsuite/gcc.target/riscv/zc-zcmp-push-pop-2.c
create mode 100644 gcc/testsuite/gcc.target/riscv/zc-zcmp-push-pop-3.c
create mode 100644 gcc/testsuite/gcc.target/riscv/zc-zcmp-push-pop-4.c
create mode 100644 gcc/testsuite/gcc.target/riscv/zc-zcmp-push-pop-5.c
create mode 100644 gcc/testsuite/gcc.target/riscv/zc-zcmp-push-pop-6.c
create mode 100644 gcc/testsuite/gcc.target/riscv/zc-zcmp-push-pop-7.c
create mode 100644 gcc/testsuite/gcc.target/riscv/zc-zcmpe-push-pop-1.c
create mode 100644 gcc/testsuite/gcc.target/riscv/zc-zcmpe-push-pop-2.c
create mode 100644 gcc/testsuite/gcc.target/riscv/zc-zcmpe-push-pop-3.c
create mode 100644 gcc/testsuite/gcc.target/riscv/zc-zcmpe-push-pop-4.c
create mode 100644 gcc/testsuite/gcc.target/riscv/zc-zcmpe-push-pop-5.c
create mode 100644 gcc/testsuite/gcc.target/riscv/zc-zcmpe-push-pop-6.c
create mode 100644 gcc/testsuite/gcc.target/riscv/zc-zcmpe-push-pop-7.c
diff --git a/gcc/testsuite/gcc.target/riscv/zc-zcmp-push-pop-1.c
b/gcc/testsuite/gcc.target/riscv/zc-zcmp-push-pop-1.c
new file mode 100644
index 00000000000..58bb39438ce
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/zc-zcmp-push-pop-1.c
@@ -0,0 +1,15 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv64g_zca_zcmp -mabi=lp64d -O0" } */
+
+int foo1(int a)
+{
+ return a;
+}
+
+int foo2(int b)
+{
+ return foo1(b);
+}
+
+/* { dg-final { scan-assembler "cm.push\t{ra,s0},-32" } } */
+/* { dg-final { scan-assembler "cm.popret\t{ra,s0},32" } } */
diff --git a/gcc/testsuite/gcc.target/riscv/zc-zcmp-push-pop-2.c
b/gcc/testsuite/gcc.target/riscv/zc-zcmp-push-pop-2.c
new file mode 100644
index 00000000000..2c692d80137
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/zc-zcmp-push-pop-2.c
@@ -0,0 +1,17 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32g_zca_zcmp -mabi=ilp32d -O2" } */
+
+void foo2 (int a, int b);
+
+int foo1(int a, int b)
+{
+ if (b < a)
+ {
+ foo2(a, b);
+ foo1(a, b);
+ }
+ return 0;
+}
+
+/* { dg-final { scan-assembler "cm.push\t{ra,s0-s1},-16" } } */
+/* { dg-final { scan-assembler "cm.popretz\t{ra,s0-s1},16" } } */
diff --git a/gcc/testsuite/gcc.target/riscv/zc-zcmp-push-pop-3.c
b/gcc/testsuite/gcc.target/riscv/zc-zcmp-push-pop-3.c
new file mode 100644
index 00000000000..ef22ce3d0f0
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/zc-zcmp-push-pop-3.c
@@ -0,0 +1,17 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32g_zca_zcmp -mabi=ilp32d -O2" } */
+
+void foo2 (int a, int b, int c, int d);
+
+int foo1(int a, int b, int c, int d)
+{
+ if (b < a)
+ {
+ foo2(a, b, c, d);
+ foo1(a, b, c, d);
+ }
+ return 0;
+}
+
+/* { dg-final { scan-assembler "cm.push\t{ra,s0-s3},-32" } } */
+/* { dg-final { scan-assembler "cm.popretz\t{ra,s0-s3},32" } } */
diff --git a/gcc/testsuite/gcc.target/riscv/zc-zcmp-push-pop-4.c
b/gcc/testsuite/gcc.target/riscv/zc-zcmp-push-pop-4.c
new file mode 100644
index 00000000000..00eb200ed0b
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/zc-zcmp-push-pop-4.c
@@ -0,0 +1,17 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32g_zca_zcmp -mabi=ilp32d -O2" } */
+
+void foo2 (int a, int b, int c, int d, int e);
+
+int foo1(int a, int b, int c, int d, int e)
+{
+ if (b < a)
+ {
+ foo2(a, b, c, d, e);
+ foo1(a, b, c, d, e);
+ }
+ return -1;
+}
+
+/* { dg-final { scan-assembler "cm.push\t{ra,s0-s4},-32" } } */
+/* { dg-final { scan-assembler "cm.popret\t{ra,s0-s4},32" } } */
diff --git a/gcc/testsuite/gcc.target/riscv/zc-zcmp-push-pop-5.c
b/gcc/testsuite/gcc.target/riscv/zc-zcmp-push-pop-5.c
new file mode 100644
index 00000000000..0361bd9da18
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/zc-zcmp-push-pop-5.c
@@ -0,0 +1,17 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32g_zca_zcmp -mabi=ilp32d -O2" } */
+
+int foo2 (int, int);
+
+int foo1(int n, int k)
+{
+ int mat[n + 1][k + 1];
+ mat[0][0] = 1;
+ for (int i = 1; i <= n; i++)
+ for (int j = 1; j <= foo2(i, k); j++)
+ mat[i][j] = j * mat[i - 1][j - 1];
+ return mat[n][k];
+}
+
+/* { dg-final { scan-assembler "cm.push\t{ra,s0-s11},-80" } } */
+/* { dg-final { scan-assembler "cm.popret\t{ra,s0-s11},80" } } */
diff --git a/gcc/testsuite/gcc.target/riscv/zc-zcmp-push-pop-6.c
b/gcc/testsuite/gcc.target/riscv/zc-zcmp-push-pop-6.c
new file mode 100644
index 00000000000..f90243aa20f
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/zc-zcmp-push-pop-6.c
@@ -0,0 +1,13 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32g_zca_zcmp -mabi=ilp32d -O0" } */
+
+#include <stdio.h>
+
+void __attribute__ ((interrupt ("user")))
+foo (void)
+{
+ char buf[560] = {0};
+ printf("%d", buf[1]);
+}
+
+/* { dg-final { scan-assembler "cm.pop\t{ra,s0},64" } } */
diff --git a/gcc/testsuite/gcc.target/riscv/zc-zcmp-push-pop-7.c
b/gcc/testsuite/gcc.target/riscv/zc-zcmp-push-pop-7.c
new file mode 100644
index 00000000000..265643407ef
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/zc-zcmp-push-pop-7.c
@@ -0,0 +1,16 @@
+/* This testcase is to test whether push/pop can correctly split stack
adjustment offset. */
+/* { dg-do compile } */
+/* { dg-options "-march=rv32g_zca_zcmp -mabi=ilp32d -O0" } */
+
+void test (char *);
+
+int foo()
+{
+ char m[512] = {0};
+ test (m);
+}
+
+/* { dg-final { scan-assembler "cm.push\t{ra,s0},-64" } } */
+/* { dg-final { scan-assembler "addi\tsp,sp,-464" } } */
+/* { dg-final { scan-assembler "addi\tsp,sp,464" } } */
+/* { dg-final { scan-assembler "cm.popret\t{ra,s0},64" } } */
diff --git a/gcc/testsuite/gcc.target/riscv/zc-zcmpe-push-pop-1.c
b/gcc/testsuite/gcc.target/riscv/zc-zcmpe-push-pop-1.c
new file mode 100644
index 00000000000..2c1a79e1852
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/zc-zcmpe-push-pop-1.c
@@ -0,0 +1,15 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32e_zcmp -mabi=ilp32e -O0" } */
+
+int foo1(int a)
+{
+ return a;
+}
+
+int foo2(int b)
+{
+ return foo1(b);
+}
+
+/* { dg-final { scan-assembler "cm.push\t{ra,s0},-16" } } */
+/* { dg-final { scan-assembler "cm.popret\t{ra,s0},16" } } */
diff --git a/gcc/testsuite/gcc.target/riscv/zc-zcmpe-push-pop-2.c
b/gcc/testsuite/gcc.target/riscv/zc-zcmpe-push-pop-2.c
new file mode 100644
index 00000000000..2da4dd10bf2
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/zc-zcmpe-push-pop-2.c
@@ -0,0 +1,17 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32e_zcmp -mabi=ilp32e -O0" } */
+
+void foo2 (int a, int b);
+
+int foo1(int a, int b)
+{
+ if (b < a)
+ {
+ foo2(a, b);
+ foo1(a, b);
+ }
+ return 0;
+}
+
+/* { dg-final { scan-assembler "cm.push\t{ra,s0},-32" } } */
+/* { dg-final { scan-assembler "cm.popret\t{ra,s0},32" } } */
diff --git a/gcc/testsuite/gcc.target/riscv/zc-zcmpe-push-pop-3.c
b/gcc/testsuite/gcc.target/riscv/zc-zcmpe-push-pop-3.c
new file mode 100644
index 00000000000..85a6f7c1074
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/zc-zcmpe-push-pop-3.c
@@ -0,0 +1,17 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32e_zcmp -mabi=ilp32e -O2" } */
+
+void foo2 (int a, int b, int c, int d);
+
+int foo1(int a, int b, int c, int d)
+{
+ if (b < a)
+ {
+ foo2(a, b, c, d);
+ foo1(a, b, c, d);
+ }
+ return 0;
+}
+
+/* { dg-final { scan-assembler "cm.push\t{ra,s0-s1},-32" } } */
+/* { dg-final { scan-assembler "cm.popretz\t{ra,s0-s1},32" } } */
diff --git a/gcc/testsuite/gcc.target/riscv/zc-zcmpe-push-pop-4.c
b/gcc/testsuite/gcc.target/riscv/zc-zcmpe-push-pop-4.c
new file mode 100644
index 00000000000..4195322e6fb
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/zc-zcmpe-push-pop-4.c
@@ -0,0 +1,17 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32e_zcmp -mabi=ilp32e -O2" } */
+
+void foo2 (int a, int b, int c, int d, int e);
+
+int foo1(int a, int b, int c, int d, int e)
+{
+ if (b < a)
+ {
+ foo2(a, b, c, d, e);
+ foo1(a, b, c, d, e);
+ }
+ return -1;
+}
+
+/* { dg-final { scan-assembler "cm.push\t{ra,s0-s1},-32" } } */
+/* { dg-final { scan-assembler "cm.popret\t{ra,s0-s1},32" } } */
diff --git a/gcc/testsuite/gcc.target/riscv/zc-zcmpe-push-pop-5.c
b/gcc/testsuite/gcc.target/riscv/zc-zcmpe-push-pop-5.c
new file mode 100644
index 00000000000..b9ec12738eb
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/zc-zcmpe-push-pop-5.c
@@ -0,0 +1,17 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32e_zcmp -mabi=ilp32e -O2" } */
+
+int foo2 (int, int);
+
+int foo1(int n, int k)
+{
+ int mat[n + 1][k + 1];
+ mat[0][0] = 1;
+ for (int i = 1; i <= n; i++)
+ for (int j = 1; j <= foo2(i, k); j++)
+ mat[i][j] = j * mat[i - 1][j - 1];
+ return mat[n][k];
+}
+
+/* { dg-final { scan-assembler "cm.push\t{ra,s0-s1},-64" } } */
+/* { dg-final { scan-assembler "cm.popret\t{ra,s0-s1},64" } } */
diff --git a/gcc/testsuite/gcc.target/riscv/zc-zcmpe-push-pop-6.c
b/gcc/testsuite/gcc.target/riscv/zc-zcmpe-push-pop-6.c
new file mode 100644
index 00000000000..67d6236bab6
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/zc-zcmpe-push-pop-6.c
@@ -0,0 +1,13 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32e_zcmp -mabi=ilp32e -O0" } */
+
+#include <stdio.h>
+
+void __attribute__ ((interrupt ("user")))
+foo (void)
+{
+ char buf[560] = {0};
+ printf("%d", buf[1]);
+}
+
+/* { dg-final { scan-assembler "cm.pop\t{ra,s0},64" } } */
diff --git a/gcc/testsuite/gcc.target/riscv/zc-zcmpe-push-pop-7.c
b/gcc/testsuite/gcc.target/riscv/zc-zcmpe-push-pop-7.c
new file mode 100644
index 00000000000..89fe96a29de
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/zc-zcmpe-push-pop-7.c
@@ -0,0 +1,16 @@
+/* This testcase is to test whether push/pop can correctly split stack
adjustment offset. */
+/* { dg-do compile } */
+/* { dg-options "-march=rv32e_zcmp -mabi=ilp32e -O0" } */
+
+void test (char *);
+
+int foo()
+{
+ char m[512] = {0};
+ test (m);
+}
+
+/* { dg-final { scan-assembler "cm.push\t{ra,s0},-64" } } */
+/* { dg-final { scan-assembler "addi\tsp,sp,-460" } } */
+/* { dg-final { scan-assembler "addi\tsp,sp,460" } } */
+/* { dg-final { scan-assembler "cm.popret\t{ra,s0},64" } } */
--
2.25.1
