[Bug tree-optimization/94882] Failure to optimize and+or+sub into xor+not

2020-04-30 Thread rguenth at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94882

Richard Biener  changed:

   What|Removed |Added

   Last reconfirmed||2020-04-30
 Status|UNCONFIRMED |NEW
 Ever confirmed|0   |1

--- Comment #1 from Richard Biener  ---
Confirmed.

[Bug tree-optimization/94882] Failure to optimize and+or+sub into xor+not

2020-07-01 Thread cvs-commit at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94882

--- Comment #2 from CVS Commits  ---
The master branch has been updated by Jeff Law :

https://gcc.gnu.org/g:553c6572061f6f9ef92514e8f13de95d509ad614

commit r11-1771-g553c6572061f6f9ef92514e8f13de95d509ad614
Author: Jeff Law 
Date:   Wed Jul 1 14:44:07 2020 -0600

match.pd: (x & y) - (x | y) - 1 -> ~(x ^ y) simplification [PR94882]

gcc/
PR tree-optimization/94882
* match.pd (x & y) - (x | y) - 1 -> ~(x ^ y): New simplification.

gcc/testsuite/
PR tree-optimization/94882
* gcc.dg/tree-ssa/pr94882.c: New test.
* gcc.dg/tree-ssa/pr94882-1.c: New test.
* gcc.dg/tree-ssa/pr94882-2.c: New test.
* gcc.dg/tree-ssa/pr94882-3.c: New test.

[Bug tree-optimization/94882] Failure to optimize and+or+sub into xor+not

2020-07-01 Thread law at redhat dot com 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94882

Jeffrey A. Law  changed:

   What|Removed |Added

 CC||law at redhat dot com
 Resolution|--- |FIXED
 Status|NEW |RESOLVED

--- Comment #3 from Jeffrey A. Law  ---
This should be fixed on the trunk now.