HomePhabricator

Generalize icmp matching in IndVars' eliminateTrunc

Authored by reames on Jun 11 2019, 3:43 PM.

Description

Generalize icmp matching in IndVars' eliminateTrunc

We were only matching RHS being a loop invariant value, not the inverse. Since there's nothing which appears to canonicalize loop invariant values to RHS, this means we missed cases.

Differential Revision: https://reviews.llvm.org/D63112

llvm-svn: 363108