public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
From: Jiu Fu Guo <guojiufu@gcc.gnu.org>
To: gcc-cvs@gcc.gnu.org
Subject: [gcc r13-2532] rs6000: allow constant splitter run in split1 pass
Date: Thu,  8 Sep 2022 08:11:15 +0000 (GMT)	[thread overview]
Message-ID: <20220908081115.821F53858D1E@sourceware.org> (raw)

https://gcc.gnu.org/g:fbb550359beb904f00f22b86b64a47313c0ae45a

commit r13-2532-gfbb550359beb904f00f22b86b64a47313c0ae45a
Author: Jiufu Guo <guojiufu@linux.ibm.com>
Date:   Thu Sep 8 13:55:53 2022 +0800

    rs6000: allow constant splitter run in split1 pass
    
    Currently, these two splitters (touched in this patch) are using predicate
    `int_reg_operand_not_pseudo`, then they work in split2 pass after RA in
    most times, and can not run before RA.
    
    It would not be a bad idea to allow these splitters before RA.  Then more
    passes (e.g. combine, sched...) could optimize the emitted instructions.
    
    And if splitting before RA, for current constant splitter, we may have more
    freedom to create pseduo to help to generate more parallel instructions.
    For the example in the leading patch [PATCH 1/2]: pli+plit+rldimi would be
    better than pli+sldi+paddi.
    
    Test this patch with spec, we could see performance gain some times; while
    the improvement is not stable and woud caused by the patch indirectly.
    
    gcc/ChangeLog:
    
            * config/rs6000/rs6000.md (splitter for set to and_mask constants):
            Use int_reg_operand (instead of int_reg_operand_not_pseudo).
            (splitter for multi-insn constant loads): Ditto.

Diff:
---
 gcc/config/rs6000/rs6000.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gcc/config/rs6000/rs6000.md b/gcc/config/rs6000/rs6000.md
index 959fad23091..ad5a4cf2ef8 100644
--- a/gcc/config/rs6000/rs6000.md
+++ b/gcc/config/rs6000/rs6000.md
@@ -9683,7 +9683,7 @@
 ; Some DImode loads are best done as a load of -1 followed by a mask
 ; instruction.
 (define_split
-  [(set (match_operand:DI 0 "int_reg_operand_not_pseudo")
+  [(set (match_operand:DI 0 "int_reg_operand")
 	(match_operand:DI 1 "const_int_operand"))]
   "TARGET_POWERPC64
    && num_insns_constant (operands[1], DImode) > 1
@@ -9701,7 +9701,7 @@
 ;; When non-easy constants can go in the TOC, this should use
 ;; easy_fp_constant predicate.
 (define_split
-  [(set (match_operand:DI 0 "int_reg_operand_not_pseudo")
+  [(set (match_operand:DI 0 "int_reg_operand")
 	(match_operand:DI 1 "const_int_operand"))]
   "TARGET_POWERPC64 && num_insns_constant (operands[1], DImode) > 1"
   [(pc)]

                 reply	other threads:[~2022-09-08  8:11 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=20220908081115.821F53858D1E@sourceware.org \
    --to=guojiufu@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: link
Be 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).