10b57cec5SDimitry Andric //===- AMDGPUOpenCLEnqueuedBlockLowering.cpp - Lower enqueued block -------===// 20b57cec5SDimitry Andric // 30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 60b57cec5SDimitry Andric // 70b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 80b57cec5SDimitry Andric // 90b57cec5SDimitry Andric // \file 100b57cec5SDimitry Andric // This post-linking pass replaces the function pointer of enqueued 110b57cec5SDimitry Andric // block kernel with a global variable (runtime handle) and adds 120b57cec5SDimitry Andric // "runtime-handle" attribute to the enqueued block kernel. 130b57cec5SDimitry Andric // 140b57cec5SDimitry Andric // In LLVM CodeGen the runtime-handle metadata will be translated to 150b57cec5SDimitry Andric // RuntimeHandle metadata in code object. Runtime allocates a global buffer 160b57cec5SDimitry Andric // for each kernel with RuntimeHandel metadata and saves the kernel address 170b57cec5SDimitry Andric // required for the AQL packet into the buffer. __enqueue_kernel function 180b57cec5SDimitry Andric // in device library knows that the invoke function pointer in the block 190b57cec5SDimitry Andric // literal is actually runtime handle and loads the kernel address from it 200b57cec5SDimitry Andric // and put it into AQL packet for dispatching. 210b57cec5SDimitry Andric // 220b57cec5SDimitry Andric // This cannot be done in FE since FE cannot create a unique global variable 230b57cec5SDimitry Andric // with external linkage across LLVM modules. The global variable with internal 240b57cec5SDimitry Andric // linkage does not work since optimization passes will try to replace loads 250b57cec5SDimitry Andric // of the global variable with its initialization value. 260b57cec5SDimitry Andric // 270b57cec5SDimitry Andric // It also identifies the kernels directly or indirectly enqueues kernels 280b57cec5SDimitry Andric // and adds "calls-enqueue-kernel" function attribute to them, which will 290b57cec5SDimitry Andric // be used to determine whether to emit runtime metadata for the kernel 300b57cec5SDimitry Andric // enqueue related hidden kernel arguments. 310b57cec5SDimitry Andric // 320b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 330b57cec5SDimitry Andric 340b57cec5SDimitry Andric #include "AMDGPU.h" 350b57cec5SDimitry Andric #include "llvm/ADT/DenseSet.h" 36*5ffd83dbSDimitry Andric #include "llvm/ADT/SmallString.h" 370b57cec5SDimitry Andric #include "llvm/ADT/StringRef.h" 380b57cec5SDimitry Andric #include "llvm/IR/Constants.h" 390b57cec5SDimitry Andric #include "llvm/IR/DerivedTypes.h" 400b57cec5SDimitry Andric #include "llvm/IR/Instructions.h" 410b57cec5SDimitry Andric #include "llvm/IR/Mangler.h" 420b57cec5SDimitry Andric #include "llvm/IR/Module.h" 430b57cec5SDimitry Andric #include "llvm/IR/User.h" 440b57cec5SDimitry Andric #include "llvm/Pass.h" 450b57cec5SDimitry Andric #include "llvm/Support/Debug.h" 460b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h" 470b57cec5SDimitry Andric 480b57cec5SDimitry Andric #define DEBUG_TYPE "amdgpu-lower-enqueued-block" 490b57cec5SDimitry Andric 500b57cec5SDimitry Andric using namespace llvm; 510b57cec5SDimitry Andric 520b57cec5SDimitry Andric namespace { 530b57cec5SDimitry Andric 540b57cec5SDimitry Andric /// Lower enqueued blocks. 550b57cec5SDimitry Andric class AMDGPUOpenCLEnqueuedBlockLowering : public ModulePass { 560b57cec5SDimitry Andric public: 570b57cec5SDimitry Andric static char ID; 580b57cec5SDimitry Andric 590b57cec5SDimitry Andric explicit AMDGPUOpenCLEnqueuedBlockLowering() : ModulePass(ID) {} 600b57cec5SDimitry Andric 610b57cec5SDimitry Andric private: 620b57cec5SDimitry Andric bool runOnModule(Module &M) override; 630b57cec5SDimitry Andric }; 640b57cec5SDimitry Andric 650b57cec5SDimitry Andric } // end anonymous namespace 660b57cec5SDimitry Andric 670b57cec5SDimitry Andric char AMDGPUOpenCLEnqueuedBlockLowering::ID = 0; 680b57cec5SDimitry Andric 690b57cec5SDimitry Andric char &llvm::AMDGPUOpenCLEnqueuedBlockLoweringID = 700b57cec5SDimitry Andric AMDGPUOpenCLEnqueuedBlockLowering::ID; 710b57cec5SDimitry Andric 720b57cec5SDimitry Andric INITIALIZE_PASS(AMDGPUOpenCLEnqueuedBlockLowering, DEBUG_TYPE, 730b57cec5SDimitry Andric "Lower OpenCL enqueued blocks", false, false) 740b57cec5SDimitry Andric 750b57cec5SDimitry Andric ModulePass* llvm::createAMDGPUOpenCLEnqueuedBlockLoweringPass() { 760b57cec5SDimitry Andric return new AMDGPUOpenCLEnqueuedBlockLowering(); 770b57cec5SDimitry Andric } 780b57cec5SDimitry Andric 790b57cec5SDimitry Andric /// Collect direct or indrect callers of \p F and save them 800b57cec5SDimitry Andric /// to \p Callers. 810b57cec5SDimitry Andric static void collectCallers(Function *F, DenseSet<Function *> &Callers) { 820b57cec5SDimitry Andric for (auto U : F->users()) { 830b57cec5SDimitry Andric if (auto *CI = dyn_cast<CallInst>(&*U)) { 840b57cec5SDimitry Andric auto *Caller = CI->getParent()->getParent(); 850b57cec5SDimitry Andric if (Callers.insert(Caller).second) 860b57cec5SDimitry Andric collectCallers(Caller, Callers); 870b57cec5SDimitry Andric } 880b57cec5SDimitry Andric } 890b57cec5SDimitry Andric } 900b57cec5SDimitry Andric 910b57cec5SDimitry Andric /// If \p U is instruction or constant, collect functions which directly or 920b57cec5SDimitry Andric /// indirectly use it. 930b57cec5SDimitry Andric static void collectFunctionUsers(User *U, DenseSet<Function *> &Funcs) { 940b57cec5SDimitry Andric if (auto *I = dyn_cast<Instruction>(U)) { 950b57cec5SDimitry Andric auto *F = I->getParent()->getParent(); 960b57cec5SDimitry Andric if (Funcs.insert(F).second) 970b57cec5SDimitry Andric collectCallers(F, Funcs); 980b57cec5SDimitry Andric return; 990b57cec5SDimitry Andric } 1000b57cec5SDimitry Andric if (!isa<Constant>(U)) 1010b57cec5SDimitry Andric return; 1020b57cec5SDimitry Andric for (auto UU : U->users()) 1030b57cec5SDimitry Andric collectFunctionUsers(&*UU, Funcs); 1040b57cec5SDimitry Andric } 1050b57cec5SDimitry Andric 1060b57cec5SDimitry Andric bool AMDGPUOpenCLEnqueuedBlockLowering::runOnModule(Module &M) { 1070b57cec5SDimitry Andric DenseSet<Function *> Callers; 1080b57cec5SDimitry Andric auto &C = M.getContext(); 1090b57cec5SDimitry Andric bool Changed = false; 1100b57cec5SDimitry Andric for (auto &F : M.functions()) { 1110b57cec5SDimitry Andric if (F.hasFnAttribute("enqueued-block")) { 1120b57cec5SDimitry Andric if (!F.hasName()) { 1130b57cec5SDimitry Andric SmallString<64> Name; 1140b57cec5SDimitry Andric Mangler::getNameWithPrefix(Name, "__amdgpu_enqueued_kernel", 1150b57cec5SDimitry Andric M.getDataLayout()); 1160b57cec5SDimitry Andric F.setName(Name); 1170b57cec5SDimitry Andric } 1180b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "found enqueued kernel: " << F.getName() << '\n'); 1190b57cec5SDimitry Andric auto RuntimeHandle = (F.getName() + ".runtime_handle").str(); 1200b57cec5SDimitry Andric auto T = ArrayType::get(Type::getInt64Ty(C), 2); 1210b57cec5SDimitry Andric auto *GV = new GlobalVariable( 1220b57cec5SDimitry Andric M, T, 1230b57cec5SDimitry Andric /*isConstant=*/false, GlobalValue::ExternalLinkage, 1240b57cec5SDimitry Andric /*Initializer=*/Constant::getNullValue(T), RuntimeHandle, 1250b57cec5SDimitry Andric /*InsertBefore=*/nullptr, GlobalValue::NotThreadLocal, 1260b57cec5SDimitry Andric AMDGPUAS::GLOBAL_ADDRESS, 1270b57cec5SDimitry Andric /*isExternallyInitialized=*/false); 1280b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "runtime handle created: " << *GV << '\n'); 1290b57cec5SDimitry Andric 1300b57cec5SDimitry Andric for (auto U : F.users()) { 1310b57cec5SDimitry Andric auto *UU = &*U; 1320b57cec5SDimitry Andric if (!isa<ConstantExpr>(UU)) 1330b57cec5SDimitry Andric continue; 1340b57cec5SDimitry Andric collectFunctionUsers(UU, Callers); 1350b57cec5SDimitry Andric auto *BitCast = cast<ConstantExpr>(UU); 1360b57cec5SDimitry Andric auto *NewPtr = ConstantExpr::getPointerCast(GV, BitCast->getType()); 1370b57cec5SDimitry Andric BitCast->replaceAllUsesWith(NewPtr); 1380b57cec5SDimitry Andric F.addFnAttr("runtime-handle", RuntimeHandle); 1390b57cec5SDimitry Andric F.setLinkage(GlobalValue::ExternalLinkage); 1400b57cec5SDimitry Andric Changed = true; 1410b57cec5SDimitry Andric } 1420b57cec5SDimitry Andric } 1430b57cec5SDimitry Andric } 1440b57cec5SDimitry Andric 1450b57cec5SDimitry Andric for (auto F : Callers) { 1460b57cec5SDimitry Andric if (F->getCallingConv() != CallingConv::AMDGPU_KERNEL) 1470b57cec5SDimitry Andric continue; 1480b57cec5SDimitry Andric F->addFnAttr("calls-enqueue-kernel"); 1490b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "mark enqueue_kernel caller:" << F->getName() << '\n'); 1500b57cec5SDimitry Andric } 1510b57cec5SDimitry Andric return Changed; 1520b57cec5SDimitry Andric } 153