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

[Mo Bagherbeik]

================
@@ -471,6 +493,35 @@ bool wouldOpBeTriviallyDead(Operation *op);
 /// conditions are satisfied.
 bool isMemoryEffectFree(Operation *op);
 
+/// Returns true if the given operation has conflict-free write effects
+///
+/// An operation is conflict free:
+/// (1) Parent is a loop with the LoopLikeOpInterface
----------------
mbagherbeikTT wrote:

I'll move isZeroTrip() to LoopLikeOpInterface and the other new methods to the LICM files

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