public inbox for gcc-patches@gcc.gnu.org
 help / color / mirror / Atom feed
From: Wilco Dijkstra <Wilco.Dijkstra@arm.com>
To: Jeff Law <law@redhat.com>, GCC Patches <gcc-patches@gcc.gnu.org>
Cc: nd <nd@arm.com>
Subject: Re: [PATCH] Fix PR46932: Block auto increment on frame pointer
Date: Tue, 25 Jul 2017 21:25:00 -0000	[thread overview]
Message-ID: <DB6PR0801MB2053AAC879CDEF7B956A356383B80@DB6PR0801MB2053.eurprd08.prod.outlook.com> (raw)
In-Reply-To: <27a1b18b-a698-f50d-f026-1dc956e3c673@redhat.com>

Jeff Law wrote:

> My only concern here would be cases where we don't end up eliminating FP
> to SP.  But I'd think it's unlikely that we'd have enough auto-inc
> opportunities on the frame pointer for it to matter much anyway.

What kind of case are you thinking of? Whether it is SP or FP doesn't matter,
we cannot copy propagate the pointer:

        add     x1, fp, 32
        strb    w0, [x1, -1]!
    
Not even if the elimination offset is zero:

        mov     x1, fp
        strb    w0, [x1, 31]!

Basically an independent add is better than the above:

        strb    w0, [fp, 31]
        add     x1, fp, 31

I think the phase is still overly aggressive and there are more cases where it 
doesn't make sense to use auto increment. For example you will extra moves
just like the 2nd case above when it's not the last use of the source.

Wilco

  reply	other threads:[~2017-07-25 21:25 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-07-20 14:49 Wilco Dijkstra
2017-07-25 20:42 ` Jeff Law
2017-07-25 21:25   ` Wilco Dijkstra [this message]
2017-07-25 22:29     ` Jeff Law

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=DB6PR0801MB2053AAC879CDEF7B956A356383B80@DB6PR0801MB2053.eurprd08.prod.outlook.com \
    --to=wilco.dijkstra@arm.com \
    --cc=gcc-patches@gcc.gnu.org \
    --cc=law@redhat.com \
    --cc=nd@arm.com \
    /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).