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

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

Should mayWriteToMemory/mayHaveSideEffects be true for llvm.assume?  It can't have any side-effects, really; at most, it has undefined behavior.

Of course, if we added readonly to llvm.assume, we'd have to be careful that transforms don't accidentally throw away llvm.assume operations.  But that seems solvable.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D86816