]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
RISC-V: Bugfix for RTL check[PR111533]
authorxuli <xuli1@eswincomputing.com>
Thu, 28 Sep 2023 01:29:12 +0000 (01:29 +0000)
committerxuli <xuli1@eswincomputing.com>
Thu, 28 Sep 2023 01:30:37 +0000 (01:30 +0000)
Consider the flowing situation:
BB5: local_dem(RVV Insn 1, AVL(reg zero))
RVV Insn 1: vmv.s.x, AVL (const_int 1)
RVV Insn 2: vredsum.vs, AVL(reg zero)

vmv.s.x has vl operand, the following code will get
avl (cosnt_int) from RVV Insn 1.
rtx avl = has_vl_op (insn->rtl ()) ? get_vl (insn->rtl ())
                                   : dem.get_avl ();

If use REGNO for const_int, the compiler will crash:

during RTL pass: vsetvl
res_debug.c: In function '__dn_count_labels':
res_debug.c:1050:1: internal compiler error: RTL check: expected code 'reg',
have 'const_int' in rhs_regno, at rtl.h:1934
 1050 | }
      | ^
0x8fb169 rtl_check_failed_code1(rtx_def const*, rtx_code, char const*, int, char const*)
../.././gcc/gcc/rtl.cc:770
0x1399818 rhs_regno(rtx_def const*)
../.././gcc/gcc/rtl.h:1934
0x1399818 anticipatable_occurrence_p
../.././gcc/gcc/config/riscv/riscv-vsetvl.cc:348

So in this case avl should be obtained from dem.

Another issue is caused by the following code:
HOST_WIDE_INT diff = INTVAL (builder.elt (i)) - i;

during RTL pass: expand
../../.././gcc/libgfortran/generated/matmul_c4.c: In function 'matmul_c4':
../../.././gcc/libgfortran/generated/matmul_c4.c:2906:39: internal compiler error: RTL check:
expected code 'const_int', have 'const_poly_int' in expand_const_vector,
at config/riscv/riscv-v.cc:1149

The builder.elt (i) can be either const_int or const_poly_int.

PR target/111533

gcc/ChangeLog:

* config/riscv/riscv-v.cc (expand_const_vector): Fix bug.
* config/riscv/riscv-vsetvl.cc (anticipatable_occurrence_p): Fix bug.

gcc/testsuite/ChangeLog:

* gcc.target/riscv/rvv/base/pr111533-1.c: New test.
* gcc.target/riscv/rvv/base/pr111533-2.c: New test.

gcc/config/riscv/riscv-v.cc
gcc/config/riscv/riscv-vsetvl.cc
gcc/testsuite/gcc.target/riscv/rvv/base/pr111533-1.c [new file with mode: 0644]
gcc/testsuite/gcc.target/riscv/rvv/base/pr111533-2.c [new file with mode: 0644]

index 359fb2ced8b746cf6c56cebd456bcc5690dee52a..26700cfc732fb50476a4da736b6d218b3fd44beb 100644 (file)
@@ -1149,8 +1149,9 @@ expand_const_vector (rtx target, rtx src)
              for (unsigned int i = 0; i < v.npatterns (); ++i)
                {
                  /* Calculate the diff between the target sequence and
-                    vid sequence.  */
-                 HOST_WIDE_INT diff = INTVAL (builder.elt (i)) - i;
+                    vid sequence.  The elt (i) can be either const_int or
+                    const_poly_int. */
+                 poly_int64 diff = rtx_to_poly_int64 (builder.elt (i)) - i;
                  v.quick_push (gen_int_mode (diff, v.inner_mode ()));
                }
              /* Step 2: Generate result = VID + diff.  */
index 7af33e7ea6f96bb171e7f54eab008b2b5c4c28e0..af8c31d873cc525ab614c05cd8122f2a3def2b6f 100644 (file)
@@ -307,8 +307,7 @@ anticipatable_occurrence_p (const bb_info *bb, const vector_insn_info dem)
   if (dem.has_avl_reg ())
     {
       /* rs1 (avl) are not modified in the basic block prior to the VSETVL.  */
-      rtx avl
-       = has_vl_op (insn->rtl ()) ? get_vl (insn->rtl ()) : dem.get_avl ();
+      rtx avl = dem.get_avl_or_vl_reg ();
       if (dem.dirty_p ())
        {
          gcc_assert (!vsetvl_insn_p (insn->rtl ()));
diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/pr111533-1.c b/gcc/testsuite/gcc.target/riscv/rvv/base/pr111533-1.c
new file mode 100644 (file)
index 0000000..aba26df
--- /dev/null
@@ -0,0 +1,15 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv64gcv -mabi=lp64d -O2 -ffast-math -ftree-vectorize" } */
+
+#include <stddef.h>
+
+typedef _Complex float GFC_COMPLEX_4;
+
+void
+test (GFC_COMPLEX_4 *a, GFC_COMPLEX_4 *b, GFC_COMPLEX_4 c, ptrdiff_t i, ptrdiff_t j)
+{
+  ptrdiff_t l;
+  for (l = 0; l <= i; ++l)
+    c += b[l] * a[j];
+  b[j] = c;
+}
diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/pr111533-2.c b/gcc/testsuite/gcc.target/riscv/rvv/base/pr111533-2.c
new file mode 100644 (file)
index 0000000..a4d2011
--- /dev/null
@@ -0,0 +1,29 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv64gcv -mabi=lp64d -O2" } */
+
+#include <string.h>
+
+/* Return the number of DNS hierarchy levels in the name. */
+int
+test (const char *name) {
+       int i, len, count;
+
+       len = strlen(name);
+       for (i = 0, count = 0; i < len; i++) {
+               /* XXX need to check for \. or use named's nlabels(). */
+               if (name[i] == '.')
+                       count++;
+       }
+
+       /* don't count initial wildcard */
+       if (name[0] == '*')
+               if (count)
+                       count--;
+
+       /* don't count the null label for root. */
+       /* if terminating '.' not found, must adjust */
+       /* count to include last label */
+       if (len > 0 && name[len-1] != '.')
+               count++;
+       return (count);
+}