1*0b57cec5SDimitry Andric //===- AMDGPUOpenCLEnqueuedBlockLowering.cpp - Lower enqueued block -------===// 2*0b57cec5SDimitry Andric // 3*0b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4*0b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 5*0b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6*0b57cec5SDimitry Andric // 7*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 8*0b57cec5SDimitry Andric // 9*0b57cec5SDimitry Andric // \file 10*0b57cec5SDimitry Andric // This post-linking pass replaces the function pointer of enqueued 11*0b57cec5SDimitry Andric // block kernel with a global variable (runtime handle) and adds 12*0b57cec5SDimitry Andric // "runtime-handle" attribute to the enqueued block kernel. 13*0b57cec5SDimitry Andric // 14*0b57cec5SDimitry Andric // In LLVM CodeGen the runtime-handle metadata will be translated to 15*0b57cec5SDimitry Andric // RuntimeHandle metadata in code object. Runtime allocates a global buffer 16*0b57cec5SDimitry Andric // for each kernel with RuntimeHandel metadata and saves the kernel address 17*0b57cec5SDimitry Andric // required for the AQL packet into the buffer. __enqueue_kernel function 18*0b57cec5SDimitry Andric // in device library knows that the invoke function pointer in the block 19*0b57cec5SDimitry Andric // literal is actually runtime handle and loads the kernel address from it 20*0b57cec5SDimitry Andric // and put it into AQL packet for dispatching. 21*0b57cec5SDimitry Andric // 22*0b57cec5SDimitry Andric // This cannot be done in FE since FE cannot create a unique global variable 23*0b57cec5SDimitry Andric // with external linkage across LLVM modules. The global variable with internal 24*0b57cec5SDimitry Andric // linkage does not work since optimization passes will try to replace loads 25*0b57cec5SDimitry Andric // of the global variable with its initialization value. 26*0b57cec5SDimitry Andric // 27*0b57cec5SDimitry Andric // It also identifies the kernels directly or indirectly enqueues kernels 28*0b57cec5SDimitry Andric // and adds "calls-enqueue-kernel" function attribute to them, which will 29*0b57cec5SDimitry Andric // be used to determine whether to emit runtime metadata for the kernel 30*0b57cec5SDimitry Andric // enqueue related hidden kernel arguments. 31*0b57cec5SDimitry Andric // 32*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 33*0b57cec5SDimitry Andric 34*0b57cec5SDimitry Andric #include "AMDGPU.h" 35*0b57cec5SDimitry Andric #include "llvm/ADT/DenseSet.h" 36*0b57cec5SDimitry Andric #include "llvm/ADT/StringRef.h" 37*0b57cec5SDimitry Andric #include "llvm/IR/Constants.h" 38*0b57cec5SDimitry Andric #include "llvm/IR/DerivedTypes.h" 39*0b57cec5SDimitry Andric #include "llvm/IR/Instructions.h" 40*0b57cec5SDimitry Andric #include "llvm/IR/Mangler.h" 41*0b57cec5SDimitry Andric #include "llvm/IR/Module.h" 42*0b57cec5SDimitry Andric #include "llvm/IR/User.h" 43*0b57cec5SDimitry Andric #include "llvm/Pass.h" 44*0b57cec5SDimitry Andric #include "llvm/Support/Debug.h" 45*0b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h" 46*0b57cec5SDimitry Andric 47*0b57cec5SDimitry Andric #define DEBUG_TYPE "amdgpu-lower-enqueued-block" 48*0b57cec5SDimitry Andric 49*0b57cec5SDimitry Andric using namespace llvm; 50*0b57cec5SDimitry Andric 51*0b57cec5SDimitry Andric namespace { 52*0b57cec5SDimitry Andric 53*0b57cec5SDimitry Andric /// Lower enqueued blocks. 54*0b57cec5SDimitry Andric class AMDGPUOpenCLEnqueuedBlockLowering : public ModulePass { 55*0b57cec5SDimitry Andric public: 56*0b57cec5SDimitry Andric static char ID; 57*0b57cec5SDimitry Andric 58*0b57cec5SDimitry Andric explicit AMDGPUOpenCLEnqueuedBlockLowering() : ModulePass(ID) {} 59*0b57cec5SDimitry Andric 60*0b57cec5SDimitry Andric private: 61*0b57cec5SDimitry Andric bool runOnModule(Module &M) override; 62*0b57cec5SDimitry Andric }; 63*0b57cec5SDimitry Andric 64*0b57cec5SDimitry Andric } // end anonymous namespace 65*0b57cec5SDimitry Andric 66*0b57cec5SDimitry Andric char AMDGPUOpenCLEnqueuedBlockLowering::ID = 0; 67*0b57cec5SDimitry Andric 68*0b57cec5SDimitry Andric char &llvm::AMDGPUOpenCLEnqueuedBlockLoweringID = 69*0b57cec5SDimitry Andric AMDGPUOpenCLEnqueuedBlockLowering::ID; 70*0b57cec5SDimitry Andric 71*0b57cec5SDimitry Andric INITIALIZE_PASS(AMDGPUOpenCLEnqueuedBlockLowering, DEBUG_TYPE, 72*0b57cec5SDimitry Andric "Lower OpenCL enqueued blocks", false, false) 73*0b57cec5SDimitry Andric 74*0b57cec5SDimitry Andric ModulePass* llvm::createAMDGPUOpenCLEnqueuedBlockLoweringPass() { 75*0b57cec5SDimitry Andric return new AMDGPUOpenCLEnqueuedBlockLowering(); 76*0b57cec5SDimitry Andric } 77*0b57cec5SDimitry Andric 78*0b57cec5SDimitry Andric /// Collect direct or indrect callers of \p F and save them 79*0b57cec5SDimitry Andric /// to \p Callers. 80*0b57cec5SDimitry Andric static void collectCallers(Function *F, DenseSet<Function *> &Callers) { 81*0b57cec5SDimitry Andric for (auto U : F->users()) { 82*0b57cec5SDimitry Andric if (auto *CI = dyn_cast<CallInst>(&*U)) { 83*0b57cec5SDimitry Andric auto *Caller = CI->getParent()->getParent(); 84*0b57cec5SDimitry Andric if (Callers.insert(Caller).second) 85*0b57cec5SDimitry Andric collectCallers(Caller, Callers); 86*0b57cec5SDimitry Andric } 87*0b57cec5SDimitry Andric } 88*0b57cec5SDimitry Andric } 89*0b57cec5SDimitry Andric 90*0b57cec5SDimitry Andric /// If \p U is instruction or constant, collect functions which directly or 91*0b57cec5SDimitry Andric /// indirectly use it. 92*0b57cec5SDimitry Andric static void collectFunctionUsers(User *U, DenseSet<Function *> &Funcs) { 93*0b57cec5SDimitry Andric if (auto *I = dyn_cast<Instruction>(U)) { 94*0b57cec5SDimitry Andric auto *F = I->getParent()->getParent(); 95*0b57cec5SDimitry Andric if (Funcs.insert(F).second) 96*0b57cec5SDimitry Andric collectCallers(F, Funcs); 97*0b57cec5SDimitry Andric return; 98*0b57cec5SDimitry Andric } 99*0b57cec5SDimitry Andric if (!isa<Constant>(U)) 100*0b57cec5SDimitry Andric return; 101*0b57cec5SDimitry Andric for (auto UU : U->users()) 102*0b57cec5SDimitry Andric collectFunctionUsers(&*UU, Funcs); 103*0b57cec5SDimitry Andric } 104*0b57cec5SDimitry Andric 105*0b57cec5SDimitry Andric bool AMDGPUOpenCLEnqueuedBlockLowering::runOnModule(Module &M) { 106*0b57cec5SDimitry Andric DenseSet<Function *> Callers; 107*0b57cec5SDimitry Andric auto &C = M.getContext(); 108*0b57cec5SDimitry Andric bool Changed = false; 109*0b57cec5SDimitry Andric for (auto &F : M.functions()) { 110*0b57cec5SDimitry Andric if (F.hasFnAttribute("enqueued-block")) { 111*0b57cec5SDimitry Andric if (!F.hasName()) { 112*0b57cec5SDimitry Andric SmallString<64> Name; 113*0b57cec5SDimitry Andric Mangler::getNameWithPrefix(Name, "__amdgpu_enqueued_kernel", 114*0b57cec5SDimitry Andric M.getDataLayout()); 115*0b57cec5SDimitry Andric F.setName(Name); 116*0b57cec5SDimitry Andric } 117*0b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "found enqueued kernel: " << F.getName() << '\n'); 118*0b57cec5SDimitry Andric auto RuntimeHandle = (F.getName() + ".runtime_handle").str(); 119*0b57cec5SDimitry Andric auto T = ArrayType::get(Type::getInt64Ty(C), 2); 120*0b57cec5SDimitry Andric auto *GV = new GlobalVariable( 121*0b57cec5SDimitry Andric M, T, 122*0b57cec5SDimitry Andric /*isConstant=*/false, GlobalValue::ExternalLinkage, 123*0b57cec5SDimitry Andric /*Initializer=*/Constant::getNullValue(T), RuntimeHandle, 124*0b57cec5SDimitry Andric /*InsertBefore=*/nullptr, GlobalValue::NotThreadLocal, 125*0b57cec5SDimitry Andric AMDGPUAS::GLOBAL_ADDRESS, 126*0b57cec5SDimitry Andric /*isExternallyInitialized=*/false); 127*0b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "runtime handle created: " << *GV << '\n'); 128*0b57cec5SDimitry Andric 129*0b57cec5SDimitry Andric for (auto U : F.users()) { 130*0b57cec5SDimitry Andric auto *UU = &*U; 131*0b57cec5SDimitry Andric if (!isa<ConstantExpr>(UU)) 132*0b57cec5SDimitry Andric continue; 133*0b57cec5SDimitry Andric collectFunctionUsers(UU, Callers); 134*0b57cec5SDimitry Andric auto *BitCast = cast<ConstantExpr>(UU); 135*0b57cec5SDimitry Andric auto *NewPtr = ConstantExpr::getPointerCast(GV, BitCast->getType()); 136*0b57cec5SDimitry Andric BitCast->replaceAllUsesWith(NewPtr); 137*0b57cec5SDimitry Andric F.addFnAttr("runtime-handle", RuntimeHandle); 138*0b57cec5SDimitry Andric F.setLinkage(GlobalValue::ExternalLinkage); 139*0b57cec5SDimitry Andric Changed = true; 140*0b57cec5SDimitry Andric } 141*0b57cec5SDimitry Andric } 142*0b57cec5SDimitry Andric } 143*0b57cec5SDimitry Andric 144*0b57cec5SDimitry Andric for (auto F : Callers) { 145*0b57cec5SDimitry Andric if (F->getCallingConv() != CallingConv::AMDGPU_KERNEL) 146*0b57cec5SDimitry Andric continue; 147*0b57cec5SDimitry Andric F->addFnAttr("calls-enqueue-kernel"); 148*0b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "mark enqueue_kernel caller:" << F->getName() << '\n'); 149*0b57cec5SDimitry Andric } 150*0b57cec5SDimitry Andric return Changed; 151*0b57cec5SDimitry Andric } 152