[PATCH] D88527: [IndVars] Replace checks with invariants if we cannot remove them

[Serguei Katkov via Phabricator via llvm-commits]

skatkov accepted this revision.
skatkov added a comment.
This revision is now accepted and ready to land.

lgtm with Anna's nit + please do a rebase.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D88527/new/

https://reviews.llvm.org/D88527