RISCV: Fix local_eliminate_vsetvl_insn bug in VSETVL PASS[PR110560]

Message ID 20230707082231.27703-1-xuli1@eswincomputing.com
State Accepted
Headers
Series RISCV: Fix local_eliminate_vsetvl_insn bug in VSETVL PASS[PR110560] |

Checks

Context Check Description
snail/gcc-patch-check success Github commit url

Commit Message

Li Xu July 7, 2023, 8:22 a.m. UTC
  This patch fixes this issue happens on GCC-13.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110560

This patch should be backported to GCC-13.
GCC-14 has rewritten this function, so there is no issue.

PR target/110560

gcc/ChangeLog:

        * config/riscv/riscv-vsetvl.cc (local_eliminate_vsetvl_insn): Fix bug.
---
 gcc/config/riscv/riscv-vsetvl.cc | 4 ++++
 1 file changed, 4 insertions(+)
  

Comments

juzhe.zhong@rivai.ai July 7, 2023, 8:23 a.m. UTC | #1
LGTM. Thanks.



juzhe.zhong@rivai.ai
 
From: Li Xu
Date: 2023-07-07 16:22
To: gcc-patches
CC: kito.cheng; palmer; juzhe.zhong; zhengyu; Li Xu
Subject: [PATCH] RISCV: Fix local_eliminate_vsetvl_insn bug in VSETVL PASS[PR110560]
This patch fixes this issue happens on GCC-13.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110560
 
This patch should be backported to GCC-13.
GCC-14 has rewritten this function, so there is no issue.
 
PR target/110560
 
gcc/ChangeLog:
 
        * config/riscv/riscv-vsetvl.cc (local_eliminate_vsetvl_insn): Fix bug.
---
gcc/config/riscv/riscv-vsetvl.cc | 4 ++++
1 file changed, 4 insertions(+)
 
