blob: 5cf7b6691e6381aa1fdb406040fe6d3435e669cd [file] [log] [blame]
Artem Belevich49e9a812016-05-26 17:02:56 +00001//===- NVVMIntrRange.cpp - Set !range metadata for NVVM intrinsics --------===//
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
Artem Belevich49e9a812016-05-26 17:02:56 +00006//
7//===----------------------------------------------------------------------===//
8//
9// This pass adds appropriate !range metadata for calls to NVVM
10// intrinsics that return a limited range of values.
11//
12//===----------------------------------------------------------------------===//
13
14#include "NVPTX.h"
15#include "llvm/IR/Constants.h"
16#include "llvm/IR/InstIterator.h"
Artem Belevich49e9a812016-05-26 17:02:56 +000017#include "llvm/IR/Instructions.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000018#include "llvm/IR/Intrinsics.h"
Artem Belevich49e9a812016-05-26 17:02:56 +000019
20using namespace llvm;
21
22#define DEBUG_TYPE "nvvm-intr-range"
23
24namespace llvm { void initializeNVVMIntrRangePass(PassRegistry &); }
25
26// Add !range metadata based on limits of given SM variant.
27static cl::opt<unsigned> NVVMIntrRangeSM("nvvm-intr-range-sm", cl::init(20),
28 cl::Hidden, cl::desc("SM variant"));
29
30namespace {
31class NVVMIntrRange : public FunctionPass {
32 private:
33 struct {
34 unsigned x, y, z;
35 } MaxBlockSize, MaxGridSize;
36
37 public:
38 static char ID;
39 NVVMIntrRange() : NVVMIntrRange(NVVMIntrRangeSM) {}
Artem Belevich11f69ba2016-05-26 17:29:20 +000040 NVVMIntrRange(unsigned int SmVersion) : FunctionPass(ID) {
41 MaxBlockSize.x = 1024;
42 MaxBlockSize.y = 1024;
43 MaxBlockSize.z = 64;
44
45 MaxGridSize.x = SmVersion >= 30 ? 0x7fffffff : 0xffff;
46 MaxGridSize.y = 0xffff;
47 MaxGridSize.z = 0xffff;
48
Artem Belevich49e9a812016-05-26 17:02:56 +000049 initializeNVVMIntrRangePass(*PassRegistry::getPassRegistry());
50 }
51
52 bool runOnFunction(Function &) override;
53};
54}
55
56FunctionPass *llvm::createNVVMIntrRangePass(unsigned int SmVersion) {
57 return new NVVMIntrRange(SmVersion);
58}
59
60char NVVMIntrRange::ID = 0;
61INITIALIZE_PASS(NVVMIntrRange, "nvvm-intr-range",
62 "Add !range metadata to NVVM intrinsics.", false, false)
63
64// Adds the passed-in [Low,High) range information as metadata to the
65// passed-in call instruction.
66static bool addRangeMetadata(uint64_t Low, uint64_t High, CallInst *C) {
David Majnemer5fa7d482016-12-22 00:51:59 +000067 // This call already has range metadata, nothing to do.
68 if (C->getMetadata(LLVMContext::MD_range))
69 return false;
70
Artem Belevich49e9a812016-05-26 17:02:56 +000071 LLVMContext &Context = C->getParent()->getContext();
72 IntegerType *Int32Ty = Type::getInt32Ty(Context);
73 Metadata *LowAndHigh[] = {
74 ConstantAsMetadata::get(ConstantInt::get(Int32Ty, Low)),
75 ConstantAsMetadata::get(ConstantInt::get(Int32Ty, High))};
76 C->setMetadata(LLVMContext::MD_range, MDNode::get(Context, LowAndHigh));
77 return true;
78}
79
80bool NVVMIntrRange::runOnFunction(Function &F) {
81 // Go through the calls in this function.
82 bool Changed = false;
83 for (Instruction &I : instructions(F)) {
84 CallInst *Call = dyn_cast<CallInst>(&I);
85 if (!Call)
86 continue;
87
88 if (Function *Callee = Call->getCalledFunction()) {
89 switch (Callee->getIntrinsicID()) {
90 // Index within block
Artem Belevich49e9a812016-05-26 17:02:56 +000091 case Intrinsic::nvvm_read_ptx_sreg_tid_x:
92 Changed |= addRangeMetadata(0, MaxBlockSize.x, Call);
93 break;
Artem Belevich49e9a812016-05-26 17:02:56 +000094 case Intrinsic::nvvm_read_ptx_sreg_tid_y:
95 Changed |= addRangeMetadata(0, MaxBlockSize.y, Call);
96 break;
Artem Belevich49e9a812016-05-26 17:02:56 +000097 case Intrinsic::nvvm_read_ptx_sreg_tid_z:
98 Changed |= addRangeMetadata(0, MaxBlockSize.z, Call);
99 break;
100
101 // Block size
Artem Belevich49e9a812016-05-26 17:02:56 +0000102 case Intrinsic::nvvm_read_ptx_sreg_ntid_x:
103 Changed |= addRangeMetadata(1, MaxBlockSize.x+1, Call);
104 break;
Artem Belevich49e9a812016-05-26 17:02:56 +0000105 case Intrinsic::nvvm_read_ptx_sreg_ntid_y:
106 Changed |= addRangeMetadata(1, MaxBlockSize.y+1, Call);
107 break;
Artem Belevich49e9a812016-05-26 17:02:56 +0000108 case Intrinsic::nvvm_read_ptx_sreg_ntid_z:
109 Changed |= addRangeMetadata(1, MaxBlockSize.z+1, Call);
110 break;
111
112 // Index within grid
Artem Belevich49e9a812016-05-26 17:02:56 +0000113 case Intrinsic::nvvm_read_ptx_sreg_ctaid_x:
114 Changed |= addRangeMetadata(0, MaxGridSize.x, Call);
115 break;
Artem Belevich49e9a812016-05-26 17:02:56 +0000116 case Intrinsic::nvvm_read_ptx_sreg_ctaid_y:
117 Changed |= addRangeMetadata(0, MaxGridSize.y, Call);
118 break;
Artem Belevich49e9a812016-05-26 17:02:56 +0000119 case Intrinsic::nvvm_read_ptx_sreg_ctaid_z:
120 Changed |= addRangeMetadata(0, MaxGridSize.z, Call);
121 break;
122
123 // Grid size
Artem Belevich49e9a812016-05-26 17:02:56 +0000124 case Intrinsic::nvvm_read_ptx_sreg_nctaid_x:
125 Changed |= addRangeMetadata(1, MaxGridSize.x+1, Call);
126 break;
Artem Belevich49e9a812016-05-26 17:02:56 +0000127 case Intrinsic::nvvm_read_ptx_sreg_nctaid_y:
128 Changed |= addRangeMetadata(1, MaxGridSize.y+1, Call);
129 break;
Artem Belevich49e9a812016-05-26 17:02:56 +0000130 case Intrinsic::nvvm_read_ptx_sreg_nctaid_z:
131 Changed |= addRangeMetadata(1, MaxGridSize.z+1, Call);
132 break;
133
134 // warp size is constant 32.
135 case Intrinsic::nvvm_read_ptx_sreg_warpsize:
136 Changed |= addRangeMetadata(32, 32+1, Call);
137 break;
138
139 // Lane ID is [0..warpsize)
Justin Bognera466cc32016-07-07 16:40:17 +0000140 case Intrinsic::nvvm_read_ptx_sreg_laneid:
Artem Belevich49e9a812016-05-26 17:02:56 +0000141 Changed |= addRangeMetadata(0, 32, Call);
142 break;
143
144 default:
145 break;
146 }
147 }
148 }
149
150 return Changed;
151}