xref: /freebsd/contrib/llvm-project/llvm/lib/Target/AMDGPU/AMDGPUOpenCLEnqueuedBlockLowering.cpp (revision 81ad626541db97eb356e2c1d4a20eb2a26a766ab)
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
16349cc55cSDimitry Andric // for each kernel with RuntimeHandle 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"
365ffd83dbSDimitry Andric #include "llvm/ADT/SmallString.h"
37*81ad6265SDimitry Andric #include "llvm/IR/Constants.h"
380b57cec5SDimitry Andric #include "llvm/IR/Instructions.h"
390b57cec5SDimitry Andric #include "llvm/IR/Mangler.h"
400b57cec5SDimitry Andric #include "llvm/IR/Module.h"
410b57cec5SDimitry Andric #include "llvm/Pass.h"
420b57cec5SDimitry Andric #include "llvm/Support/Debug.h"
430b57cec5SDimitry Andric 
440b57cec5SDimitry Andric #define DEBUG_TYPE "amdgpu-lower-enqueued-block"
450b57cec5SDimitry Andric 
460b57cec5SDimitry Andric using namespace llvm;
470b57cec5SDimitry Andric 
480b57cec5SDimitry Andric namespace {
490b57cec5SDimitry Andric 
500b57cec5SDimitry Andric /// Lower enqueued blocks.
510b57cec5SDimitry Andric class AMDGPUOpenCLEnqueuedBlockLowering : public ModulePass {
520b57cec5SDimitry Andric public:
530b57cec5SDimitry Andric   static char ID;
540b57cec5SDimitry Andric 
550b57cec5SDimitry Andric   explicit AMDGPUOpenCLEnqueuedBlockLowering() : ModulePass(ID) {}
560b57cec5SDimitry Andric 
570b57cec5SDimitry Andric private:
580b57cec5SDimitry Andric   bool runOnModule(Module &M) override;
590b57cec5SDimitry Andric };
600b57cec5SDimitry Andric 
610b57cec5SDimitry Andric } // end anonymous namespace
620b57cec5SDimitry Andric 
630b57cec5SDimitry Andric char AMDGPUOpenCLEnqueuedBlockLowering::ID = 0;
640b57cec5SDimitry Andric 
650b57cec5SDimitry Andric char &llvm::AMDGPUOpenCLEnqueuedBlockLoweringID =
660b57cec5SDimitry Andric     AMDGPUOpenCLEnqueuedBlockLowering::ID;
670b57cec5SDimitry Andric 
680b57cec5SDimitry Andric INITIALIZE_PASS(AMDGPUOpenCLEnqueuedBlockLowering, DEBUG_TYPE,
690b57cec5SDimitry Andric                 "Lower OpenCL enqueued blocks", false, false)
700b57cec5SDimitry Andric 
710b57cec5SDimitry Andric ModulePass* llvm::createAMDGPUOpenCLEnqueuedBlockLoweringPass() {
720b57cec5SDimitry Andric   return new AMDGPUOpenCLEnqueuedBlockLowering();
730b57cec5SDimitry Andric }
740b57cec5SDimitry Andric 
75*81ad6265SDimitry Andric /// Collect direct or indirect callers of \p F and save them
760b57cec5SDimitry Andric /// to \p Callers.
770b57cec5SDimitry Andric static void collectCallers(Function *F, DenseSet<Function *> &Callers) {
780b57cec5SDimitry Andric   for (auto U : F->users()) {
790b57cec5SDimitry Andric     if (auto *CI = dyn_cast<CallInst>(&*U)) {
800b57cec5SDimitry Andric       auto *Caller = CI->getParent()->getParent();
810b57cec5SDimitry Andric       if (Callers.insert(Caller).second)
820b57cec5SDimitry Andric         collectCallers(Caller, Callers);
830b57cec5SDimitry Andric     }
840b57cec5SDimitry Andric   }
850b57cec5SDimitry Andric }
860b57cec5SDimitry Andric 
870b57cec5SDimitry Andric /// If \p U is instruction or constant, collect functions which directly or
880b57cec5SDimitry Andric /// indirectly use it.
890b57cec5SDimitry Andric static void collectFunctionUsers(User *U, DenseSet<Function *> &Funcs) {
900b57cec5SDimitry Andric   if (auto *I = dyn_cast<Instruction>(U)) {
910b57cec5SDimitry Andric     auto *F = I->getParent()->getParent();
920b57cec5SDimitry Andric     if (Funcs.insert(F).second)
930b57cec5SDimitry Andric       collectCallers(F, Funcs);
940b57cec5SDimitry Andric     return;
950b57cec5SDimitry Andric   }
960b57cec5SDimitry Andric   if (!isa<Constant>(U))
970b57cec5SDimitry Andric     return;
980b57cec5SDimitry Andric   for (auto UU : U->users())
990b57cec5SDimitry Andric     collectFunctionUsers(&*UU, Funcs);
1000b57cec5SDimitry Andric }
1010b57cec5SDimitry Andric 
1020b57cec5SDimitry Andric bool AMDGPUOpenCLEnqueuedBlockLowering::runOnModule(Module &M) {
1030b57cec5SDimitry Andric   DenseSet<Function *> Callers;
1040b57cec5SDimitry Andric   auto &C = M.getContext();
1050b57cec5SDimitry Andric   bool Changed = false;
1060b57cec5SDimitry Andric   for (auto &F : M.functions()) {
1070b57cec5SDimitry Andric     if (F.hasFnAttribute("enqueued-block")) {
1080b57cec5SDimitry Andric       if (!F.hasName()) {
1090b57cec5SDimitry Andric         SmallString<64> Name;
1100b57cec5SDimitry Andric         Mangler::getNameWithPrefix(Name, "__amdgpu_enqueued_kernel",
1110b57cec5SDimitry Andric                                    M.getDataLayout());
1120b57cec5SDimitry Andric         F.setName(Name);
1130b57cec5SDimitry Andric       }
1140b57cec5SDimitry Andric       LLVM_DEBUG(dbgs() << "found enqueued kernel: " << F.getName() << '\n');
1150b57cec5SDimitry Andric       auto RuntimeHandle = (F.getName() + ".runtime_handle").str();
1160b57cec5SDimitry Andric       auto T = ArrayType::get(Type::getInt64Ty(C), 2);
1170b57cec5SDimitry Andric       auto *GV = new GlobalVariable(
1180b57cec5SDimitry Andric           M, T,
1190b57cec5SDimitry Andric           /*isConstant=*/false, GlobalValue::ExternalLinkage,
1200b57cec5SDimitry Andric           /*Initializer=*/Constant::getNullValue(T), RuntimeHandle,
1210b57cec5SDimitry Andric           /*InsertBefore=*/nullptr, GlobalValue::NotThreadLocal,
1220b57cec5SDimitry Andric           AMDGPUAS::GLOBAL_ADDRESS,
1230b57cec5SDimitry Andric           /*isExternallyInitialized=*/false);
1240b57cec5SDimitry Andric       LLVM_DEBUG(dbgs() << "runtime handle created: " << *GV << '\n');
1250b57cec5SDimitry Andric 
1260b57cec5SDimitry Andric       for (auto U : F.users()) {
1270b57cec5SDimitry Andric         auto *UU = &*U;
1280b57cec5SDimitry Andric         if (!isa<ConstantExpr>(UU))
1290b57cec5SDimitry Andric           continue;
1300b57cec5SDimitry Andric         collectFunctionUsers(UU, Callers);
1310b57cec5SDimitry Andric         auto *BitCast = cast<ConstantExpr>(UU);
1320b57cec5SDimitry Andric         auto *NewPtr = ConstantExpr::getPointerCast(GV, BitCast->getType());
1330b57cec5SDimitry Andric         BitCast->replaceAllUsesWith(NewPtr);
1340b57cec5SDimitry Andric         F.addFnAttr("runtime-handle", RuntimeHandle);
1350b57cec5SDimitry Andric         F.setLinkage(GlobalValue::ExternalLinkage);
1360b57cec5SDimitry Andric         Changed = true;
1370b57cec5SDimitry Andric       }
1380b57cec5SDimitry Andric     }
1390b57cec5SDimitry Andric   }
1400b57cec5SDimitry Andric 
1410b57cec5SDimitry Andric   for (auto F : Callers) {
1420b57cec5SDimitry Andric     if (F->getCallingConv() != CallingConv::AMDGPU_KERNEL)
1430b57cec5SDimitry Andric       continue;
1440b57cec5SDimitry Andric     F->addFnAttr("calls-enqueue-kernel");
1450b57cec5SDimitry Andric     LLVM_DEBUG(dbgs() << "mark enqueue_kernel caller:" << F->getName() << '\n');
1460b57cec5SDimitry Andric   }
1470b57cec5SDimitry Andric   return Changed;
1480b57cec5SDimitry Andric }
149