[all-commits] [llvm/llvm-project] 6012de: [ValueTracking] Support gep nuw in isKnownNonZero()

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 6012de2b4ec24826574fe9f2d74c7d2ff2b52f23
      https://github.com/llvm/llvm-project/commit/6012de2b4ec24826574fe9f2d74c7d2ff2b52f23
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2024-06-20 (Thu, 20 Jun 2024)

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

  Log Message:
  -----------
  [ValueTracking] Support gep nuw in isKnownNonZero()

gep nuw can be null if and only if both the base pointer and offset
are null. Unlike the inbounds case this does not depend on whether
the null pointer is valid.

Proofs: https://alive2.llvm.org/ce/z/PLoqK5



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications