[all-commits] [llvm/llvm-project] 43114c: [ValueTracking] Dereferenceable and !NullPointerIs...

[luxufan via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 43114cb696c035901b7d31a76bc0ce87d60afc76
      https://github.com/llvm/llvm-project/commit/43114cb696c035901b7d31a76bc0ce87d60afc76
  Author: luxufan <luxufan at iscas.ac.cn>
  Date:   2023-08-14 (Mon, 14 Aug 2023)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/InstSimplify/icmp.ll

  Log Message:
  -----------
  [ValueTracking] Dereferenceable and !NullPointerIsDefined imply non-zero

Reviewed By: nikic

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