Mark widenable condition as noundef
authorMax Kazantsev <mkazantsev@azul.com>
Tue, 21 Mar 2023 10:11:10 +0000 (17:11 +0700)
committerMax Kazantsev <mkazantsev@azul.com>
Tue, 21 Mar 2023 10:11:58 +0000 (17:11 +0700)
commitc270aafb182c61123daa55ab53794af7f4ff9757
treecb6a509373e4aa04d7793a0846fe3106b60da309
parent25ca26e0da2e1f80d62f71807828762691a049ac
Mark widenable condition as noundef

This corresponds to its description in LangRef:
The intrinsic @llvm.experimental.widenable.condition() returns either true or false.

Differential Revision: https://reviews.llvm.org/D146508
Reviewed By: skatkov, nikic
llvm/include/llvm/IR/Intrinsics.td
llvm/test/Transforms/InstCombine/freeze-integer-intrinsics.ll
llvm/test/Transforms/InstCombine/widenable-conditions.ll
llvm/test/Transforms/SimpleLoopUnswitch/pr60736.ll