[all-commits] [llvm/llvm-project] c270aa: Mark widenable condition as noundef

[Max Kazantsev via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c270aafb182c61123daa55ab53794af7f4ff9757
      https://github.com/llvm/llvm-project/commit/c270aafb182c61123daa55ab53794af7f4ff9757
  Author: Max Kazantsev <mkazantsev at azul.com>
  Date:   2023-03-21 (Tue, 21 Mar 2023)

  Changed paths:
    M llvm/include/llvm/IR/Intrinsics.td
    M llvm/test/Transforms/InstCombine/freeze-integer-intrinsics.ll
    M llvm/test/Transforms/InstCombine/widenable-conditions.ll
    M llvm/test/Transforms/SimpleLoopUnswitch/pr60736.ll

  Log Message:
  -----------
  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