https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62263
Jakub Jelinek changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62263
--- Comment #8 from Jakub Jelinek ---
Author: jakub
Date: Sat Oct 14 18:48:38 2017
New Revision: 253761
URL: https://gcc.gnu.org/viewcvs?rev=253761=gcc=rev
Log:
PR middle-end/62263
PR middle-end/82498
* tree-ssa-phiopt.c
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62263
--- Comment #7 from Jakub Jelinek ---
Author: jakub
Date: Sat Oct 14 18:47:14 2017
New Revision: 253760
URL: https://gcc.gnu.org/viewcvs?rev=253760=gcc=rev
Log:
PR middle-end/62263
PR middle-end/82498
*
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62263
Richard Biener rguenth at gcc dot gnu.org changed:
What|Removed |Added
CC||jakub at gcc
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62263
Marek Polacek mpolacek at gcc dot gnu.org changed:
What|Removed |Added
CC||mpolacek at
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62263
--- Comment #4 from Marc Glisse glisse at gcc dot gnu.org ---
Problem here is conversions that happen in places where we don't handle them. A
couple more patterns should do it (it could be a good test for the optional
convert feature in the match
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62263
--- Comment #5 from Marc Glisse glisse at gcc dot gnu.org ---
Also, I would have expected the pattern *rotate_insnmode3_mask to avoid
generating 'andl' before 'roll'.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62263
--- Comment #6 from M.E. O'Neill oneill+gccbugs at cs dot hmc.edu ---
(In reply to Marek Polacek from comment #3)
We handle at least
(x n) | (x ((-n) 31))
(N can be 0 here) since PR57157.
Although this code does work with LLVM, testing
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62263
--- Comment #1 from M.E. O'Neill oneill+gccbugs at cs dot hmc.edu ---
Possibly this should have been filed as a tree-level bug? Also, see
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=17886 which mostly is about issues
with wider types, but may