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

[Tyker via Phabricator via llvm-commits]

Tyker added a comment.

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

> 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.

mayHaveSideEffects isn't the only place where this is visible, assume also prevent function/arguments from being treated as readonly or readnone.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D86816