https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110582
Andrew Macleod <amacleod at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |FIXED
--- Comment #7 from Andrew Macleod <amacleod at redhat dot com> ---
There was a bug in the implementation of fur_list where it was using the
supplied values for *any* encountered operand, not just ssa_names. so when
the phi analyzer was trying to find an initial value fro the PHI a_lsm.2_29 it
was miscalculating the value of iftmp.1_15 and thought it had an (incorrect)
limited range of [-2,2].
# a_lsm.12_29 = PHI <iftmp.1_11(4)>
iftmp.1_15 = 3 / a_lsm.12_29;
it then though it could fold away the condition.
The patch adjusts the operand fetcher to work properly, and then the phi
analyzer calcualtes the range for the statement properly, and we can no longer
remove the condtion.
