HomePhabricator

[LVI] Handle unions of conditions

Authored by nikic on Fri, Jan 1, 7:32 AM.

Description

[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.

Details

Committed
nikicFri, Jan 1, 7:46 AM
Parents
rG13b1c9abaf46: [CVP] Add tests for union of conditions (NFC)
Branches
Unknown
Tags
Unknown