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()); 311*dc4e913bSChris Lattner RewritePatternSet patterns(&getContext()); 312a5f9cda1SChristian Sigg LLVMConversionTarget target(getContext()); 313a5f9cda1SChristian Sigg 314a5f9cda1SChristian Sigg populateVectorToLLVMConversionPatterns(converter, patterns); 315a5f9cda1SChristian Sigg populateStdToLLVMConversionPatterns(converter, patterns); 3163a506b31SChris Lattner populateAsyncStructuralTypeConversionsAndLegality(converter, patterns, 3173a506b31SChris Lattner target); 318a5f9cda1SChristian Sigg 319a5f9cda1SChristian Sigg converter.addConversion( 320a5f9cda1SChristian Sigg [context = &converter.getContext()](gpu::AsyncTokenType type) -> Type { 321a5f9cda1SChristian Sigg return LLVM::LLVMPointerType::get(IntegerType::get(context, 8)); 322a5f9cda1SChristian Sigg }); 323*dc4e913bSChris Lattner patterns.add<ConvertAllocOpToGpuRuntimeCallPattern, 324a5f9cda1SChristian Sigg ConvertDeallocOpToGpuRuntimeCallPattern, 325a5f9cda1SChristian Sigg ConvertHostRegisterOpToGpuRuntimeCallPattern, 326a5f9cda1SChristian Sigg ConvertMemcpyOpToGpuRuntimeCallPattern, 327a5f9cda1SChristian Sigg ConvertWaitAsyncOpToGpuRuntimeCallPattern, 328a5f9cda1SChristian Sigg ConvertWaitOpToGpuRuntimeCallPattern, 329a5f9cda1SChristian Sigg ConvertAsyncYieldToGpuRuntimeCallPattern>(converter); 330*dc4e913bSChris Lattner patterns.add<ConvertLaunchFuncOpToGpuRuntimeCallPattern>(converter, 331*dc4e913bSChris Lattner gpuBinaryAnnotation); 332*dc4e913bSChris Lattner patterns.add<EraseGpuModuleOpPattern>(&converter.getContext()); 333a5f9cda1SChristian Sigg 334a5f9cda1SChristian Sigg if (failed( 335a5f9cda1SChristian Sigg applyPartialConversion(getOperation(), target, std::move(patterns)))) 336a5f9cda1SChristian Sigg signalPassFailure(); 337a5f9cda1SChristian Sigg } 338a5f9cda1SChristian Sigg 339a5f9cda1SChristian Sigg LLVM::CallOp FunctionCallBuilder::create(Location loc, OpBuilder &builder, 340a5f9cda1SChristian Sigg ArrayRef<Value> arguments) const { 341a5f9cda1SChristian Sigg auto module = builder.getBlock()->getParent()->getParentOfType<ModuleOp>(); 342a5f9cda1SChristian Sigg auto function = [&] { 343a5f9cda1SChristian Sigg if (auto function = module.lookupSymbol<LLVM::LLVMFuncOp>(functionName)) 344a5f9cda1SChristian Sigg return function; 345a5f9cda1SChristian Sigg return OpBuilder(module.getBody()->getTerminator()) 346a5f9cda1SChristian Sigg .create<LLVM::LLVMFuncOp>(loc, functionName, functionType); 347a5f9cda1SChristian Sigg }(); 348a5f9cda1SChristian Sigg return builder.create<LLVM::CallOp>( 349a5f9cda1SChristian Sigg loc, const_cast<LLVM::LLVMFunctionType &>(functionType).getReturnType(), 350a5f9cda1SChristian Sigg builder.getSymbolRefAttr(function), arguments); 351a5f9cda1SChristian Sigg } 352a5f9cda1SChristian Sigg 353a5f9cda1SChristian Sigg // Returns whether all operands are of LLVM type. 354a5f9cda1SChristian Sigg static LogicalResult areAllLLVMTypes(Operation *op, ValueRange operands, 355a5f9cda1SChristian Sigg ConversionPatternRewriter &rewriter) { 356a5f9cda1SChristian Sigg if (!llvm::all_of(operands, [](Value value) { 357a5f9cda1SChristian Sigg return LLVM::isCompatibleType(value.getType()); 358a5f9cda1SChristian Sigg })) 359a5f9cda1SChristian Sigg return rewriter.notifyMatchFailure( 360a5f9cda1SChristian Sigg op, "Cannot convert if operands aren't of LLVM type."); 361a5f9cda1SChristian Sigg return success(); 362a5f9cda1SChristian Sigg } 363a5f9cda1SChristian Sigg 364a5f9cda1SChristian Sigg static LogicalResult 365a5f9cda1SChristian Sigg isAsyncWithOneDependency(ConversionPatternRewriter &rewriter, 366a5f9cda1SChristian Sigg gpu::AsyncOpInterface op) { 367a5f9cda1SChristian Sigg if (op.getAsyncDependencies().size() != 1) 368a5f9cda1SChristian Sigg return rewriter.notifyMatchFailure( 369a5f9cda1SChristian Sigg op, "Can only convert with exactly one async dependency."); 370a5f9cda1SChristian Sigg 371a5f9cda1SChristian Sigg if (!op.getAsyncToken()) 372a5f9cda1SChristian Sigg return rewriter.notifyMatchFailure(op, "Can convert only async version."); 373a5f9cda1SChristian Sigg 374a5f9cda1SChristian Sigg return success(); 375a5f9cda1SChristian Sigg } 376a5f9cda1SChristian Sigg 377a5f9cda1SChristian Sigg LogicalResult ConvertHostRegisterOpToGpuRuntimeCallPattern::matchAndRewrite( 378a5f9cda1SChristian Sigg gpu::HostRegisterOp hostRegisterOp, ArrayRef<Value> operands, 379a5f9cda1SChristian Sigg ConversionPatternRewriter &rewriter) const { 380a5f9cda1SChristian Sigg auto *op = hostRegisterOp.getOperation(); 381a5f9cda1SChristian Sigg if (failed(areAllLLVMTypes(op, operands, rewriter))) 382a5f9cda1SChristian Sigg return failure(); 383a5f9cda1SChristian Sigg 384a5f9cda1SChristian Sigg Location loc = op->getLoc(); 385a5f9cda1SChristian Sigg 386a5f9cda1SChristian Sigg auto memRefType = hostRegisterOp.value().getType(); 387a5f9cda1SChristian Sigg auto elementType = memRefType.cast<UnrankedMemRefType>().getElementType(); 388a5f9cda1SChristian Sigg auto elementSize = getSizeInBytes(loc, elementType, rewriter); 389a5f9cda1SChristian Sigg 390a5f9cda1SChristian Sigg auto arguments = getTypeConverter()->promoteOperands(loc, op->getOperands(), 391a5f9cda1SChristian Sigg operands, rewriter); 392a5f9cda1SChristian Sigg arguments.push_back(elementSize); 393a5f9cda1SChristian Sigg hostRegisterCallBuilder.create(loc, rewriter, arguments); 394a5f9cda1SChristian Sigg 395a5f9cda1SChristian Sigg rewriter.eraseOp(op); 396a5f9cda1SChristian Sigg return success(); 397a5f9cda1SChristian Sigg } 398a5f9cda1SChristian Sigg 399a5f9cda1SChristian Sigg LogicalResult ConvertAllocOpToGpuRuntimeCallPattern::matchAndRewrite( 400a5f9cda1SChristian Sigg gpu::AllocOp allocOp, ArrayRef<Value> operands, 401a5f9cda1SChristian Sigg ConversionPatternRewriter &rewriter) const { 402a5f9cda1SChristian Sigg MemRefType memRefType = allocOp.getType(); 403a5f9cda1SChristian Sigg 404a5f9cda1SChristian Sigg if (failed(areAllLLVMTypes(allocOp, operands, rewriter)) || 405a5f9cda1SChristian Sigg !isConvertibleAndHasIdentityMaps(memRefType) || 406a5f9cda1SChristian Sigg failed(isAsyncWithOneDependency(rewriter, allocOp))) 407a5f9cda1SChristian Sigg return failure(); 408a5f9cda1SChristian Sigg 409a5f9cda1SChristian Sigg auto loc = allocOp.getLoc(); 410a5f9cda1SChristian Sigg auto adaptor = gpu::AllocOpAdaptor(operands, allocOp->getAttrDictionary()); 411a5f9cda1SChristian Sigg 412a5f9cda1SChristian Sigg // Get shape of the memref as values: static sizes are constant 413a5f9cda1SChristian Sigg // values and dynamic sizes are passed to 'alloc' as operands. 414a5f9cda1SChristian Sigg SmallVector<Value, 4> shape; 415a5f9cda1SChristian Sigg SmallVector<Value, 4> strides; 416a5f9cda1SChristian Sigg Value sizeBytes; 417a5f9cda1SChristian Sigg getMemRefDescriptorSizes(loc, memRefType, adaptor.dynamicSizes(), rewriter, 418a5f9cda1SChristian Sigg shape, strides, sizeBytes); 419a5f9cda1SChristian Sigg 420a5f9cda1SChristian Sigg // Allocate the underlying buffer and store a pointer to it in the MemRef 421a5f9cda1SChristian Sigg // descriptor. 422a5f9cda1SChristian Sigg Type elementPtrType = this->getElementPtrType(memRefType); 423a5f9cda1SChristian Sigg auto stream = adaptor.asyncDependencies().front(); 424a5f9cda1SChristian Sigg Value allocatedPtr = 425a5f9cda1SChristian Sigg allocCallBuilder.create(loc, rewriter, {sizeBytes, stream}).getResult(0); 426a5f9cda1SChristian Sigg allocatedPtr = 427a5f9cda1SChristian Sigg rewriter.create<LLVM::BitcastOp>(loc, elementPtrType, allocatedPtr); 428a5f9cda1SChristian Sigg 429a5f9cda1SChristian Sigg // No alignment. 430a5f9cda1SChristian Sigg Value alignedPtr = allocatedPtr; 431a5f9cda1SChristian Sigg 432a5f9cda1SChristian Sigg // Create the MemRef descriptor. 433a5f9cda1SChristian Sigg auto memRefDescriptor = this->createMemRefDescriptor( 434a5f9cda1SChristian Sigg loc, memRefType, allocatedPtr, alignedPtr, shape, strides, rewriter); 435a5f9cda1SChristian Sigg 436a5f9cda1SChristian Sigg rewriter.replaceOp(allocOp, {memRefDescriptor, stream}); 437a5f9cda1SChristian Sigg 438a5f9cda1SChristian Sigg return success(); 439a5f9cda1SChristian Sigg } 440a5f9cda1SChristian Sigg 441a5f9cda1SChristian Sigg LogicalResult ConvertDeallocOpToGpuRuntimeCallPattern::matchAndRewrite( 442a5f9cda1SChristian Sigg gpu::DeallocOp deallocOp, ArrayRef<Value> operands, 443a5f9cda1SChristian Sigg ConversionPatternRewriter &rewriter) const { 444a5f9cda1SChristian Sigg if (failed(areAllLLVMTypes(deallocOp, operands, rewriter)) || 445a5f9cda1SChristian Sigg failed(isAsyncWithOneDependency(rewriter, deallocOp))) 446a5f9cda1SChristian Sigg return failure(); 447a5f9cda1SChristian Sigg 448a5f9cda1SChristian Sigg Location loc = deallocOp.getLoc(); 449a5f9cda1SChristian Sigg 450a5f9cda1SChristian Sigg auto adaptor = 451a5f9cda1SChristian Sigg gpu::DeallocOpAdaptor(operands, deallocOp->getAttrDictionary()); 452a5f9cda1SChristian Sigg Value pointer = 453a5f9cda1SChristian Sigg MemRefDescriptor(adaptor.memref()).allocatedPtr(rewriter, loc); 454a5f9cda1SChristian Sigg auto casted = rewriter.create<LLVM::BitcastOp>(loc, llvmPointerType, pointer); 455a5f9cda1SChristian Sigg Value stream = adaptor.asyncDependencies().front(); 456a5f9cda1SChristian Sigg deallocCallBuilder.create(loc, rewriter, {casted, stream}); 457a5f9cda1SChristian Sigg 458a5f9cda1SChristian Sigg rewriter.replaceOp(deallocOp, {stream}); 459a5f9cda1SChristian Sigg return success(); 460a5f9cda1SChristian Sigg } 461a5f9cda1SChristian Sigg 462a5f9cda1SChristian Sigg static bool isGpuAsyncTokenType(Value value) { 463a5f9cda1SChristian Sigg return value.getType().isa<gpu::AsyncTokenType>(); 464a5f9cda1SChristian Sigg } 465a5f9cda1SChristian Sigg 466a5f9cda1SChristian Sigg // Converts !gpu.async.token operands of `async.yield` to runtime calls. The 467a5f9cda1SChristian Sigg // !gpu.async.token are lowered to stream within the async.execute region, but 468a5f9cda1SChristian Sigg // are passed as events between them. For each !gpu.async.token operand, we 469a5f9cda1SChristian Sigg // create an event and record it on the stream. 470a5f9cda1SChristian Sigg LogicalResult ConvertAsyncYieldToGpuRuntimeCallPattern::matchAndRewrite( 471a5f9cda1SChristian Sigg async::YieldOp yieldOp, ArrayRef<Value> operands, 472a5f9cda1SChristian Sigg ConversionPatternRewriter &rewriter) const { 473a5f9cda1SChristian Sigg if (llvm::none_of(yieldOp.operands(), isGpuAsyncTokenType)) 474a5f9cda1SChristian Sigg return rewriter.notifyMatchFailure(yieldOp, "no gpu async token operand"); 475a5f9cda1SChristian Sigg 476a5f9cda1SChristian Sigg Location loc = yieldOp.getLoc(); 477a5f9cda1SChristian Sigg SmallVector<Value, 4> newOperands(operands.begin(), operands.end()); 478a5f9cda1SChristian Sigg llvm::SmallDenseSet<Value> streams; 479a5f9cda1SChristian Sigg for (auto &operand : yieldOp->getOpOperands()) { 480a5f9cda1SChristian Sigg if (!isGpuAsyncTokenType(operand.get())) 481a5f9cda1SChristian Sigg continue; 482a5f9cda1SChristian Sigg auto idx = operand.getOperandNumber(); 483a5f9cda1SChristian Sigg auto stream = operands[idx]; 484a5f9cda1SChristian Sigg auto event = eventCreateCallBuilder.create(loc, rewriter, {}).getResult(0); 485a5f9cda1SChristian Sigg eventRecordCallBuilder.create(loc, rewriter, {event, stream}); 486a5f9cda1SChristian Sigg newOperands[idx] = event; 487a5f9cda1SChristian Sigg streams.insert(stream); 488a5f9cda1SChristian Sigg } 489a5f9cda1SChristian Sigg for (auto stream : streams) 490a5f9cda1SChristian Sigg streamDestroyCallBuilder.create(loc, rewriter, {stream}); 491a5f9cda1SChristian Sigg 492a5f9cda1SChristian Sigg rewriter.updateRootInPlace(yieldOp, 493a5f9cda1SChristian Sigg [&] { yieldOp->setOperands(newOperands); }); 494a5f9cda1SChristian Sigg return success(); 495a5f9cda1SChristian Sigg } 496a5f9cda1SChristian Sigg 497a5f9cda1SChristian Sigg // Returns whether `value` is the result of an LLVM::CallOp to `functionName`. 498a5f9cda1SChristian Sigg static bool isDefinedByCallTo(Value value, StringRef functionName) { 499a5f9cda1SChristian Sigg assert(value.getType().isa<LLVM::LLVMPointerType>()); 500a5f9cda1SChristian Sigg if (auto defOp = value.getDefiningOp<LLVM::CallOp>()) 501a5f9cda1SChristian Sigg return defOp.callee()->equals(functionName); 502a5f9cda1SChristian Sigg return false; 503a5f9cda1SChristian Sigg } 504a5f9cda1SChristian Sigg 505a5f9cda1SChristian Sigg // Converts `gpu.wait` to runtime calls. The converted op synchronizes the host 506a5f9cda1SChristian Sigg // with the stream/event operands. The operands are destroyed. That is, it 507a5f9cda1SChristian Sigg // assumes that it is not used afterwards or elsewhere. Otherwise we will get a 508a5f9cda1SChristian Sigg // runtime error. Eventually, we should guarantee this property. 509a5f9cda1SChristian Sigg LogicalResult ConvertWaitOpToGpuRuntimeCallPattern::matchAndRewrite( 510a5f9cda1SChristian Sigg gpu::WaitOp waitOp, ArrayRef<Value> operands, 511a5f9cda1SChristian Sigg ConversionPatternRewriter &rewriter) const { 512a5f9cda1SChristian Sigg if (waitOp.asyncToken()) 513a5f9cda1SChristian Sigg return rewriter.notifyMatchFailure(waitOp, "Cannot convert async op."); 514a5f9cda1SChristian Sigg 515a5f9cda1SChristian Sigg Location loc = waitOp.getLoc(); 516a5f9cda1SChristian Sigg 517a5f9cda1SChristian Sigg for (auto operand : operands) { 518a5f9cda1SChristian Sigg if (isDefinedByCallTo(operand, streamCreateCallBuilder.functionName)) { 519a5f9cda1SChristian Sigg // The converted operand's definition created a stream. 520a5f9cda1SChristian Sigg streamSynchronizeCallBuilder.create(loc, rewriter, {operand}); 521a5f9cda1SChristian Sigg streamDestroyCallBuilder.create(loc, rewriter, {operand}); 522a5f9cda1SChristian Sigg } else { 523a5f9cda1SChristian Sigg // Otherwise the converted operand is an event. This assumes that we use 524a5f9cda1SChristian Sigg // events in control flow code as well. 525a5f9cda1SChristian Sigg eventSynchronizeCallBuilder.create(loc, rewriter, {operand}); 526a5f9cda1SChristian Sigg eventDestroyCallBuilder.create(loc, rewriter, {operand}); 527a5f9cda1SChristian Sigg } 528a5f9cda1SChristian Sigg } 529a5f9cda1SChristian Sigg 530a5f9cda1SChristian Sigg rewriter.eraseOp(waitOp); 531a5f9cda1SChristian Sigg return success(); 532a5f9cda1SChristian Sigg } 533a5f9cda1SChristian Sigg 534a5f9cda1SChristian Sigg // Converts `gpu.wait async` to runtime calls. The converted op creates a new 535a5f9cda1SChristian Sigg // stream that is synchronized with stream/event operands. The operands are 536a5f9cda1SChristian Sigg // destroyed. That is, it assumes that it is not used afterwards or elsewhere. 537a5f9cda1SChristian Sigg // Otherwise we will get a runtime error. Eventually, we should guarantee this 538a5f9cda1SChristian Sigg // property. 539a5f9cda1SChristian Sigg LogicalResult ConvertWaitAsyncOpToGpuRuntimeCallPattern::matchAndRewrite( 540a5f9cda1SChristian Sigg gpu::WaitOp waitOp, ArrayRef<Value> operands, 541a5f9cda1SChristian Sigg ConversionPatternRewriter &rewriter) const { 542a5f9cda1SChristian Sigg if (!waitOp.asyncToken()) 543a5f9cda1SChristian Sigg return rewriter.notifyMatchFailure(waitOp, "Can only convert async op."); 544a5f9cda1SChristian Sigg 545a5f9cda1SChristian Sigg Location loc = waitOp.getLoc(); 546a5f9cda1SChristian Sigg 547a5f9cda1SChristian Sigg auto insertionPoint = rewriter.saveInsertionPoint(); 548a5f9cda1SChristian Sigg SmallVector<Value, 1> events; 549a5f9cda1SChristian Sigg for (auto pair : llvm::zip(waitOp.asyncDependencies(), operands)) { 550a5f9cda1SChristian Sigg auto operand = std::get<1>(pair); 551a5f9cda1SChristian Sigg if (isDefinedByCallTo(operand, streamCreateCallBuilder.functionName)) { 552a5f9cda1SChristian Sigg // The converted operand's definition created a stream. Insert an event 553a5f9cda1SChristian Sigg // into the stream just after the last use of the original token operand. 554a5f9cda1SChristian Sigg auto *defOp = std::get<0>(pair).getDefiningOp(); 555a5f9cda1SChristian Sigg rewriter.setInsertionPointAfter(defOp); 556a5f9cda1SChristian Sigg auto event = 557a5f9cda1SChristian Sigg eventCreateCallBuilder.create(loc, rewriter, {}).getResult(0); 558a5f9cda1SChristian Sigg eventRecordCallBuilder.create(loc, rewriter, {event, operand}); 559a5f9cda1SChristian Sigg events.push_back(event); 560a5f9cda1SChristian Sigg } else { 561a5f9cda1SChristian Sigg // Otherwise the converted operand is an event. This assumes that we use 562a5f9cda1SChristian Sigg // events in control flow code as well. 563a5f9cda1SChristian Sigg events.push_back(operand); 564a5f9cda1SChristian Sigg } 565a5f9cda1SChristian Sigg } 566a5f9cda1SChristian Sigg rewriter.restoreInsertionPoint(insertionPoint); 567a5f9cda1SChristian Sigg auto stream = streamCreateCallBuilder.create(loc, rewriter, {}).getResult(0); 568a5f9cda1SChristian Sigg for (auto event : events) 569a5f9cda1SChristian Sigg streamWaitEventCallBuilder.create(loc, rewriter, {stream, event}); 570a5f9cda1SChristian Sigg for (auto event : events) 571a5f9cda1SChristian Sigg eventDestroyCallBuilder.create(loc, rewriter, {event}); 572a5f9cda1SChristian Sigg rewriter.replaceOp(waitOp, {stream}); 573a5f9cda1SChristian Sigg 574a5f9cda1SChristian Sigg return success(); 575a5f9cda1SChristian Sigg } 576a5f9cda1SChristian Sigg 577a5f9cda1SChristian Sigg // Creates a struct containing all kernel parameters on the stack and returns 578a5f9cda1SChristian Sigg // an array of type-erased pointers to the fields of the struct. The array can 579a5f9cda1SChristian Sigg // then be passed to the CUDA / ROCm (HIP) kernel launch calls. 580a5f9cda1SChristian Sigg // The generated code is essentially as follows: 581a5f9cda1SChristian Sigg // 582a5f9cda1SChristian Sigg // %struct = alloca(sizeof(struct { Parameters... })) 583a5f9cda1SChristian Sigg // %array = alloca(NumParameters * sizeof(void *)) 584a5f9cda1SChristian Sigg // for (i : [0, NumParameters)) 585a5f9cda1SChristian Sigg // %fieldPtr = llvm.getelementptr %struct[0, i] 586a5f9cda1SChristian Sigg // llvm.store parameters[i], %fieldPtr 587a5f9cda1SChristian Sigg // %elementPtr = llvm.getelementptr %array[i] 588a5f9cda1SChristian Sigg // llvm.store %fieldPtr, %elementPtr 589a5f9cda1SChristian Sigg // return %array 590a5f9cda1SChristian Sigg Value ConvertLaunchFuncOpToGpuRuntimeCallPattern::generateParamsArray( 591a5f9cda1SChristian Sigg gpu::LaunchFuncOp launchOp, ArrayRef<Value> operands, 592a5f9cda1SChristian Sigg OpBuilder &builder) const { 593a5f9cda1SChristian Sigg auto loc = launchOp.getLoc(); 594a5f9cda1SChristian Sigg auto numKernelOperands = launchOp.getNumKernelOperands(); 595a5f9cda1SChristian Sigg auto arguments = getTypeConverter()->promoteOperands( 596a5f9cda1SChristian Sigg loc, launchOp.getOperands().take_back(numKernelOperands), 597a5f9cda1SChristian Sigg operands.take_back(numKernelOperands), builder); 598a5f9cda1SChristian Sigg auto numArguments = arguments.size(); 599a5f9cda1SChristian Sigg SmallVector<Type, 4> argumentTypes; 600a5f9cda1SChristian Sigg argumentTypes.reserve(numArguments); 601a5f9cda1SChristian Sigg for (auto argument : arguments) 602a5f9cda1SChristian Sigg argumentTypes.push_back(argument.getType()); 603a5f9cda1SChristian Sigg auto structType = LLVM::LLVMStructType::getNewIdentified(context, StringRef(), 604a5f9cda1SChristian Sigg argumentTypes); 605a5f9cda1SChristian Sigg auto one = builder.create<LLVM::ConstantOp>(loc, llvmInt32Type, 606a5f9cda1SChristian Sigg builder.getI32IntegerAttr(1)); 607a5f9cda1SChristian Sigg auto structPtr = builder.create<LLVM::AllocaOp>( 608a5f9cda1SChristian Sigg loc, LLVM::LLVMPointerType::get(structType), one, /*alignment=*/0); 609a5f9cda1SChristian Sigg auto arraySize = builder.create<LLVM::ConstantOp>( 610a5f9cda1SChristian Sigg loc, llvmInt32Type, builder.getI32IntegerAttr(numArguments)); 611a5f9cda1SChristian Sigg auto arrayPtr = builder.create<LLVM::AllocaOp>(loc, llvmPointerPointerType, 612a5f9cda1SChristian Sigg arraySize, /*alignment=*/0); 613a5f9cda1SChristian Sigg auto zero = builder.create<LLVM::ConstantOp>(loc, llvmInt32Type, 614a5f9cda1SChristian Sigg builder.getI32IntegerAttr(0)); 615a5f9cda1SChristian Sigg for (auto en : llvm::enumerate(arguments)) { 616a5f9cda1SChristian Sigg auto index = builder.create<LLVM::ConstantOp>( 617a5f9cda1SChristian Sigg loc, llvmInt32Type, builder.getI32IntegerAttr(en.index())); 618a5f9cda1SChristian Sigg auto fieldPtr = builder.create<LLVM::GEPOp>( 619a5f9cda1SChristian Sigg loc, LLVM::LLVMPointerType::get(argumentTypes[en.index()]), structPtr, 620a5f9cda1SChristian Sigg ArrayRef<Value>{zero, index.getResult()}); 621a5f9cda1SChristian Sigg builder.create<LLVM::StoreOp>(loc, en.value(), fieldPtr); 622a5f9cda1SChristian Sigg auto elementPtr = builder.create<LLVM::GEPOp>(loc, llvmPointerPointerType, 623a5f9cda1SChristian Sigg arrayPtr, index.getResult()); 624a5f9cda1SChristian Sigg auto casted = 625a5f9cda1SChristian Sigg builder.create<LLVM::BitcastOp>(loc, llvmPointerType, fieldPtr); 626a5f9cda1SChristian Sigg builder.create<LLVM::StoreOp>(loc, casted, elementPtr); 627a5f9cda1SChristian Sigg } 628a5f9cda1SChristian Sigg return arrayPtr; 629a5f9cda1SChristian Sigg } 630a5f9cda1SChristian Sigg 631a5f9cda1SChristian Sigg // Generates an LLVM IR dialect global that contains the name of the given 632a5f9cda1SChristian Sigg // kernel function as a C string, and returns a pointer to its beginning. 633a5f9cda1SChristian Sigg // The code is essentially: 634a5f9cda1SChristian Sigg // 635a5f9cda1SChristian Sigg // llvm.global constant @kernel_name("function_name\00") 636a5f9cda1SChristian Sigg // func(...) { 637a5f9cda1SChristian Sigg // %0 = llvm.addressof @kernel_name 638a5f9cda1SChristian Sigg // %1 = llvm.constant (0 : index) 639a5f9cda1SChristian Sigg // %2 = llvm.getelementptr %0[%1, %1] : !llvm<"i8*"> 640a5f9cda1SChristian Sigg // } 641a5f9cda1SChristian Sigg Value ConvertLaunchFuncOpToGpuRuntimeCallPattern::generateKernelNameConstant( 642a5f9cda1SChristian Sigg StringRef moduleName, StringRef name, Location loc, 643a5f9cda1SChristian Sigg OpBuilder &builder) const { 644a5f9cda1SChristian Sigg // Make sure the trailing zero is included in the constant. 645a5f9cda1SChristian Sigg std::vector<char> kernelName(name.begin(), name.end()); 646a5f9cda1SChristian Sigg kernelName.push_back('\0'); 647a5f9cda1SChristian Sigg 648a5f9cda1SChristian Sigg std::string globalName = 649a5f9cda1SChristian Sigg std::string(llvm::formatv("{0}_{1}_kernel_name", moduleName, name)); 650a5f9cda1SChristian Sigg return LLVM::createGlobalString( 651a5f9cda1SChristian Sigg loc, builder, globalName, StringRef(kernelName.data(), kernelName.size()), 652a5f9cda1SChristian Sigg LLVM::Linkage::Internal); 653a5f9cda1SChristian Sigg } 654a5f9cda1SChristian Sigg 655a5f9cda1SChristian Sigg // Emits LLVM IR to launch a kernel function. Expects the module that contains 656a5f9cda1SChristian Sigg // the compiled kernel function as a cubin in the 'nvvm.cubin' attribute, or a 657a5f9cda1SChristian Sigg // hsaco in the 'rocdl.hsaco' attribute of the kernel function in the IR. 658a5f9cda1SChristian Sigg // 659a5f9cda1SChristian Sigg // %0 = call %binarygetter 660a5f9cda1SChristian Sigg // %1 = call %moduleLoad(%0) 661a5f9cda1SChristian Sigg // %2 = <see generateKernelNameConstant> 662a5f9cda1SChristian Sigg // %3 = call %moduleGetFunction(%1, %2) 663a5f9cda1SChristian Sigg // %4 = call %streamCreate() 664a5f9cda1SChristian Sigg // %5 = <see generateParamsArray> 665a5f9cda1SChristian Sigg // call %launchKernel(%3, <launchOp operands 0..5>, 0, %4, %5, nullptr) 666a5f9cda1SChristian Sigg // call %streamSynchronize(%4) 667a5f9cda1SChristian Sigg // call %streamDestroy(%4) 668a5f9cda1SChristian Sigg // call %moduleUnload(%1) 669a5f9cda1SChristian Sigg // 670a5f9cda1SChristian Sigg // If the op is async, the stream corresponds to the (single) async dependency 671a5f9cda1SChristian Sigg // as well as the async token the op produces. 672a5f9cda1SChristian Sigg LogicalResult ConvertLaunchFuncOpToGpuRuntimeCallPattern::matchAndRewrite( 673a5f9cda1SChristian Sigg gpu::LaunchFuncOp launchOp, ArrayRef<Value> operands, 674a5f9cda1SChristian Sigg ConversionPatternRewriter &rewriter) const { 675a5f9cda1SChristian Sigg if (failed(areAllLLVMTypes(launchOp, operands, rewriter))) 676a5f9cda1SChristian Sigg return failure(); 677a5f9cda1SChristian Sigg 678a5f9cda1SChristian Sigg if (launchOp.asyncDependencies().size() > 1) 679a5f9cda1SChristian Sigg return rewriter.notifyMatchFailure( 680a5f9cda1SChristian Sigg launchOp, "Cannot convert with more than one async dependency."); 681a5f9cda1SChristian Sigg 682a5f9cda1SChristian Sigg // Fail when the synchronous version of the op has async dependencies. The 683a5f9cda1SChristian Sigg // lowering destroys the stream, and we do not want to check that there is no 684a5f9cda1SChristian Sigg // use of the stream after this op. 685a5f9cda1SChristian Sigg if (!launchOp.asyncToken() && !launchOp.asyncDependencies().empty()) 686a5f9cda1SChristian Sigg return rewriter.notifyMatchFailure( 687a5f9cda1SChristian Sigg launchOp, "Cannot convert non-async op with async dependencies."); 688a5f9cda1SChristian Sigg 689a5f9cda1SChristian Sigg Location loc = launchOp.getLoc(); 690a5f9cda1SChristian Sigg 691a5f9cda1SChristian Sigg // Create an LLVM global with CUBIN extracted from the kernel annotation and 692a5f9cda1SChristian Sigg // obtain a pointer to the first byte in it. 693a5f9cda1SChristian Sigg auto kernelModule = SymbolTable::lookupNearestSymbolFrom<gpu::GPUModuleOp>( 694a5f9cda1SChristian Sigg launchOp, launchOp.getKernelModuleName()); 695a5f9cda1SChristian Sigg assert(kernelModule && "expected a kernel module"); 696a5f9cda1SChristian Sigg 697a5f9cda1SChristian Sigg auto binaryAttr = 698a5f9cda1SChristian Sigg kernelModule->getAttrOfType<StringAttr>(gpuBinaryAnnotation); 699a5f9cda1SChristian Sigg if (!binaryAttr) { 700a5f9cda1SChristian Sigg kernelModule.emitOpError() 701a5f9cda1SChristian Sigg << "missing " << gpuBinaryAnnotation << " attribute"; 702a5f9cda1SChristian Sigg return failure(); 703a5f9cda1SChristian Sigg } 704a5f9cda1SChristian Sigg 705a5f9cda1SChristian Sigg SmallString<128> nameBuffer(kernelModule.getName()); 706a5f9cda1SChristian Sigg nameBuffer.append(kGpuBinaryStorageSuffix); 707a5f9cda1SChristian Sigg Value data = 708a5f9cda1SChristian Sigg LLVM::createGlobalString(loc, rewriter, nameBuffer.str(), 709a5f9cda1SChristian Sigg binaryAttr.getValue(), LLVM::Linkage::Internal); 710a5f9cda1SChristian Sigg 711a5f9cda1SChristian Sigg auto module = moduleLoadCallBuilder.create(loc, rewriter, data); 712a5f9cda1SChristian Sigg // Get the function from the module. The name corresponds to the name of 713a5f9cda1SChristian Sigg // the kernel function. 714a5f9cda1SChristian Sigg auto kernelName = generateKernelNameConstant( 715a5f9cda1SChristian Sigg launchOp.getKernelModuleName(), launchOp.getKernelName(), loc, rewriter); 716a5f9cda1SChristian Sigg auto function = moduleGetFunctionCallBuilder.create( 717a5f9cda1SChristian Sigg loc, rewriter, {module.getResult(0), kernelName}); 718a5f9cda1SChristian Sigg auto zero = rewriter.create<LLVM::ConstantOp>(loc, llvmInt32Type, 719a5f9cda1SChristian Sigg rewriter.getI32IntegerAttr(0)); 720a5f9cda1SChristian Sigg auto adaptor = 721a5f9cda1SChristian Sigg gpu::LaunchFuncOpAdaptor(operands, launchOp->getAttrDictionary()); 722a5f9cda1SChristian Sigg Value stream = 723a5f9cda1SChristian Sigg adaptor.asyncDependencies().empty() 724a5f9cda1SChristian Sigg ? streamCreateCallBuilder.create(loc, rewriter, {}).getResult(0) 725a5f9cda1SChristian Sigg : adaptor.asyncDependencies().front(); 726a5f9cda1SChristian Sigg // Create array of pointers to kernel arguments. 727a5f9cda1SChristian Sigg auto kernelParams = generateParamsArray(launchOp, operands, rewriter); 728a5f9cda1SChristian Sigg auto nullpointer = rewriter.create<LLVM::NullOp>(loc, llvmPointerPointerType); 729a5f9cda1SChristian Sigg launchKernelCallBuilder.create(loc, rewriter, 730a5f9cda1SChristian Sigg {function.getResult(0), launchOp.gridSizeX(), 731a5f9cda1SChristian Sigg launchOp.gridSizeY(), launchOp.gridSizeZ(), 732a5f9cda1SChristian Sigg launchOp.blockSizeX(), launchOp.blockSizeY(), 733a5f9cda1SChristian Sigg launchOp.blockSizeZ(), 734a5f9cda1SChristian Sigg /*sharedMemBytes=*/zero, stream, kernelParams, 735a5f9cda1SChristian Sigg /*extra=*/nullpointer}); 736a5f9cda1SChristian Sigg 737a5f9cda1SChristian Sigg if (launchOp.asyncToken()) { 738a5f9cda1SChristian Sigg // Async launch: make dependent ops use the same stream. 739a5f9cda1SChristian Sigg rewriter.replaceOp(launchOp, {stream}); 740a5f9cda1SChristian Sigg } else { 741a5f9cda1SChristian Sigg // Synchronize with host and destroy stream. This must be the stream created 742a5f9cda1SChristian Sigg // above (with no other uses) because we check that the synchronous version 743a5f9cda1SChristian Sigg // does not have any async dependencies. 744a5f9cda1SChristian Sigg streamSynchronizeCallBuilder.create(loc, rewriter, stream); 745a5f9cda1SChristian Sigg streamDestroyCallBuilder.create(loc, rewriter, stream); 746a5f9cda1SChristian Sigg rewriter.eraseOp(launchOp); 747a5f9cda1SChristian Sigg } 748a5f9cda1SChristian Sigg moduleUnloadCallBuilder.create(loc, rewriter, module.getResult(0)); 749a5f9cda1SChristian Sigg 750a5f9cda1SChristian Sigg return success(); 751a5f9cda1SChristian Sigg } 752a5f9cda1SChristian Sigg 753a5f9cda1SChristian Sigg LogicalResult ConvertMemcpyOpToGpuRuntimeCallPattern::matchAndRewrite( 754a5f9cda1SChristian Sigg gpu::MemcpyOp memcpyOp, ArrayRef<Value> operands, 755a5f9cda1SChristian Sigg ConversionPatternRewriter &rewriter) const { 756a5f9cda1SChristian Sigg auto memRefType = memcpyOp.src().getType().cast<MemRefType>(); 757a5f9cda1SChristian Sigg 758a5f9cda1SChristian Sigg if (failed(areAllLLVMTypes(memcpyOp, operands, rewriter)) || 759a5f9cda1SChristian Sigg !isConvertibleAndHasIdentityMaps(memRefType) || 760a5f9cda1SChristian Sigg failed(isAsyncWithOneDependency(rewriter, memcpyOp))) 761a5f9cda1SChristian Sigg return failure(); 762a5f9cda1SChristian Sigg 763a5f9cda1SChristian Sigg auto loc = memcpyOp.getLoc(); 764a5f9cda1SChristian Sigg auto adaptor = gpu::MemcpyOpAdaptor(operands, memcpyOp->getAttrDictionary()); 765a5f9cda1SChristian Sigg 766a5f9cda1SChristian Sigg MemRefDescriptor srcDesc(adaptor.src()); 767a5f9cda1SChristian Sigg 768a5f9cda1SChristian Sigg Value numElements = 769a5f9cda1SChristian Sigg memRefType.hasStaticShape() 770a5f9cda1SChristian Sigg ? createIndexConstant(rewriter, loc, memRefType.getNumElements()) 771a5f9cda1SChristian Sigg // For identity layouts (verified above), the number of elements is 772a5f9cda1SChristian Sigg // stride[0] * size[0]. 773a5f9cda1SChristian Sigg : rewriter.create<LLVM::MulOp>(loc, srcDesc.stride(rewriter, loc, 0), 774a5f9cda1SChristian Sigg srcDesc.size(rewriter, loc, 0)); 775a5f9cda1SChristian Sigg 776a5f9cda1SChristian Sigg Type elementPtrType = getElementPtrType(memRefType); 777a5f9cda1SChristian Sigg Value nullPtr = rewriter.create<LLVM::NullOp>(loc, elementPtrType); 778a5f9cda1SChristian Sigg Value gepPtr = rewriter.create<LLVM::GEPOp>( 779a5f9cda1SChristian Sigg loc, elementPtrType, ArrayRef<Value>{nullPtr, numElements}); 780a5f9cda1SChristian Sigg auto sizeBytes = 781a5f9cda1SChristian Sigg rewriter.create<LLVM::PtrToIntOp>(loc, getIndexType(), gepPtr); 782a5f9cda1SChristian Sigg 783a5f9cda1SChristian Sigg auto src = rewriter.create<LLVM::BitcastOp>( 784a5f9cda1SChristian Sigg loc, llvmPointerType, srcDesc.alignedPtr(rewriter, loc)); 785a5f9cda1SChristian Sigg auto dst = rewriter.create<LLVM::BitcastOp>( 786a5f9cda1SChristian Sigg loc, llvmPointerType, 787a5f9cda1SChristian Sigg MemRefDescriptor(adaptor.dst()).alignedPtr(rewriter, loc)); 788a5f9cda1SChristian Sigg 789a5f9cda1SChristian Sigg auto stream = adaptor.asyncDependencies().front(); 790a5f9cda1SChristian Sigg memcpyCallBuilder.create(loc, rewriter, {dst, src, sizeBytes, stream}); 791a5f9cda1SChristian Sigg 792a5f9cda1SChristian Sigg rewriter.replaceOp(memcpyOp, {stream}); 793a5f9cda1SChristian Sigg 794a5f9cda1SChristian Sigg return success(); 795a5f9cda1SChristian Sigg } 796a5f9cda1SChristian Sigg 797a5f9cda1SChristian Sigg std::unique_ptr<mlir::OperationPass<mlir::ModuleOp>> 798a5f9cda1SChristian Sigg mlir::createGpuToLLVMConversionPass() { 799a5f9cda1SChristian Sigg return std::make_unique<GpuToLLVMConversionPass>(); 800a5f9cda1SChristian Sigg } 801