[all-commits] [llvm/llvm-project] 03acea: [ValueTracking] Enable -branch-on-poison-as-ub by ...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 03aceab08bc9439e454d827bd1ffc94659c2c510
      https://github.com/llvm/llvm-project/commit/03aceab08bc9439e454d827bd1ffc94659c2c510
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-06-01 (Wed, 01 Jun 2022)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Analysis/ScalarEvolution/flags-from-poison.ll
    M llvm/test/Analysis/ScalarEvolution/limit-depth.ll
    M llvm/test/Analysis/ScalarEvolution/no-wrap-symbolic-becount.ll
    M llvm/test/Analysis/ScalarEvolution/nsw.ll
    M llvm/test/Analysis/ScalarEvolution/trip-count-negative-stride.ll
    M llvm/test/Analysis/ScalarEvolution/trip-count-non-unit-stride.ll
    M llvm/test/Transforms/AggressiveInstCombine/funnel.ll
    M llvm/test/Transforms/AggressiveInstCombine/rotate.ll
    M llvm/test/Transforms/IndVarSimplify/ashr-expansion.ll
    M llvm/test/Transforms/IndVarSimplify/lftr-address-space-pointers.ll
    M llvm/test/Transforms/IndVarSimplify/lftr-reuse.ll
    M llvm/test/Transforms/IndVarSimplify/pr24783.ll
    M llvm/test/Transforms/LoopStrengthReduce/X86/expander-crashes.ll
    M llvm/test/Transforms/LoopVectorize/AArch64/scalable-avoid-scalarization.ll
    M llvm/test/Transforms/PhaseOrdering/AArch64/peel-multiple-unreachable-exits-for-vectorization.ll
    M llvm/test/Transforms/VectorCombine/AArch64/load-extractelement-scalarization.ll
    M polly/test/DeLICM/pr41656.ll

  Log Message:
  -----------
  [ValueTracking] Enable -branch-on-poison-as-ub by default

Now that SimpleLoopUnswitch and other transforms no longer introduce
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.

Differential Revision: https://reviews.llvm.org/D125299