http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54491
Richard Guenther <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |missed-optimization
Status|UNCONFIRMED |NEW
Last reconfirmed| |2012-09-05
Component|c |tree-optimization
Ever Confirmed|0 |1
--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-09-05
14:21:47 UTC ---
You are basically requesting 12 < a < 32 to be converted to
(unsigned) a - 12 < 20, something fold does but not forwprop or ifcombine.