public inbox for gcc-prs@sourceware.org help / color / mirror / Atom feed
From: Michael Matz <matz@suse.de> To: nobody@gcc.gnu.org Cc: gcc-prs@gcc.gnu.org, Subject: Re: optimization/6162: gcc 3.0.4: certain i386 asm reloader ice Date: Wed, 30 Oct 2002 14:16:00 -0000 [thread overview] Message-ID: <20021030221606.27987.qmail@sources.redhat.com> (raw) The following reply was made to PR optimization/6162; it has been noted by GNATS. From: Michael Matz <matz@suse.de> To: Nathanael Nerode <neroden@twcny.rr.com>, Kevin Ryde <user42@zip.com.au> Cc: <gcc-gnats@gcc.gnu.org>, <gcc-prs@gcc.gnu.org>, <gcc-bugs@gcc.gnu.org>, <gcc@gcc.gnu.org> Subject: Re: optimization/6162: gcc 3.0.4: certain i386 asm reloader ice Date: Wed, 30 Oct 2002 23:09:20 +0100 (CET) Hi, On Wed, 30 Oct 2002, Nathanael Nerode wrote: > I know this is a regression, but: > * it's a subtle and difficult bug in reload, which may take a long time > and a lot of work to find Well, to find it is quite easy. reload is inherently incapable of handling more than one commutative operand, but there are two of them in the asm. If you are unlucky both of them would need to be swapped to make the insn valid, and this is what breaks reload, as it only can swap the last pair. I don't know why this constraint isn't documented, but anyway, that's the reason. To fix this indeed would be quite involved, as we would need to handle then all permutations of swappings (of which there are 4 with two pairs). Well, _I_ would fix this bug by documenting that behaviour. Note, that also, if we get rid of reload, the functionality will likely not change in that respect. > * reload is intended to go away for 3.4 On Thu, 31 Oct 2002, Kevin Ryde wrote: > The second (simpler) example I posted does it without that. > > > I don't think it's reasonable to hold up 3.2.1 or 3.3 for this bug. > > As far as I can tell you have to be pretty lucky, or unlucky, to > actually strike it. I've only had it two (or maybe three) times, and > not on finished code. Simply don't use more than one commutative pair, and you are safe (except if you really hit a bug of course ;-) ) Ciao, Michael.
next reply other threads:[~2002-10-30 22:16 UTC|newest] Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top 2002-10-30 14:16 Michael Matz [this message] -- strict thread matches above, loose matches on Subject: below -- 2002-11-01 13:46 Kevin Ryde 2002-10-31 10:26 Joe Buck 2002-10-30 15:06 Michael Matz 2002-10-30 14:56 Torbjorn Granlund 2002-10-30 14:46 Michael Matz 2002-10-30 14:26 Kevin Ryde 2002-10-30 13:36 Kevin Ryde 2002-10-30 12:36 Nathanael Nerode 2002-10-24 22:46 Andreas Jaeger 2002-10-24 22:39 aj 2002-10-24 17:06 Kevin Ryde 2002-10-10 11:06 hubicka 2002-08-02 16:06 Kevin Ryde 2002-04-03 16:26 Kevin Ryde
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=20021030221606.27987.qmail@sources.redhat.com \ --to=matz@suse.de \ --cc=gcc-prs@gcc.gnu.org \ --cc=nobody@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).