[llvm-bugs] [Bug 43276] JumpThreading and BasicAliasAnalysis

[via llvm-bugs]

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

Max Kazantsev <max.kazantsev at azul.com> changed:

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

--- Comment #7 from Max Kazantsev <max.kazantsev at azul.com> ---
commit a6074b092cd526c1a5c4dc4237ee867a65339cbf (HEAD -> main, origin/main)
Author: Max Kazantsev <mkazantsev at azul.com>
Date:   Wed Mar 17 11:16:07 2021 +0700

    [BasicAA] Drop dependency on Loop Info. PR43276

    BasicAA stores a reference to LoopInfo inside. This imposes an implicit
    requirement of keeping it up to date whenever we modify the IR (in
particular,
    whenever we modify terminators of blocks that belong to loops). Failing
    to do so leads to incorrect state of the LoopInfo.

    Because general AA does not require loop info updates and provides to API
to
    update it properly, the users of AA reasonably assume that there is no need
to
    update the loop info. It may be a reason of bugs, as example in PR43276
shows.

    This patch drops dependence of BasicAA on LoopInfo to avoid this problem.

    This may potentially pessimize the result of queries to BasicAA.

    Differential Revision: https://reviews.llvm.org/D98627
    Reviewed By: nikic

-- 
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/20210317/384edb45/attachment.html>