* [PATCH] rs6000: unnecessary clear after vctzlsbb in vec_first_match_or_eos_index
@ 2023-08-31 10:44 Ajit Agarwal
2023-09-12 7:18 ` [PING ^0] " Ajit Agarwal
2023-09-12 9:30 ` Kewen.Lin
0 siblings, 2 replies; 4+ messages in thread
From: Ajit Agarwal @ 2023-08-31 10:44 UTC (permalink / raw)
To: gcc-patches; +Cc: Peter Bergner, Segher Boessenkool, Jeff Law, Richard Biener
This patch removes zero extension from vctzlsbb as it already zero extends.
Bootstrapped and regtested on powerpc64-linux-gnu.
Thanks & Regards
Ajit
rs6000: unnecessary clear after vctzlsbb in vec_first_match_or_eos_index
For rs6000 target we dont need zero_extend after vctzlsbb as vctzlsbb
already zero extend.
2023-08-31 Ajit Kumar Agarwal <aagarwa1@linux.ibm.com>
gcc/ChangeLog:
* config/rs6000/vsx.md: Add new pattern.
gcc/testsuite/ChangeLog:
* g++.target/powerpc/altivec-19.C: New testcase.
---
gcc/config/rs6000/vsx.md | 17 ++++++++++++++---
gcc/testsuite/g++.target/powerpc/altivec-19.C | 11 +++++++++++
2 files changed, 25 insertions(+), 3 deletions(-)
create mode 100644 gcc/testsuite/g++.target/powerpc/altivec-19.C
diff --git a/gcc/config/rs6000/vsx.md b/gcc/config/rs6000/vsx.md
index 19abfeb565a..09d21a6d00a 100644
--- a/gcc/config/rs6000/vsx.md
+++ b/gcc/config/rs6000/vsx.md
@@ -5846,11 +5846,22 @@
[(set_attr "type" "vecsimple")])
;; Vector Count Trailing Zero Least-Significant Bits Byte
-(define_insn "vctzlsbb_<mode>"
- [(set (match_operand:SI 0 "register_operand" "=r")
+(define_insn "vctzlsbbzext_<mode>"
+ [(set (match_operand:DI 0 "register_operand" "=r")
+ (zero_extend:DI
(unspec:SI
[(match_operand:VSX_EXTRACT_I 1 "altivec_register_operand" "v")]
- UNSPEC_VCTZLSBB))]
+ UNSPEC_VCTZLSBB)))]
+ "TARGET_P9_VECTOR"
+ "vctzlsbb %0,%1"
+ [(set_attr "type" "vecsimple")])
+
+;; Vector Count Trailing Zero Least-Significant Bits Byte
+(define_insn "vctzlsbb_<mode>"
+ [(set (match_operand:SI 0 "register_operand" "=r")
+ (unspec:SI
+ [(match_operand:VSX_EXTRACT_I 1 "altivec_register_operand" "v")]
+ UNSPEC_VCTZLSBB))]
"TARGET_P9_VECTOR"
"vctzlsbb %0,%1"
[(set_attr "type" "vecsimple")])
diff --git a/gcc/testsuite/g++.target/powerpc/altivec-19.C b/gcc/testsuite/g++.target/powerpc/altivec-19.C
new file mode 100644
index 00000000000..2d630b2fc1f
--- /dev/null
+++ b/gcc/testsuite/g++.target/powerpc/altivec-19.C
@@ -0,0 +1,11 @@
+/* { dg-do compile { target { powerpc*-*-* } } } */
+/* { dg-require-effective-target lp64 } */
+/* { dg-require-effective-target powerpc_p9vector_ok } */
+/* { dg-options "-mcpu=power9 -O2 " } */
+
+#include <altivec.h>
+
+unsigned int foo (vector unsigned char a, vector unsigned char b) {
+ return vec_first_match_or_eos_index (a, b);
+}
+/* { dg-final { scan-assembler-not "rldicl" } } */
--
2.39.3
^ permalink raw reply [flat|nested] 4+ messages in thread
* [PING ^0] [PATCH] rs6000: unnecessary clear after vctzlsbb in vec_first_match_or_eos_index
2023-08-31 10:44 [PATCH] rs6000: unnecessary clear after vctzlsbb in vec_first_match_or_eos_index Ajit Agarwal
@ 2023-09-12 7:18 ` Ajit Agarwal
2023-09-12 9:30 ` Kewen.Lin
1 sibling, 0 replies; 4+ messages in thread
From: Ajit Agarwal @ 2023-09-12 7:18 UTC (permalink / raw)
To: gcc-patches; +Cc: Peter Bergner, Segher Boessenkool, Kewen.Lin
Ping!
-------- Forwarded Message --------
Subject: [PATCH] rs6000: unnecessary clear after vctzlsbb in vec_first_match_or_eos_index
Date: Thu, 31 Aug 2023 16:14:46 +0530
From: Ajit Agarwal via Gcc-patches <gcc-patches@gcc.gnu.org>
Reply-To: Ajit Agarwal <aagarwa1@linux.ibm.com>
To: gcc-patches <gcc-patches@gcc.gnu.org>
CC: Peter Bergner <bergner@linux.ibm.com>, Segher Boessenkool <segher@kernel.crashing.org>
This patch removes zero extension from vctzlsbb as it already zero extends.
Bootstrapped and regtested on powerpc64-linux-gnu.
Thanks & Regards
Ajit
rs6000: unnecessary clear after vctzlsbb in vec_first_match_or_eos_index
For rs6000 target we dont need zero_extend after vctzlsbb as vctzlsbb
already zero extend.
2023-08-31 Ajit Kumar Agarwal <aagarwa1@linux.ibm.com>
gcc/ChangeLog:
* config/rs6000/vsx.md: Add new pattern.
gcc/testsuite/ChangeLog:
* g++.target/powerpc/altivec-19.C: New testcase.
---
gcc/config/rs6000/vsx.md | 17 ++++++++++++++---
gcc/testsuite/g++.target/powerpc/altivec-19.C | 11 +++++++++++
2 files changed, 25 insertions(+), 3 deletions(-)
create mode 100644 gcc/testsuite/g++.target/powerpc/altivec-19.C
diff --git a/gcc/config/rs6000/vsx.md b/gcc/config/rs6000/vsx.md
index 19abfeb565a..09d21a6d00a 100644
--- a/gcc/config/rs6000/vsx.md
+++ b/gcc/config/rs6000/vsx.md
@@ -5846,11 +5846,22 @@
[(set_attr "type" "vecsimple")])
;; Vector Count Trailing Zero Least-Significant Bits Byte
-(define_insn "vctzlsbb_<mode>"
- [(set (match_operand:SI 0 "register_operand" "=r")
+(define_insn "vctzlsbbzext_<mode>"
+ [(set (match_operand:DI 0 "register_operand" "=r")
+ (zero_extend:DI
(unspec:SI
[(match_operand:VSX_EXTRACT_I 1 "altivec_register_operand" "v")]
- UNSPEC_VCTZLSBB))]
+ UNSPEC_VCTZLSBB)))]
+ "TARGET_P9_VECTOR"
+ "vctzlsbb %0,%1"
+ [(set_attr "type" "vecsimple")])
+
+;; Vector Count Trailing Zero Least-Significant Bits Byte
+(define_insn "vctzlsbb_<mode>"
+ [(set (match_operand:SI 0 "register_operand" "=r")
+ (unspec:SI
+ [(match_operand:VSX_EXTRACT_I 1 "altivec_register_operand" "v")]
+ UNSPEC_VCTZLSBB))]
"TARGET_P9_VECTOR"
"vctzlsbb %0,%1"
[(set_attr "type" "vecsimple")])
diff --git a/gcc/testsuite/g++.target/powerpc/altivec-19.C b/gcc/testsuite/g++.target/powerpc/altivec-19.C
new file mode 100644
index 00000000000..2d630b2fc1f
--- /dev/null
+++ b/gcc/testsuite/g++.target/powerpc/altivec-19.C
@@ -0,0 +1,11 @@
+/* { dg-do compile { target { powerpc*-*-* } } } */
+/* { dg-require-effective-target lp64 } */
+/* { dg-require-effective-target powerpc_p9vector_ok } */
+/* { dg-options "-mcpu=power9 -O2 " } */
+
+#include <altivec.h>
+
+unsigned int foo (vector unsigned char a, vector unsigned char b) {
+ return vec_first_match_or_eos_index (a, b);
+}
+/* { dg-final { scan-assembler-not "rldicl" } } */
--
2.39.3
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [PATCH] rs6000: unnecessary clear after vctzlsbb in vec_first_match_or_eos_index
2023-08-31 10:44 [PATCH] rs6000: unnecessary clear after vctzlsbb in vec_first_match_or_eos_index Ajit Agarwal
2023-09-12 7:18 ` [PING ^0] " Ajit Agarwal
@ 2023-09-12 9:30 ` Kewen.Lin
1 sibling, 0 replies; 4+ messages in thread
From: Kewen.Lin @ 2023-09-12 9:30 UTC (permalink / raw)
To: Ajit Agarwal; +Cc: Peter Bergner, Segher Boessenkool, gcc-patches
Hi Ajit,
on 2023/8/31 18:44, Ajit Agarwal via Gcc-patches wrote:
>
> This patch removes zero extension from vctzlsbb as it already zero extends.
> Bootstrapped and regtested on powerpc64-linux-gnu.
>
> Thanks & Regards
> Ajit
>
> rs6000: unnecessary clear after vctzlsbb in vec_first_match_or_eos_index
>
> For rs6000 target we dont need zero_extend after vctzlsbb as vctzlsbb
> already zero extend.
>
> 2023-08-31 Ajit Kumar Agarwal <aagarwa1@linux.ibm.com>
>
> gcc/ChangeLog:
>
> * config/rs6000/vsx.md: Add new pattern.
Nit: we can offer the pattern name, such as:
* config/rs6000/vsx.md (vctzlsbb_zext_<mode>): New define_insn.
>
> gcc/testsuite/ChangeLog:
>
> * g++.target/powerpc/altivec-19.C: New testcase.
> ---
> gcc/config/rs6000/vsx.md | 17 ++++++++++++++---
> gcc/testsuite/g++.target/powerpc/altivec-19.C | 11 +++++++++++
> 2 files changed, 25 insertions(+), 3 deletions(-)
> create mode 100644 gcc/testsuite/g++.target/powerpc/altivec-19.C
>
> diff --git a/gcc/config/rs6000/vsx.md b/gcc/config/rs6000/vsx.md
> index 19abfeb565a..09d21a6d00a 100644
> --- a/gcc/config/rs6000/vsx.md
> +++ b/gcc/config/rs6000/vsx.md
> @@ -5846,11 +5846,22 @@
> [(set_attr "type" "vecsimple")])
>
> ;; Vector Count Trailing Zero Least-Significant Bits Byte
> -(define_insn "vctzlsbb_<mode>"
> - [(set (match_operand:SI 0 "register_operand" "=r")
> +(define_insn "vctzlsbbzext_<mode>"
Nit: s/vctzlsbbzext_/vctzlsbb_zext_/, it's read better to separate
the mnemonic (vctzlsbb).
> + [(set (match_operand:DI 0 "register_operand" "=r")
> + (zero_extend:DI
> (unspec:SI
> [(match_operand:VSX_EXTRACT_I 1 "altivec_register_operand" "v")]
> - UNSPEC_VCTZLSBB))]
> + UNSPEC_VCTZLSBB)))]
> + "TARGET_P9_VECTOR"
> + "vctzlsbb %0,%1"
> + [(set_attr "type" "vecsimple")])
> +
> +;; Vector Count Trailing Zero Least-Significant Bits Byte
> +(define_insn "vctzlsbb_<mode>"
> + [(set (match_operand:SI 0 "register_operand" "=r")
> + (unspec:SI
> + [(match_operand:VSX_EXTRACT_I 1 "altivec_register_operand" "v")]
> + UNSPEC_VCTZLSBB))]
> "TARGET_P9_VECTOR"
> "vctzlsbb %0,%1"
> [(set_attr "type" "vecsimple")])
> diff --git a/gcc/testsuite/g++.target/powerpc/altivec-19.C b/gcc/testsuite/g++.target/powerpc/altivec-19.C
> new file mode 100644
> index 00000000000..2d630b2fc1f
> --- /dev/null
> +++ b/gcc/testsuite/g++.target/powerpc/altivec-19.C
> @@ -0,0 +1,11 @@
> +/* { dg-do compile { target { powerpc*-*-* } } } */
Nit: Can be simpler with /* { dg-do compile } */
as the target requirement is always satisfied in powerpc
test suite.
> +/* { dg-require-effective-target lp64 } */
This line can be removed as this case and its checking doesn't
require 64 bit env.
> +/* { dg-require-effective-target powerpc_p9vector_ok } */
> +/* { dg-options "-mcpu=power9 -O2 " } */
Use -mdejagnu-cpu=power9 instead of -mcpu=power9, it can always
take effect when mixing some other -mcpu=* from the RUN FLAGS.
> +
> +#include <altivec.h>
> +
> +unsigned int foo (vector unsigned char a, vector unsigned char b) {
> + return vec_first_match_or_eos_index (a, b);
> +}
> +/* { dg-final { scan-assembler-not "rldicl" } } */
Nit: Maybe with \m and \M like:
/* { dg-final { scan-assembler-not {\mrldicl\M} } } */
BR,
Kewen
^ permalink raw reply [flat|nested] 4+ messages in thread
* [PATCH] rs6000: unnecessary clear after vctzlsbb in vec_first_match_or_eos_index
@ 2023-08-31 11:37 Ajit Agarwal
0 siblings, 0 replies; 4+ messages in thread
From: Ajit Agarwal @ 2023-08-31 11:37 UTC (permalink / raw)
To: gcc-patches; +Cc: Segher Boessenkool, Peter Bergner, Jeff Law, Richard Biener
This patch removes zero extension from vctzlsbb as it already zero extends.
Bootstrapped and regtested on powerpc64-linux-gnu.
Thanks & Regards
Ajit
rs6000: unnecessary clear after vctzlsbb in vec_first_match_or_eos_index
For rs6000 target we dont need zero_extend after vctzlsbb as vctzlsbb
already zero extend.
2023-08-31 Ajit Kumar Agarwal <aagarwa1@linux.ibm.com>
gcc/ChangeLog:
* config/rs6000/vsx.md: Add new pattern.
gcc/testsuite/ChangeLog:
* g++.target/powerpc/altivec-19.C: New testcase.
---
gcc/config/rs6000/vsx.md | 17 ++++++++++++++---
gcc/testsuite/g++.target/powerpc/altivec-19.C | 11 +++++++++++
2 files changed, 25 insertions(+), 3 deletions(-)
create mode 100644 gcc/testsuite/g++.target/powerpc/altivec-19.C
diff --git a/gcc/config/rs6000/vsx.md b/gcc/config/rs6000/vsx.md
index 19abfeb565a..09d21a6d00a 100644
--- a/gcc/config/rs6000/vsx.md
+++ b/gcc/config/rs6000/vsx.md
@@ -5846,11 +5846,22 @@
[(set_attr "type" "vecsimple")])
;; Vector Count Trailing Zero Least-Significant Bits Byte
-(define_insn "vctzlsbb_<mode>"
- [(set (match_operand:SI 0 "register_operand" "=r")
+(define_insn "vctzlsbbzext_<mode>"
+ [(set (match_operand:DI 0 "register_operand" "=r")
+ (zero_extend:DI
(unspec:SI
[(match_operand:VSX_EXTRACT_I 1 "altivec_register_operand" "v")]
- UNSPEC_VCTZLSBB))]
+ UNSPEC_VCTZLSBB)))]
+ "TARGET_P9_VECTOR"
+ "vctzlsbb %0,%1"
+ [(set_attr "type" "vecsimple")])
+
+;; Vector Count Trailing Zero Least-Significant Bits Byte
+(define_insn "vctzlsbb_<mode>"
+ [(set (match_operand:SI 0 "register_operand" "=r")
+ (unspec:SI
+ [(match_operand:VSX_EXTRACT_I 1 "altivec_register_operand" "v")]
+ UNSPEC_VCTZLSBB))]
"TARGET_P9_VECTOR"
"vctzlsbb %0,%1"
[(set_attr "type" "vecsimple")])
diff --git a/gcc/testsuite/g++.target/powerpc/altivec-19.C b/gcc/testsuite/g++.target/powerpc/altivec-19.C
new file mode 100644
index 00000000000..2d630b2fc1f
--- /dev/null
+++ b/gcc/testsuite/g++.target/powerpc/altivec-19.C
@@ -0,0 +1,11 @@
+/* { dg-do compile { target { powerpc*-*-* } } } */
+/* { dg-require-effective-target lp64 } */
+/* { dg-require-effective-target powerpc_p9vector_ok } */
+/* { dg-options "-mcpu=power9 -O2 " } */
+
+#include <altivec.h>
+
+unsigned int foo (vector unsigned char a, vector unsigned char b) {
+ return vec_first_match_or_eos_index (a, b);
+}
+/* { dg-final { scan-assembler-not "rldicl" } } */
--
2.39.3
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2023-09-12 9:35 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-08-31 10:44 [PATCH] rs6000: unnecessary clear after vctzlsbb in vec_first_match_or_eos_index Ajit Agarwal
2023-09-12 7:18 ` [PING ^0] " Ajit Agarwal
2023-09-12 9:30 ` Kewen.Lin
2023-08-31 11:37 Ajit Agarwal
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).