xref: /freebsd/contrib/llvm-project/llvm/lib/Target/NVPTX/NVPTXUtilities.cpp (revision 753f127f3ace09432b2baeffd71a308760641a62)
10b57cec5SDimitry Andric //===- NVPTXUtilities.cpp - Utility Functions -----------------------------===//
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 // This file contains miscellaneous utility functions
100b57cec5SDimitry Andric //
110b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
120b57cec5SDimitry Andric 
130b57cec5SDimitry Andric #include "NVPTXUtilities.h"
140b57cec5SDimitry Andric #include "NVPTX.h"
150b57cec5SDimitry Andric #include "llvm/IR/Constants.h"
160b57cec5SDimitry Andric #include "llvm/IR/Function.h"
170b57cec5SDimitry Andric #include "llvm/IR/GlobalVariable.h"
180b57cec5SDimitry Andric #include "llvm/IR/InstIterator.h"
190b57cec5SDimitry Andric #include "llvm/IR/Module.h"
200b57cec5SDimitry Andric #include "llvm/IR/Operator.h"
218bcb0991SDimitry Andric #include "llvm/Support/Mutex.h"
220b57cec5SDimitry Andric #include <algorithm>
230b57cec5SDimitry Andric #include <cstring>
240b57cec5SDimitry Andric #include <map>
258bcb0991SDimitry Andric #include <mutex>
260b57cec5SDimitry Andric #include <string>
270b57cec5SDimitry Andric #include <vector>
280b57cec5SDimitry Andric 
290b57cec5SDimitry Andric namespace llvm {
300b57cec5SDimitry Andric 
310b57cec5SDimitry Andric namespace {
320b57cec5SDimitry Andric typedef std::map<std::string, std::vector<unsigned> > key_val_pair_t;
330b57cec5SDimitry Andric typedef std::map<const GlobalValue *, key_val_pair_t> global_val_annot_t;
34*753f127fSDimitry Andric 
35*753f127fSDimitry Andric struct AnnotationCache {
36*753f127fSDimitry Andric   sys::Mutex Lock;
37*753f127fSDimitry Andric   std::map<const Module *, global_val_annot_t> Cache;
38*753f127fSDimitry Andric };
39*753f127fSDimitry Andric 
40*753f127fSDimitry Andric AnnotationCache &getAnnotationCache() {
41*753f127fSDimitry Andric   static AnnotationCache AC;
42*753f127fSDimitry Andric   return AC;
43*753f127fSDimitry Andric }
440b57cec5SDimitry Andric } // anonymous namespace
450b57cec5SDimitry Andric 
460b57cec5SDimitry Andric void clearAnnotationCache(const Module *Mod) {
47*753f127fSDimitry Andric   auto &AC = getAnnotationCache();
48*753f127fSDimitry Andric   std::lock_guard<sys::Mutex> Guard(AC.Lock);
49*753f127fSDimitry Andric   AC.Cache.erase(Mod);
500b57cec5SDimitry Andric }
510b57cec5SDimitry Andric 
520b57cec5SDimitry Andric static void cacheAnnotationFromMD(const MDNode *md, key_val_pair_t &retval) {
53*753f127fSDimitry Andric   auto &AC = getAnnotationCache();
54*753f127fSDimitry Andric   std::lock_guard<sys::Mutex> Guard(AC.Lock);
550b57cec5SDimitry Andric   assert(md && "Invalid mdnode for annotation");
560b57cec5SDimitry Andric   assert((md->getNumOperands() % 2) == 1 && "Invalid number of operands");
570b57cec5SDimitry Andric   // start index = 1, to skip the global variable key
580b57cec5SDimitry Andric   // increment = 2, to skip the value for each property-value pairs
590b57cec5SDimitry Andric   for (unsigned i = 1, e = md->getNumOperands(); i != e; i += 2) {
600b57cec5SDimitry Andric     // property
610b57cec5SDimitry Andric     const MDString *prop = dyn_cast<MDString>(md->getOperand(i));
620b57cec5SDimitry Andric     assert(prop && "Annotation property not a string");
630b57cec5SDimitry Andric 
640b57cec5SDimitry Andric     // value
650b57cec5SDimitry Andric     ConstantInt *Val = mdconst::dyn_extract<ConstantInt>(md->getOperand(i + 1));
660b57cec5SDimitry Andric     assert(Val && "Value operand not a constant int");
670b57cec5SDimitry Andric 
680b57cec5SDimitry Andric     std::string keyname = prop->getString().str();
690b57cec5SDimitry Andric     if (retval.find(keyname) != retval.end())
700b57cec5SDimitry Andric       retval[keyname].push_back(Val->getZExtValue());
710b57cec5SDimitry Andric     else {
720b57cec5SDimitry Andric       std::vector<unsigned> tmp;
730b57cec5SDimitry Andric       tmp.push_back(Val->getZExtValue());
740b57cec5SDimitry Andric       retval[keyname] = tmp;
750b57cec5SDimitry Andric     }
760b57cec5SDimitry Andric   }
770b57cec5SDimitry Andric }
780b57cec5SDimitry Andric 
790b57cec5SDimitry Andric static void cacheAnnotationFromMD(const Module *m, const GlobalValue *gv) {
80*753f127fSDimitry Andric   auto &AC = getAnnotationCache();
81*753f127fSDimitry Andric   std::lock_guard<sys::Mutex> Guard(AC.Lock);
820b57cec5SDimitry Andric   NamedMDNode *NMD = m->getNamedMetadata("nvvm.annotations");
830b57cec5SDimitry Andric   if (!NMD)
840b57cec5SDimitry Andric     return;
850b57cec5SDimitry Andric   key_val_pair_t tmp;
860b57cec5SDimitry Andric   for (unsigned i = 0, e = NMD->getNumOperands(); i != e; ++i) {
870b57cec5SDimitry Andric     const MDNode *elem = NMD->getOperand(i);
880b57cec5SDimitry Andric 
890b57cec5SDimitry Andric     GlobalValue *entity =
900b57cec5SDimitry Andric         mdconst::dyn_extract_or_null<GlobalValue>(elem->getOperand(0));
910b57cec5SDimitry Andric     // entity may be null due to DCE
920b57cec5SDimitry Andric     if (!entity)
930b57cec5SDimitry Andric       continue;
940b57cec5SDimitry Andric     if (entity != gv)
950b57cec5SDimitry Andric       continue;
960b57cec5SDimitry Andric 
970b57cec5SDimitry Andric     // accumulate annotations for entity in tmp
980b57cec5SDimitry Andric     cacheAnnotationFromMD(elem, tmp);
990b57cec5SDimitry Andric   }
1000b57cec5SDimitry Andric 
1010b57cec5SDimitry Andric   if (tmp.empty()) // no annotations for this gv
1020b57cec5SDimitry Andric     return;
1030b57cec5SDimitry Andric 
104*753f127fSDimitry Andric   if (AC.Cache.find(m) != AC.Cache.end())
105*753f127fSDimitry Andric     AC.Cache[m][gv] = std::move(tmp);
1060b57cec5SDimitry Andric   else {
1070b57cec5SDimitry Andric     global_val_annot_t tmp1;
1080b57cec5SDimitry Andric     tmp1[gv] = std::move(tmp);
109*753f127fSDimitry Andric     AC.Cache[m] = std::move(tmp1);
1100b57cec5SDimitry Andric   }
1110b57cec5SDimitry Andric }
1120b57cec5SDimitry Andric 
1130b57cec5SDimitry Andric bool findOneNVVMAnnotation(const GlobalValue *gv, const std::string &prop,
1140b57cec5SDimitry Andric                            unsigned &retval) {
115*753f127fSDimitry Andric   auto &AC = getAnnotationCache();
116*753f127fSDimitry Andric   std::lock_guard<sys::Mutex> Guard(AC.Lock);
1170b57cec5SDimitry Andric   const Module *m = gv->getParent();
118*753f127fSDimitry Andric   if (AC.Cache.find(m) == AC.Cache.end())
1190b57cec5SDimitry Andric     cacheAnnotationFromMD(m, gv);
120*753f127fSDimitry Andric   else if (AC.Cache[m].find(gv) == AC.Cache[m].end())
1210b57cec5SDimitry Andric     cacheAnnotationFromMD(m, gv);
122*753f127fSDimitry Andric   if (AC.Cache[m][gv].find(prop) == AC.Cache[m][gv].end())
1230b57cec5SDimitry Andric     return false;
124*753f127fSDimitry Andric   retval = AC.Cache[m][gv][prop][0];
1250b57cec5SDimitry Andric   return true;
1260b57cec5SDimitry Andric }
1270b57cec5SDimitry Andric 
1280b57cec5SDimitry Andric bool findAllNVVMAnnotation(const GlobalValue *gv, const std::string &prop,
1290b57cec5SDimitry Andric                            std::vector<unsigned> &retval) {
130*753f127fSDimitry Andric   auto &AC = getAnnotationCache();
131*753f127fSDimitry Andric   std::lock_guard<sys::Mutex> Guard(AC.Lock);
1320b57cec5SDimitry Andric   const Module *m = gv->getParent();
133*753f127fSDimitry Andric   if (AC.Cache.find(m) == AC.Cache.end())
1340b57cec5SDimitry Andric     cacheAnnotationFromMD(m, gv);
135*753f127fSDimitry Andric   else if (AC.Cache[m].find(gv) == AC.Cache[m].end())
1360b57cec5SDimitry Andric     cacheAnnotationFromMD(m, gv);
137*753f127fSDimitry Andric   if (AC.Cache[m][gv].find(prop) == AC.Cache[m][gv].end())
1380b57cec5SDimitry Andric     return false;
139*753f127fSDimitry Andric   retval = AC.Cache[m][gv][prop];
1400b57cec5SDimitry Andric   return true;
1410b57cec5SDimitry Andric }
1420b57cec5SDimitry Andric 
1430b57cec5SDimitry Andric bool isTexture(const Value &val) {
1440b57cec5SDimitry Andric   if (const GlobalValue *gv = dyn_cast<GlobalValue>(&val)) {
1450b57cec5SDimitry Andric     unsigned annot;
1460b57cec5SDimitry Andric     if (findOneNVVMAnnotation(gv, "texture", annot)) {
1470b57cec5SDimitry Andric       assert((annot == 1) && "Unexpected annotation on a texture symbol");
1480b57cec5SDimitry Andric       return true;
1490b57cec5SDimitry Andric     }
1500b57cec5SDimitry Andric   }
1510b57cec5SDimitry Andric   return false;
1520b57cec5SDimitry Andric }
1530b57cec5SDimitry Andric 
1540b57cec5SDimitry Andric bool isSurface(const Value &val) {
1550b57cec5SDimitry Andric   if (const GlobalValue *gv = dyn_cast<GlobalValue>(&val)) {
1560b57cec5SDimitry Andric     unsigned annot;
1570b57cec5SDimitry Andric     if (findOneNVVMAnnotation(gv, "surface", annot)) {
1580b57cec5SDimitry Andric       assert((annot == 1) && "Unexpected annotation on a surface symbol");
1590b57cec5SDimitry Andric       return true;
1600b57cec5SDimitry Andric     }
1610b57cec5SDimitry Andric   }
1620b57cec5SDimitry Andric   return false;
1630b57cec5SDimitry Andric }
1640b57cec5SDimitry Andric 
1650b57cec5SDimitry Andric bool isSampler(const Value &val) {
1660b57cec5SDimitry Andric   const char *AnnotationName = "sampler";
1670b57cec5SDimitry Andric 
1680b57cec5SDimitry Andric   if (const GlobalValue *gv = dyn_cast<GlobalValue>(&val)) {
1690b57cec5SDimitry Andric     unsigned annot;
1700b57cec5SDimitry Andric     if (findOneNVVMAnnotation(gv, AnnotationName, annot)) {
1710b57cec5SDimitry Andric       assert((annot == 1) && "Unexpected annotation on a sampler symbol");
1720b57cec5SDimitry Andric       return true;
1730b57cec5SDimitry Andric     }
1740b57cec5SDimitry Andric   }
1750b57cec5SDimitry Andric   if (const Argument *arg = dyn_cast<Argument>(&val)) {
1760b57cec5SDimitry Andric     const Function *func = arg->getParent();
1770b57cec5SDimitry Andric     std::vector<unsigned> annot;
1780b57cec5SDimitry Andric     if (findAllNVVMAnnotation(func, AnnotationName, annot)) {
1790b57cec5SDimitry Andric       if (is_contained(annot, arg->getArgNo()))
1800b57cec5SDimitry Andric         return true;
1810b57cec5SDimitry Andric     }
1820b57cec5SDimitry Andric   }
1830b57cec5SDimitry Andric   return false;
1840b57cec5SDimitry Andric }
1850b57cec5SDimitry Andric 
1860b57cec5SDimitry Andric bool isImageReadOnly(const Value &val) {
1870b57cec5SDimitry Andric   if (const Argument *arg = dyn_cast<Argument>(&val)) {
1880b57cec5SDimitry Andric     const Function *func = arg->getParent();
1890b57cec5SDimitry Andric     std::vector<unsigned> annot;
1900b57cec5SDimitry Andric     if (findAllNVVMAnnotation(func, "rdoimage", annot)) {
1910b57cec5SDimitry Andric       if (is_contained(annot, arg->getArgNo()))
1920b57cec5SDimitry Andric         return true;
1930b57cec5SDimitry Andric     }
1940b57cec5SDimitry Andric   }
1950b57cec5SDimitry Andric   return false;
1960b57cec5SDimitry Andric }
1970b57cec5SDimitry Andric 
1980b57cec5SDimitry Andric bool isImageWriteOnly(const Value &val) {
1990b57cec5SDimitry Andric   if (const Argument *arg = dyn_cast<Argument>(&val)) {
2000b57cec5SDimitry Andric     const Function *func = arg->getParent();
2010b57cec5SDimitry Andric     std::vector<unsigned> annot;
2020b57cec5SDimitry Andric     if (findAllNVVMAnnotation(func, "wroimage", annot)) {
2030b57cec5SDimitry Andric       if (is_contained(annot, arg->getArgNo()))
2040b57cec5SDimitry Andric         return true;
2050b57cec5SDimitry Andric     }
2060b57cec5SDimitry Andric   }
2070b57cec5SDimitry Andric   return false;
2080b57cec5SDimitry Andric }
2090b57cec5SDimitry Andric 
2100b57cec5SDimitry Andric bool isImageReadWrite(const Value &val) {
2110b57cec5SDimitry Andric   if (const Argument *arg = dyn_cast<Argument>(&val)) {
2120b57cec5SDimitry Andric     const Function *func = arg->getParent();
2130b57cec5SDimitry Andric     std::vector<unsigned> annot;
2140b57cec5SDimitry Andric     if (findAllNVVMAnnotation(func, "rdwrimage", annot)) {
2150b57cec5SDimitry Andric       if (is_contained(annot, arg->getArgNo()))
2160b57cec5SDimitry Andric         return true;
2170b57cec5SDimitry Andric     }
2180b57cec5SDimitry Andric   }
2190b57cec5SDimitry Andric   return false;
2200b57cec5SDimitry Andric }
2210b57cec5SDimitry Andric 
2220b57cec5SDimitry Andric bool isImage(const Value &val) {
2230b57cec5SDimitry Andric   return isImageReadOnly(val) || isImageWriteOnly(val) || isImageReadWrite(val);
2240b57cec5SDimitry Andric }
2250b57cec5SDimitry Andric 
2260b57cec5SDimitry Andric bool isManaged(const Value &val) {
2270b57cec5SDimitry Andric   if(const GlobalValue *gv = dyn_cast<GlobalValue>(&val)) {
2280b57cec5SDimitry Andric     unsigned annot;
2290b57cec5SDimitry Andric     if (findOneNVVMAnnotation(gv, "managed", annot)) {
2300b57cec5SDimitry Andric       assert((annot == 1) && "Unexpected annotation on a managed symbol");
2310b57cec5SDimitry Andric       return true;
2320b57cec5SDimitry Andric     }
2330b57cec5SDimitry Andric   }
2340b57cec5SDimitry Andric   return false;
2350b57cec5SDimitry Andric }
2360b57cec5SDimitry Andric 
2370b57cec5SDimitry Andric std::string getTextureName(const Value &val) {
2380b57cec5SDimitry Andric   assert(val.hasName() && "Found texture variable with no name");
2395ffd83dbSDimitry Andric   return std::string(val.getName());
2400b57cec5SDimitry Andric }
2410b57cec5SDimitry Andric 
2420b57cec5SDimitry Andric std::string getSurfaceName(const Value &val) {
2430b57cec5SDimitry Andric   assert(val.hasName() && "Found surface variable with no name");
2445ffd83dbSDimitry Andric   return std::string(val.getName());
2450b57cec5SDimitry Andric }
2460b57cec5SDimitry Andric 
2470b57cec5SDimitry Andric std::string getSamplerName(const Value &val) {
2480b57cec5SDimitry Andric   assert(val.hasName() && "Found sampler variable with no name");
2495ffd83dbSDimitry Andric   return std::string(val.getName());
2500b57cec5SDimitry Andric }
2510b57cec5SDimitry Andric 
2520b57cec5SDimitry Andric bool getMaxNTIDx(const Function &F, unsigned &x) {
2530b57cec5SDimitry Andric   return findOneNVVMAnnotation(&F, "maxntidx", x);
2540b57cec5SDimitry Andric }
2550b57cec5SDimitry Andric 
2560b57cec5SDimitry Andric bool getMaxNTIDy(const Function &F, unsigned &y) {
2570b57cec5SDimitry Andric   return findOneNVVMAnnotation(&F, "maxntidy", y);
2580b57cec5SDimitry Andric }
2590b57cec5SDimitry Andric 
2600b57cec5SDimitry Andric bool getMaxNTIDz(const Function &F, unsigned &z) {
2610b57cec5SDimitry Andric   return findOneNVVMAnnotation(&F, "maxntidz", z);
2620b57cec5SDimitry Andric }
2630b57cec5SDimitry Andric 
2640b57cec5SDimitry Andric bool getReqNTIDx(const Function &F, unsigned &x) {
2650b57cec5SDimitry Andric   return findOneNVVMAnnotation(&F, "reqntidx", x);
2660b57cec5SDimitry Andric }
2670b57cec5SDimitry Andric 
2680b57cec5SDimitry Andric bool getReqNTIDy(const Function &F, unsigned &y) {
2690b57cec5SDimitry Andric   return findOneNVVMAnnotation(&F, "reqntidy", y);
2700b57cec5SDimitry Andric }
2710b57cec5SDimitry Andric 
2720b57cec5SDimitry Andric bool getReqNTIDz(const Function &F, unsigned &z) {
2730b57cec5SDimitry Andric   return findOneNVVMAnnotation(&F, "reqntidz", z);
2740b57cec5SDimitry Andric }
2750b57cec5SDimitry Andric 
2760b57cec5SDimitry Andric bool getMinCTASm(const Function &F, unsigned &x) {
2770b57cec5SDimitry Andric   return findOneNVVMAnnotation(&F, "minctasm", x);
2780b57cec5SDimitry Andric }
2790b57cec5SDimitry Andric 
2800b57cec5SDimitry Andric bool getMaxNReg(const Function &F, unsigned &x) {
2810b57cec5SDimitry Andric   return findOneNVVMAnnotation(&F, "maxnreg", x);
2820b57cec5SDimitry Andric }
2830b57cec5SDimitry Andric 
2840b57cec5SDimitry Andric bool isKernelFunction(const Function &F) {
2850b57cec5SDimitry Andric   unsigned x = 0;
2860b57cec5SDimitry Andric   bool retval = findOneNVVMAnnotation(&F, "kernel", x);
2870b57cec5SDimitry Andric   if (!retval) {
2880b57cec5SDimitry Andric     // There is no NVVM metadata, check the calling convention
2890b57cec5SDimitry Andric     return F.getCallingConv() == CallingConv::PTX_Kernel;
2900b57cec5SDimitry Andric   }
2910b57cec5SDimitry Andric   return (x == 1);
2920b57cec5SDimitry Andric }
2930b57cec5SDimitry Andric 
2940b57cec5SDimitry Andric bool getAlign(const Function &F, unsigned index, unsigned &align) {
2950b57cec5SDimitry Andric   std::vector<unsigned> Vs;
2960b57cec5SDimitry Andric   bool retval = findAllNVVMAnnotation(&F, "align", Vs);
2970b57cec5SDimitry Andric   if (!retval)
2980b57cec5SDimitry Andric     return false;
29904eeddc0SDimitry Andric   for (unsigned v : Vs) {
3000b57cec5SDimitry Andric     if ((v >> 16) == index) {
3010b57cec5SDimitry Andric       align = v & 0xFFFF;
3020b57cec5SDimitry Andric       return true;
3030b57cec5SDimitry Andric     }
3040b57cec5SDimitry Andric   }
3050b57cec5SDimitry Andric   return false;
3060b57cec5SDimitry Andric }
3070b57cec5SDimitry Andric 
3080b57cec5SDimitry Andric bool getAlign(const CallInst &I, unsigned index, unsigned &align) {
3090b57cec5SDimitry Andric   if (MDNode *alignNode = I.getMetadata("callalign")) {
3100b57cec5SDimitry Andric     for (int i = 0, n = alignNode->getNumOperands(); i < n; i++) {
3110b57cec5SDimitry Andric       if (const ConstantInt *CI =
3120b57cec5SDimitry Andric               mdconst::dyn_extract<ConstantInt>(alignNode->getOperand(i))) {
3130b57cec5SDimitry Andric         unsigned v = CI->getZExtValue();
3140b57cec5SDimitry Andric         if ((v >> 16) == index) {
3150b57cec5SDimitry Andric           align = v & 0xFFFF;
3160b57cec5SDimitry Andric           return true;
3170b57cec5SDimitry Andric         }
3180b57cec5SDimitry Andric         if ((v >> 16) > index) {
3190b57cec5SDimitry Andric           return false;
3200b57cec5SDimitry Andric         }
3210b57cec5SDimitry Andric       }
3220b57cec5SDimitry Andric     }
3230b57cec5SDimitry Andric   }
3240b57cec5SDimitry Andric   return false;
3250b57cec5SDimitry Andric }
3260b57cec5SDimitry Andric 
3270b57cec5SDimitry Andric } // namespace llvm
328