[Bug tree-optimization/79981] Forwprop not working for __atomic_compare_exchange_n

2017-03-29 Thread vogt at linux dot vnet.ibm.com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79981 Dominik Vogt changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug tree-optimization/79981] Forwprop not working for __atomic_compare_exchange_n

2017-03-13 Thread vogt at linux dot vnet.ibm.com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79981 --- Comment #10 from Dominik Vogt --- Thanks for the fix; I'll regression test it soon, just need some time.

[Bug tree-optimization/79981] Forwprop not working for __atomic_compare_exchange_n

2017-03-10 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79981 --- Comment #9 from Jakub Jelinek --- Author: jakub Date: Fri Mar 10 19:47:44 2017 New Revision: 246054 URL: https://gcc.gnu.org/viewcvs?rev=246054&root=gcc&view=rev Log: PR tree-optimization/79981 * tree-vrp.c (extract_range_bas

[Bug tree-optimization/79981] Forwprop not working for __atomic_compare_exchange_n

2017-03-10 Thread glisse at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79981 --- Comment #8 from Marc Glisse --- (In reply to Richard Biener from comment #2) > (simplify > (convert @1) > (if (INTEGRAL_TYPE_P (TREE_TYPE (@1)) > && INTEGRAL_TYPE_P (type) > && (TREE_CODE (type) == BOOLEAN_TYPE > || TY

[Bug tree-optimization/79981] Forwprop not working for __atomic_compare_exchange_n

2017-03-10 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79981 Jakub Jelinek changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|unassigned a

[Bug tree-optimization/79981] Forwprop not working for __atomic_compare_exchange_n

2017-03-10 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79981 --- Comment #6 from Richard Biener --- (In reply to Jakub Jelinek from comment #4) > (In reply to Dominik Vogt from comment #3) > > (In reply to Richard Biener from comment #2) > > > of course needs to be conditional on oldlhs being bool and lhs

[Bug tree-optimization/79981] Forwprop not working for __atomic_compare_exchange_n

2017-03-10 Thread vogt at linux dot vnet.ibm.com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79981 --- Comment #5 from Dominik Vogt --- The knowledge that the integer can only assume the values 0 and 1 seems to be hard coded. Is it possible to add value range information? With that, all conditions and arithmetics could be done with the integ

[Bug tree-optimization/79981] Forwprop not working for __atomic_compare_exchange_n

2017-03-10 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79981 --- Comment #4 from Jakub Jelinek --- (In reply to Dominik Vogt from comment #3) > (In reply to Richard Biener from comment #2) > > of course needs to be conditional on oldlhs being bool and lhs being > > integral. > > Like so? > > -- > diff --

[Bug tree-optimization/79981] Forwprop not working for __atomic_compare_exchange_n

2017-03-10 Thread vogt at linux dot vnet.ibm.com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79981 --- Comment #3 from Dominik Vogt --- (In reply to Richard Biener from comment #2) > of course needs to be conditional on oldlhs being bool and lhs being > integral. Like so? -- diff --git a/gcc/gimple-fold.c b/gcc/gimple-fold.c index 9fd45d1..e

[Bug tree-optimization/79981] Forwprop not working for __atomic_compare_exchange_n

2017-03-10 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79981 Richard Biener changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

[Bug tree-optimization/79981] Forwprop not working for __atomic_compare_exchange_n

2017-03-09 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79981 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment #1