xref: /openbsd-src/gnu/llvm/llvm/lib/Target/NVPTX/NVPTXUtilities.cpp (revision d415bd752c734aee168c4ee86ff32e8cc249eb16)
109467b48Spatrick //===- NVPTXUtilities.cpp - Utility Functions -----------------------------===//
209467b48Spatrick //
309467b48Spatrick // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
409467b48Spatrick // See https://llvm.org/LICENSE.txt for license information.
509467b48Spatrick // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
609467b48Spatrick //
709467b48Spatrick //===----------------------------------------------------------------------===//
809467b48Spatrick //
909467b48Spatrick // This file contains miscellaneous utility functions
1009467b48Spatrick //
1109467b48Spatrick //===----------------------------------------------------------------------===//
1209467b48Spatrick 
1309467b48Spatrick #include "NVPTXUtilities.h"
1409467b48Spatrick #include "NVPTX.h"
15*d415bd75Srobert #include "NVPTXTargetMachine.h"
1609467b48Spatrick #include "llvm/IR/Constants.h"
1709467b48Spatrick #include "llvm/IR/Function.h"
1809467b48Spatrick #include "llvm/IR/GlobalVariable.h"
1909467b48Spatrick #include "llvm/IR/InstIterator.h"
2009467b48Spatrick #include "llvm/IR/Module.h"
2109467b48Spatrick #include "llvm/IR/Operator.h"
2209467b48Spatrick #include "llvm/Support/Mutex.h"
2309467b48Spatrick #include <algorithm>
2409467b48Spatrick #include <cstring>
2509467b48Spatrick #include <map>
2609467b48Spatrick #include <mutex>
2709467b48Spatrick #include <string>
2809467b48Spatrick #include <vector>
2909467b48Spatrick 
3009467b48Spatrick namespace llvm {
3109467b48Spatrick 
3209467b48Spatrick namespace {
3309467b48Spatrick typedef std::map<std::string, std::vector<unsigned> > key_val_pair_t;
3409467b48Spatrick typedef std::map<const GlobalValue *, key_val_pair_t> global_val_annot_t;
35*d415bd75Srobert 
36*d415bd75Srobert struct AnnotationCache {
37*d415bd75Srobert   sys::Mutex Lock;
38*d415bd75Srobert   std::map<const Module *, global_val_annot_t> Cache;
39*d415bd75Srobert };
40*d415bd75Srobert 
getAnnotationCache()41*d415bd75Srobert AnnotationCache &getAnnotationCache() {
42*d415bd75Srobert   static AnnotationCache AC;
43*d415bd75Srobert   return AC;
44*d415bd75Srobert }
4509467b48Spatrick } // anonymous namespace
4609467b48Spatrick 
clearAnnotationCache(const Module * Mod)4709467b48Spatrick void clearAnnotationCache(const Module *Mod) {
48*d415bd75Srobert   auto &AC = getAnnotationCache();
49*d415bd75Srobert   std::lock_guard<sys::Mutex> Guard(AC.Lock);
50*d415bd75Srobert   AC.Cache.erase(Mod);
5109467b48Spatrick }
5209467b48Spatrick 
cacheAnnotationFromMD(const MDNode * md,key_val_pair_t & retval)5309467b48Spatrick static void cacheAnnotationFromMD(const MDNode *md, key_val_pair_t &retval) {
54*d415bd75Srobert   auto &AC = getAnnotationCache();
55*d415bd75Srobert   std::lock_guard<sys::Mutex> Guard(AC.Lock);
5609467b48Spatrick   assert(md && "Invalid mdnode for annotation");
5709467b48Spatrick   assert((md->getNumOperands() % 2) == 1 && "Invalid number of operands");
5809467b48Spatrick   // start index = 1, to skip the global variable key
5909467b48Spatrick   // increment = 2, to skip the value for each property-value pairs
6009467b48Spatrick   for (unsigned i = 1, e = md->getNumOperands(); i != e; i += 2) {
6109467b48Spatrick     // property
6209467b48Spatrick     const MDString *prop = dyn_cast<MDString>(md->getOperand(i));
6309467b48Spatrick     assert(prop && "Annotation property not a string");
6409467b48Spatrick 
6509467b48Spatrick     // value
6609467b48Spatrick     ConstantInt *Val = mdconst::dyn_extract<ConstantInt>(md->getOperand(i + 1));
6709467b48Spatrick     assert(Val && "Value operand not a constant int");
6809467b48Spatrick 
6909467b48Spatrick     std::string keyname = prop->getString().str();
7009467b48Spatrick     if (retval.find(keyname) != retval.end())
7109467b48Spatrick       retval[keyname].push_back(Val->getZExtValue());
7209467b48Spatrick     else {
7309467b48Spatrick       std::vector<unsigned> tmp;
7409467b48Spatrick       tmp.push_back(Val->getZExtValue());
7509467b48Spatrick       retval[keyname] = tmp;
7609467b48Spatrick     }
7709467b48Spatrick   }
7809467b48Spatrick }
7909467b48Spatrick 
cacheAnnotationFromMD(const Module * m,const GlobalValue * gv)8009467b48Spatrick static void cacheAnnotationFromMD(const Module *m, const GlobalValue *gv) {
81*d415bd75Srobert   auto &AC = getAnnotationCache();
82*d415bd75Srobert   std::lock_guard<sys::Mutex> Guard(AC.Lock);
8309467b48Spatrick   NamedMDNode *NMD = m->getNamedMetadata("nvvm.annotations");
8409467b48Spatrick   if (!NMD)
8509467b48Spatrick     return;
8609467b48Spatrick   key_val_pair_t tmp;
8709467b48Spatrick   for (unsigned i = 0, e = NMD->getNumOperands(); i != e; ++i) {
8809467b48Spatrick     const MDNode *elem = NMD->getOperand(i);
8909467b48Spatrick 
9009467b48Spatrick     GlobalValue *entity =
9109467b48Spatrick         mdconst::dyn_extract_or_null<GlobalValue>(elem->getOperand(0));
9209467b48Spatrick     // entity may be null due to DCE
9309467b48Spatrick     if (!entity)
9409467b48Spatrick       continue;
9509467b48Spatrick     if (entity != gv)
9609467b48Spatrick       continue;
9709467b48Spatrick 
9809467b48Spatrick     // accumulate annotations for entity in tmp
9909467b48Spatrick     cacheAnnotationFromMD(elem, tmp);
10009467b48Spatrick   }
10109467b48Spatrick 
10209467b48Spatrick   if (tmp.empty()) // no annotations for this gv
10309467b48Spatrick     return;
10409467b48Spatrick 
105*d415bd75Srobert   if (AC.Cache.find(m) != AC.Cache.end())
106*d415bd75Srobert     AC.Cache[m][gv] = std::move(tmp);
10709467b48Spatrick   else {
10809467b48Spatrick     global_val_annot_t tmp1;
10909467b48Spatrick     tmp1[gv] = std::move(tmp);
110*d415bd75Srobert     AC.Cache[m] = std::move(tmp1);
11109467b48Spatrick   }
11209467b48Spatrick }
11309467b48Spatrick 
findOneNVVMAnnotation(const GlobalValue * gv,const std::string & prop,unsigned & retval)11409467b48Spatrick bool findOneNVVMAnnotation(const GlobalValue *gv, const std::string &prop,
11509467b48Spatrick                            unsigned &retval) {
116*d415bd75Srobert   auto &AC = getAnnotationCache();
117*d415bd75Srobert   std::lock_guard<sys::Mutex> Guard(AC.Lock);
11809467b48Spatrick   const Module *m = gv->getParent();
119*d415bd75Srobert   if (AC.Cache.find(m) == AC.Cache.end())
12009467b48Spatrick     cacheAnnotationFromMD(m, gv);
121*d415bd75Srobert   else if (AC.Cache[m].find(gv) == AC.Cache[m].end())
12209467b48Spatrick     cacheAnnotationFromMD(m, gv);
123*d415bd75Srobert   if (AC.Cache[m][gv].find(prop) == AC.Cache[m][gv].end())
12409467b48Spatrick     return false;
125*d415bd75Srobert   retval = AC.Cache[m][gv][prop][0];
12609467b48Spatrick   return true;
12709467b48Spatrick }
12809467b48Spatrick 
findAllNVVMAnnotation(const GlobalValue * gv,const std::string & prop,std::vector<unsigned> & retval)12909467b48Spatrick bool findAllNVVMAnnotation(const GlobalValue *gv, const std::string &prop,
13009467b48Spatrick                            std::vector<unsigned> &retval) {
131*d415bd75Srobert   auto &AC = getAnnotationCache();
132*d415bd75Srobert   std::lock_guard<sys::Mutex> Guard(AC.Lock);
13309467b48Spatrick   const Module *m = gv->getParent();
134*d415bd75Srobert   if (AC.Cache.find(m) == AC.Cache.end())
13509467b48Spatrick     cacheAnnotationFromMD(m, gv);
136*d415bd75Srobert   else if (AC.Cache[m].find(gv) == AC.Cache[m].end())
13709467b48Spatrick     cacheAnnotationFromMD(m, gv);
138*d415bd75Srobert   if (AC.Cache[m][gv].find(prop) == AC.Cache[m][gv].end())
13909467b48Spatrick     return false;
140*d415bd75Srobert   retval = AC.Cache[m][gv][prop];
14109467b48Spatrick   return true;
14209467b48Spatrick }
14309467b48Spatrick 
isTexture(const Value & val)14409467b48Spatrick bool isTexture(const Value &val) {
14509467b48Spatrick   if (const GlobalValue *gv = dyn_cast<GlobalValue>(&val)) {
14609467b48Spatrick     unsigned annot;
14709467b48Spatrick     if (findOneNVVMAnnotation(gv, "texture", annot)) {
14809467b48Spatrick       assert((annot == 1) && "Unexpected annotation on a texture symbol");
14909467b48Spatrick       return true;
15009467b48Spatrick     }
15109467b48Spatrick   }
15209467b48Spatrick   return false;
15309467b48Spatrick }
15409467b48Spatrick 
isSurface(const Value & val)15509467b48Spatrick bool isSurface(const Value &val) {
15609467b48Spatrick   if (const GlobalValue *gv = dyn_cast<GlobalValue>(&val)) {
15709467b48Spatrick     unsigned annot;
15809467b48Spatrick     if (findOneNVVMAnnotation(gv, "surface", annot)) {
15909467b48Spatrick       assert((annot == 1) && "Unexpected annotation on a surface symbol");
16009467b48Spatrick       return true;
16109467b48Spatrick     }
16209467b48Spatrick   }
16309467b48Spatrick   return false;
16409467b48Spatrick }
16509467b48Spatrick 
isSampler(const Value & val)16609467b48Spatrick bool isSampler(const Value &val) {
16709467b48Spatrick   const char *AnnotationName = "sampler";
16809467b48Spatrick 
16909467b48Spatrick   if (const GlobalValue *gv = dyn_cast<GlobalValue>(&val)) {
17009467b48Spatrick     unsigned annot;
17109467b48Spatrick     if (findOneNVVMAnnotation(gv, AnnotationName, annot)) {
17209467b48Spatrick       assert((annot == 1) && "Unexpected annotation on a sampler symbol");
17309467b48Spatrick       return true;
17409467b48Spatrick     }
17509467b48Spatrick   }
17609467b48Spatrick   if (const Argument *arg = dyn_cast<Argument>(&val)) {
17709467b48Spatrick     const Function *func = arg->getParent();
17809467b48Spatrick     std::vector<unsigned> annot;
17909467b48Spatrick     if (findAllNVVMAnnotation(func, AnnotationName, annot)) {
18009467b48Spatrick       if (is_contained(annot, arg->getArgNo()))
18109467b48Spatrick         return true;
18209467b48Spatrick     }
18309467b48Spatrick   }
18409467b48Spatrick   return false;
18509467b48Spatrick }
18609467b48Spatrick 
isImageReadOnly(const Value & val)18709467b48Spatrick bool isImageReadOnly(const Value &val) {
18809467b48Spatrick   if (const Argument *arg = dyn_cast<Argument>(&val)) {
18909467b48Spatrick     const Function *func = arg->getParent();
19009467b48Spatrick     std::vector<unsigned> annot;
19109467b48Spatrick     if (findAllNVVMAnnotation(func, "rdoimage", annot)) {
19209467b48Spatrick       if (is_contained(annot, arg->getArgNo()))
19309467b48Spatrick         return true;
19409467b48Spatrick     }
19509467b48Spatrick   }
19609467b48Spatrick   return false;
19709467b48Spatrick }
19809467b48Spatrick 
isImageWriteOnly(const Value & val)19909467b48Spatrick bool isImageWriteOnly(const Value &val) {
20009467b48Spatrick   if (const Argument *arg = dyn_cast<Argument>(&val)) {
20109467b48Spatrick     const Function *func = arg->getParent();
20209467b48Spatrick     std::vector<unsigned> annot;
20309467b48Spatrick     if (findAllNVVMAnnotation(func, "wroimage", annot)) {
20409467b48Spatrick       if (is_contained(annot, arg->getArgNo()))
20509467b48Spatrick         return true;
20609467b48Spatrick     }
20709467b48Spatrick   }
20809467b48Spatrick   return false;
20909467b48Spatrick }
21009467b48Spatrick 
isImageReadWrite(const Value & val)21109467b48Spatrick bool isImageReadWrite(const Value &val) {
21209467b48Spatrick   if (const Argument *arg = dyn_cast<Argument>(&val)) {
21309467b48Spatrick     const Function *func = arg->getParent();
21409467b48Spatrick     std::vector<unsigned> annot;
21509467b48Spatrick     if (findAllNVVMAnnotation(func, "rdwrimage", annot)) {
21609467b48Spatrick       if (is_contained(annot, arg->getArgNo()))
21709467b48Spatrick         return true;
21809467b48Spatrick     }
21909467b48Spatrick   }
22009467b48Spatrick   return false;
22109467b48Spatrick }
22209467b48Spatrick 
isImage(const Value & val)22309467b48Spatrick bool isImage(const Value &val) {
22409467b48Spatrick   return isImageReadOnly(val) || isImageWriteOnly(val) || isImageReadWrite(val);
22509467b48Spatrick }
22609467b48Spatrick 
isManaged(const Value & val)22709467b48Spatrick bool isManaged(const Value &val) {
22809467b48Spatrick   if(const GlobalValue *gv = dyn_cast<GlobalValue>(&val)) {
22909467b48Spatrick     unsigned annot;
23009467b48Spatrick     if (findOneNVVMAnnotation(gv, "managed", annot)) {
23109467b48Spatrick       assert((annot == 1) && "Unexpected annotation on a managed symbol");
23209467b48Spatrick       return true;
23309467b48Spatrick     }
23409467b48Spatrick   }
23509467b48Spatrick   return false;
23609467b48Spatrick }
23709467b48Spatrick 
getTextureName(const Value & val)23809467b48Spatrick std::string getTextureName(const Value &val) {
23909467b48Spatrick   assert(val.hasName() && "Found texture variable with no name");
240097a140dSpatrick   return std::string(val.getName());
24109467b48Spatrick }
24209467b48Spatrick 
getSurfaceName(const Value & val)24309467b48Spatrick std::string getSurfaceName(const Value &val) {
24409467b48Spatrick   assert(val.hasName() && "Found surface variable with no name");
245097a140dSpatrick   return std::string(val.getName());
24609467b48Spatrick }
24709467b48Spatrick 
getSamplerName(const Value & val)24809467b48Spatrick std::string getSamplerName(const Value &val) {
24909467b48Spatrick   assert(val.hasName() && "Found sampler variable with no name");
250097a140dSpatrick   return std::string(val.getName());
25109467b48Spatrick }
25209467b48Spatrick 
getMaxNTIDx(const Function & F,unsigned & x)25309467b48Spatrick bool getMaxNTIDx(const Function &F, unsigned &x) {
25409467b48Spatrick   return findOneNVVMAnnotation(&F, "maxntidx", x);
25509467b48Spatrick }
25609467b48Spatrick 
getMaxNTIDy(const Function & F,unsigned & y)25709467b48Spatrick bool getMaxNTIDy(const Function &F, unsigned &y) {
25809467b48Spatrick   return findOneNVVMAnnotation(&F, "maxntidy", y);
25909467b48Spatrick }
26009467b48Spatrick 
getMaxNTIDz(const Function & F,unsigned & z)26109467b48Spatrick bool getMaxNTIDz(const Function &F, unsigned &z) {
26209467b48Spatrick   return findOneNVVMAnnotation(&F, "maxntidz", z);
26309467b48Spatrick }
26409467b48Spatrick 
getReqNTIDx(const Function & F,unsigned & x)26509467b48Spatrick bool getReqNTIDx(const Function &F, unsigned &x) {
26609467b48Spatrick   return findOneNVVMAnnotation(&F, "reqntidx", x);
26709467b48Spatrick }
26809467b48Spatrick 
getReqNTIDy(const Function & F,unsigned & y)26909467b48Spatrick bool getReqNTIDy(const Function &F, unsigned &y) {
27009467b48Spatrick   return findOneNVVMAnnotation(&F, "reqntidy", y);
27109467b48Spatrick }
27209467b48Spatrick 
getReqNTIDz(const Function & F,unsigned & z)27309467b48Spatrick bool getReqNTIDz(const Function &F, unsigned &z) {
27409467b48Spatrick   return findOneNVVMAnnotation(&F, "reqntidz", z);
27509467b48Spatrick }
27609467b48Spatrick 
getMinCTASm(const Function & F,unsigned & x)27709467b48Spatrick bool getMinCTASm(const Function &F, unsigned &x) {
27809467b48Spatrick   return findOneNVVMAnnotation(&F, "minctasm", x);
27909467b48Spatrick }
28009467b48Spatrick 
getMaxNReg(const Function & F,unsigned & x)28109467b48Spatrick bool getMaxNReg(const Function &F, unsigned &x) {
28209467b48Spatrick   return findOneNVVMAnnotation(&F, "maxnreg", x);
28309467b48Spatrick }
28409467b48Spatrick 
isKernelFunction(const Function & F)28509467b48Spatrick bool isKernelFunction(const Function &F) {
28609467b48Spatrick   unsigned x = 0;
28709467b48Spatrick   bool retval = findOneNVVMAnnotation(&F, "kernel", x);
28809467b48Spatrick   if (!retval) {
28909467b48Spatrick     // There is no NVVM metadata, check the calling convention
29009467b48Spatrick     return F.getCallingConv() == CallingConv::PTX_Kernel;
29109467b48Spatrick   }
29209467b48Spatrick   return (x == 1);
29309467b48Spatrick }
29409467b48Spatrick 
getAlign(const Function & F,unsigned index,unsigned & align)29509467b48Spatrick bool getAlign(const Function &F, unsigned index, unsigned &align) {
29609467b48Spatrick   std::vector<unsigned> Vs;
29709467b48Spatrick   bool retval = findAllNVVMAnnotation(&F, "align", Vs);
29809467b48Spatrick   if (!retval)
29909467b48Spatrick     return false;
300*d415bd75Srobert   for (unsigned v : Vs) {
30109467b48Spatrick     if ((v >> 16) == index) {
30209467b48Spatrick       align = v & 0xFFFF;
30309467b48Spatrick       return true;
30409467b48Spatrick     }
30509467b48Spatrick   }
30609467b48Spatrick   return false;
30709467b48Spatrick }
30809467b48Spatrick 
getAlign(const CallInst & I,unsigned index,unsigned & align)30909467b48Spatrick bool getAlign(const CallInst &I, unsigned index, unsigned &align) {
31009467b48Spatrick   if (MDNode *alignNode = I.getMetadata("callalign")) {
31109467b48Spatrick     for (int i = 0, n = alignNode->getNumOperands(); i < n; i++) {
31209467b48Spatrick       if (const ConstantInt *CI =
31309467b48Spatrick               mdconst::dyn_extract<ConstantInt>(alignNode->getOperand(i))) {
31409467b48Spatrick         unsigned v = CI->getZExtValue();
31509467b48Spatrick         if ((v >> 16) == index) {
31609467b48Spatrick           align = v & 0xFFFF;
31709467b48Spatrick           return true;
31809467b48Spatrick         }
31909467b48Spatrick         if ((v >> 16) > index) {
32009467b48Spatrick           return false;
32109467b48Spatrick         }
32209467b48Spatrick       }
32309467b48Spatrick     }
32409467b48Spatrick   }
32509467b48Spatrick   return false;
32609467b48Spatrick }
32709467b48Spatrick 
getMaybeBitcastedCallee(const CallBase * CB)328*d415bd75Srobert Function *getMaybeBitcastedCallee(const CallBase *CB) {
329*d415bd75Srobert   return dyn_cast<Function>(CB->getCalledOperand()->stripPointerCasts());
330*d415bd75Srobert }
331*d415bd75Srobert 
shouldEmitPTXNoReturn(const Value * V,const TargetMachine & TM)332*d415bd75Srobert bool shouldEmitPTXNoReturn(const Value *V, const TargetMachine &TM) {
333*d415bd75Srobert   const auto &ST =
334*d415bd75Srobert       *static_cast<const NVPTXTargetMachine &>(TM).getSubtargetImpl();
335*d415bd75Srobert   if (!ST.hasNoReturn())
336*d415bd75Srobert     return false;
337*d415bd75Srobert 
338*d415bd75Srobert   assert((isa<Function>(V) || isa<CallInst>(V)) &&
339*d415bd75Srobert          "Expect either a call instruction or a function");
340*d415bd75Srobert 
341*d415bd75Srobert   if (const CallInst *CallI = dyn_cast<CallInst>(V))
342*d415bd75Srobert     return CallI->doesNotReturn() &&
343*d415bd75Srobert            CallI->getFunctionType()->getReturnType()->isVoidTy();
344*d415bd75Srobert 
345*d415bd75Srobert   const Function *F = cast<Function>(V);
346*d415bd75Srobert   return F->doesNotReturn() &&
347*d415bd75Srobert          F->getFunctionType()->getReturnType()->isVoidTy() &&
348*d415bd75Srobert          !isKernelFunction(*F);
349*d415bd75Srobert }
350*d415bd75Srobert 
35109467b48Spatrick } // namespace llvm
352