[PATCH] D126647: [SCCP] Don't mark ranges from branch conditions as potentially undef

[Nikita Popov via Phabricator via llvm-commits]

nikic created this revision.
nikic added a reviewer: fhahn.
Herald added a subscriber: hiraditya.
Herald added a project: All.
nikic requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

Now that transforms introducing branch on poison have been removed, we can stop marking ranges that have been derived from branch conditions as containing undef. The existing comment explains why this is legal. I've checked that alive2 is happy with SCCP tests after this change.


https://reviews.llvm.org/D126647

Files:
  llvm/lib/Transforms/Utils/SCCPSolver.cpp
  llvm/test/Transforms/SCCP/conditions-ranges.ll
  llvm/test/Transforms/SCCP/ip-ranges-sext.ll
  llvm/test/Transforms/SCCP/replace-dereferenceable-ptr-with-undereferenceable.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D126647.432903.patch
Type: text/x-patch
Size: 6040 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220530/ab051f4a/attachment.bin>