[PATCH] D125869: [JumpThreading] Insert freeze when unfolding select

[Nikita Popov via Phabricator via llvm-commits]

nikic created this revision.
nikic added reviewers: fhahn, reames, nlopes, aqjune.
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.

JumpThreading may convert selects into branch instructions, in which case the condition needs to be frozen (as branch on poison is immediate undefined behavior, unlike select on poison).

The necessary code for this is already in place, this just enables the option.


https://reviews.llvm.org/D125869

Files:
  llvm/include/llvm/Transforms/Scalar/JumpThreading.h
  llvm/lib/Transforms/Scalar/JumpThreading.cpp
  llvm/test/Transforms/JumpThreading/codesize-loop.ll
  llvm/test/Transforms/JumpThreading/select.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D125869.430308.patch
Type: text/x-patch
Size: 11358 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220518/526ab84d/attachment.bin>