[Mlir-commits] [mlir] [mlir][gpu] Introduce `gpu.dynamic_shared_memory` Op (PR #71546)

[Mehdi Amini]

================
@@ -554,6 +557,104 @@ static IntegerAttr wrapNumericMemorySpace(MLIRContext *ctx, unsigned space) {
   return IntegerAttr::get(IntegerType::get(ctx, 64), space);
 }
 
+/// Generates a symbol with 0-sized array type for dynamic shared memory usage,
+/// or uses existing symbol.
+LLVM::GlobalOp getDynamicSharedMemorySymbol(
+    ConversionPatternRewriter &rewriter, gpu::DynamicSharedMemoryOp op,
+    const LLVMTypeConverter *typeConverter, MemRefType memrefType,
+    unsigned alignmentBit, unsigned addressSpace) {
+  LLVM::LLVMFuncOp funcOp = op->getParentOfType<LLVM::LLVMFuncOp>();
+  assert(funcOp && "cannot find llvm.func op");
+
+  gpu::GPUModuleOp moduleOp = funcOp->getParentOfType<gpu::GPUModuleOp>();
+  assert(moduleOp && "cannot find gpu.module op");
+
+  // Step 1. Return existing global op if it exists
+  uint64_t alignmentByte = alignmentBit / memrefType.getElementTypeBitWidth();
+  for (auto &innerOp : moduleOp->getRegions().front().front().getOperations()) {
+    if (auto globalOp = dyn_cast<LLVM::GlobalOp>(innerOp)) {
+      if (auto arrayType = dyn_cast<LLVM::LLVMArrayType>(globalOp.getType())) {
+        if (globalOp.getAddrSpace() == addressSpace &&
+            arrayType.getNumElements() == 0 &&
+            globalOp.getAlignment().value_or(0) == alignmentByte) {
+          return globalOp;
+        }
+      }
+    }
+  }
+
+  // Step 2. Find a unique symbol name
+  int index = 0;
+  std::string symName, name = llvm::formatv("__shmem_{0}", funcOp.getSymName());
+  bool nameExist;
+  do {
+    nameExist = false;
+    symName = llvm::formatv("{0}_{1}", name, index++);
+    for (auto &innerOp :
+         moduleOp->getRegions().front().front().getOperations()) {
+      if (auto globalOp = dyn_cast<LLVM::GlobalOp>(innerOp)) {
+        if (globalOp.getSymName() == symName)
+          nameExist = true;
----------------
joker-eph wrote:

Break?

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