[llvm-branch-commits] [mlir] [mlir][LLVMIR] implement PromotableAliaserInterface (PR #199226)

[Théo Degioanni via llvm-branch-commits]

================
@@ -694,6 +727,17 @@ DeletionKind LLVM::GEPOp::removeBlockingUses(
   return DeletionKind::Delete;
 }
 
+void LLVM::GEPOp::getPromotableSlotAliases(
+    OpOperand &aliasedSlotPointerOperand, const MemorySlot &parentSlot,
+    SmallVectorImpl<MemorySlot> &newMemorySlots) {
+  // Only zero-index GEPs are no-op aliases of the slot pointer; non-zero
+  // indices step into the slot and cannot be projected back generically.
----------------
Moxinilian wrote:

Also, those geps are likely to get folded too I expect, so I'm not sure how commonly this path would be triggered.

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