public inbox for gcc-cvs@sourceware.org help / color / mirror / Atom feed
From: Jakub Jelinek <jakub@gcc.gnu.org> To: gcc-cvs@gcc.gnu.org Subject: [gcc r12-6129] i386: Fix handling of SUBREGs in divv2sf3 [PR103842] Date: Tue, 28 Dec 2021 10:01:43 +0000 (GMT) [thread overview] Message-ID: <20211228100143.79E583858424@sourceware.org> (raw) https://gcc.gnu.org/g:242783c52c22ed96eae722b2fa9847711ac84699 commit r12-6129-g242783c52c22ed96eae722b2fa9847711ac84699 Author: Jakub Jelinek <jakub@redhat.com> Date: Tue Dec 28 10:58:43 2021 +0100 i386: Fix handling of SUBREGs in divv2sf3 [PR103842] register_operand predicate allows not just REGs, but also SUBREGs of REGs, and for the latter lowpart_subreg might FAIL when trying to create paradoxical SUBREG in some cases. For the input operand fixed by force_reg on it first, for the output operand handled by always dividing into a fresh V4SFmode temporary and emit_move_insn into the destination afterwards, that is also beneficial for combine. 2021-12-28 Jakub Jelinek <jakub@redhat.com> PR target/103842 * config/i386/mmx.md (divv2sf3): Use force_reg on op1. Always perform divv4sf3 into a pseudo and emit_move_insn into operands[0]. * g++.dg/opt/pr103842.C: New test. Diff: --- gcc/config/i386/mmx.md | 10 ++++++---- gcc/testsuite/g++.dg/opt/pr103842.C | 31 +++++++++++++++++++++++++++++++ 2 files changed, 37 insertions(+), 4 deletions(-) diff --git a/gcc/config/i386/mmx.md b/gcc/config/i386/mmx.md index 5a5755654c2..e394cbaa3f3 100644 --- a/gcc/config/i386/mmx.md +++ b/gcc/config/i386/mmx.md @@ -529,17 +529,19 @@ (match_operand:V2SF 2 "register_operand")))] "TARGET_MMX_WITH_SSE" { - rtx op0 = lowpart_subreg (V4SFmode, operands[0], - GET_MODE (operands[0])); - rtx op1 = lowpart_subreg (V4SFmode, operands[1], - GET_MODE (operands[1])); + rtx op1 = lowpart_subreg (V4SFmode, force_reg (V2SFmode, operands[1]), + V2SFmode); rtx op2 = gen_rtx_VEC_CONCAT (V4SFmode, operands[2], force_reg (V2SFmode, CONST1_RTX (V2SFmode))); rtx tmp = gen_reg_rtx (V4SFmode); emit_insn (gen_rtx_SET (tmp, op2)); + rtx op0 = gen_reg_rtx (V4SFmode); + emit_insn (gen_divv4sf3 (op0, op1, tmp)); + + emit_move_insn (operands[0], lowpart_subreg (V2SFmode, op0, V4SFmode)); DONE; }) diff --git a/gcc/testsuite/g++.dg/opt/pr103842.C b/gcc/testsuite/g++.dg/opt/pr103842.C new file mode 100644 index 00000000000..4fbafe332c2 --- /dev/null +++ b/gcc/testsuite/g++.dg/opt/pr103842.C @@ -0,0 +1,31 @@ +// PR target/103842 +// { dg-do compile } +// { dg-options "-O3 -std=c++14" } + +void foo (float *); +struct M { + float x[3][3]; + float *operator[](int i) { return x[i]; } + M(); + M(float f, float g) { + x[1][0] = x[1][1] = x[1][2] = f; + x[2][0] = g; + } + void bar(); + M baz() { + M s(x[1][2] - x[1][2], x[1][1] - x[1][1]); + float r = s[2][0]; + if (r) + for (int i = 0; i < 3; ++i) + for (int j = 0; j < 3; ++j) + s[i][j] /= r; + for (int i = 0;;) { + float *t = s[i]; + foo(t); + } + } +}; +void qux() { + M m, i = m.baz(), j = i; + j.bar(); +}
reply other threads:[~2021-12-28 10:01 UTC|newest] Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=20211228100143.79E583858424@sourceware.org \ --to=jakub@gcc.gnu.org \ --cc=gcc-cvs@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
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).