This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/31178] New: VRP can infer a range for b in a >> b and a << b
- From: "rguenth at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 14 Mar 2007 21:12:52 -0000
- Subject: [Bug tree-optimization/31178] New: VRP can infer a range for b in a >> b and a << b
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
namely [0, n) where n is the width of type a. (Or better type a's mode to be
safe). Look at infer_value_range().
--
Summary: VRP can infer a range for b in a >> b and a << b
Product: gcc
Version: 4.3.0
Status: UNCONFIRMED
Keywords: missed-optimization
Severity: enhancement
Priority: P3
Component: tree-optimization
AssignedTo: rguenth at gcc dot gnu dot org
ReportedBy: rguenth at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31178