blob: 50871e1a0f1509bd2d4b07ee8dc85e398b95b109 [file] [log] [blame]
Yaxun Liude4b88d2017-10-10 19:39:48 +00001//===- AMDGPUOpenCLEnqueuedBlockLowering.cpp - Lower enqueued block -------===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Yaxun Liude4b88d2017-10-10 19:39:48 +00006//
7//===----------------------------------------------------------------------===//
8//
9// \file
Adrian Prantl5f8f34e42018-05-01 15:54:18 +000010// This post-linking pass replaces the function pointer of enqueued
Yaxun Liude4b88d2017-10-10 19:39:48 +000011// block kernel with a global variable (runtime handle) and adds
12// "runtime-handle" attribute to the enqueued block kernel.
13//
14// In LLVM CodeGen the runtime-handle metadata will be translated to
15// RuntimeHandle metadata in code object. Runtime allocates a global buffer
16// for each kernel with RuntimeHandel metadata and saves the kernel address
17// required for the AQL packet into the buffer. __enqueue_kernel function
18// in device library knows that the invoke function pointer in the block
19// literal is actually runtime handle and loads the kernel address from it
20// and put it into AQL packet for dispatching.
21//
22// This cannot be done in FE since FE cannot create a unique global variable
23// with external linkage across LLVM modules. The global variable with internal
24// linkage does not work since optimization passes will try to replace loads
25// of the global variable with its initialization value.
26//
Yaxun Liuc928f2a2017-10-30 14:30:28 +000027// It also identifies the kernels directly or indirectly enqueues kernels
28// and adds "calls-enqueue-kernel" function attribute to them, which will
29// be used to determine whether to emit runtime metadata for the kernel
30// enqueue related hidden kernel arguments.
31//
Yaxun Liude4b88d2017-10-10 19:39:48 +000032//===----------------------------------------------------------------------===//
33
34#include "AMDGPU.h"
Yaxun Liuc928f2a2017-10-30 14:30:28 +000035#include "llvm/ADT/DenseSet.h"
Yaxun Liude4b88d2017-10-10 19:39:48 +000036#include "llvm/ADT/StringRef.h"
37#include "llvm/IR/Constants.h"
Yaxun Liufb17bf62018-06-13 17:31:51 +000038#include "llvm/IR/DerivedTypes.h"
Yaxun Liuc928f2a2017-10-30 14:30:28 +000039#include "llvm/IR/Instructions.h"
Yaxun Liua99e7d82018-03-12 16:34:06 +000040#include "llvm/IR/Mangler.h"
Yaxun Liude4b88d2017-10-10 19:39:48 +000041#include "llvm/IR/Module.h"
Yaxun Liuc928f2a2017-10-30 14:30:28 +000042#include "llvm/IR/User.h"
Yaxun Liude4b88d2017-10-10 19:39:48 +000043#include "llvm/Pass.h"
44#include "llvm/Support/Debug.h"
45#include "llvm/Support/raw_ostream.h"
46
47#define DEBUG_TYPE "amdgpu-lower-enqueued-block"
48
49using namespace llvm;
50
51namespace {
52
Adrian Prantl5f8f34e42018-05-01 15:54:18 +000053/// Lower enqueued blocks.
Yaxun Liude4b88d2017-10-10 19:39:48 +000054class AMDGPUOpenCLEnqueuedBlockLowering : public ModulePass {
55public:
56 static char ID;
57
58 explicit AMDGPUOpenCLEnqueuedBlockLowering() : ModulePass(ID) {}
59
60private:
61 bool runOnModule(Module &M) override;
62};
63
64} // end anonymous namespace
65
66char AMDGPUOpenCLEnqueuedBlockLowering::ID = 0;
67
68char &llvm::AMDGPUOpenCLEnqueuedBlockLoweringID =
69 AMDGPUOpenCLEnqueuedBlockLowering::ID;
70
71INITIALIZE_PASS(AMDGPUOpenCLEnqueuedBlockLowering, DEBUG_TYPE,
72 "Lower OpenCL enqueued blocks", false, false)
73
74ModulePass* llvm::createAMDGPUOpenCLEnqueuedBlockLoweringPass() {
75 return new AMDGPUOpenCLEnqueuedBlockLowering();
76}
77
Yaxun Liuc928f2a2017-10-30 14:30:28 +000078/// Collect direct or indrect callers of \p F and save them
79/// to \p Callers.
80static void collectCallers(Function *F, DenseSet<Function *> &Callers) {
81 for (auto U : F->users()) {
82 if (auto *CI = dyn_cast<CallInst>(&*U)) {
83 auto *Caller = CI->getParent()->getParent();
Yaxun Liu9381ae92018-04-11 14:46:15 +000084 if (Callers.insert(Caller).second)
85 collectCallers(Caller, Callers);
Yaxun Liuc928f2a2017-10-30 14:30:28 +000086 }
87 }
88}
89
Yaxun Liu9381ae92018-04-11 14:46:15 +000090/// If \p U is instruction or constant, collect functions which directly or
91/// indirectly use it.
92static void collectFunctionUsers(User *U, DenseSet<Function *> &Funcs) {
93 if (auto *I = dyn_cast<Instruction>(U)) {
94 auto *F = I->getParent()->getParent();
95 if (Funcs.insert(F).second)
96 collectCallers(F, Funcs);
97 return;
98 }
99 if (!isa<Constant>(U))
100 return;
101 for (auto UU : U->users())
102 collectFunctionUsers(&*UU, Funcs);
103}
104
Yaxun Liude4b88d2017-10-10 19:39:48 +0000105bool AMDGPUOpenCLEnqueuedBlockLowering::runOnModule(Module &M) {
Yaxun Liuc928f2a2017-10-30 14:30:28 +0000106 DenseSet<Function *> Callers;
Yaxun Liude4b88d2017-10-10 19:39:48 +0000107 auto &C = M.getContext();
Yaxun Liude4b88d2017-10-10 19:39:48 +0000108 bool Changed = false;
109 for (auto &F : M.functions()) {
110 if (F.hasFnAttribute("enqueued-block")) {
Yaxun Liua99e7d82018-03-12 16:34:06 +0000111 if (!F.hasName()) {
112 SmallString<64> Name;
113 Mangler::getNameWithPrefix(Name, "__amdgpu_enqueued_kernel",
114 M.getDataLayout());
115 F.setName(Name);
116 }
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000117 LLVM_DEBUG(dbgs() << "found enqueued kernel: " << F.getName() << '\n');
Yaxun Liua99e7d82018-03-12 16:34:06 +0000118 auto RuntimeHandle = (F.getName() + ".runtime_handle").str();
Yaxun Liufb17bf62018-06-13 17:31:51 +0000119 auto T = ArrayType::get(Type::getInt64Ty(C), 2);
Yaxun Liua99e7d82018-03-12 16:34:06 +0000120 auto *GV = new GlobalVariable(
Yaxun Liu9381ae92018-04-11 14:46:15 +0000121 M, T,
122 /*IsConstant=*/false, GlobalValue::ExternalLinkage,
123 /*Initializer=*/Constant::getNullValue(T), RuntimeHandle,
124 /*InsertBefore=*/nullptr, GlobalValue::NotThreadLocal,
125 AMDGPUAS::GLOBAL_ADDRESS,
126 /*IsExternallyInitialized=*/false);
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000127 LLVM_DEBUG(dbgs() << "runtime handle created: " << *GV << '\n');
Yaxun Liua99e7d82018-03-12 16:34:06 +0000128
Yaxun Liu46439e82018-03-06 16:04:39 +0000129 for (auto U : F.users()) {
Yaxun Liu9381ae92018-04-11 14:46:15 +0000130 auto *UU = &*U;
131 if (!isa<ConstantExpr>(UU))
Yaxun Liu46439e82018-03-06 16:04:39 +0000132 continue;
Yaxun Liu9381ae92018-04-11 14:46:15 +0000133 collectFunctionUsers(UU, Callers);
134 auto *BitCast = cast<ConstantExpr>(UU);
Yaxun Liu46439e82018-03-06 16:04:39 +0000135 auto *NewPtr = ConstantExpr::getPointerCast(GV, BitCast->getType());
136 BitCast->replaceAllUsesWith(NewPtr);
137 F.addFnAttr("runtime-handle", RuntimeHandle);
138 F.setLinkage(GlobalValue::ExternalLinkage);
Yaxun Liu46439e82018-03-06 16:04:39 +0000139 Changed = true;
Yaxun Liuc928f2a2017-10-30 14:30:28 +0000140 }
Yaxun Liude4b88d2017-10-10 19:39:48 +0000141 }
142 }
Yaxun Liuc928f2a2017-10-30 14:30:28 +0000143
144 for (auto F : Callers) {
145 if (F->getCallingConv() != CallingConv::AMDGPU_KERNEL)
146 continue;
147 F->addFnAttr("calls-enqueue-kernel");
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000148 LLVM_DEBUG(dbgs() << "mark enqueue_kernel caller:" << F->getName() << '\n');
Yaxun Liuc928f2a2017-10-30 14:30:28 +0000149 }
Yaxun Liude4b88d2017-10-10 19:39:48 +0000150 return Changed;
151}