review.tizen.org Git - platform/upstream/llvm.git/commit

projects / platform / upstream / llvm.git / commit

author	Serguei Katkov <serguei.katkov@azul.com>
	Wed, 22 Mar 2023 10:10:38 +0000 (17:10 +0700)
committer	Serguei Katkov <serguei.katkov@azul.com>
	Wed, 29 Mar 2023 08:12:00 +0000 (15:12 +0700)
commit	99da317331e37d530610695b0cf44ba2686b735e
tree	acd301194b7013f1c5e10c274e118cdeec842bb4	tree \| snapshot
parent	5cb4619a1f561281ded631e5ee3e131d31e43c4d	commit \| diff

[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

12 files changed:

llvm/lib/Transforms/Scalar/LoopPredication.cpp		diff \| blob \| history
llvm/test/Transforms/LoopPredication/assumes.ll		diff \| blob \| history
llvm/test/Transforms/LoopPredication/basic.ll		diff \| blob \| history
llvm/test/Transforms/LoopPredication/basic_widenable_branch_guards.ll		diff \| blob \| history
llvm/test/Transforms/LoopPredication/invariant_load.ll		diff \| blob \| history
llvm/test/Transforms/LoopPredication/nested.ll		diff \| blob \| history
llvm/test/Transforms/LoopPredication/poison.ll		diff \| blob \| history
llvm/test/Transforms/LoopPredication/pr61022.ll		diff \| blob \| history
llvm/test/Transforms/LoopPredication/profitability.ll		diff \| blob \| history
llvm/test/Transforms/LoopPredication/reverse.ll		diff \| blob \| history
llvm/test/Transforms/LoopPredication/visited.ll		diff \| blob \| history
llvm/test/Transforms/LoopPredication/widened.ll		diff \| blob \| history

Domain: System / Toolchain;

RSS Atom