[all-commits] [llvm/llvm-project] b12a2f: [ValueTracking] Guaranteed not to be undef if has ...

[luxufan via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b12a2fc4e82424bb940e9250e469abdcce3547f9
      https://github.com/llvm/llvm-project/commit/b12a2fc4e82424bb940e9250e469abdcce3547f9
  Author: luxufan <luxufan at iscas.ac.cn>
  Date:   2023-04-27 (Thu, 27 Apr 2023)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/Attributor/dereferenceable-1.ll
    M llvm/test/Transforms/Attributor/nocapture-1.ll
    M llvm/test/Transforms/Attributor/nocapture-2.ll
    M llvm/test/Transforms/Attributor/nonnull.ll

  Log Message:
  -----------
  [ValueTracking] Guaranteed not to be undef if has dereferenceable attribute

As LangRef says, "dereferenceable<n> implies noundef".
`isGuaranteedNotToBeUndefOrPoison` should return true if the parameter
has dereferenceable attribute.

Reviewed By: nikic

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