[all-commits] [llvm/llvm-project] cd84ca: [LVI] Support urem in implied conditions

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: cd84cab6b37f615d0babd0b1c7b9e3acef5586c2
      https://github.com/llvm/llvm-project/commit/cd84cab6b37f615d0babd0b1c7b9e3acef5586c2
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2021-11-20 (Sat, 20 Nov 2021)

  Changed paths:
    M llvm/lib/Analysis/LazyValueInfo.cpp
    M llvm/test/Transforms/CorrelatedValuePropagation/urem.ll

  Log Message:
  -----------
  [LVI] Support urem in implied conditions

If (X urem M) >= C we know that X >= C. Make use of this fact
when computing the implied condition range.

In some cases we could also establish an upper bound, but that's
both tricker and not interesting in practice.

Alive: https://alive2.llvm.org/ce/z/R5ZGSW