[Bug tree-optimization/47061] VRP doesn't propagate through x=1, but it does for x*=2

2012-06-29 Thread rguenth at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47061 Richard Guenther rguenth at gcc dot gnu.org changed: What|Removed |Added Status|NEW |RESOLVED

[Bug tree-optimization/47061] VRP doesn't propagate through x=1, but it does for x*=2

2012-06-29 Thread rguenth at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47061 --- Comment #5 from Richard Guenther rguenth at gcc dot gnu.org 2012-06-29 14:27:34 UTC --- Author: rguenth Date: Fri Jun 29 14:27:24 2012 New Revision: 189076 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=189076 Log: 2012-06-29 Richard

[Bug tree-optimization/47061] VRP doesn't propagate through x=1, but it does for x*=2

2010-12-28 Thread rguenth at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47061 Richard Guenther rguenth at gcc dot gnu.org changed: What|Removed |Added Status|UNCONFIRMED |NEW Last

[Bug tree-optimization/47061] VRP doesn't propagate through x=1, but it does for x*=2

2010-12-24 Thread zsojka at seznam dot cz
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47061 --- Comment #1 from Zdenek Sojka zsojka at seznam dot cz 2010-12-24 15:54:35 UTC --- Created attachment 22851 -- http://gcc.gnu.org/bugzilla/attachment.cgi?id=22851 another testcase This testcase seems to be optimised at the RTL level. $ gcc

[Bug tree-optimization/47061] VRP doesn't propagate through x=1, but it does for x*=2

2010-12-24 Thread zsojka at seznam dot cz
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47061 --- Comment #2 from Zdenek Sojka zsojka at seznam dot cz 2010-12-24 19:25:21 UTC --- (In reply to comment #1) For the right shift, the function is optimised correctly. Actually, no, it's just the cast what optimises the range, but not the