SuccessChanges

Summary

  1. [CVP] Add tests for union of conditions (NFC) (details)
  2. [LVI] Handle unions of conditions (details)
  3. [InstSimplify] Add tests for gep p, -p without inbounds (NFC) (details)
Commit 13b1c9abaf46a7163bfc8fc0a765fbee051ccc80 by nikita.ppv
[CVP] Add tests for union of conditions (NFC)

We currently handle intersected conditions, but not unioned
conditions.
The file was modifiedllvm/test/Transforms/CorrelatedValuePropagation/basic.ll
Commit 14e540febcdace3b650dba2b8bb0e770b90409ad by nikita.ppv
[LVI] Handle unions of conditions

LVI previously handled "if (L && R)" conditions, but not
"if (L || R)" conditions. The latter case can still produce
useful information if L and R both constrain the same variable.

This adds support for handling the "if (L || R)" case as well.
The only difference is that we take the union instead of the
intersection of the lattice values.
The file was modifiedllvm/test/Transforms/CorrelatedValuePropagation/basic.ll
The file was modifiedllvm/lib/Analysis/LazyValueInfo.cpp
Commit 26680269e0ed17eb46e9bf10faa4116152608a51 by nikita.ppv
[InstSimplify] Add tests for gep p, -p without inbounds (NFC)

This is additional test coverage for D93820.
The file was modifiedllvm/test/Transforms/InstSimplify/gep.ll