diff --git a/gcc/config/riscv/riscv-vsetvl.cc b/gcc/config/riscv/riscv-vsetvl.cc
index 35403b5679c..3355ca4e3fb 100644
--- a/gcc/config/riscv/riscv-vsetvl.cc
+++ b/gcc/config/riscv/riscv-vsetvl.cc
@@ -1078,6 +1078,10 @@ local_eliminate_vsetvl_insn (const vector_insn_info &dem)
  if (has_vtype_op (i->rtl ()))
    {
+       if (!PREV_INSN (i->rtl ()))
+ return;
+       if (!NONJUMP_INSN_P (PREV_INSN (i->rtl ())))
+ return;
      if (!vsetvl_discard_result_insn_p (PREV_INSN (i->rtl ())))
return;
      rtx avl = get_avl (i->rtl ());
-- 
2.17.1
  
Kito Cheng July 7, 2023, 9:04 a.m. UTC | #2
LGTM

On Fri, Jul 7, 2023 at 4:26 PM juzhe.zhong@rivai.ai
<juzhe.zhong@rivai.ai> wrote:
>
> LGTM. Thanks.
>
>
>
> juzhe.zhong@rivai.ai
>
> From: Li Xu
> Date: 2023-07-07 16:22
> To: gcc-patches
> CC: kito.cheng; palmer; juzhe.zhong; zhengyu; Li Xu
> Subject: [PATCH] RISCV: Fix local_eliminate_vsetvl_insn bug in VSETVL PASS[PR110560]
> This patch fixes this issue happens on GCC-13.
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110560
>
> This patch should be backported to GCC-13.
> GCC-14 has rewritten this function, so there is no issue.
>
> PR target/110560
>
> gcc/ChangeLog:
>
>         * config/riscv/riscv-vsetvl.cc (local_eliminate_vsetvl_insn): Fix bug.
> ---
> gcc/config/riscv/riscv-vsetvl.cc | 4 ++++
> 1 file changed, 4 insertions(+)
>
> diff --git a/gcc/config/riscv/riscv-vsetvl.cc b/gcc/config/riscv/riscv-vsetvl.cc
> index 35403b5679c..3355ca4e3fb 100644
> --- a/gcc/config/riscv/riscv-vsetvl.cc
> +++ b/gcc/config/riscv/riscv-vsetvl.cc
> @@ -1078,6 +1078,10 @@ local_eliminate_vsetvl_insn (const vector_insn_info &dem)
>   if (has_vtype_op (i->rtl ()))
>     {
> +       if (!PREV_INSN (i->rtl ()))
> + return;
> +       if (!NONJUMP_INSN_P (PREV_INSN (i->rtl ())))
> + return;
>       if (!vsetvl_discard_result_insn_p (PREV_INSN (i->rtl ())))
> return;
>       rtx avl = get_avl (i->rtl ());
> --
> 2.17.1
>
>
  
juzhe.zhong@rivai.ai July 7, 2023, 9:07 a.m. UTC | #3
CCing Li Pan to backport this patch.

Thanks.



juzhe.zhong@rivai.ai
 
From: Kito Cheng
Date: 2023-07-07 17:04
To: juzhe.zhong@rivai.ai
CC: Li Xu; gcc-patches; palmer; zhengyu
Subject: Re: [PATCH] RISCV: Fix local_eliminate_vsetvl_insn bug in VSETVL PASS[PR110560]
LGTM
 
On Fri, Jul 7, 2023 at 4:26 PM juzhe.zhong@rivai.ai
<juzhe.zhong@rivai.ai> wrote:
>
> LGTM. Thanks.
>
>
>
> juzhe.zhong@rivai.ai
>
> From: Li Xu
> Date: 2023-07-07 16:22
> To: gcc-patches
> CC: kito.cheng; palmer; juzhe.zhong; zhengyu; Li Xu
> Subject: [PATCH] RISCV: Fix local_eliminate_vsetvl_insn bug in VSETVL PASS[PR110560]
> This patch fixes this issue happens on GCC-13.
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110560
>
> This patch should be backported to GCC-13.
> GCC-14 has rewritten this function, so there is no issue.
>
> PR target/110560
>
> gcc/ChangeLog:
>
>         * config/riscv/riscv-vsetvl.cc (local_eliminate_vsetvl_insn): Fix bug.
> ---
> gcc/config/riscv/riscv-vsetvl.cc | 4 ++++
> 1 file changed, 4 insertions(+)
>
> diff --git a/gcc/config/riscv/riscv-vsetvl.cc b/gcc/config/riscv/riscv-vsetvl.cc
> index 35403b5679c..3355ca4e3fb 100644
> --- a/gcc/config/riscv/riscv-vsetvl.cc
> +++ b/gcc/config/riscv/riscv-vsetvl.cc
> @@ -1078,6 +1078,10 @@ local_eliminate_vsetvl_insn (const vector_insn_info &dem)
>   if (has_vtype_op (i->rtl ()))
>     {
> +       if (!PREV_INSN (i->rtl ()))
> + return;
> +       if (!NONJUMP_INSN_P (PREV_INSN (i->rtl ())))
> + return;
>       if (!vsetvl_discard_result_insn_p (PREV_INSN (i->rtl ())))
> return;
>       rtx avl = get_avl (i->rtl ());
> --
> 2.17.1
>
>
  
Li, Pan2 via Gcc-patches July 7, 2023, 9:35 a.m. UTC | #4
Committed to gcc-13, thanks Juzhe and Kito.

Pan

From: juzhe.zhong@rivai.ai <juzhe.zhong@rivai.ai>
Sent: Friday, July 7, 2023 5:07 PM
To: kito.cheng <kito.cheng@gmail.com>
Cc: Li Xu <xuli1@eswincomputing.com>; gcc-patches <gcc-patches@gcc.gnu.org>; palmer <palmer@dabbelt.com>; zhengyu <zhengyu@eswincomputing.com>; Li, Pan2 <pan2.li@intel.com>
Subject: Re: Re: [PATCH] RISCV: Fix local_eliminate_vsetvl_insn bug in VSETVL PASS[PR110560]

CCing Li Pan to backport this patch.

Thanks.

________________________________
juzhe.zhong@rivai.ai<mailto:juzhe.zhong@rivai.ai>

From: Kito Cheng<mailto:kito.cheng@gmail.com>
Date: 2023-07-07 17:04
To: juzhe.zhong@rivai.ai<mailto:juzhe.zhong@rivai.ai>
CC: Li Xu<mailto:xuli1@eswincomputing.com>; gcc-patches<mailto:gcc-patches@gcc.gnu.org>; palmer<mailto:palmer@dabbelt.com>; zhengyu<mailto:zhengyu@eswincomputing.com>
Subject: Re: [PATCH] RISCV: Fix local_eliminate_vsetvl_insn bug in VSETVL PASS[PR110560]
LGTM

On Fri, Jul 7, 2023 at 4:26 PM juzhe.zhong@rivai.ai<mailto:juzhe.zhong@rivai.ai>
<juzhe.zhong@rivai.ai<mailto:juzhe.zhong@rivai.ai>> wrote:
>
> LGTM. Thanks.
>
>
>
> juzhe.zhong@rivai.ai<mailto:juzhe.zhong@rivai.ai>
>
> From: Li Xu
> Date: 2023-07-07 16:22
> To: gcc-patches
> CC: kito.cheng; palmer; juzhe.zhong; zhengyu; Li Xu
> Subject: [PATCH] RISCV: Fix local_eliminate_vsetvl_insn bug in VSETVL PASS[PR110560]
> This patch fixes this issue happens on GCC-13.
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110560
>
> This patch should be backported to GCC-13.
> GCC-14 has rewritten this function, so there is no issue.
>
> PR target/110560
>
> gcc/ChangeLog:
>
>         * config/riscv/riscv-vsetvl.cc (local_eliminate_vsetvl_insn): Fix bug.
> ---
> gcc/config/riscv/riscv-vsetvl.cc | 4 ++++
> 1 file changed, 4 insertions(+)
>
> diff --git a/gcc/config/riscv/riscv-vsetvl.cc b/gcc/config/riscv/riscv-vsetvl.cc
> index 35403b5679c..3355ca4e3fb 100644
> --- a/gcc/config/riscv/riscv-vsetvl.cc
> +++ b/gcc/config/riscv/riscv-vsetvl.cc
> @@ -1078,6 +1078,10 @@ local_eliminate_vsetvl_insn (const vector_insn_info &dem)
>   if (has_vtype_op (i->rtl ()))
>     {
> +       if (!PREV_INSN (i->rtl ()))
> + return;
> +       if (!NONJUMP_INSN_P (PREV_INSN (i->rtl ())))
> + return;
>       if (!vsetvl_discard_result_insn_p (PREV_INSN (i->rtl ())))
> return;
>       rtx avl = get_avl (i->rtl ());
> --
> 2.17.1
>
>
  

Patch

diff --git a/gcc/config/riscv/riscv-vsetvl.cc b/gcc/config/riscv/riscv-vsetvl.cc
index 35403b5679c..3355ca4e3fb 100644
--- a/gcc/config/riscv/riscv-vsetvl.cc
+++ b/gcc/config/riscv/riscv-vsetvl.cc
@@ -1078,6 +1078,10 @@  local_eliminate_vsetvl_insn (const vector_insn_info &dem)
 
 	  if (has_vtype_op (i->rtl ()))
 	    {
+	      if (!PREV_INSN (i->rtl ()))
+		return;
+	      if (!NONJUMP_INSN_P (PREV_INSN (i->rtl ())))
+		return;
 	      if (!vsetvl_discard_result_insn_p (PREV_INSN (i->rtl ())))
 		return;
 	      rtx avl = get_avl (i->rtl ());