[PATCH] D89479: [SimplifyCFG] Be more conservative when speculating in loops. (WIP)

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

Regardless of the actual change here, i think ``LoopHeaders` is a hack
(how do we know those blocks remain loop headers; also, will no headers form),
and we ideally shouldn't use it more.
If we must, i suppose preserving proper LoopInfo would be too much of a cost?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D89479