[all-commits] [llvm/llvm-project] 202d59: [LVI] Consistently intersect assumes

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 202d590a017b76926c9e327927d9c144bc8f5cfb
      https://github.com/llvm/llvm-project/commit/202d590a017b76926c9e327927d9c144bc8f5cfb
  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] Consistently intersect assumes

Integrate intersection with assumes into getBlockValue(), to ensure
that it is consistently performed.

We were doing it in nearly all places, but for example missed it
for select inputs.