[PATCH] D125299: [ValueTracking] Enable -branch-on-poison-as-ub by default

[Nikita Popov via Phabricator via llvm-commits]

nikic created this revision.
nikic added reviewers: reames, fhahn, nlopes.
Herald added subscribers: javed.absar, 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 SimpleLoopUnswitch no longer introduces branch on poison, enable the `-branch-on-poison-as-ub` option by default. The practical impact of this is mostly better flag preservation in SCEV, and some freeze instructions no longer being necessary.


https://reviews.llvm.org/D125299

Files:
  llvm/lib/Analysis/ValueTracking.cpp
  llvm/test/Analysis/ScalarEvolution/flags-from-poison.ll
  llvm/test/Analysis/ScalarEvolution/limit-depth.ll
  llvm/test/Analysis/ScalarEvolution/no-wrap-symbolic-becount.ll
  llvm/test/Analysis/ScalarEvolution/nsw.ll
  llvm/test/Analysis/ScalarEvolution/trip-count-negative-stride.ll
  llvm/test/Analysis/ScalarEvolution/trip-count-non-unit-stride.ll
  llvm/test/Transforms/AggressiveInstCombine/funnel.ll
  llvm/test/Transforms/AggressiveInstCombine/rotate.ll
  llvm/test/Transforms/IndVarSimplify/ashr-expansion.ll
  llvm/test/Transforms/IndVarSimplify/lftr-address-space-pointers.ll
  llvm/test/Transforms/IndVarSimplify/lftr-reuse.ll
  llvm/test/Transforms/IndVarSimplify/pr24783.ll
  llvm/test/Transforms/LoopStrengthReduce/X86/expander-crashes.ll
  llvm/test/Transforms/LoopVectorize/AArch64/scalable-avoid-scalarization.ll
  llvm/test/Transforms/VectorCombine/AArch64/load-extractelement-scalarization.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D125299.428327.patch
Type: text/x-patch
Size: 34490 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220510/4c0ad471/attachment.bin>