[PATCH] D86816: [LoopDelete][Assume] Allow deleting loops with assumes

[Tyker via Phabricator via llvm-commits]

Tyker added a comment.

In D86816#2273029 <https://reviews.llvm.org/D86816#2273029>, @jdoerfert wrote:

> OK, I think we need to revisit assume but an otherwise empty loop with an assume doesn't seem to be particularly useful. We might want to hoist loop invariant assumes, but that can be revisited. I think this solves a problem and is reasonable until we have time and ideas.

i agree on the idea but proving the assume is loop invariant doesn't seem enough since assumes a control-flow dependent.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D86816