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" 15*bdd1243dSDimitry Andric #include "NVPTXTargetMachine.h" 160b57cec5SDimitry Andric #include "llvm/IR/Constants.h" 170b57cec5SDimitry Andric #include "llvm/IR/Function.h" 180b57cec5SDimitry Andric #include "llvm/IR/GlobalVariable.h" 190b57cec5SDimitry Andric #include "llvm/IR/InstIterator.h" 200b57cec5SDimitry Andric #include "llvm/IR/Module.h" 210b57cec5SDimitry Andric #include "llvm/IR/Operator.h" 228bcb0991SDimitry Andric #include "llvm/Support/Mutex.h" 230b57cec5SDimitry Andric #include <algorithm> 240b57cec5SDimitry Andric #include <cstring> 250b57cec5SDimitry Andric #include <map> 268bcb0991SDimitry Andric #include <mutex> 270b57cec5SDimitry Andric #include <string> 280b57cec5SDimitry Andric #include <vector> 290b57cec5SDimitry Andric 300b57cec5SDimitry Andric namespace llvm { 310b57cec5SDimitry Andric 320b57cec5SDimitry Andric namespace { 330b57cec5SDimitry Andric typedef std::map<std::string, std::vector<unsigned> > key_val_pair_t; 340b57cec5SDimitry Andric typedef std::map<const GlobalValue *, key_val_pair_t> global_val_annot_t; 35753f127fSDimitry Andric 36753f127fSDimitry Andric struct AnnotationCache { 37753f127fSDimitry Andric sys::Mutex Lock; 38753f127fSDimitry Andric std::map<const Module *, global_val_annot_t> Cache; 39753f127fSDimitry Andric }; 40753f127fSDimitry Andric 41753f127fSDimitry Andric AnnotationCache &getAnnotationCache() { 42753f127fSDimitry Andric static AnnotationCache AC; 43753f127fSDimitry Andric return AC; 44753f127fSDimitry Andric } 450b57cec5SDimitry Andric } // anonymous namespace 460b57cec5SDimitry Andric 470b57cec5SDimitry Andric void clearAnnotationCache(const Module *Mod) { 48753f127fSDimitry Andric auto &AC = getAnnotationCache(); 49753f127fSDimitry Andric std::lock_guard<sys::Mutex> Guard(AC.Lock); 50753f127fSDimitry Andric AC.Cache.erase(Mod); 510b57cec5SDimitry Andric } 520b57cec5SDimitry Andric 530b57cec5SDimitry Andric static void cacheAnnotationFromMD(const MDNode *md, key_val_pair_t &retval) { 54753f127fSDimitry Andric auto &AC = getAnnotationCache(); 55753f127fSDimitry Andric std::lock_guard<sys::Mutex> Guard(AC.Lock); 560b57cec5SDimitry Andric assert(md && "Invalid mdnode for annotation"); 570b57cec5SDimitry Andric assert((md->getNumOperands() % 2) == 1 && "Invalid number of operands"); 580b57cec5SDimitry Andric // start index = 1, to skip the global variable key 590b57cec5SDimitry Andric // increment = 2, to skip the value for each property-value pairs 600b57cec5SDimitry Andric for (unsigned i = 1, e = md->getNumOperands(); i != e; i += 2) { 610b57cec5SDimitry Andric // property 620b57cec5SDimitry Andric const MDString *prop = dyn_cast<MDString>(md->getOperand(i)); 630b57cec5SDimitry Andric assert(prop && "Annotation property not a string"); 640b57cec5SDimitry Andric 650b57cec5SDimitry Andric // value 660b57cec5SDimitry Andric ConstantInt *Val = mdconst::dyn_extract<ConstantInt>(md->getOperand(i + 1)); 670b57cec5SDimitry Andric assert(Val && "Value operand not a constant int"); 680b57cec5SDimitry Andric 690b57cec5SDimitry Andric std::string keyname = prop->getString().str(); 700b57cec5SDimitry Andric if (retval.find(keyname) != retval.end()) 710b57cec5SDimitry Andric retval[keyname].push_back(Val->getZExtValue()); 720b57cec5SDimitry Andric else { 730b57cec5SDimitry Andric std::vector<unsigned> tmp; 740b57cec5SDimitry Andric tmp.push_back(Val->getZExtValue()); 750b57cec5SDimitry Andric retval[keyname] = tmp; 760b57cec5SDimitry Andric } 770b57cec5SDimitry Andric } 780b57cec5SDimitry Andric } 790b57cec5SDimitry Andric 800b57cec5SDimitry Andric static void cacheAnnotationFromMD(const Module *m, const GlobalValue *gv) { 81753f127fSDimitry Andric auto &AC = getAnnotationCache(); 82753f127fSDimitry Andric std::lock_guard<sys::Mutex> Guard(AC.Lock); 830b57cec5SDimitry Andric NamedMDNode *NMD = m->getNamedMetadata("nvvm.annotations"); 840b57cec5SDimitry Andric if (!NMD) 850b57cec5SDimitry Andric return; 860b57cec5SDimitry Andric key_val_pair_t tmp; 870b57cec5SDimitry Andric for (unsigned i = 0, e = NMD->getNumOperands(); i != e; ++i) { 880b57cec5SDimitry Andric const MDNode *elem = NMD->getOperand(i); 890b57cec5SDimitry Andric 900b57cec5SDimitry Andric GlobalValue *entity = 910b57cec5SDimitry Andric mdconst::dyn_extract_or_null<GlobalValue>(elem->getOperand(0)); 920b57cec5SDimitry Andric // entity may be null due to DCE 930b57cec5SDimitry Andric if (!entity) 940b57cec5SDimitry Andric continue; 950b57cec5SDimitry Andric if (entity != gv) 960b57cec5SDimitry Andric continue; 970b57cec5SDimitry Andric 980b57cec5SDimitry Andric // accumulate annotations for entity in tmp 990b57cec5SDimitry Andric cacheAnnotationFromMD(elem, tmp); 1000b57cec5SDimitry Andric } 1010b57cec5SDimitry Andric 1020b57cec5SDimitry Andric if (tmp.empty()) // no annotations for this gv 1030b57cec5SDimitry Andric return; 1040b57cec5SDimitry Andric 105753f127fSDimitry Andric if (AC.Cache.find(m) != AC.Cache.end()) 106753f127fSDimitry Andric AC.Cache[m][gv] = std::move(tmp); 1070b57cec5SDimitry Andric else { 1080b57cec5SDimitry Andric global_val_annot_t tmp1; 1090b57cec5SDimitry Andric tmp1[gv] = std::move(tmp); 110753f127fSDimitry Andric AC.Cache[m] = std::move(tmp1); 1110b57cec5SDimitry Andric } 1120b57cec5SDimitry Andric } 1130b57cec5SDimitry Andric 1140b57cec5SDimitry Andric bool findOneNVVMAnnotation(const GlobalValue *gv, const std::string &prop, 1150b57cec5SDimitry Andric unsigned &retval) { 116753f127fSDimitry Andric auto &AC = getAnnotationCache(); 117753f127fSDimitry Andric std::lock_guard<sys::Mutex> Guard(AC.Lock); 1180b57cec5SDimitry Andric const Module *m = gv->getParent(); 119753f127fSDimitry Andric if (AC.Cache.find(m) == AC.Cache.end()) 1200b57cec5SDimitry Andric cacheAnnotationFromMD(m, gv); 121753f127fSDimitry Andric else if (AC.Cache[m].find(gv) == AC.Cache[m].end()) 1220b57cec5SDimitry Andric cacheAnnotationFromMD(m, gv); 123753f127fSDimitry Andric if (AC.Cache[m][gv].find(prop) == AC.Cache[m][gv].end()) 1240b57cec5SDimitry Andric return false; 125753f127fSDimitry Andric retval = AC.Cache[m][gv][prop][0]; 1260b57cec5SDimitry Andric return true; 1270b57cec5SDimitry Andric } 1280b57cec5SDimitry Andric 1290b57cec5SDimitry Andric bool findAllNVVMAnnotation(const GlobalValue *gv, const std::string &prop, 1300b57cec5SDimitry Andric std::vector<unsigned> &retval) { 131753f127fSDimitry Andric auto &AC = getAnnotationCache(); 132753f127fSDimitry Andric std::lock_guard<sys::Mutex> Guard(AC.Lock); 1330b57cec5SDimitry Andric const Module *m = gv->getParent(); 134753f127fSDimitry Andric if (AC.Cache.find(m) == AC.Cache.end()) 1350b57cec5SDimitry Andric cacheAnnotationFromMD(m, gv); 136753f127fSDimitry Andric else if (AC.Cache[m].find(gv) == AC.Cache[m].end()) 1370b57cec5SDimitry Andric cacheAnnotationFromMD(m, gv); 138753f127fSDimitry Andric if (AC.Cache[m][gv].find(prop) == AC.Cache[m][gv].end()) 1390b57cec5SDimitry Andric return false; 140753f127fSDimitry Andric retval = AC.Cache[m][gv][prop]; 1410b57cec5SDimitry Andric return true; 1420b57cec5SDimitry Andric } 1430b57cec5SDimitry Andric 1440b57cec5SDimitry Andric bool isTexture(const Value &val) { 1450b57cec5SDimitry Andric if (const GlobalValue *gv = dyn_cast<GlobalValue>(&val)) { 1460b57cec5SDimitry Andric unsigned annot; 1470b57cec5SDimitry Andric if (findOneNVVMAnnotation(gv, "texture", annot)) { 1480b57cec5SDimitry Andric assert((annot == 1) && "Unexpected annotation on a texture symbol"); 1490b57cec5SDimitry Andric return true; 1500b57cec5SDimitry Andric } 1510b57cec5SDimitry Andric } 1520b57cec5SDimitry Andric return false; 1530b57cec5SDimitry Andric } 1540b57cec5SDimitry Andric 1550b57cec5SDimitry Andric bool isSurface(const Value &val) { 1560b57cec5SDimitry Andric if (const GlobalValue *gv = dyn_cast<GlobalValue>(&val)) { 1570b57cec5SDimitry Andric unsigned annot; 1580b57cec5SDimitry Andric if (findOneNVVMAnnotation(gv, "surface", annot)) { 1590b57cec5SDimitry Andric assert((annot == 1) && "Unexpected annotation on a surface symbol"); 1600b57cec5SDimitry Andric return true; 1610b57cec5SDimitry Andric } 1620b57cec5SDimitry Andric } 1630b57cec5SDimitry Andric return false; 1640b57cec5SDimitry Andric } 1650b57cec5SDimitry Andric 1660b57cec5SDimitry Andric bool isSampler(const Value &val) { 1670b57cec5SDimitry Andric const char *AnnotationName = "sampler"; 1680b57cec5SDimitry Andric 1690b57cec5SDimitry Andric if (const GlobalValue *gv = dyn_cast<GlobalValue>(&val)) { 1700b57cec5SDimitry Andric unsigned annot; 1710b57cec5SDimitry Andric if (findOneNVVMAnnotation(gv, AnnotationName, annot)) { 1720b57cec5SDimitry Andric assert((annot == 1) && "Unexpected annotation on a sampler symbol"); 1730b57cec5SDimitry Andric return true; 1740b57cec5SDimitry Andric } 1750b57cec5SDimitry Andric } 1760b57cec5SDimitry Andric if (const Argument *arg = dyn_cast<Argument>(&val)) { 1770b57cec5SDimitry Andric const Function *func = arg->getParent(); 1780b57cec5SDimitry Andric std::vector<unsigned> annot; 1790b57cec5SDimitry Andric if (findAllNVVMAnnotation(func, AnnotationName, annot)) { 1800b57cec5SDimitry Andric if (is_contained(annot, arg->getArgNo())) 1810b57cec5SDimitry Andric return true; 1820b57cec5SDimitry Andric } 1830b57cec5SDimitry Andric } 1840b57cec5SDimitry Andric return false; 1850b57cec5SDimitry Andric } 1860b57cec5SDimitry Andric 1870b57cec5SDimitry Andric bool isImageReadOnly(const Value &val) { 1880b57cec5SDimitry Andric if (const Argument *arg = dyn_cast<Argument>(&val)) { 1890b57cec5SDimitry Andric const Function *func = arg->getParent(); 1900b57cec5SDimitry Andric std::vector<unsigned> annot; 1910b57cec5SDimitry Andric if (findAllNVVMAnnotation(func, "rdoimage", annot)) { 1920b57cec5SDimitry Andric if (is_contained(annot, arg->getArgNo())) 1930b57cec5SDimitry Andric return true; 1940b57cec5SDimitry Andric } 1950b57cec5SDimitry Andric } 1960b57cec5SDimitry Andric return false; 1970b57cec5SDimitry Andric } 1980b57cec5SDimitry Andric 1990b57cec5SDimitry Andric bool isImageWriteOnly(const Value &val) { 2000b57cec5SDimitry Andric if (const Argument *arg = dyn_cast<Argument>(&val)) { 2010b57cec5SDimitry Andric const Function *func = arg->getParent(); 2020b57cec5SDimitry Andric std::vector<unsigned> annot; 2030b57cec5SDimitry Andric if (findAllNVVMAnnotation(func, "wroimage", annot)) { 2040b57cec5SDimitry Andric if (is_contained(annot, arg->getArgNo())) 2050b57cec5SDimitry Andric return true; 2060b57cec5SDimitry Andric } 2070b57cec5SDimitry Andric } 2080b57cec5SDimitry Andric return false; 2090b57cec5SDimitry Andric } 2100b57cec5SDimitry Andric 2110b57cec5SDimitry Andric bool isImageReadWrite(const Value &val) { 2120b57cec5SDimitry Andric if (const Argument *arg = dyn_cast<Argument>(&val)) { 2130b57cec5SDimitry Andric const Function *func = arg->getParent(); 2140b57cec5SDimitry Andric std::vector<unsigned> annot; 2150b57cec5SDimitry Andric if (findAllNVVMAnnotation(func, "rdwrimage", annot)) { 2160b57cec5SDimitry Andric if (is_contained(annot, arg->getArgNo())) 2170b57cec5SDimitry Andric return true; 2180b57cec5SDimitry Andric } 2190b57cec5SDimitry Andric } 2200b57cec5SDimitry Andric return false; 2210b57cec5SDimitry Andric } 2220b57cec5SDimitry Andric 2230b57cec5SDimitry Andric bool isImage(const Value &val) { 2240b57cec5SDimitry Andric return isImageReadOnly(val) || isImageWriteOnly(val) || isImageReadWrite(val); 2250b57cec5SDimitry Andric } 2260b57cec5SDimitry Andric 2270b57cec5SDimitry Andric bool isManaged(const Value &val) { 2280b57cec5SDimitry Andric if(const GlobalValue *gv = dyn_cast<GlobalValue>(&val)) { 2290b57cec5SDimitry Andric unsigned annot; 2300b57cec5SDimitry Andric if (findOneNVVMAnnotation(gv, "managed", annot)) { 2310b57cec5SDimitry Andric assert((annot == 1) && "Unexpected annotation on a managed symbol"); 2320b57cec5SDimitry Andric return true; 2330b57cec5SDimitry Andric } 2340b57cec5SDimitry Andric } 2350b57cec5SDimitry Andric return false; 2360b57cec5SDimitry Andric } 2370b57cec5SDimitry Andric 2380b57cec5SDimitry Andric std::string getTextureName(const Value &val) { 2390b57cec5SDimitry Andric assert(val.hasName() && "Found texture variable with no name"); 2405ffd83dbSDimitry Andric return std::string(val.getName()); 2410b57cec5SDimitry Andric } 2420b57cec5SDimitry Andric 2430b57cec5SDimitry Andric std::string getSurfaceName(const Value &val) { 2440b57cec5SDimitry Andric assert(val.hasName() && "Found surface variable with no name"); 2455ffd83dbSDimitry Andric return std::string(val.getName()); 2460b57cec5SDimitry Andric } 2470b57cec5SDimitry Andric 2480b57cec5SDimitry Andric std::string getSamplerName(const Value &val) { 2490b57cec5SDimitry Andric assert(val.hasName() && "Found sampler variable with no name"); 2505ffd83dbSDimitry Andric return std::string(val.getName()); 2510b57cec5SDimitry Andric } 2520b57cec5SDimitry Andric 2530b57cec5SDimitry Andric bool getMaxNTIDx(const Function &F, unsigned &x) { 2540b57cec5SDimitry Andric return findOneNVVMAnnotation(&F, "maxntidx", x); 2550b57cec5SDimitry Andric } 2560b57cec5SDimitry Andric 2570b57cec5SDimitry Andric bool getMaxNTIDy(const Function &F, unsigned &y) { 2580b57cec5SDimitry Andric return findOneNVVMAnnotation(&F, "maxntidy", y); 2590b57cec5SDimitry Andric } 2600b57cec5SDimitry Andric 2610b57cec5SDimitry Andric bool getMaxNTIDz(const Function &F, unsigned &z) { 2620b57cec5SDimitry Andric return findOneNVVMAnnotation(&F, "maxntidz", z); 2630b57cec5SDimitry Andric } 2640b57cec5SDimitry Andric 2650b57cec5SDimitry Andric bool getReqNTIDx(const Function &F, unsigned &x) { 2660b57cec5SDimitry Andric return findOneNVVMAnnotation(&F, "reqntidx", x); 2670b57cec5SDimitry Andric } 2680b57cec5SDimitry Andric 2690b57cec5SDimitry Andric bool getReqNTIDy(const Function &F, unsigned &y) { 2700b57cec5SDimitry Andric return findOneNVVMAnnotation(&F, "reqntidy", y); 2710b57cec5SDimitry Andric } 2720b57cec5SDimitry Andric 2730b57cec5SDimitry Andric bool getReqNTIDz(const Function &F, unsigned &z) { 2740b57cec5SDimitry Andric return findOneNVVMAnnotation(&F, "reqntidz", z); 2750b57cec5SDimitry Andric } 2760b57cec5SDimitry Andric 2770b57cec5SDimitry Andric bool getMinCTASm(const Function &F, unsigned &x) { 2780b57cec5SDimitry Andric return findOneNVVMAnnotation(&F, "minctasm", x); 2790b57cec5SDimitry Andric } 2800b57cec5SDimitry Andric 2810b57cec5SDimitry Andric bool getMaxNReg(const Function &F, unsigned &x) { 2820b57cec5SDimitry Andric return findOneNVVMAnnotation(&F, "maxnreg", x); 2830b57cec5SDimitry Andric } 2840b57cec5SDimitry Andric 2850b57cec5SDimitry Andric bool isKernelFunction(const Function &F) { 2860b57cec5SDimitry Andric unsigned x = 0; 2870b57cec5SDimitry Andric bool retval = findOneNVVMAnnotation(&F, "kernel", x); 2880b57cec5SDimitry Andric if (!retval) { 2890b57cec5SDimitry Andric // There is no NVVM metadata, check the calling convention 2900b57cec5SDimitry Andric return F.getCallingConv() == CallingConv::PTX_Kernel; 2910b57cec5SDimitry Andric } 2920b57cec5SDimitry Andric return (x == 1); 2930b57cec5SDimitry Andric } 2940b57cec5SDimitry Andric 2950b57cec5SDimitry Andric bool getAlign(const Function &F, unsigned index, unsigned &align) { 2960b57cec5SDimitry Andric std::vector<unsigned> Vs; 2970b57cec5SDimitry Andric bool retval = findAllNVVMAnnotation(&F, "align", Vs); 2980b57cec5SDimitry Andric if (!retval) 2990b57cec5SDimitry Andric return false; 30004eeddc0SDimitry Andric for (unsigned v : Vs) { 3010b57cec5SDimitry Andric if ((v >> 16) == index) { 3020b57cec5SDimitry Andric align = v & 0xFFFF; 3030b57cec5SDimitry Andric return true; 3040b57cec5SDimitry Andric } 3050b57cec5SDimitry Andric } 3060b57cec5SDimitry Andric return false; 3070b57cec5SDimitry Andric } 3080b57cec5SDimitry Andric 3090b57cec5SDimitry Andric bool getAlign(const CallInst &I, unsigned index, unsigned &align) { 3100b57cec5SDimitry Andric if (MDNode *alignNode = I.getMetadata("callalign")) { 3110b57cec5SDimitry Andric for (int i = 0, n = alignNode->getNumOperands(); i < n; i++) { 3120b57cec5SDimitry Andric if (const ConstantInt *CI = 3130b57cec5SDimitry Andric mdconst::dyn_extract<ConstantInt>(alignNode->getOperand(i))) { 3140b57cec5SDimitry Andric unsigned v = CI->getZExtValue(); 3150b57cec5SDimitry Andric if ((v >> 16) == index) { 3160b57cec5SDimitry Andric align = v & 0xFFFF; 3170b57cec5SDimitry Andric return true; 3180b57cec5SDimitry Andric } 3190b57cec5SDimitry Andric if ((v >> 16) > index) { 3200b57cec5SDimitry Andric return false; 3210b57cec5SDimitry Andric } 3220b57cec5SDimitry Andric } 3230b57cec5SDimitry Andric } 3240b57cec5SDimitry Andric } 3250b57cec5SDimitry Andric return false; 3260b57cec5SDimitry Andric } 3270b57cec5SDimitry Andric 328*bdd1243dSDimitry Andric Function *getMaybeBitcastedCallee(const CallBase *CB) { 329*bdd1243dSDimitry Andric return dyn_cast<Function>(CB->getCalledOperand()->stripPointerCasts()); 330*bdd1243dSDimitry Andric } 331*bdd1243dSDimitry Andric 332*bdd1243dSDimitry Andric bool shouldEmitPTXNoReturn(const Value *V, const TargetMachine &TM) { 333*bdd1243dSDimitry Andric const auto &ST = 334*bdd1243dSDimitry Andric *static_cast<const NVPTXTargetMachine &>(TM).getSubtargetImpl(); 335*bdd1243dSDimitry Andric if (!ST.hasNoReturn()) 336*bdd1243dSDimitry Andric return false; 337*bdd1243dSDimitry Andric 338*bdd1243dSDimitry Andric assert((isa<Function>(V) || isa<CallInst>(V)) && 339*bdd1243dSDimitry Andric "Expect either a call instruction or a function"); 340*bdd1243dSDimitry Andric 341*bdd1243dSDimitry Andric if (const CallInst *CallI = dyn_cast<CallInst>(V)) 342*bdd1243dSDimitry Andric return CallI->doesNotReturn() && 343*bdd1243dSDimitry Andric CallI->getFunctionType()->getReturnType()->isVoidTy(); 344*bdd1243dSDimitry Andric 345*bdd1243dSDimitry Andric const Function *F = cast<Function>(V); 346*bdd1243dSDimitry Andric return F->doesNotReturn() && 347*bdd1243dSDimitry Andric F->getFunctionType()->getReturnType()->isVoidTy() && 348*bdd1243dSDimitry Andric !isKernelFunction(*F); 349*bdd1243dSDimitry Andric } 350*bdd1243dSDimitry Andric 3510b57cec5SDimitry Andric } // namespace llvm 352