https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80297
--- Comment #10 from Jakub Jelinek ---
Author: jakub
Date: Tue Apr 4 19:14:47 2017
New Revision: 246693
URL: https://gcc.gnu.org/viewcvs?rev=246693=gcc=rev
Log:
PR c++/80297
* genmatch.c (capture::gen_transform): For GENERIC
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80297
--- Comment #9 from rguenther at suse dot de ---
On Tue, 4 Apr 2017, jakub at gcc dot gnu.org wrote:
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80297
>
> --- Comment #8 from Jakub Jelinek ---
> Created attachment 41121
> -->
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80297
--- Comment #8 from Jakub Jelinek ---
Created attachment 41121
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41121=edit
gcc7-pr80297.patch
Patch I'm going to test.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80297
--- Comment #7 from rguenther at suse dot de ---
On Tue, 4 Apr 2017, jakub at gcc dot gnu.org wrote:
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80297
>
> --- Comment #6 from Jakub Jelinek ---
> (In reply to Richard Biener from comment #5)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80297
--- Comment #6 from Jakub Jelinek ---
(In reply to Richard Biener from comment #5)
> We can experiment with adding unshare_exprs to genmatch and see in how many
> patterns that triggers. But as said, the general issue looks latent to me.
>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80297
--- Comment #5 from Richard Biener ---
We can experiment with adding unshare_exprs to genmatch and see in how many
patterns that triggers. But as said, the general issue looks latent to me.
Folding during gimplification is dangerous.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80297
Richard Biener changed:
What|Removed |Added
CC||rguenth at gcc dot gnu.org
--- Comment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80297
--- Comment #3 from Jakub Jelinek ---
So, it is indeed that
/* Fold (A & ~B) - (A & B) into (A ^ B) - B. */
(simplify
(minus (bit_and:cs @0 (bit_not @1)) (bit_and:cs @0 @1))
(minus (bit_xor @0 @1) @1))
pattern which uses @1 more than once.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80297
--- Comment #2 from Jakub Jelinek ---
So far this looks like some tree sharing issue.
*expr_p = gimple_boolify (*expr_p);
if (!useless_type_conversion_p (org_type,
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80297
Jakub Jelinek changed:
What|Removed |Added
Priority|P3 |P2
Status|UNCONFIRMED
10 matches
Mail list logo
