[all-commits] [llvm/llvm-project] 6b545d: [IPSCCP] Don't require noundef for !range annotation

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 6b545db83c5a4e2c79e0b289e840be2c5fbbf327
      https://github.com/llvm/llvm-project/commit/6b545db83c5a4e2c79e0b289e840be2c5fbbf327
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-03-09 (Thu, 09 Mar 2023)

  Changed paths:
    M llvm/lib/Transforms/IPO/SCCP.cpp
    M llvm/test/Transforms/SCCP/ip-add-range-to-call.ll

  Log Message:
  -----------
  [IPSCCP] Don't require noundef for !range annotation

Since https://reviews.llvm.org/D141386 !range violations return
poison instead of causing immediate undefined behavior. As such,
it is fine for IPSCCP to infer !range even if the value might be
poison. (The value cannot be undef as this would promote undef to
poison, but this is already checked separately.)

This basically undoes the late change done to D83952, restoring
it to its original version (which is now valid).

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