HomePhabricator

Extract a helper for figuring out if an operator is invertible [nfc]

Authored by reames on Mon, Apr 5, 12:12 PM.

Description

Extract a helper for figuring out if an operator is invertible [nfc]

For use in an uncoming patch. Left out the phi case (which could otherwise fit in this framework) as it would cause infinite recursion in said patch. We can probably also leverage this in instcombine to ensure we keep the two sets of related analysis and transforms in sync.

Details

Committed
reamesMon, Apr 5, 12:14 PM
Parents
rGbe11bd1e9f01: [tests] Precommmit tests for reasoning about equality of recurrences
Branches
Unknown
Tags
Unknown