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

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added subscribers: xbolva00, fhahn, efriedma, lebedev.ri.
jdoerfert added a comment.

I'd almost say `mayHaveSideEffects` could have a boolean parameter to ignore droppable uses. Either way, this is right now the best we can do, teach the things that query `mayHaveSideEffects` and friends about droppable uses. If we have them as flags to all of them that might be easier to do.

@efriedma @lebedev.ri @xbolva00 @fhahn thoughts?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D86816