HomePhabricator

Exact ashr/lshr don't loose any set bits and are thus trivially invertible

Authored by reames on Mon, Apr 5, 7:21 PM.

Description

Exact ashr/lshr don't loose any set bits and are thus trivially invertible

Use that fact to improve isKnownNonEqual.

Details

Committed
reamesMon, Apr 5, 7:22 PM
Parents
rG812ce7f9beb2: [Polly] Refactoring isInnermost() from isl to use the C++ wrapper
Branches
Unknown
Tags
Unknown