[Bug tree-optimization/71947] [6/7 Regression] x ^ y not folded to 0 if x == y by DOM

2016-10-10 Thread law at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71947 --- Comment #12 from Jeffrey A. Law --- Author: law Date: Mon Oct 10 20:40:59 2016 New Revision: 240947 URL: https://gcc.gnu.org/viewcvs?rev=240947=gcc=rev Log: PR tree-optimization/71947 * tree-ssa-dom.c (cprop_into_stmt):

[Bug tree-optimization/71947] [6/7 Regression] x ^ y not folded to 0 if x == y by DOM

2016-10-10 Thread law at redhat dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71947 --- Comment #11 from Jeffrey A. Law --- So I don't like the pain of trying to fold at each propagation step. Specifically, the structure of the gimple statement can change, which invalidates the operand cache. And the canonicalization of

[Bug tree-optimization/71947] [6/7 Regression] x ^ y not folded to 0 if x == y by DOM

2016-10-05 Thread law at redhat dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71947 Jeffrey A. Law changed: What|Removed |Added CC||npiggin at gmail dot com --- Comment

[Bug tree-optimization/71947] [6/7 Regression] x ^ y not folded to 0 if x == y by DOM

2016-10-05 Thread law at redhat dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71947 Jeffrey A. Law changed: What|Removed |Added CC||law at redhat dot com

[Bug tree-optimization/71947] [6/7 Regression] x ^ y not folded to 0 if x == y by DOM

2016-08-22 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71947 --- Comment #8 from Richard Biener --- GCC 6.2 is being released, adjusting target milestone.

[Bug tree-optimization/71947] [6/7 Regression] x ^ y not folded to 0 if x == y by DOM

2016-08-22 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71947 --- Comment #7 from Richard Biener --- GCC 6.2 is being released, adjusting target milestone.

[Bug tree-optimization/71947] [6/7 Regression] x ^ y not folded to 0 if x == y by DOM

2016-08-22 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71947 --- Comment #6 from Richard Biener --- GCC 6.2 is being released, adjusting target milestone.

[Bug tree-optimization/71947] [6/7 Regression] x ^ y not folded to 0 if x == y by DOM

2016-08-22 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71947 Richard Biener changed: What|Removed |Added Target Milestone|6.2 |6.3 --- Comment #5 from Richard Biener

[Bug tree-optimization/71947] [6/7 Regression] x ^ y not folded to 0 if x == y by DOM

2016-08-05 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71947 Richard Biener changed: What|Removed |Added Priority|P3 |P2

[Bug tree-optimization/71947] [6/7 Regression] x ^ y not folded to 0 if x == y by DOM

2016-07-21 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71947 --- Comment #4 from Richard Biener --- Now the testcase is optimized at -O2 by VRP but still not at -O1.

[Bug tree-optimization/71947] [6/7 Regression] x ^ y not folded to 0 if x == y by DOM

2016-07-21 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71947 --- Comment #3 from Richard Biener --- Author: rguenth Date: Thu Jul 21 13:00:32 2016 New Revision: 238591 URL: https://gcc.gnu.org/viewcvs?rev=238591=gcc=rev Log: 2016-07-21 Richard Biener PR

[Bug tree-optimization/71947] [6/7 Regression] x ^ y not folded to 0 if x == y by DOM

2016-07-21 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71947 Richard Biener changed: What|Removed |Added Summary|[6/7 Regression] x ^ y not |[6/7 Regression] x ^ y not