[Mlir-commits] [mlir] [MLIR][SideEffects][MemoryEffects] Modified LICM to be more aggressive when checking movability of ops with MemWrite effects (PR #155344)

[Mehdi Amini]

================
@@ -338,9 +379,101 @@ bool mlir::isMemoryEffectFree(Operation *op) {
     for (Operation &op : region.getOps())
       if (!isMemoryEffectFree(&op))
         return false;
+
   return true;
 }
 
+bool mlir::isMemoryEffectConflictFree(Operation *op) {
----------------
joker-eph wrote:

I'm concerned about the O(n^2) aspect of the implementation, I would think we should be able to build this in a single traversal of the loop for all the ops in the loop actually?

https://github.com/llvm/llvm-project/pull/155344