[PATCH] D111493: [IVUsers] Check for preheader instead of loop simplify form

[Philip Reames via Phabricator via llvm-commits]

reames added a comment.

LGTM from me as well.

Glancing through the SCEVExpander code, I only see one unconditional use of a preheader assumption, and that looks easy to bail out of.  Are you sure we need this restriction at all?  (Landing this and then investigating is encouraged.)


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D111493