[all-commits] [llvm/llvm-project] 99da31: [LoopPredication] Fix the LoopPredication by feezi...

[serguei-katkov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 99da317331e37d530610695b0cf44ba2686b735e
      https://github.com/llvm/llvm-project/commit/99da317331e37d530610695b0cf44ba2686b735e
  Author: Serguei Katkov <serguei.katkov at azul.com>
  Date:   2023-03-29 (Wed, 29 Mar 2023)

  Changed paths:
    M llvm/lib/Transforms/Scalar/LoopPredication.cpp
    M llvm/test/Transforms/LoopPredication/assumes.ll
    M llvm/test/Transforms/LoopPredication/basic.ll
    M llvm/test/Transforms/LoopPredication/basic_widenable_branch_guards.ll
    M llvm/test/Transforms/LoopPredication/invariant_load.ll
    M llvm/test/Transforms/LoopPredication/nested.ll
    M llvm/test/Transforms/LoopPredication/poison.ll
    M llvm/test/Transforms/LoopPredication/pr61022.ll
    M llvm/test/Transforms/LoopPredication/profitability.ll
    M llvm/test/Transforms/LoopPredication/reverse.ll
    M llvm/test/Transforms/LoopPredication/visited.ll
    M llvm/test/Transforms/LoopPredication/widened.ll

  Log Message:
  -----------
  [LoopPredication] Fix the LoopPredication by feezing the result of predication.

LoopPredication introduces the use of possibly posion value in branch (guard)
instruction, so to avoid introducing undefined behavior it should be frozen.

Reviewed By: mkazantsev
Differential Revision: https://reviews.llvm.org/D146685