[llvm-bugs] [Bug 52276] wrong code at -O1, -Os and -O2 (but not -O3) on x86_64-linux-gnu (generated code hangs)

via llvm-bugs llvm-bugs at lists.llvm.org
Mon Oct 25 09:28:27 PDT 2021


https://bugs.llvm.org/show_bug.cgi?id=52276

listmail at philipreames.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|CONFIRMED                   |RESOLVED
         Resolution|---                         |FIXED

--- Comment #3 from listmail at philipreames.com ---
Should be fixed by:

commit f82cf6187fbe9584ba0a8d9bf4d703498df249e6 (HEAD -> main, origin/main)
Author: Philip Reames <listmail at philipreames.com>
Date:   Mon Oct 25 09:25:00 2021 -0700

    [indvars] Fix pr52276 (missing one use check)

    The recently added logic to canonicalize exit conditions to unsigned relies
on facts which hold about the use (i.e. exit test).  Applying this blindly to
the icmp is not legal, as there may be another use which never reaches the
exit.  Restrict ourselves to case where we have a single use.

Please reopen if needed.  I confirmed the reduced test case was fixed, but not
the original C example.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20211025/d7674e0b/attachment.html>


More information about the llvm-bugs mailing list