* [PATCH] [i386] Fix ICE.
@ 2021-08-16 9:18 liuhongt
2021-08-16 9:20 ` Uros Bizjak
0 siblings, 1 reply; 3+ messages in thread
From: liuhongt @ 2021-08-16 9:18 UTC (permalink / raw)
To: gcc-patches
Hi:
avx512f_scalef<mode>2 only accept register_operand for operands[1],
force it to reg in ldexp<mode>3.
Bootstrapped and regtested on x86_64-linux-gnu{-m32,}.
Ok for trunk.
gcc/ChangeLog:
PR target/101930
* config/i386/i386.md (ldexp<mode>3): Force operands[1] to
reg.
gcc/testsuite/ChangeLog:
PR target/101930
* gcc.target/i386/pr101930.c: New test.
---
gcc/config/i386/i386.md | 4 +---
gcc/testsuite/gcc.target/i386/pr101930.c | 9 +++++++++
2 files changed, 10 insertions(+), 3 deletions(-)
create mode 100644 gcc/testsuite/gcc.target/i386/pr101930.c
diff --git a/gcc/config/i386/i386.md b/gcc/config/i386/i386.md
index 4a8e8fea290..41d85623ad6 100644
--- a/gcc/config/i386/i386.md
+++ b/gcc/config/i386/i386.md
@@ -17938,9 +17938,7 @@ (define_expand "ldexp<mode>3"
if (TARGET_AVX512F && TARGET_SSE_MATH)
{
rtx op2 = gen_reg_rtx (<MODE>mode);
-
- if (!nonimmediate_operand (operands[1], <MODE>mode))
- operands[1] = force_reg (<MODE>mode, operands[1]);
+ operands[1] = force_reg (<MODE>mode, operands[1]);
emit_insn (gen_floatsi<mode>2 (op2, operands[2]));
emit_insn (gen_avx512f_scalef<mode>2 (operands[0], operands[1], op2));
diff --git a/gcc/testsuite/gcc.target/i386/pr101930.c b/gcc/testsuite/gcc.target/i386/pr101930.c
new file mode 100644
index 00000000000..7207dd18377
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr101930.c
@@ -0,0 +1,9 @@
+/* { dg-do compile } */
+/* { dg-options "-mavx512f -O2 -mfpmath=sse -ffast-math" } */
+double a;
+double
+__attribute__((noipa))
+foo (int b)
+{
+ return __builtin_ldexp (a, b);
+}
--
2.27.0
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [PATCH] [i386] Fix ICE.
2021-08-16 9:18 [PATCH] [i386] Fix ICE liuhongt
@ 2021-08-16 9:20 ` Uros Bizjak
0 siblings, 0 replies; 3+ messages in thread
From: Uros Bizjak @ 2021-08-16 9:20 UTC (permalink / raw)
To: liuhongt; +Cc: gcc-patches, Hongtao Liu
On Mon, Aug 16, 2021 at 11:19 AM liuhongt <hongtao.liu@intel.com> wrote:
>
> Hi:
> avx512f_scalef<mode>2 only accept register_operand for operands[1],
> force it to reg in ldexp<mode>3.
>
> Bootstrapped and regtested on x86_64-linux-gnu{-m32,}.
> Ok for trunk.
>
> gcc/ChangeLog:
>
> PR target/101930
> * config/i386/i386.md (ldexp<mode>3): Force operands[1] to
> reg.
>
> gcc/testsuite/ChangeLog:
>
> PR target/101930
> * gcc.target/i386/pr101930.c: New test.
OK.
Thanks,
Uros.
> ---
> gcc/config/i386/i386.md | 4 +---
> gcc/testsuite/gcc.target/i386/pr101930.c | 9 +++++++++
> 2 files changed, 10 insertions(+), 3 deletions(-)
> create mode 100644 gcc/testsuite/gcc.target/i386/pr101930.c
>
> diff --git a/gcc/config/i386/i386.md b/gcc/config/i386/i386.md
> index 4a8e8fea290..41d85623ad6 100644
> --- a/gcc/config/i386/i386.md
> +++ b/gcc/config/i386/i386.md
> @@ -17938,9 +17938,7 @@ (define_expand "ldexp<mode>3"
> if (TARGET_AVX512F && TARGET_SSE_MATH)
> {
> rtx op2 = gen_reg_rtx (<MODE>mode);
> -
> - if (!nonimmediate_operand (operands[1], <MODE>mode))
> - operands[1] = force_reg (<MODE>mode, operands[1]);
> + operands[1] = force_reg (<MODE>mode, operands[1]);
>
> emit_insn (gen_floatsi<mode>2 (op2, operands[2]));
> emit_insn (gen_avx512f_scalef<mode>2 (operands[0], operands[1], op2));
> diff --git a/gcc/testsuite/gcc.target/i386/pr101930.c b/gcc/testsuite/gcc.target/i386/pr101930.c
> new file mode 100644
> index 00000000000..7207dd18377
> --- /dev/null
> +++ b/gcc/testsuite/gcc.target/i386/pr101930.c
> @@ -0,0 +1,9 @@
> +/* { dg-do compile } */
> +/* { dg-options "-mavx512f -O2 -mfpmath=sse -ffast-math" } */
> +double a;
> +double
> +__attribute__((noipa))
> +foo (int b)
> +{
> + return __builtin_ldexp (a, b);
> +}
> --
> 2.27.0
>
^ permalink raw reply [flat|nested] 3+ messages in thread
* [PATCH] [i386] Fix ICE.
@ 2021-08-23 9:49 liuhongt
0 siblings, 0 replies; 3+ messages in thread
From: liuhongt @ 2021-08-23 9:49 UTC (permalink / raw)
To: gcc-patches
Bootstrapped and regtested on x86_64-linux-gnu{-m32,}.
Pushed to trunk.
gcc/ChangeLog:
PR target/102016
* config/i386/sse.md (*avx512f_pshufb_truncv8hiv8qi_1): Add
TARGET_AVX512BW to condition.
gcc/testsuite/ChangeLog:
PR target/102016
* gcc.target/i386/pr102016.c: New test.
---
gcc/config/i386/sse.md | 2 +-
gcc/testsuite/gcc.target/i386/pr102016.c | 10 ++++++++++
2 files changed, 11 insertions(+), 1 deletion(-)
create mode 100644 gcc/testsuite/gcc.target/i386/pr102016.c
diff --git a/gcc/config/i386/sse.md b/gcc/config/i386/sse.md
index 13889687793..95f95823ea3 100644
--- a/gcc/config/i386/sse.md
+++ b/gcc/config/i386/sse.md
@@ -11256,7 +11256,7 @@ (define_insn_and_split "*avx512f_pshufb_truncv8hiv8qi_1"
(match_operand:V16QI 2 "pshufb_truncv8hiv8qi_operand")]
UNSPEC_PSHUFB) 0)
(parallel [(const_int 0)])))]
- "TARGET_AVX512VL && ix86_pre_reload_split ()"
+ "TARGET_AVX512VL && TARGET_AVX512BW && ix86_pre_reload_split ()"
"#"
"&& 1"
[(const_int 0)]
diff --git a/gcc/testsuite/gcc.target/i386/pr102016.c b/gcc/testsuite/gcc.target/i386/pr102016.c
new file mode 100644
index 00000000000..2ff75cb898a
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr102016.c
@@ -0,0 +1,10 @@
+/* { dg-do compile } */
+/* { dg-options "-mavx512vl -O2" } */
+typedef char v8qi __attribute__((vector_size (8)));
+typedef char v16qi __attribute__((vector_size (16)));
+v8qi
+foo_wb_128 (v16qi x)
+{
+ return __builtin_shufflevector (x, x,
+ 0, 2, 4, 6, 8, 10, 12, 14);
+}
--
2.27.0
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2021-08-23 9:49 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-08-16 9:18 [PATCH] [i386] Fix ICE liuhongt
2021-08-16 9:20 ` Uros Bizjak
2021-08-23 9:49 liuhongt
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).