[all-commits] [llvm/llvm-project] 7fc0ef: [InstCombine] Add !noundef to match behavior of vi...

[luxufan via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7fc0efd0dc4d748ee1e1273f8afec289763c5049
      https://github.com/llvm/llvm-project/commit/7fc0efd0dc4d748ee1e1273f8afec289763c5049
  Author: luxufan <luxufan at iscas.ac.cn>
  Date:   2023-06-21 (Wed, 21 Jun 2023)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp
    M llvm/test/Transforms/InstCombine/assume.ll

  Log Message:
  -----------
  [InstCombine] Add !noundef to match behavior of violating assume

The behaviors of violating assume instruction or !nonnull metadata is
different. The former is immediate undefined behavior, but the latter is
returning poison value. This patch adds !noundef to trigger immediate
undefined behavior if !nonnull is violated.

Reviewed By: nikic

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