You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
221 lines
6.1 KiB
221 lines
6.1 KiB
//===-- AMDGPUAnnotateKernelFeaturesPass.cpp ------------------------------===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is distributed under the University of Illinois Open Source
|
|
// License. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
/// \file This pass adds target attributes to functions which use intrinsics
|
|
/// which will impact calling convention lowering.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "AMDGPU.h"
|
|
#include "llvm/IR/Constants.h"
|
|
#include "llvm/IR/Instructions.h"
|
|
#include "llvm/IR/Module.h"
|
|
|
|
#define DEBUG_TYPE "amdgpu-annotate-kernel-features"
|
|
|
|
using namespace llvm;
|
|
|
|
namespace {
|
|
|
|
class AMDGPUAnnotateKernelFeatures : public ModulePass {
|
|
private:
|
|
static bool hasAddrSpaceCast(const Function &F);
|
|
|
|
void addAttrToCallers(Function *Intrin, StringRef AttrName);
|
|
bool addAttrsForIntrinsics(Module &M, ArrayRef<StringRef[2]>);
|
|
|
|
public:
|
|
static char ID;
|
|
|
|
AMDGPUAnnotateKernelFeatures() : ModulePass(ID) { }
|
|
bool runOnModule(Module &M) override;
|
|
const char *getPassName() const override {
|
|
return "AMDGPU Annotate Kernel Features";
|
|
}
|
|
|
|
void getAnalysisUsage(AnalysisUsage &AU) const override {
|
|
AU.setPreservesAll();
|
|
ModulePass::getAnalysisUsage(AU);
|
|
}
|
|
|
|
static bool visitConstantExpr(const ConstantExpr *CE);
|
|
static bool visitConstantExprsRecursively(
|
|
const Constant *EntryC,
|
|
SmallPtrSet<const Constant *, 8> &ConstantExprVisited);
|
|
};
|
|
|
|
}
|
|
|
|
char AMDGPUAnnotateKernelFeatures::ID = 0;
|
|
|
|
char &llvm::AMDGPUAnnotateKernelFeaturesID = AMDGPUAnnotateKernelFeatures::ID;
|
|
|
|
INITIALIZE_PASS(AMDGPUAnnotateKernelFeatures, DEBUG_TYPE,
|
|
"Add AMDGPU function attributes", false, false)
|
|
|
|
|
|
// The queue ptr is only needed when casting to flat, not from it.
|
|
static bool castRequiresQueuePtr(unsigned SrcAS) {
|
|
return SrcAS == AMDGPUAS::LOCAL_ADDRESS || SrcAS == AMDGPUAS::PRIVATE_ADDRESS;
|
|
}
|
|
|
|
static bool castRequiresQueuePtr(const AddrSpaceCastInst *ASC) {
|
|
return castRequiresQueuePtr(ASC->getSrcAddressSpace());
|
|
}
|
|
|
|
bool AMDGPUAnnotateKernelFeatures::visitConstantExpr(const ConstantExpr *CE) {
|
|
if (CE->getOpcode() == Instruction::AddrSpaceCast) {
|
|
unsigned SrcAS = CE->getOperand(0)->getType()->getPointerAddressSpace();
|
|
return castRequiresQueuePtr(SrcAS);
|
|
}
|
|
|
|
return false;
|
|
}
|
|
|
|
bool AMDGPUAnnotateKernelFeatures::visitConstantExprsRecursively(
|
|
const Constant *EntryC,
|
|
SmallPtrSet<const Constant *, 8> &ConstantExprVisited) {
|
|
|
|
if (!ConstantExprVisited.insert(EntryC).second)
|
|
return false;
|
|
|
|
SmallVector<const Constant *, 16> Stack;
|
|
Stack.push_back(EntryC);
|
|
|
|
while (!Stack.empty()) {
|
|
const Constant *C = Stack.pop_back_val();
|
|
|
|
// Check this constant expression.
|
|
if (const auto *CE = dyn_cast<ConstantExpr>(C)) {
|
|
if (visitConstantExpr(CE))
|
|
return true;
|
|
}
|
|
|
|
// Visit all sub-expressions.
|
|
for (const Use &U : C->operands()) {
|
|
const auto *OpC = dyn_cast<Constant>(U);
|
|
if (!OpC)
|
|
continue;
|
|
|
|
if (!ConstantExprVisited.insert(OpC).second)
|
|
continue;
|
|
|
|
Stack.push_back(OpC);
|
|
}
|
|
}
|
|
|
|
return false;
|
|
}
|
|
|
|
// Return true if an addrspacecast is used that requires the queue ptr.
|
|
bool AMDGPUAnnotateKernelFeatures::hasAddrSpaceCast(const Function &F) {
|
|
SmallPtrSet<const Constant *, 8> ConstantExprVisited;
|
|
|
|
for (const BasicBlock &BB : F) {
|
|
for (const Instruction &I : BB) {
|
|
if (const AddrSpaceCastInst *ASC = dyn_cast<AddrSpaceCastInst>(&I)) {
|
|
if (castRequiresQueuePtr(ASC))
|
|
return true;
|
|
}
|
|
|
|
for (const Use &U : I.operands()) {
|
|
const auto *OpC = dyn_cast<Constant>(U);
|
|
if (!OpC)
|
|
continue;
|
|
|
|
if (visitConstantExprsRecursively(OpC, ConstantExprVisited))
|
|
return true;
|
|
}
|
|
}
|
|
}
|
|
|
|
return false;
|
|
}
|
|
|
|
void AMDGPUAnnotateKernelFeatures::addAttrToCallers(Function *Intrin,
|
|
StringRef AttrName) {
|
|
SmallPtrSet<Function *, 4> SeenFuncs;
|
|
|
|
for (User *U : Intrin->users()) {
|
|
// CallInst is the only valid user for an intrinsic.
|
|
CallInst *CI = cast<CallInst>(U);
|
|
|
|
Function *CallingFunction = CI->getParent()->getParent();
|
|
if (SeenFuncs.insert(CallingFunction).second)
|
|
CallingFunction->addFnAttr(AttrName);
|
|
}
|
|
}
|
|
|
|
bool AMDGPUAnnotateKernelFeatures::addAttrsForIntrinsics(
|
|
Module &M,
|
|
ArrayRef<StringRef[2]> IntrinsicToAttr) {
|
|
bool Changed = false;
|
|
|
|
for (const StringRef *Arr : IntrinsicToAttr) {
|
|
if (Function *Fn = M.getFunction(Arr[0])) {
|
|
addAttrToCallers(Fn, Arr[1]);
|
|
Changed = true;
|
|
}
|
|
}
|
|
|
|
return Changed;
|
|
}
|
|
|
|
bool AMDGPUAnnotateKernelFeatures::runOnModule(Module &M) {
|
|
Triple TT(M.getTargetTriple());
|
|
|
|
static const StringRef IntrinsicToAttr[][2] = {
|
|
// .x omitted
|
|
{ "llvm.amdgcn.workitem.id.y", "amdgpu-work-item-id-y" },
|
|
{ "llvm.amdgcn.workitem.id.z", "amdgpu-work-item-id-z" },
|
|
|
|
{ "llvm.amdgcn.workgroup.id.y", "amdgpu-work-group-id-y" },
|
|
{ "llvm.amdgcn.workgroup.id.z", "amdgpu-work-group-id-z" },
|
|
|
|
{ "llvm.r600.read.tgid.y", "amdgpu-work-group-id-y" },
|
|
{ "llvm.r600.read.tgid.z", "amdgpu-work-group-id-z" },
|
|
|
|
// .x omitted
|
|
{ "llvm.r600.read.tidig.y", "amdgpu-work-item-id-y" },
|
|
{ "llvm.r600.read.tidig.z", "amdgpu-work-item-id-z" }
|
|
};
|
|
|
|
static const StringRef HSAIntrinsicToAttr[][2] = {
|
|
{ "llvm.amdgcn.dispatch.ptr", "amdgpu-dispatch-ptr" },
|
|
{ "llvm.amdgcn.queue.ptr", "amdgpu-queue-ptr" }
|
|
};
|
|
|
|
// TODO: We should not add the attributes if the known compile time workgroup
|
|
// size is 1 for y/z.
|
|
|
|
// TODO: Intrinsics that require queue ptr.
|
|
|
|
// We do not need to note the x workitem or workgroup id because they are
|
|
// always initialized.
|
|
|
|
bool Changed = addAttrsForIntrinsics(M, IntrinsicToAttr);
|
|
if (TT.getOS() == Triple::AMDHSA) {
|
|
Changed |= addAttrsForIntrinsics(M, HSAIntrinsicToAttr);
|
|
|
|
for (Function &F : M) {
|
|
if (F.hasFnAttribute("amdgpu-queue-ptr"))
|
|
continue;
|
|
|
|
if (hasAddrSpaceCast(F))
|
|
F.addFnAttr("amdgpu-queue-ptr");
|
|
}
|
|
}
|
|
|
|
return Changed;
|
|
}
|
|
|
|
ModulePass *llvm::createAMDGPUAnnotateKernelFeaturesPass() {
|
|
return new AMDGPUAnnotateKernelFeatures();
|
|
}
|