1a5f9cda1SChristian Sigg //===- ConvertLaunchFuncToGpuRuntimeCalls.cpp - MLIR GPU lowering passes --===// 2a5f9cda1SChristian Sigg // 3a5f9cda1SChristian Sigg // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4a5f9cda1SChristian Sigg // See https://llvm.org/LICENSE.txt for license information. 5a5f9cda1SChristian Sigg // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6a5f9cda1SChristian Sigg // 7a5f9cda1SChristian Sigg //===----------------------------------------------------------------------===// 8a5f9cda1SChristian Sigg // 9a5f9cda1SChristian Sigg // This file implements a pass to convert gpu.launch_func op into a sequence of 10a5f9cda1SChristian Sigg // GPU runtime calls. As most of GPU runtimes does not have a stable published 11a5f9cda1SChristian Sigg // ABI, this pass uses a slim runtime layer that builds on top of the public 12a5f9cda1SChristian Sigg // API from GPU runtime headers. 13a5f9cda1SChristian Sigg // 14a5f9cda1SChristian Sigg //===----------------------------------------------------------------------===// 15a5f9cda1SChristian Sigg 16a5f9cda1SChristian Sigg #include "mlir/Conversion/GPUCommon/GPUCommonPass.h" 17a5f9cda1SChristian Sigg 18a5f9cda1SChristian Sigg #include "../PassDetail.h" 19a5f9cda1SChristian Sigg #include "mlir/Conversion/AsyncToLLVM/AsyncToLLVM.h" 20a5f9cda1SChristian Sigg #include "mlir/Conversion/StandardToLLVM/ConvertStandardToLLVM.h" 21a5f9cda1SChristian Sigg #include "mlir/Conversion/VectorToLLVM/ConvertVectorToLLVM.h" 22a5f9cda1SChristian Sigg #include "mlir/Dialect/Async/IR/Async.h" 23a5f9cda1SChristian Sigg #include "mlir/Dialect/GPU/GPUDialect.h" 24a5f9cda1SChristian Sigg #include "mlir/Dialect/GPU/Passes.h" 25a5f9cda1SChristian Sigg #include "mlir/Dialect/LLVMIR/LLVMDialect.h" 26a5f9cda1SChristian Sigg #include "mlir/IR/Attributes.h" 27a5f9cda1SChristian Sigg #include "mlir/IR/Builders.h" 28a5f9cda1SChristian Sigg #include "mlir/IR/BuiltinOps.h" 29a5f9cda1SChristian Sigg #include "mlir/IR/BuiltinTypes.h" 30a5f9cda1SChristian Sigg 31a5f9cda1SChristian Sigg #include "llvm/ADT/STLExtras.h" 32a5f9cda1SChristian Sigg #include "llvm/Support/Error.h" 33a5f9cda1SChristian Sigg #include "llvm/Support/FormatVariadic.h" 34a5f9cda1SChristian Sigg 35a5f9cda1SChristian Sigg using namespace mlir; 36a5f9cda1SChristian Sigg 37a5f9cda1SChristian Sigg static constexpr const char *kGpuBinaryStorageSuffix = "_gpubin_cst"; 38a5f9cda1SChristian Sigg 39a5f9cda1SChristian Sigg namespace { 40a5f9cda1SChristian Sigg 41a5f9cda1SChristian Sigg class GpuToLLVMConversionPass 42a5f9cda1SChristian Sigg : public GpuToLLVMConversionPassBase<GpuToLLVMConversionPass> { 43a5f9cda1SChristian Sigg public: 44a5f9cda1SChristian Sigg GpuToLLVMConversionPass() = default; 45a5f9cda1SChristian Sigg 46a5f9cda1SChristian Sigg GpuToLLVMConversionPass(const GpuToLLVMConversionPass &other) 47a5f9cda1SChristian Sigg : GpuToLLVMConversionPassBase(other) {} 48a5f9cda1SChristian Sigg 49a5f9cda1SChristian Sigg // Run the dialect converter on the module. 50a5f9cda1SChristian Sigg void runOnOperation() override; 51a5f9cda1SChristian Sigg 52a5f9cda1SChristian Sigg private: 53a5f9cda1SChristian Sigg Option<std::string> gpuBinaryAnnotation{ 54a5f9cda1SChristian Sigg *this, "gpu-binary-annotation", 55a5f9cda1SChristian Sigg llvm::cl::desc("Annotation attribute string for GPU binary"), 56a5f9cda1SChristian Sigg llvm::cl::init(gpu::getDefaultGpuBinaryAnnotation())}; 57a5f9cda1SChristian Sigg }; 58a5f9cda1SChristian Sigg 59a5f9cda1SChristian Sigg struct FunctionCallBuilder { 60a5f9cda1SChristian Sigg FunctionCallBuilder(StringRef functionName, Type returnType, 61a5f9cda1SChristian Sigg ArrayRef<Type> argumentTypes) 62a5f9cda1SChristian Sigg : functionName(functionName), 63a5f9cda1SChristian Sigg functionType(LLVM::LLVMFunctionType::get(returnType, argumentTypes)) {} 64a5f9cda1SChristian Sigg LLVM::CallOp create(Location loc, OpBuilder &builder, 65a5f9cda1SChristian Sigg ArrayRef<Value> arguments) const; 66a5f9cda1SChristian Sigg 67a5f9cda1SChristian Sigg StringRef functionName; 68a5f9cda1SChristian Sigg LLVM::LLVMFunctionType functionType; 69a5f9cda1SChristian Sigg }; 70a5f9cda1SChristian Sigg 71a5f9cda1SChristian Sigg template <typename OpTy> 72a5f9cda1SChristian Sigg class ConvertOpToGpuRuntimeCallPattern : public ConvertOpToLLVMPattern<OpTy> { 73a5f9cda1SChristian Sigg public: 74a5f9cda1SChristian Sigg explicit ConvertOpToGpuRuntimeCallPattern(LLVMTypeConverter &typeConverter) 75a5f9cda1SChristian Sigg : ConvertOpToLLVMPattern<OpTy>(typeConverter) {} 76a5f9cda1SChristian Sigg 77a5f9cda1SChristian Sigg protected: 78a5f9cda1SChristian Sigg MLIRContext *context = &this->getTypeConverter()->getContext(); 79a5f9cda1SChristian Sigg 80a5f9cda1SChristian Sigg Type llvmVoidType = LLVM::LLVMVoidType::get(context); 81a5f9cda1SChristian Sigg Type llvmPointerType = 82a5f9cda1SChristian Sigg LLVM::LLVMPointerType::get(IntegerType::get(context, 8)); 83a5f9cda1SChristian Sigg Type llvmPointerPointerType = LLVM::LLVMPointerType::get(llvmPointerType); 84a5f9cda1SChristian Sigg Type llvmInt8Type = IntegerType::get(context, 8); 85a5f9cda1SChristian Sigg Type llvmInt32Type = IntegerType::get(context, 32); 86a5f9cda1SChristian Sigg Type llvmInt64Type = IntegerType::get(context, 64); 87a5f9cda1SChristian Sigg Type llvmIntPtrType = IntegerType::get( 88a5f9cda1SChristian Sigg context, this->getTypeConverter()->getPointerBitwidth(0)); 89a5f9cda1SChristian Sigg 90a5f9cda1SChristian Sigg FunctionCallBuilder moduleLoadCallBuilder = { 91a5f9cda1SChristian Sigg "mgpuModuleLoad", 92a5f9cda1SChristian Sigg llvmPointerType /* void *module */, 93a5f9cda1SChristian Sigg {llvmPointerType /* void *cubin */}}; 94a5f9cda1SChristian Sigg FunctionCallBuilder moduleUnloadCallBuilder = { 95a5f9cda1SChristian Sigg "mgpuModuleUnload", llvmVoidType, {llvmPointerType /* void *module */}}; 96a5f9cda1SChristian Sigg FunctionCallBuilder moduleGetFunctionCallBuilder = { 97a5f9cda1SChristian Sigg "mgpuModuleGetFunction", 98a5f9cda1SChristian Sigg llvmPointerType /* void *function */, 99a5f9cda1SChristian Sigg { 100a5f9cda1SChristian Sigg llvmPointerType, /* void *module */ 101a5f9cda1SChristian Sigg llvmPointerType /* char *name */ 102a5f9cda1SChristian Sigg }}; 103a5f9cda1SChristian Sigg FunctionCallBuilder launchKernelCallBuilder = { 104a5f9cda1SChristian Sigg "mgpuLaunchKernel", 105a5f9cda1SChristian Sigg llvmVoidType, 106a5f9cda1SChristian Sigg { 107a5f9cda1SChristian Sigg llvmPointerType, /* void* f */ 108a5f9cda1SChristian Sigg llvmIntPtrType, /* intptr_t gridXDim */ 109a5f9cda1SChristian Sigg llvmIntPtrType, /* intptr_t gridyDim */ 110a5f9cda1SChristian Sigg llvmIntPtrType, /* intptr_t gridZDim */ 111a5f9cda1SChristian Sigg llvmIntPtrType, /* intptr_t blockXDim */ 112a5f9cda1SChristian Sigg llvmIntPtrType, /* intptr_t blockYDim */ 113a5f9cda1SChristian Sigg llvmIntPtrType, /* intptr_t blockZDim */ 114a5f9cda1SChristian Sigg llvmInt32Type, /* unsigned int sharedMemBytes */ 115a5f9cda1SChristian Sigg llvmPointerType, /* void *hstream */ 116a5f9cda1SChristian Sigg llvmPointerPointerType, /* void **kernelParams */ 117a5f9cda1SChristian Sigg llvmPointerPointerType /* void **extra */ 118a5f9cda1SChristian Sigg }}; 119a5f9cda1SChristian Sigg FunctionCallBuilder streamCreateCallBuilder = { 120a5f9cda1SChristian Sigg "mgpuStreamCreate", llvmPointerType /* void *stream */, {}}; 121a5f9cda1SChristian Sigg FunctionCallBuilder streamDestroyCallBuilder = { 122a5f9cda1SChristian Sigg "mgpuStreamDestroy", llvmVoidType, {llvmPointerType /* void *stream */}}; 123a5f9cda1SChristian Sigg FunctionCallBuilder streamSynchronizeCallBuilder = { 124a5f9cda1SChristian Sigg "mgpuStreamSynchronize", 125a5f9cda1SChristian Sigg llvmVoidType, 126a5f9cda1SChristian Sigg {llvmPointerType /* void *stream */}}; 127a5f9cda1SChristian Sigg FunctionCallBuilder streamWaitEventCallBuilder = { 128a5f9cda1SChristian Sigg "mgpuStreamWaitEvent", 129a5f9cda1SChristian Sigg llvmVoidType, 130a5f9cda1SChristian Sigg {llvmPointerType /* void *stream */, llvmPointerType /* void *event */}}; 131a5f9cda1SChristian Sigg FunctionCallBuilder eventCreateCallBuilder = { 132a5f9cda1SChristian Sigg "mgpuEventCreate", llvmPointerType /* void *event */, {}}; 133a5f9cda1SChristian Sigg FunctionCallBuilder eventDestroyCallBuilder = { 134a5f9cda1SChristian Sigg "mgpuEventDestroy", llvmVoidType, {llvmPointerType /* void *event */}}; 135a5f9cda1SChristian Sigg FunctionCallBuilder eventSynchronizeCallBuilder = { 136a5f9cda1SChristian Sigg "mgpuEventSynchronize", 137a5f9cda1SChristian Sigg llvmVoidType, 138a5f9cda1SChristian Sigg {llvmPointerType /* void *event */}}; 139a5f9cda1SChristian Sigg FunctionCallBuilder eventRecordCallBuilder = { 140a5f9cda1SChristian Sigg "mgpuEventRecord", 141a5f9cda1SChristian Sigg llvmVoidType, 142a5f9cda1SChristian Sigg {llvmPointerType /* void *event */, llvmPointerType /* void *stream */}}; 143a5f9cda1SChristian Sigg FunctionCallBuilder hostRegisterCallBuilder = { 144a5f9cda1SChristian Sigg "mgpuMemHostRegisterMemRef", 145a5f9cda1SChristian Sigg llvmVoidType, 146a5f9cda1SChristian Sigg {llvmIntPtrType /* intptr_t rank */, 147a5f9cda1SChristian Sigg llvmPointerType /* void *memrefDesc */, 148a5f9cda1SChristian Sigg llvmIntPtrType /* intptr_t elementSizeBytes */}}; 149a5f9cda1SChristian Sigg FunctionCallBuilder allocCallBuilder = { 150a5f9cda1SChristian Sigg "mgpuMemAlloc", 151a5f9cda1SChristian Sigg llvmPointerType /* void * */, 152a5f9cda1SChristian Sigg {llvmIntPtrType /* intptr_t sizeBytes */, 153a5f9cda1SChristian Sigg llvmPointerType /* void *stream */}}; 154a5f9cda1SChristian Sigg FunctionCallBuilder deallocCallBuilder = { 155a5f9cda1SChristian Sigg "mgpuMemFree", 156a5f9cda1SChristian Sigg llvmVoidType, 157a5f9cda1SChristian Sigg {llvmPointerType /* void *ptr */, llvmPointerType /* void *stream */}}; 158a5f9cda1SChristian Sigg FunctionCallBuilder memcpyCallBuilder = { 159a5f9cda1SChristian Sigg "mgpuMemcpy", 160a5f9cda1SChristian Sigg llvmVoidType, 161a5f9cda1SChristian Sigg {llvmPointerType /* void *dst */, llvmPointerType /* void *src */, 162a5f9cda1SChristian Sigg llvmIntPtrType /* intptr_t sizeBytes */, 163a5f9cda1SChristian Sigg llvmPointerType /* void *stream */}}; 164a5f9cda1SChristian Sigg }; 165a5f9cda1SChristian Sigg 166a5f9cda1SChristian Sigg /// A rewrite pattern to convert gpu.host_register operations into a GPU runtime 167a5f9cda1SChristian Sigg /// call. Currently it supports CUDA and ROCm (HIP). 168a5f9cda1SChristian Sigg class ConvertHostRegisterOpToGpuRuntimeCallPattern 169a5f9cda1SChristian Sigg : public ConvertOpToGpuRuntimeCallPattern<gpu::HostRegisterOp> { 170a5f9cda1SChristian Sigg public: 171a5f9cda1SChristian Sigg ConvertHostRegisterOpToGpuRuntimeCallPattern(LLVMTypeConverter &typeConverter) 172a5f9cda1SChristian Sigg : ConvertOpToGpuRuntimeCallPattern<gpu::HostRegisterOp>(typeConverter) {} 173a5f9cda1SChristian Sigg 174a5f9cda1SChristian Sigg private: 175a5f9cda1SChristian Sigg LogicalResult 176a5f9cda1SChristian Sigg matchAndRewrite(gpu::HostRegisterOp hostRegisterOp, ArrayRef<Value> operands, 177a5f9cda1SChristian Sigg ConversionPatternRewriter &rewriter) const override; 178a5f9cda1SChristian Sigg }; 179a5f9cda1SChristian Sigg 180a5f9cda1SChristian Sigg /// A rewrite pattern to convert gpu.alloc operations into a GPU runtime 181a5f9cda1SChristian Sigg /// call. Currently it supports CUDA and ROCm (HIP). 182a5f9cda1SChristian Sigg class ConvertAllocOpToGpuRuntimeCallPattern 183a5f9cda1SChristian Sigg : public ConvertOpToGpuRuntimeCallPattern<gpu::AllocOp> { 184a5f9cda1SChristian Sigg public: 185a5f9cda1SChristian Sigg ConvertAllocOpToGpuRuntimeCallPattern(LLVMTypeConverter &typeConverter) 186a5f9cda1SChristian Sigg : ConvertOpToGpuRuntimeCallPattern<gpu::AllocOp>(typeConverter) {} 187a5f9cda1SChristian Sigg 188a5f9cda1SChristian Sigg private: 189a5f9cda1SChristian Sigg LogicalResult 190a5f9cda1SChristian Sigg matchAndRewrite(gpu::AllocOp allocOp, ArrayRef<Value> operands, 191a5f9cda1SChristian Sigg ConversionPatternRewriter &rewriter) const override; 192a5f9cda1SChristian Sigg }; 193a5f9cda1SChristian Sigg 194a5f9cda1SChristian Sigg /// A rewrite pattern to convert gpu.dealloc operations into a GPU runtime 195a5f9cda1SChristian Sigg /// call. Currently it supports CUDA and ROCm (HIP). 196a5f9cda1SChristian Sigg class ConvertDeallocOpToGpuRuntimeCallPattern 197a5f9cda1SChristian Sigg : public ConvertOpToGpuRuntimeCallPattern<gpu::DeallocOp> { 198a5f9cda1SChristian Sigg public: 199a5f9cda1SChristian Sigg ConvertDeallocOpToGpuRuntimeCallPattern(LLVMTypeConverter &typeConverter) 200a5f9cda1SChristian Sigg : ConvertOpToGpuRuntimeCallPattern<gpu::DeallocOp>(typeConverter) {} 201a5f9cda1SChristian Sigg 202a5f9cda1SChristian Sigg private: 203a5f9cda1SChristian Sigg LogicalResult 204a5f9cda1SChristian Sigg matchAndRewrite(gpu::DeallocOp deallocOp, ArrayRef<Value> operands, 205a5f9cda1SChristian Sigg ConversionPatternRewriter &rewriter) const override; 206a5f9cda1SChristian Sigg }; 207a5f9cda1SChristian Sigg 208a5f9cda1SChristian Sigg class ConvertAsyncYieldToGpuRuntimeCallPattern 209a5f9cda1SChristian Sigg : public ConvertOpToGpuRuntimeCallPattern<async::YieldOp> { 210a5f9cda1SChristian Sigg public: 211a5f9cda1SChristian Sigg ConvertAsyncYieldToGpuRuntimeCallPattern(LLVMTypeConverter &typeConverter) 212a5f9cda1SChristian Sigg : ConvertOpToGpuRuntimeCallPattern<async::YieldOp>(typeConverter) {} 213a5f9cda1SChristian Sigg 214a5f9cda1SChristian Sigg private: 215a5f9cda1SChristian Sigg LogicalResult 216a5f9cda1SChristian Sigg matchAndRewrite(async::YieldOp yieldOp, ArrayRef<Value> operands, 217a5f9cda1SChristian Sigg ConversionPatternRewriter &rewriter) const override; 218a5f9cda1SChristian Sigg }; 219a5f9cda1SChristian Sigg 220a5f9cda1SChristian Sigg /// A rewrite pattern to convert gpu.wait operations into a GPU runtime 221a5f9cda1SChristian Sigg /// call. Currently it supports CUDA and ROCm (HIP). 222a5f9cda1SChristian Sigg class ConvertWaitOpToGpuRuntimeCallPattern 223a5f9cda1SChristian Sigg : public ConvertOpToGpuRuntimeCallPattern<gpu::WaitOp> { 224a5f9cda1SChristian Sigg public: 225a5f9cda1SChristian Sigg ConvertWaitOpToGpuRuntimeCallPattern(LLVMTypeConverter &typeConverter) 226a5f9cda1SChristian Sigg : ConvertOpToGpuRuntimeCallPattern<gpu::WaitOp>(typeConverter) {} 227a5f9cda1SChristian Sigg 228a5f9cda1SChristian Sigg private: 229a5f9cda1SChristian Sigg LogicalResult 230a5f9cda1SChristian Sigg matchAndRewrite(gpu::WaitOp waitOp, ArrayRef<Value> operands, 231a5f9cda1SChristian Sigg ConversionPatternRewriter &rewriter) const override; 232a5f9cda1SChristian Sigg }; 233a5f9cda1SChristian Sigg 234a5f9cda1SChristian Sigg /// A rewrite pattern to convert gpu.wait async operations into a GPU runtime 235a5f9cda1SChristian Sigg /// call. Currently it supports CUDA and ROCm (HIP). 236a5f9cda1SChristian Sigg class ConvertWaitAsyncOpToGpuRuntimeCallPattern 237a5f9cda1SChristian Sigg : public ConvertOpToGpuRuntimeCallPattern<gpu::WaitOp> { 238a5f9cda1SChristian Sigg public: 239a5f9cda1SChristian Sigg ConvertWaitAsyncOpToGpuRuntimeCallPattern(LLVMTypeConverter &typeConverter) 240a5f9cda1SChristian Sigg : ConvertOpToGpuRuntimeCallPattern<gpu::WaitOp>(typeConverter) {} 241a5f9cda1SChristian Sigg 242a5f9cda1SChristian Sigg private: 243a5f9cda1SChristian Sigg LogicalResult 244a5f9cda1SChristian Sigg matchAndRewrite(gpu::WaitOp waitOp, ArrayRef<Value> operands, 245a5f9cda1SChristian Sigg ConversionPatternRewriter &rewriter) const override; 246a5f9cda1SChristian Sigg }; 247a5f9cda1SChristian Sigg 248a5f9cda1SChristian Sigg /// A rewrite patter to convert gpu.launch_func operations into a sequence of 249a5f9cda1SChristian Sigg /// GPU runtime calls. Currently it supports CUDA and ROCm (HIP). 250a5f9cda1SChristian Sigg /// 251a5f9cda1SChristian Sigg /// In essence, a gpu.launch_func operations gets compiled into the following 252a5f9cda1SChristian Sigg /// sequence of runtime calls: 253a5f9cda1SChristian Sigg /// 254a5f9cda1SChristian Sigg /// * moduleLoad -- loads the module given the cubin / hsaco data 255a5f9cda1SChristian Sigg /// * moduleGetFunction -- gets a handle to the actual kernel function 256a5f9cda1SChristian Sigg /// * getStreamHelper -- initializes a new compute stream on GPU 257a5f9cda1SChristian Sigg /// * launchKernel -- launches the kernel on a stream 258a5f9cda1SChristian Sigg /// * streamSynchronize -- waits for operations on the stream to finish 259a5f9cda1SChristian Sigg /// 260a5f9cda1SChristian Sigg /// Intermediate data structures are allocated on the stack. 261a5f9cda1SChristian Sigg class ConvertLaunchFuncOpToGpuRuntimeCallPattern 262a5f9cda1SChristian Sigg : public ConvertOpToGpuRuntimeCallPattern<gpu::LaunchFuncOp> { 263a5f9cda1SChristian Sigg public: 264a5f9cda1SChristian Sigg ConvertLaunchFuncOpToGpuRuntimeCallPattern(LLVMTypeConverter &typeConverter, 265a5f9cda1SChristian Sigg StringRef gpuBinaryAnnotation) 266a5f9cda1SChristian Sigg : ConvertOpToGpuRuntimeCallPattern<gpu::LaunchFuncOp>(typeConverter), 267a5f9cda1SChristian Sigg gpuBinaryAnnotation(gpuBinaryAnnotation) {} 268a5f9cda1SChristian Sigg 269a5f9cda1SChristian Sigg private: 270a5f9cda1SChristian Sigg Value generateParamsArray(gpu::LaunchFuncOp launchOp, 271a5f9cda1SChristian Sigg ArrayRef<Value> operands, OpBuilder &builder) const; 272a5f9cda1SChristian Sigg Value generateKernelNameConstant(StringRef moduleName, StringRef name, 273a5f9cda1SChristian Sigg Location loc, OpBuilder &builder) const; 274a5f9cda1SChristian Sigg 275a5f9cda1SChristian Sigg LogicalResult 276a5f9cda1SChristian Sigg matchAndRewrite(gpu::LaunchFuncOp launchOp, ArrayRef<Value> operands, 277a5f9cda1SChristian Sigg ConversionPatternRewriter &rewriter) const override; 278a5f9cda1SChristian Sigg 279a5f9cda1SChristian Sigg llvm::SmallString<32> gpuBinaryAnnotation; 280a5f9cda1SChristian Sigg }; 281a5f9cda1SChristian Sigg 282a5f9cda1SChristian Sigg class EraseGpuModuleOpPattern : public OpRewritePattern<gpu::GPUModuleOp> { 283a5f9cda1SChristian Sigg using OpRewritePattern<gpu::GPUModuleOp>::OpRewritePattern; 284a5f9cda1SChristian Sigg 285a5f9cda1SChristian Sigg LogicalResult matchAndRewrite(gpu::GPUModuleOp op, 286a5f9cda1SChristian Sigg PatternRewriter &rewriter) const override { 287a5f9cda1SChristian Sigg // GPU kernel modules are no longer necessary since we have a global 288a5f9cda1SChristian Sigg // constant with the CUBIN, or HSACO data. 289a5f9cda1SChristian Sigg rewriter.eraseOp(op); 290a5f9cda1SChristian Sigg return success(); 291a5f9cda1SChristian Sigg } 292a5f9cda1SChristian Sigg }; 293a5f9cda1SChristian Sigg 294a5f9cda1SChristian Sigg /// A rewrite pattern to convert gpu.memcpy operations into a GPU runtime 295a5f9cda1SChristian Sigg /// call. Currently it supports CUDA and ROCm (HIP). 296a5f9cda1SChristian Sigg class ConvertMemcpyOpToGpuRuntimeCallPattern 297a5f9cda1SChristian Sigg : public ConvertOpToGpuRuntimeCallPattern<gpu::MemcpyOp> { 298a5f9cda1SChristian Sigg public: 299a5f9cda1SChristian Sigg ConvertMemcpyOpToGpuRuntimeCallPattern(LLVMTypeConverter &typeConverter) 300a5f9cda1SChristian Sigg : ConvertOpToGpuRuntimeCallPattern<gpu::MemcpyOp>(typeConverter) {} 301a5f9cda1SChristian Sigg 302a5f9cda1SChristian Sigg private: 303a5f9cda1SChristian Sigg LogicalResult 304a5f9cda1SChristian Sigg matchAndRewrite(gpu::MemcpyOp memcpyOp, ArrayRef<Value> operands, 305a5f9cda1SChristian Sigg ConversionPatternRewriter &rewriter) const override; 306a5f9cda1SChristian Sigg }; 307a5f9cda1SChristian Sigg } // namespace 308a5f9cda1SChristian Sigg 309a5f9cda1SChristian Sigg void GpuToLLVMConversionPass::runOnOperation() { 310a5f9cda1SChristian Sigg LLVMTypeConverter converter(&getContext()); 311dc4e913bSChris Lattner RewritePatternSet patterns(&getContext()); 312a5f9cda1SChristian Sigg LLVMConversionTarget target(getContext()); 313a5f9cda1SChristian Sigg 314*abe501f2SChristian Sigg target.addIllegalDialect<gpu::GPUDialect>(); 315*abe501f2SChristian Sigg 316a5f9cda1SChristian Sigg populateVectorToLLVMConversionPatterns(converter, patterns); 317a5f9cda1SChristian Sigg populateStdToLLVMConversionPatterns(converter, patterns); 3183a506b31SChris Lattner populateAsyncStructuralTypeConversionsAndLegality(converter, patterns, 3193a506b31SChris Lattner target); 320a5f9cda1SChristian Sigg 321a5f9cda1SChristian Sigg converter.addConversion( 322a5f9cda1SChristian Sigg [context = &converter.getContext()](gpu::AsyncTokenType type) -> Type { 323a5f9cda1SChristian Sigg return LLVM::LLVMPointerType::get(IntegerType::get(context, 8)); 324a5f9cda1SChristian Sigg }); 325dc4e913bSChris Lattner patterns.add<ConvertAllocOpToGpuRuntimeCallPattern, 326a5f9cda1SChristian Sigg ConvertDeallocOpToGpuRuntimeCallPattern, 327a5f9cda1SChristian Sigg ConvertHostRegisterOpToGpuRuntimeCallPattern, 328a5f9cda1SChristian Sigg ConvertMemcpyOpToGpuRuntimeCallPattern, 329a5f9cda1SChristian Sigg ConvertWaitAsyncOpToGpuRuntimeCallPattern, 330a5f9cda1SChristian Sigg ConvertWaitOpToGpuRuntimeCallPattern, 331a5f9cda1SChristian Sigg ConvertAsyncYieldToGpuRuntimeCallPattern>(converter); 332dc4e913bSChris Lattner patterns.add<ConvertLaunchFuncOpToGpuRuntimeCallPattern>(converter, 333dc4e913bSChris Lattner gpuBinaryAnnotation); 334dc4e913bSChris Lattner patterns.add<EraseGpuModuleOpPattern>(&converter.getContext()); 335a5f9cda1SChristian Sigg 336a5f9cda1SChristian Sigg if (failed( 337a5f9cda1SChristian Sigg applyPartialConversion(getOperation(), target, std::move(patterns)))) 338a5f9cda1SChristian Sigg signalPassFailure(); 339a5f9cda1SChristian Sigg } 340a5f9cda1SChristian Sigg 341a5f9cda1SChristian Sigg LLVM::CallOp FunctionCallBuilder::create(Location loc, OpBuilder &builder, 342a5f9cda1SChristian Sigg ArrayRef<Value> arguments) const { 343a5f9cda1SChristian Sigg auto module = builder.getBlock()->getParent()->getParentOfType<ModuleOp>(); 344a5f9cda1SChristian Sigg auto function = [&] { 345a5f9cda1SChristian Sigg if (auto function = module.lookupSymbol<LLVM::LLVMFuncOp>(functionName)) 346a5f9cda1SChristian Sigg return function; 347973ddb7dSMehdi Amini return OpBuilder::atBlockEnd(module.getBody()) 348a5f9cda1SChristian Sigg .create<LLVM::LLVMFuncOp>(loc, functionName, functionType); 349a5f9cda1SChristian Sigg }(); 350a5f9cda1SChristian Sigg return builder.create<LLVM::CallOp>( 351a5f9cda1SChristian Sigg loc, const_cast<LLVM::LLVMFunctionType &>(functionType).getReturnType(), 352a5f9cda1SChristian Sigg builder.getSymbolRefAttr(function), arguments); 353a5f9cda1SChristian Sigg } 354a5f9cda1SChristian Sigg 355a5f9cda1SChristian Sigg // Returns whether all operands are of LLVM type. 356a5f9cda1SChristian Sigg static LogicalResult areAllLLVMTypes(Operation *op, ValueRange operands, 357a5f9cda1SChristian Sigg ConversionPatternRewriter &rewriter) { 358a5f9cda1SChristian Sigg if (!llvm::all_of(operands, [](Value value) { 359a5f9cda1SChristian Sigg return LLVM::isCompatibleType(value.getType()); 360a5f9cda1SChristian Sigg })) 361a5f9cda1SChristian Sigg return rewriter.notifyMatchFailure( 362a5f9cda1SChristian Sigg op, "Cannot convert if operands aren't of LLVM type."); 363a5f9cda1SChristian Sigg return success(); 364a5f9cda1SChristian Sigg } 365a5f9cda1SChristian Sigg 366a5f9cda1SChristian Sigg static LogicalResult 367a5f9cda1SChristian Sigg isAsyncWithOneDependency(ConversionPatternRewriter &rewriter, 368a5f9cda1SChristian Sigg gpu::AsyncOpInterface op) { 369a5f9cda1SChristian Sigg if (op.getAsyncDependencies().size() != 1) 370a5f9cda1SChristian Sigg return rewriter.notifyMatchFailure( 371a5f9cda1SChristian Sigg op, "Can only convert with exactly one async dependency."); 372a5f9cda1SChristian Sigg 373a5f9cda1SChristian Sigg if (!op.getAsyncToken()) 374a5f9cda1SChristian Sigg return rewriter.notifyMatchFailure(op, "Can convert only async version."); 375a5f9cda1SChristian Sigg 376a5f9cda1SChristian Sigg return success(); 377a5f9cda1SChristian Sigg } 378a5f9cda1SChristian Sigg 379a5f9cda1SChristian Sigg LogicalResult ConvertHostRegisterOpToGpuRuntimeCallPattern::matchAndRewrite( 380a5f9cda1SChristian Sigg gpu::HostRegisterOp hostRegisterOp, ArrayRef<Value> operands, 381a5f9cda1SChristian Sigg ConversionPatternRewriter &rewriter) const { 382a5f9cda1SChristian Sigg auto *op = hostRegisterOp.getOperation(); 383a5f9cda1SChristian Sigg if (failed(areAllLLVMTypes(op, operands, rewriter))) 384a5f9cda1SChristian Sigg return failure(); 385a5f9cda1SChristian Sigg 386a5f9cda1SChristian Sigg Location loc = op->getLoc(); 387a5f9cda1SChristian Sigg 388a5f9cda1SChristian Sigg auto memRefType = hostRegisterOp.value().getType(); 389a5f9cda1SChristian Sigg auto elementType = memRefType.cast<UnrankedMemRefType>().getElementType(); 390a5f9cda1SChristian Sigg auto elementSize = getSizeInBytes(loc, elementType, rewriter); 391a5f9cda1SChristian Sigg 392a5f9cda1SChristian Sigg auto arguments = getTypeConverter()->promoteOperands(loc, op->getOperands(), 393a5f9cda1SChristian Sigg operands, rewriter); 394a5f9cda1SChristian Sigg arguments.push_back(elementSize); 395a5f9cda1SChristian Sigg hostRegisterCallBuilder.create(loc, rewriter, arguments); 396a5f9cda1SChristian Sigg 397a5f9cda1SChristian Sigg rewriter.eraseOp(op); 398a5f9cda1SChristian Sigg return success(); 399a5f9cda1SChristian Sigg } 400a5f9cda1SChristian Sigg 401a5f9cda1SChristian Sigg LogicalResult ConvertAllocOpToGpuRuntimeCallPattern::matchAndRewrite( 402a5f9cda1SChristian Sigg gpu::AllocOp allocOp, ArrayRef<Value> operands, 403a5f9cda1SChristian Sigg ConversionPatternRewriter &rewriter) const { 404a5f9cda1SChristian Sigg MemRefType memRefType = allocOp.getType(); 405a5f9cda1SChristian Sigg 406a5f9cda1SChristian Sigg if (failed(areAllLLVMTypes(allocOp, operands, rewriter)) || 407a5f9cda1SChristian Sigg !isConvertibleAndHasIdentityMaps(memRefType) || 408a5f9cda1SChristian Sigg failed(isAsyncWithOneDependency(rewriter, allocOp))) 409a5f9cda1SChristian Sigg return failure(); 410a5f9cda1SChristian Sigg 411a5f9cda1SChristian Sigg auto loc = allocOp.getLoc(); 412a5f9cda1SChristian Sigg auto adaptor = gpu::AllocOpAdaptor(operands, allocOp->getAttrDictionary()); 413a5f9cda1SChristian Sigg 414a5f9cda1SChristian Sigg // Get shape of the memref as values: static sizes are constant 415a5f9cda1SChristian Sigg // values and dynamic sizes are passed to 'alloc' as operands. 416a5f9cda1SChristian Sigg SmallVector<Value, 4> shape; 417a5f9cda1SChristian Sigg SmallVector<Value, 4> strides; 418a5f9cda1SChristian Sigg Value sizeBytes; 419a5f9cda1SChristian Sigg getMemRefDescriptorSizes(loc, memRefType, adaptor.dynamicSizes(), rewriter, 420a5f9cda1SChristian Sigg shape, strides, sizeBytes); 421a5f9cda1SChristian Sigg 422a5f9cda1SChristian Sigg // Allocate the underlying buffer and store a pointer to it in the MemRef 423a5f9cda1SChristian Sigg // descriptor. 424a5f9cda1SChristian Sigg Type elementPtrType = this->getElementPtrType(memRefType); 425a5f9cda1SChristian Sigg auto stream = adaptor.asyncDependencies().front(); 426a5f9cda1SChristian Sigg Value allocatedPtr = 427a5f9cda1SChristian Sigg allocCallBuilder.create(loc, rewriter, {sizeBytes, stream}).getResult(0); 428a5f9cda1SChristian Sigg allocatedPtr = 429a5f9cda1SChristian Sigg rewriter.create<LLVM::BitcastOp>(loc, elementPtrType, allocatedPtr); 430a5f9cda1SChristian Sigg 431a5f9cda1SChristian Sigg // No alignment. 432a5f9cda1SChristian Sigg Value alignedPtr = allocatedPtr; 433a5f9cda1SChristian Sigg 434a5f9cda1SChristian Sigg // Create the MemRef descriptor. 435a5f9cda1SChristian Sigg auto memRefDescriptor = this->createMemRefDescriptor( 436a5f9cda1SChristian Sigg loc, memRefType, allocatedPtr, alignedPtr, shape, strides, rewriter); 437a5f9cda1SChristian Sigg 438a5f9cda1SChristian Sigg rewriter.replaceOp(allocOp, {memRefDescriptor, stream}); 439a5f9cda1SChristian Sigg 440a5f9cda1SChristian Sigg return success(); 441a5f9cda1SChristian Sigg } 442a5f9cda1SChristian Sigg 443a5f9cda1SChristian Sigg LogicalResult ConvertDeallocOpToGpuRuntimeCallPattern::matchAndRewrite( 444a5f9cda1SChristian Sigg gpu::DeallocOp deallocOp, ArrayRef<Value> operands, 445a5f9cda1SChristian Sigg ConversionPatternRewriter &rewriter) const { 446a5f9cda1SChristian Sigg if (failed(areAllLLVMTypes(deallocOp, operands, rewriter)) || 447a5f9cda1SChristian Sigg failed(isAsyncWithOneDependency(rewriter, deallocOp))) 448a5f9cda1SChristian Sigg return failure(); 449a5f9cda1SChristian Sigg 450a5f9cda1SChristian Sigg Location loc = deallocOp.getLoc(); 451a5f9cda1SChristian Sigg 452a5f9cda1SChristian Sigg auto adaptor = 453a5f9cda1SChristian Sigg gpu::DeallocOpAdaptor(operands, deallocOp->getAttrDictionary()); 454a5f9cda1SChristian Sigg Value pointer = 455a5f9cda1SChristian Sigg MemRefDescriptor(adaptor.memref()).allocatedPtr(rewriter, loc); 456a5f9cda1SChristian Sigg auto casted = rewriter.create<LLVM::BitcastOp>(loc, llvmPointerType, pointer); 457a5f9cda1SChristian Sigg Value stream = adaptor.asyncDependencies().front(); 458a5f9cda1SChristian Sigg deallocCallBuilder.create(loc, rewriter, {casted, stream}); 459a5f9cda1SChristian Sigg 460a5f9cda1SChristian Sigg rewriter.replaceOp(deallocOp, {stream}); 461a5f9cda1SChristian Sigg return success(); 462a5f9cda1SChristian Sigg } 463a5f9cda1SChristian Sigg 464a5f9cda1SChristian Sigg static bool isGpuAsyncTokenType(Value value) { 465a5f9cda1SChristian Sigg return value.getType().isa<gpu::AsyncTokenType>(); 466a5f9cda1SChristian Sigg } 467a5f9cda1SChristian Sigg 468a5f9cda1SChristian Sigg // Converts !gpu.async.token operands of `async.yield` to runtime calls. The 469a5f9cda1SChristian Sigg // !gpu.async.token are lowered to stream within the async.execute region, but 470a5f9cda1SChristian Sigg // are passed as events between them. For each !gpu.async.token operand, we 471a5f9cda1SChristian Sigg // create an event and record it on the stream. 472a5f9cda1SChristian Sigg LogicalResult ConvertAsyncYieldToGpuRuntimeCallPattern::matchAndRewrite( 473a5f9cda1SChristian Sigg async::YieldOp yieldOp, ArrayRef<Value> operands, 474a5f9cda1SChristian Sigg ConversionPatternRewriter &rewriter) const { 475a5f9cda1SChristian Sigg if (llvm::none_of(yieldOp.operands(), isGpuAsyncTokenType)) 476a5f9cda1SChristian Sigg return rewriter.notifyMatchFailure(yieldOp, "no gpu async token operand"); 477a5f9cda1SChristian Sigg 478a5f9cda1SChristian Sigg Location loc = yieldOp.getLoc(); 479a5f9cda1SChristian Sigg SmallVector<Value, 4> newOperands(operands.begin(), operands.end()); 480a5f9cda1SChristian Sigg llvm::SmallDenseSet<Value> streams; 481a5f9cda1SChristian Sigg for (auto &operand : yieldOp->getOpOperands()) { 482a5f9cda1SChristian Sigg if (!isGpuAsyncTokenType(operand.get())) 483a5f9cda1SChristian Sigg continue; 484a5f9cda1SChristian Sigg auto idx = operand.getOperandNumber(); 485a5f9cda1SChristian Sigg auto stream = operands[idx]; 486a5f9cda1SChristian Sigg auto event = eventCreateCallBuilder.create(loc, rewriter, {}).getResult(0); 487a5f9cda1SChristian Sigg eventRecordCallBuilder.create(loc, rewriter, {event, stream}); 488a5f9cda1SChristian Sigg newOperands[idx] = event; 489a5f9cda1SChristian Sigg streams.insert(stream); 490a5f9cda1SChristian Sigg } 491a5f9cda1SChristian Sigg for (auto stream : streams) 492a5f9cda1SChristian Sigg streamDestroyCallBuilder.create(loc, rewriter, {stream}); 493a5f9cda1SChristian Sigg 494a5f9cda1SChristian Sigg rewriter.updateRootInPlace(yieldOp, 495a5f9cda1SChristian Sigg [&] { yieldOp->setOperands(newOperands); }); 496a5f9cda1SChristian Sigg return success(); 497a5f9cda1SChristian Sigg } 498a5f9cda1SChristian Sigg 499a5f9cda1SChristian Sigg // Returns whether `value` is the result of an LLVM::CallOp to `functionName`. 500a5f9cda1SChristian Sigg static bool isDefinedByCallTo(Value value, StringRef functionName) { 501a5f9cda1SChristian Sigg assert(value.getType().isa<LLVM::LLVMPointerType>()); 502a5f9cda1SChristian Sigg if (auto defOp = value.getDefiningOp<LLVM::CallOp>()) 503a5f9cda1SChristian Sigg return defOp.callee()->equals(functionName); 504a5f9cda1SChristian Sigg return false; 505a5f9cda1SChristian Sigg } 506a5f9cda1SChristian Sigg 507a5f9cda1SChristian Sigg // Converts `gpu.wait` to runtime calls. The converted op synchronizes the host 508a5f9cda1SChristian Sigg // with the stream/event operands. The operands are destroyed. That is, it 509a5f9cda1SChristian Sigg // assumes that it is not used afterwards or elsewhere. Otherwise we will get a 510a5f9cda1SChristian Sigg // runtime error. Eventually, we should guarantee this property. 511a5f9cda1SChristian Sigg LogicalResult ConvertWaitOpToGpuRuntimeCallPattern::matchAndRewrite( 512a5f9cda1SChristian Sigg gpu::WaitOp waitOp, ArrayRef<Value> operands, 513a5f9cda1SChristian Sigg ConversionPatternRewriter &rewriter) const { 514a5f9cda1SChristian Sigg if (waitOp.asyncToken()) 515a5f9cda1SChristian Sigg return rewriter.notifyMatchFailure(waitOp, "Cannot convert async op."); 516a5f9cda1SChristian Sigg 517a5f9cda1SChristian Sigg Location loc = waitOp.getLoc(); 518a5f9cda1SChristian Sigg 519a5f9cda1SChristian Sigg for (auto operand : operands) { 520a5f9cda1SChristian Sigg if (isDefinedByCallTo(operand, streamCreateCallBuilder.functionName)) { 521a5f9cda1SChristian Sigg // The converted operand's definition created a stream. 522a5f9cda1SChristian Sigg streamSynchronizeCallBuilder.create(loc, rewriter, {operand}); 523a5f9cda1SChristian Sigg streamDestroyCallBuilder.create(loc, rewriter, {operand}); 524a5f9cda1SChristian Sigg } else { 525a5f9cda1SChristian Sigg // Otherwise the converted operand is an event. This assumes that we use 526a5f9cda1SChristian Sigg // events in control flow code as well. 527a5f9cda1SChristian Sigg eventSynchronizeCallBuilder.create(loc, rewriter, {operand}); 528a5f9cda1SChristian Sigg eventDestroyCallBuilder.create(loc, rewriter, {operand}); 529a5f9cda1SChristian Sigg } 530a5f9cda1SChristian Sigg } 531a5f9cda1SChristian Sigg 532a5f9cda1SChristian Sigg rewriter.eraseOp(waitOp); 533a5f9cda1SChristian Sigg return success(); 534a5f9cda1SChristian Sigg } 535a5f9cda1SChristian Sigg 536a5f9cda1SChristian Sigg // Converts `gpu.wait async` to runtime calls. The converted op creates a new 537a5f9cda1SChristian Sigg // stream that is synchronized with stream/event operands. The operands are 538a5f9cda1SChristian Sigg // destroyed. That is, it assumes that it is not used afterwards or elsewhere. 539a5f9cda1SChristian Sigg // Otherwise we will get a runtime error. Eventually, we should guarantee this 540a5f9cda1SChristian Sigg // property. 541a5f9cda1SChristian Sigg LogicalResult ConvertWaitAsyncOpToGpuRuntimeCallPattern::matchAndRewrite( 542a5f9cda1SChristian Sigg gpu::WaitOp waitOp, ArrayRef<Value> operands, 543a5f9cda1SChristian Sigg ConversionPatternRewriter &rewriter) const { 544a5f9cda1SChristian Sigg if (!waitOp.asyncToken()) 545a5f9cda1SChristian Sigg return rewriter.notifyMatchFailure(waitOp, "Can only convert async op."); 546a5f9cda1SChristian Sigg 547a5f9cda1SChristian Sigg Location loc = waitOp.getLoc(); 548a5f9cda1SChristian Sigg 549a5f9cda1SChristian Sigg auto insertionPoint = rewriter.saveInsertionPoint(); 550a5f9cda1SChristian Sigg SmallVector<Value, 1> events; 551a5f9cda1SChristian Sigg for (auto pair : llvm::zip(waitOp.asyncDependencies(), operands)) { 552a5f9cda1SChristian Sigg auto operand = std::get<1>(pair); 553a5f9cda1SChristian Sigg if (isDefinedByCallTo(operand, streamCreateCallBuilder.functionName)) { 554a5f9cda1SChristian Sigg // The converted operand's definition created a stream. Insert an event 555a5f9cda1SChristian Sigg // into the stream just after the last use of the original token operand. 556a5f9cda1SChristian Sigg auto *defOp = std::get<0>(pair).getDefiningOp(); 557a5f9cda1SChristian Sigg rewriter.setInsertionPointAfter(defOp); 558a5f9cda1SChristian Sigg auto event = 559a5f9cda1SChristian Sigg eventCreateCallBuilder.create(loc, rewriter, {}).getResult(0); 560a5f9cda1SChristian Sigg eventRecordCallBuilder.create(loc, rewriter, {event, operand}); 561a5f9cda1SChristian Sigg events.push_back(event); 562a5f9cda1SChristian Sigg } else { 563a5f9cda1SChristian Sigg // Otherwise the converted operand is an event. This assumes that we use 564a5f9cda1SChristian Sigg // events in control flow code as well. 565a5f9cda1SChristian Sigg events.push_back(operand); 566a5f9cda1SChristian Sigg } 567a5f9cda1SChristian Sigg } 568a5f9cda1SChristian Sigg rewriter.restoreInsertionPoint(insertionPoint); 569a5f9cda1SChristian Sigg auto stream = streamCreateCallBuilder.create(loc, rewriter, {}).getResult(0); 570a5f9cda1SChristian Sigg for (auto event : events) 571a5f9cda1SChristian Sigg streamWaitEventCallBuilder.create(loc, rewriter, {stream, event}); 572a5f9cda1SChristian Sigg for (auto event : events) 573a5f9cda1SChristian Sigg eventDestroyCallBuilder.create(loc, rewriter, {event}); 574a5f9cda1SChristian Sigg rewriter.replaceOp(waitOp, {stream}); 575a5f9cda1SChristian Sigg 576a5f9cda1SChristian Sigg return success(); 577a5f9cda1SChristian Sigg } 578a5f9cda1SChristian Sigg 579a5f9cda1SChristian Sigg // Creates a struct containing all kernel parameters on the stack and returns 580a5f9cda1SChristian Sigg // an array of type-erased pointers to the fields of the struct. The array can 581a5f9cda1SChristian Sigg // then be passed to the CUDA / ROCm (HIP) kernel launch calls. 582a5f9cda1SChristian Sigg // The generated code is essentially as follows: 583a5f9cda1SChristian Sigg // 584a5f9cda1SChristian Sigg // %struct = alloca(sizeof(struct { Parameters... })) 585a5f9cda1SChristian Sigg // %array = alloca(NumParameters * sizeof(void *)) 586a5f9cda1SChristian Sigg // for (i : [0, NumParameters)) 587a5f9cda1SChristian Sigg // %fieldPtr = llvm.getelementptr %struct[0, i] 588a5f9cda1SChristian Sigg // llvm.store parameters[i], %fieldPtr 589a5f9cda1SChristian Sigg // %elementPtr = llvm.getelementptr %array[i] 590a5f9cda1SChristian Sigg // llvm.store %fieldPtr, %elementPtr 591a5f9cda1SChristian Sigg // return %array 592a5f9cda1SChristian Sigg Value ConvertLaunchFuncOpToGpuRuntimeCallPattern::generateParamsArray( 593a5f9cda1SChristian Sigg gpu::LaunchFuncOp launchOp, ArrayRef<Value> operands, 594a5f9cda1SChristian Sigg OpBuilder &builder) const { 595a5f9cda1SChristian Sigg auto loc = launchOp.getLoc(); 596a5f9cda1SChristian Sigg auto numKernelOperands = launchOp.getNumKernelOperands(); 597a5f9cda1SChristian Sigg auto arguments = getTypeConverter()->promoteOperands( 598a5f9cda1SChristian Sigg loc, launchOp.getOperands().take_back(numKernelOperands), 599a5f9cda1SChristian Sigg operands.take_back(numKernelOperands), builder); 600a5f9cda1SChristian Sigg auto numArguments = arguments.size(); 601a5f9cda1SChristian Sigg SmallVector<Type, 4> argumentTypes; 602a5f9cda1SChristian Sigg argumentTypes.reserve(numArguments); 603a5f9cda1SChristian Sigg for (auto argument : arguments) 604a5f9cda1SChristian Sigg argumentTypes.push_back(argument.getType()); 605a5f9cda1SChristian Sigg auto structType = LLVM::LLVMStructType::getNewIdentified(context, StringRef(), 606a5f9cda1SChristian Sigg argumentTypes); 607a5f9cda1SChristian Sigg auto one = builder.create<LLVM::ConstantOp>(loc, llvmInt32Type, 608a5f9cda1SChristian Sigg builder.getI32IntegerAttr(1)); 609a5f9cda1SChristian Sigg auto structPtr = builder.create<LLVM::AllocaOp>( 610a5f9cda1SChristian Sigg loc, LLVM::LLVMPointerType::get(structType), one, /*alignment=*/0); 611a5f9cda1SChristian Sigg auto arraySize = builder.create<LLVM::ConstantOp>( 612a5f9cda1SChristian Sigg loc, llvmInt32Type, builder.getI32IntegerAttr(numArguments)); 613a5f9cda1SChristian Sigg auto arrayPtr = builder.create<LLVM::AllocaOp>(loc, llvmPointerPointerType, 614a5f9cda1SChristian Sigg arraySize, /*alignment=*/0); 615a5f9cda1SChristian Sigg auto zero = builder.create<LLVM::ConstantOp>(loc, llvmInt32Type, 616a5f9cda1SChristian Sigg builder.getI32IntegerAttr(0)); 617a5f9cda1SChristian Sigg for (auto en : llvm::enumerate(arguments)) { 618a5f9cda1SChristian Sigg auto index = builder.create<LLVM::ConstantOp>( 619a5f9cda1SChristian Sigg loc, llvmInt32Type, builder.getI32IntegerAttr(en.index())); 620a5f9cda1SChristian Sigg auto fieldPtr = builder.create<LLVM::GEPOp>( 621a5f9cda1SChristian Sigg loc, LLVM::LLVMPointerType::get(argumentTypes[en.index()]), structPtr, 622a5f9cda1SChristian Sigg ArrayRef<Value>{zero, index.getResult()}); 623a5f9cda1SChristian Sigg builder.create<LLVM::StoreOp>(loc, en.value(), fieldPtr); 624a5f9cda1SChristian Sigg auto elementPtr = builder.create<LLVM::GEPOp>(loc, llvmPointerPointerType, 625a5f9cda1SChristian Sigg arrayPtr, index.getResult()); 626a5f9cda1SChristian Sigg auto casted = 627a5f9cda1SChristian Sigg builder.create<LLVM::BitcastOp>(loc, llvmPointerType, fieldPtr); 628a5f9cda1SChristian Sigg builder.create<LLVM::StoreOp>(loc, casted, elementPtr); 629a5f9cda1SChristian Sigg } 630a5f9cda1SChristian Sigg return arrayPtr; 631a5f9cda1SChristian Sigg } 632a5f9cda1SChristian Sigg 633a5f9cda1SChristian Sigg // Generates an LLVM IR dialect global that contains the name of the given 634a5f9cda1SChristian Sigg // kernel function as a C string, and returns a pointer to its beginning. 635a5f9cda1SChristian Sigg // The code is essentially: 636a5f9cda1SChristian Sigg // 637a5f9cda1SChristian Sigg // llvm.global constant @kernel_name("function_name\00") 638a5f9cda1SChristian Sigg // func(...) { 639a5f9cda1SChristian Sigg // %0 = llvm.addressof @kernel_name 640a5f9cda1SChristian Sigg // %1 = llvm.constant (0 : index) 641a5f9cda1SChristian Sigg // %2 = llvm.getelementptr %0[%1, %1] : !llvm<"i8*"> 642a5f9cda1SChristian Sigg // } 643a5f9cda1SChristian Sigg Value ConvertLaunchFuncOpToGpuRuntimeCallPattern::generateKernelNameConstant( 644a5f9cda1SChristian Sigg StringRef moduleName, StringRef name, Location loc, 645a5f9cda1SChristian Sigg OpBuilder &builder) const { 646a5f9cda1SChristian Sigg // Make sure the trailing zero is included in the constant. 647a5f9cda1SChristian Sigg std::vector<char> kernelName(name.begin(), name.end()); 648a5f9cda1SChristian Sigg kernelName.push_back('\0'); 649a5f9cda1SChristian Sigg 650a5f9cda1SChristian Sigg std::string globalName = 651a5f9cda1SChristian Sigg std::string(llvm::formatv("{0}_{1}_kernel_name", moduleName, name)); 652a5f9cda1SChristian Sigg return LLVM::createGlobalString( 653a5f9cda1SChristian Sigg loc, builder, globalName, StringRef(kernelName.data(), kernelName.size()), 654a5f9cda1SChristian Sigg LLVM::Linkage::Internal); 655a5f9cda1SChristian Sigg } 656a5f9cda1SChristian Sigg 657a5f9cda1SChristian Sigg // Emits LLVM IR to launch a kernel function. Expects the module that contains 658a5f9cda1SChristian Sigg // the compiled kernel function as a cubin in the 'nvvm.cubin' attribute, or a 659a5f9cda1SChristian Sigg // hsaco in the 'rocdl.hsaco' attribute of the kernel function in the IR. 660a5f9cda1SChristian Sigg // 661a5f9cda1SChristian Sigg // %0 = call %binarygetter 662a5f9cda1SChristian Sigg // %1 = call %moduleLoad(%0) 663a5f9cda1SChristian Sigg // %2 = <see generateKernelNameConstant> 664a5f9cda1SChristian Sigg // %3 = call %moduleGetFunction(%1, %2) 665a5f9cda1SChristian Sigg // %4 = call %streamCreate() 666a5f9cda1SChristian Sigg // %5 = <see generateParamsArray> 667a5f9cda1SChristian Sigg // call %launchKernel(%3, <launchOp operands 0..5>, 0, %4, %5, nullptr) 668a5f9cda1SChristian Sigg // call %streamSynchronize(%4) 669a5f9cda1SChristian Sigg // call %streamDestroy(%4) 670a5f9cda1SChristian Sigg // call %moduleUnload(%1) 671a5f9cda1SChristian Sigg // 672a5f9cda1SChristian Sigg // If the op is async, the stream corresponds to the (single) async dependency 673a5f9cda1SChristian Sigg // as well as the async token the op produces. 674a5f9cda1SChristian Sigg LogicalResult ConvertLaunchFuncOpToGpuRuntimeCallPattern::matchAndRewrite( 675a5f9cda1SChristian Sigg gpu::LaunchFuncOp launchOp, ArrayRef<Value> operands, 676a5f9cda1SChristian Sigg ConversionPatternRewriter &rewriter) const { 677a5f9cda1SChristian Sigg if (failed(areAllLLVMTypes(launchOp, operands, rewriter))) 678a5f9cda1SChristian Sigg return failure(); 679a5f9cda1SChristian Sigg 680a5f9cda1SChristian Sigg if (launchOp.asyncDependencies().size() > 1) 681a5f9cda1SChristian Sigg return rewriter.notifyMatchFailure( 682a5f9cda1SChristian Sigg launchOp, "Cannot convert with more than one async dependency."); 683a5f9cda1SChristian Sigg 684a5f9cda1SChristian Sigg // Fail when the synchronous version of the op has async dependencies. The 685a5f9cda1SChristian Sigg // lowering destroys the stream, and we do not want to check that there is no 686a5f9cda1SChristian Sigg // use of the stream after this op. 687a5f9cda1SChristian Sigg if (!launchOp.asyncToken() && !launchOp.asyncDependencies().empty()) 688a5f9cda1SChristian Sigg return rewriter.notifyMatchFailure( 689a5f9cda1SChristian Sigg launchOp, "Cannot convert non-async op with async dependencies."); 690a5f9cda1SChristian Sigg 691a5f9cda1SChristian Sigg Location loc = launchOp.getLoc(); 692a5f9cda1SChristian Sigg 693a5f9cda1SChristian Sigg // Create an LLVM global with CUBIN extracted from the kernel annotation and 694a5f9cda1SChristian Sigg // obtain a pointer to the first byte in it. 695a5f9cda1SChristian Sigg auto kernelModule = SymbolTable::lookupNearestSymbolFrom<gpu::GPUModuleOp>( 696a5f9cda1SChristian Sigg launchOp, launchOp.getKernelModuleName()); 697a5f9cda1SChristian Sigg assert(kernelModule && "expected a kernel module"); 698a5f9cda1SChristian Sigg 699a5f9cda1SChristian Sigg auto binaryAttr = 700a5f9cda1SChristian Sigg kernelModule->getAttrOfType<StringAttr>(gpuBinaryAnnotation); 701a5f9cda1SChristian Sigg if (!binaryAttr) { 702a5f9cda1SChristian Sigg kernelModule.emitOpError() 703a5f9cda1SChristian Sigg << "missing " << gpuBinaryAnnotation << " attribute"; 704a5f9cda1SChristian Sigg return failure(); 705a5f9cda1SChristian Sigg } 706a5f9cda1SChristian Sigg 707a5f9cda1SChristian Sigg SmallString<128> nameBuffer(kernelModule.getName()); 708a5f9cda1SChristian Sigg nameBuffer.append(kGpuBinaryStorageSuffix); 709a5f9cda1SChristian Sigg Value data = 710a5f9cda1SChristian Sigg LLVM::createGlobalString(loc, rewriter, nameBuffer.str(), 711a5f9cda1SChristian Sigg binaryAttr.getValue(), LLVM::Linkage::Internal); 712a5f9cda1SChristian Sigg 713a5f9cda1SChristian Sigg auto module = moduleLoadCallBuilder.create(loc, rewriter, data); 714a5f9cda1SChristian Sigg // Get the function from the module. The name corresponds to the name of 715a5f9cda1SChristian Sigg // the kernel function. 716a5f9cda1SChristian Sigg auto kernelName = generateKernelNameConstant( 717a5f9cda1SChristian Sigg launchOp.getKernelModuleName(), launchOp.getKernelName(), loc, rewriter); 718a5f9cda1SChristian Sigg auto function = moduleGetFunctionCallBuilder.create( 719a5f9cda1SChristian Sigg loc, rewriter, {module.getResult(0), kernelName}); 720a5f9cda1SChristian Sigg auto zero = rewriter.create<LLVM::ConstantOp>(loc, llvmInt32Type, 721a5f9cda1SChristian Sigg rewriter.getI32IntegerAttr(0)); 722a5f9cda1SChristian Sigg auto adaptor = 723a5f9cda1SChristian Sigg gpu::LaunchFuncOpAdaptor(operands, launchOp->getAttrDictionary()); 724a5f9cda1SChristian Sigg Value stream = 725a5f9cda1SChristian Sigg adaptor.asyncDependencies().empty() 726a5f9cda1SChristian Sigg ? streamCreateCallBuilder.create(loc, rewriter, {}).getResult(0) 727a5f9cda1SChristian Sigg : adaptor.asyncDependencies().front(); 728a5f9cda1SChristian Sigg // Create array of pointers to kernel arguments. 729a5f9cda1SChristian Sigg auto kernelParams = generateParamsArray(launchOp, operands, rewriter); 730a5f9cda1SChristian Sigg auto nullpointer = rewriter.create<LLVM::NullOp>(loc, llvmPointerPointerType); 731a5f9cda1SChristian Sigg launchKernelCallBuilder.create(loc, rewriter, 732a5f9cda1SChristian Sigg {function.getResult(0), launchOp.gridSizeX(), 733a5f9cda1SChristian Sigg launchOp.gridSizeY(), launchOp.gridSizeZ(), 734a5f9cda1SChristian Sigg launchOp.blockSizeX(), launchOp.blockSizeY(), 735a5f9cda1SChristian Sigg launchOp.blockSizeZ(), 736a5f9cda1SChristian Sigg /*sharedMemBytes=*/zero, stream, kernelParams, 737a5f9cda1SChristian Sigg /*extra=*/nullpointer}); 738a5f9cda1SChristian Sigg 739a5f9cda1SChristian Sigg if (launchOp.asyncToken()) { 740a5f9cda1SChristian Sigg // Async launch: make dependent ops use the same stream. 741a5f9cda1SChristian Sigg rewriter.replaceOp(launchOp, {stream}); 742a5f9cda1SChristian Sigg } else { 743a5f9cda1SChristian Sigg // Synchronize with host and destroy stream. This must be the stream created 744a5f9cda1SChristian Sigg // above (with no other uses) because we check that the synchronous version 745a5f9cda1SChristian Sigg // does not have any async dependencies. 746a5f9cda1SChristian Sigg streamSynchronizeCallBuilder.create(loc, rewriter, stream); 747a5f9cda1SChristian Sigg streamDestroyCallBuilder.create(loc, rewriter, stream); 748a5f9cda1SChristian Sigg rewriter.eraseOp(launchOp); 749a5f9cda1SChristian Sigg } 750a5f9cda1SChristian Sigg moduleUnloadCallBuilder.create(loc, rewriter, module.getResult(0)); 751a5f9cda1SChristian Sigg 752a5f9cda1SChristian Sigg return success(); 753a5f9cda1SChristian Sigg } 754a5f9cda1SChristian Sigg 755a5f9cda1SChristian Sigg LogicalResult ConvertMemcpyOpToGpuRuntimeCallPattern::matchAndRewrite( 756a5f9cda1SChristian Sigg gpu::MemcpyOp memcpyOp, ArrayRef<Value> operands, 757a5f9cda1SChristian Sigg ConversionPatternRewriter &rewriter) const { 758a5f9cda1SChristian Sigg auto memRefType = memcpyOp.src().getType().cast<MemRefType>(); 759a5f9cda1SChristian Sigg 760a5f9cda1SChristian Sigg if (failed(areAllLLVMTypes(memcpyOp, operands, rewriter)) || 761a5f9cda1SChristian Sigg !isConvertibleAndHasIdentityMaps(memRefType) || 762a5f9cda1SChristian Sigg failed(isAsyncWithOneDependency(rewriter, memcpyOp))) 763a5f9cda1SChristian Sigg return failure(); 764a5f9cda1SChristian Sigg 765a5f9cda1SChristian Sigg auto loc = memcpyOp.getLoc(); 766a5f9cda1SChristian Sigg auto adaptor = gpu::MemcpyOpAdaptor(operands, memcpyOp->getAttrDictionary()); 767a5f9cda1SChristian Sigg 768a5f9cda1SChristian Sigg MemRefDescriptor srcDesc(adaptor.src()); 769a5f9cda1SChristian Sigg 770a5f9cda1SChristian Sigg Value numElements = 771a5f9cda1SChristian Sigg memRefType.hasStaticShape() 772a5f9cda1SChristian Sigg ? createIndexConstant(rewriter, loc, memRefType.getNumElements()) 773a5f9cda1SChristian Sigg // For identity layouts (verified above), the number of elements is 774a5f9cda1SChristian Sigg // stride[0] * size[0]. 775a5f9cda1SChristian Sigg : rewriter.create<LLVM::MulOp>(loc, srcDesc.stride(rewriter, loc, 0), 776a5f9cda1SChristian Sigg srcDesc.size(rewriter, loc, 0)); 777a5f9cda1SChristian Sigg 778a5f9cda1SChristian Sigg Type elementPtrType = getElementPtrType(memRefType); 779a5f9cda1SChristian Sigg Value nullPtr = rewriter.create<LLVM::NullOp>(loc, elementPtrType); 780a5f9cda1SChristian Sigg Value gepPtr = rewriter.create<LLVM::GEPOp>( 781a5f9cda1SChristian Sigg loc, elementPtrType, ArrayRef<Value>{nullPtr, numElements}); 782a5f9cda1SChristian Sigg auto sizeBytes = 783a5f9cda1SChristian Sigg rewriter.create<LLVM::PtrToIntOp>(loc, getIndexType(), gepPtr); 784a5f9cda1SChristian Sigg 785a5f9cda1SChristian Sigg auto src = rewriter.create<LLVM::BitcastOp>( 786a5f9cda1SChristian Sigg loc, llvmPointerType, srcDesc.alignedPtr(rewriter, loc)); 787a5f9cda1SChristian Sigg auto dst = rewriter.create<LLVM::BitcastOp>( 788a5f9cda1SChristian Sigg loc, llvmPointerType, 789a5f9cda1SChristian Sigg MemRefDescriptor(adaptor.dst()).alignedPtr(rewriter, loc)); 790a5f9cda1SChristian Sigg 791a5f9cda1SChristian Sigg auto stream = adaptor.asyncDependencies().front(); 792a5f9cda1SChristian Sigg memcpyCallBuilder.create(loc, rewriter, {dst, src, sizeBytes, stream}); 793a5f9cda1SChristian Sigg 794a5f9cda1SChristian Sigg rewriter.replaceOp(memcpyOp, {stream}); 795a5f9cda1SChristian Sigg 796a5f9cda1SChristian Sigg return success(); 797a5f9cda1SChristian Sigg } 798a5f9cda1SChristian Sigg 799a5f9cda1SChristian Sigg std::unique_ptr<mlir::OperationPass<mlir::ModuleOp>> 800a5f9cda1SChristian Sigg mlir::createGpuToLLVMConversionPass() { 801a5f9cda1SChristian Sigg return std::make_unique<GpuToLLVMConversionPass>(); 802a5f9cda1SChristian Sigg } 803