xref: /freebsd/contrib/llvm-project/llvm/lib/Target/AMDGPU/AMDGPUOpenCLEnqueuedBlockLowering.cpp (revision 0b57cec536236d46e3dba9bd041533462f33dbb7)
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