[PATCH] D144410: [InstCombine] Support noalias calls in foldAllocaCmp()

[Nikita Popov via Phabricator via llvm-commits]

nikic created this revision.
nikic added reviewers: reames, spatel.
Herald added subscribers: jeroen.dobbelaere, StephenFan, hiraditya.
Herald added a project: All.
nikic requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

This is a reboot of D120371 <https://reviews.llvm.org/D120371>, which adds support for noalias calls in foldAllocaCmp(). The only difference to alloca handling is that allocators might return null, in which case we must make sure that we don't fold away comparisons to null.

Once this lands, I'll commit the removal of the old incorrect InstSimplify/CaptureTracking code in a separate commit, to reduce risk.


https://reviews.llvm.org/D144410

Files:
  llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp
  llvm/lib/Transforms/InstCombine/InstCombineInternal.h
  llvm/test/Transforms/InstCombine/compare-unescaped.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D144410.498879.patch
Type: text/x-patch
Size: 6978 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230220/5c22bc0d/attachment.bin>