https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95923
Andrew Pinski changed:
What|Removed |Added
Target Milestone|--- |14.0
Status|ASSIGNED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95923
--- Comment #9 from CVS Commits ---
The trunk branch has been updated by Andrew Pinski :
https://gcc.gnu.org/g:0407ae8a7732d90622a65ddf1798c9d51d450e9d
commit r14-2556-g0407ae8a7732d90622a65ddf1798c9d51d450e9d
Author: Andrew Pinski
Date: Sun
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95923
Andrew Pinski changed:
What|Removed |Added
Keywords||patch
URL|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95923
--- Comment #7 from Andrew Pinski ---
I will fix the phiopt issue later ...
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95923
--- Comment #6 from Andrew Pinski ---
Created attachment 8
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=8&action=edit
Patch which I am testing
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95923
--- Comment #5 from Andrew Pinski ---
(In reply to Andrew Pinski from comment #4)
> So there are some patterns for non boolean as for boolean values ~(a^b) is
> converted to a==b so we need to support the == case for these:
The non-boolean ones w
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95923
--- Comment #4 from Andrew Pinski ---
So there are some patterns for non boolean as for boolean values ~(a^b) is
converted to a==b so we need to support the == case for these:
```
/* (a | b) & ~(a ^ b) --> a & b */
(simplify
(bit_and:c (bit_i
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95923
--- Comment #3 from Andrew Pinski ---
After r14-1597-g64d90d06d2db, we now have:
_8 = a_6(D) | b_7(D);
_10 = a_6(D) == b_7(D);
_1 = _8 & _10;
(a == b) & (a | b)
I am no longer working on this right now. That is a job for reassociate I
thi
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95923
Andrew Pinski changed:
What|Removed |Added
Last reconfirmed||2021-08-07
Ever confirmed|0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95923
Andrew Pinski changed:
What|Removed |Added
Severity|normal |enhancement
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95923
--- Comment #1 from Marc Glisse ---
(With one variant I ended up with (a|b)&(a==b), which we don't optimize to a&b)
We don't optimize !(!a && !b) && !(!a && b) && !(a && !b) (we keep several
branches), but we do optimize if I manually replace en
11 matches
Mail list logo
