[all-commits] [llvm/llvm-project] bb8c7a: [ScalarEvolution] Make isKnownNonZero handle more ...

[Eli Friedman via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: bb8c7a980fe487eb322d38641db9145a6b6cb1d4
      https://github.com/llvm/llvm-project/commit/bb8c7a980fe487eb322d38641db9145a6b6cb1d4
  Author: Eli Friedman <efriedma at quicinc.com>
  Date:   2021-07-13 (Tue, 13 Jul 2021)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Analysis/ScalarEvolution/trip-count9.ll

  Log Message:
  -----------
  [ScalarEvolution] Make isKnownNonZero handle more cases.

Using an unsigned range instead of signed ranges is a bit more precise.

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