[all-commits] [llvm/llvm-project] 076581: [ValueTracking] Implement sdiv/udiv support for is...

[Dhruv Chawla via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 076581fd95af72c8e6d2ab900b6d1798e2efaf8f
      https://github.com/llvm/llvm-project/commit/076581fd95af72c8e6d2ab900b6d1798e2efaf8f
  Author: Dhruv Chawla <dhruv263.dc at gmail.com>
  Date:   2023-10-20 (Fri, 20 Oct 2023)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Analysis/ValueTracking/select-known-non-zero.ll

  Log Message:
  -----------
  [ValueTracking] Implement sdiv/udiv support for isKnownNonNullFromDominatingCondition (#67282)

The second operand of a sdiv/udiv has to be non-null, as division by
zero is UB.

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

Fixes https://github.com/llvm/llvm-project/issues/64240.