[LFTR] Assert and simplify under assumption exit counts are integers [nfc]
authorPhilip Reames <preames@rivosinc.com>
Tue, 21 Mar 2023 14:18:27 +0000 (07:18 -0700)
committerPhilip Reames <listmail@philipreames.com>
Tue, 21 Mar 2023 14:35:05 +0000 (07:35 -0700)
commit042783f556639cd5c3b2f4db67c6eeacea53459e
tree0fc8697e4094fe3020793f42838c7614293f0297
parent392d9eb03af5a1adac66a86939351b22b3e73495
[LFTR] Assert and simplify under assumption exit counts are integers [nfc]

This invariant was introduced in 8f3d16905d75b07a933d01dc29677fe5867c1b3e.

Differential Revision: https://reviews.llvm.org/D146470
llvm/lib/Transforms/Scalar/IndVarSimplify.cpp