[all-commits] [llvm/llvm-project] 3ec7f4: [LVI] Handle implication from icmp of trunc (PR51867)

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 3ec7f46e99b3690d8d25def158c2d58793ca4b28
      https://github.com/llvm/llvm-project/commit/3ec7f46e99b3690d8d25def158c2d58793ca4b28
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-01-18 (Tue, 18 Jan 2022)

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

  Log Message:
  -----------
  [LVI] Handle implication from icmp of trunc (PR51867)

Similar to the existing urem code, if we have (trunc X) >= C,
then also X >= C.

Proof: https://alive2.llvm.org/ce/z/RF4YR2

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