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

[Mo Bagherbeik]

================
@@ -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) {
----------------
mbagherbeikTT wrote:

definitely. I should be able to modify the pass so it:
1. walks the through the loops in a bottom-up order (vs going down 1 more level to the ops)
2. analyses the ops in each loop region in O(n) time
3. maintains info about already visited loops and the effects they contain so we don't have to analyze their bodies again

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