Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 1 | //===- AMDGPUBaseInfo.cpp - AMDGPU Base encoding information --------------===// |
Tom Stellard | 347ac79 | 2015-06-26 21:15:07 +0000 | [diff] [blame] | 2 | // |
Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame^] | 3 | // 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 |
Tom Stellard | 347ac79 | 2015-06-26 21:15:07 +0000 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 8 | |
Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 9 | #include "AMDGPUBaseInfo.h" |
Alexander Timofeev | 2e5eece | 2018-03-05 15:12:21 +0000 | [diff] [blame] | 10 | #include "AMDGPUTargetTransformInfo.h" |
Chandler Carruth | 6bda14b | 2017-06-06 11:49:48 +0000 | [diff] [blame] | 11 | #include "AMDGPU.h" |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 12 | #include "SIDefines.h" |
Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 13 | #include "llvm/ADT/StringRef.h" |
| 14 | #include "llvm/ADT/Triple.h" |
Zachary Turner | 264b5d9 | 2017-06-07 03:48:56 +0000 | [diff] [blame] | 15 | #include "llvm/BinaryFormat/ELF.h" |
Tom Stellard | 08efb7e | 2017-01-27 18:41:14 +0000 | [diff] [blame] | 16 | #include "llvm/CodeGen/MachineMemOperand.h" |
Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 17 | #include "llvm/IR/Attributes.h" |
Tom Stellard | 08efb7e | 2017-01-27 18:41:14 +0000 | [diff] [blame] | 18 | #include "llvm/IR/Constants.h" |
Tom Stellard | ac00eb5 | 2015-12-15 16:26:16 +0000 | [diff] [blame] | 19 | #include "llvm/IR/Function.h" |
Tom Stellard | e3b5aea | 2015-12-02 17:00:42 +0000 | [diff] [blame] | 20 | #include "llvm/IR/GlobalValue.h" |
Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 21 | #include "llvm/IR/Instruction.h" |
Tom Stellard | ca16621 | 2017-01-30 21:56:46 +0000 | [diff] [blame] | 22 | #include "llvm/IR/LLVMContext.h" |
Yaxun Liu | 1a14bfa | 2017-03-27 14:04:01 +0000 | [diff] [blame] | 23 | #include "llvm/IR/Module.h" |
Tom Stellard | e135ffd | 2015-09-25 21:41:28 +0000 | [diff] [blame] | 24 | #include "llvm/MC/MCContext.h" |
Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 25 | #include "llvm/MC/MCInstrDesc.h" |
Matt Arsenault | cad7fa8 | 2017-12-13 21:07:51 +0000 | [diff] [blame] | 26 | #include "llvm/MC/MCInstrInfo.h" |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 27 | #include "llvm/MC/MCRegisterInfo.h" |
Tom Stellard | e135ffd | 2015-09-25 21:41:28 +0000 | [diff] [blame] | 28 | #include "llvm/MC/MCSectionELF.h" |
Tom Stellard | 2b65ed3 | 2015-12-21 18:44:27 +0000 | [diff] [blame] | 29 | #include "llvm/MC/MCSubtargetInfo.h" |
Tom Stellard | 347ac79 | 2015-06-26 21:15:07 +0000 | [diff] [blame] | 30 | #include "llvm/MC/SubtargetFeature.h" |
Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 31 | #include "llvm/Support/Casting.h" |
Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 32 | #include "llvm/Support/ErrorHandling.h" |
| 33 | #include "llvm/Support/MathExtras.h" |
| 34 | #include <algorithm> |
| 35 | #include <cassert> |
| 36 | #include <cstdint> |
| 37 | #include <cstring> |
| 38 | #include <utility> |
Tom Stellard | 347ac79 | 2015-06-26 21:15:07 +0000 | [diff] [blame] | 39 | |
Matt Arsenault | 678e111 | 2017-04-10 17:58:06 +0000 | [diff] [blame] | 40 | #include "MCTargetDesc/AMDGPUMCTargetDesc.h" |
Tom Stellard | 347ac79 | 2015-06-26 21:15:07 +0000 | [diff] [blame] | 41 | |
Sam Kolton | a3ec5c1 | 2016-10-07 14:46:06 +0000 | [diff] [blame] | 42 | #define GET_INSTRINFO_NAMED_OPS |
Matt Arsenault | cad7fa8 | 2017-12-13 21:07:51 +0000 | [diff] [blame] | 43 | #define GET_INSTRMAP_INFO |
Sam Kolton | a3ec5c1 | 2016-10-07 14:46:06 +0000 | [diff] [blame] | 44 | #include "AMDGPUGenInstrInfo.inc" |
Matt Arsenault | cad7fa8 | 2017-12-13 21:07:51 +0000 | [diff] [blame] | 45 | #undef GET_INSTRMAP_INFO |
Sam Kolton | a3ec5c1 | 2016-10-07 14:46:06 +0000 | [diff] [blame] | 46 | #undef GET_INSTRINFO_NAMED_OPS |
Sam Kolton | a3ec5c1 | 2016-10-07 14:46:06 +0000 | [diff] [blame] | 47 | |
Konstantin Zhuravlyov | cdd4547 | 2016-10-11 18:58:22 +0000 | [diff] [blame] | 48 | namespace { |
| 49 | |
| 50 | /// \returns Bit mask for given bit \p Shift and bit \p Width. |
| 51 | unsigned getBitMask(unsigned Shift, unsigned Width) { |
| 52 | return ((1 << Width) - 1) << Shift; |
| 53 | } |
| 54 | |
Adrian Prantl | 5f8f34e4 | 2018-05-01 15:54:18 +0000 | [diff] [blame] | 55 | /// Packs \p Src into \p Dst for given bit \p Shift and bit \p Width. |
Konstantin Zhuravlyov | cdd4547 | 2016-10-11 18:58:22 +0000 | [diff] [blame] | 56 | /// |
| 57 | /// \returns Packed \p Dst. |
| 58 | unsigned packBits(unsigned Src, unsigned Dst, unsigned Shift, unsigned Width) { |
| 59 | Dst &= ~(1 << Shift) & ~getBitMask(Shift, Width); |
| 60 | Dst |= (Src << Shift) & getBitMask(Shift, Width); |
| 61 | return Dst; |
| 62 | } |
| 63 | |
Adrian Prantl | 5f8f34e4 | 2018-05-01 15:54:18 +0000 | [diff] [blame] | 64 | /// Unpacks bits from \p Src for given bit \p Shift and bit \p Width. |
Konstantin Zhuravlyov | cdd4547 | 2016-10-11 18:58:22 +0000 | [diff] [blame] | 65 | /// |
| 66 | /// \returns Unpacked bits. |
| 67 | unsigned unpackBits(unsigned Src, unsigned Shift, unsigned Width) { |
| 68 | return (Src & getBitMask(Shift, Width)) >> Shift; |
| 69 | } |
| 70 | |
Matt Arsenault | e823d92 | 2017-02-18 18:29:53 +0000 | [diff] [blame] | 71 | /// \returns Vmcnt bit shift (lower bits). |
| 72 | unsigned getVmcntBitShiftLo() { return 0; } |
Konstantin Zhuravlyov | cdd4547 | 2016-10-11 18:58:22 +0000 | [diff] [blame] | 73 | |
Matt Arsenault | e823d92 | 2017-02-18 18:29:53 +0000 | [diff] [blame] | 74 | /// \returns Vmcnt bit width (lower bits). |
| 75 | unsigned getVmcntBitWidthLo() { return 4; } |
Konstantin Zhuravlyov | cdd4547 | 2016-10-11 18:58:22 +0000 | [diff] [blame] | 76 | |
| 77 | /// \returns Expcnt bit shift. |
| 78 | unsigned getExpcntBitShift() { return 4; } |
| 79 | |
| 80 | /// \returns Expcnt bit width. |
| 81 | unsigned getExpcntBitWidth() { return 3; } |
| 82 | |
| 83 | /// \returns Lgkmcnt bit shift. |
| 84 | unsigned getLgkmcntBitShift() { return 8; } |
| 85 | |
| 86 | /// \returns Lgkmcnt bit width. |
| 87 | unsigned getLgkmcntBitWidth() { return 4; } |
| 88 | |
Matt Arsenault | e823d92 | 2017-02-18 18:29:53 +0000 | [diff] [blame] | 89 | /// \returns Vmcnt bit shift (higher bits). |
| 90 | unsigned getVmcntBitShiftHi() { return 14; } |
| 91 | |
| 92 | /// \returns Vmcnt bit width (higher bits). |
| 93 | unsigned getVmcntBitWidthHi() { return 2; } |
| 94 | |
Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 95 | } // end namespace anonymous |
Konstantin Zhuravlyov | cdd4547 | 2016-10-11 18:58:22 +0000 | [diff] [blame] | 96 | |
Tom Stellard | 347ac79 | 2015-06-26 21:15:07 +0000 | [diff] [blame] | 97 | namespace llvm { |
Konstantin Zhuravlyov | 3d1cc88 | 2017-04-21 19:45:22 +0000 | [diff] [blame] | 98 | |
Tom Stellard | 347ac79 | 2015-06-26 21:15:07 +0000 | [diff] [blame] | 99 | namespace AMDGPU { |
| 100 | |
Nicolai Haehnle | 0ab200b | 2018-06-21 13:36:44 +0000 | [diff] [blame] | 101 | struct MIMGInfo { |
| 102 | uint16_t Opcode; |
| 103 | uint16_t BaseOpcode; |
| 104 | uint8_t MIMGEncoding; |
| 105 | uint8_t VDataDwords; |
| 106 | uint8_t VAddrDwords; |
| 107 | }; |
Matt Arsenault | cad7fa8 | 2017-12-13 21:07:51 +0000 | [diff] [blame] | 108 | |
Nicolai Haehnle | 7a9c03f | 2018-06-21 13:36:57 +0000 | [diff] [blame] | 109 | #define GET_MIMGBaseOpcodesTable_IMPL |
| 110 | #define GET_MIMGDimInfoTable_IMPL |
Nicolai Haehnle | 0ab200b | 2018-06-21 13:36:44 +0000 | [diff] [blame] | 111 | #define GET_MIMGInfoTable_IMPL |
Ryan Taylor | 894c8fd | 2018-08-01 12:12:01 +0000 | [diff] [blame] | 112 | #define GET_MIMGLZMappingTable_IMPL |
Nicolai Haehnle | 0ab200b | 2018-06-21 13:36:44 +0000 | [diff] [blame] | 113 | #include "AMDGPUGenSearchableTables.inc" |
Matt Arsenault | cad7fa8 | 2017-12-13 21:07:51 +0000 | [diff] [blame] | 114 | |
Nicolai Haehnle | 7a9c03f | 2018-06-21 13:36:57 +0000 | [diff] [blame] | 115 | int getMIMGOpcode(unsigned BaseOpcode, unsigned MIMGEncoding, |
| 116 | unsigned VDataDwords, unsigned VAddrDwords) { |
| 117 | const MIMGInfo *Info = getMIMGOpcodeHelper(BaseOpcode, MIMGEncoding, |
| 118 | VDataDwords, VAddrDwords); |
| 119 | return Info ? Info->Opcode : -1; |
| 120 | } |
| 121 | |
Nicolai Haehnle | 0ab200b | 2018-06-21 13:36:44 +0000 | [diff] [blame] | 122 | int getMaskedMIMGOp(unsigned Opc, unsigned NewChannels) { |
| 123 | const MIMGInfo *OrigInfo = getMIMGInfo(Opc); |
| 124 | const MIMGInfo *NewInfo = |
| 125 | getMIMGOpcodeHelper(OrigInfo->BaseOpcode, OrigInfo->MIMGEncoding, |
| 126 | NewChannels, OrigInfo->VAddrDwords); |
| 127 | return NewInfo ? NewInfo->Opcode : -1; |
Dmitry Preobrazhensky | 0b4eb1e | 2018-01-26 15:43:29 +0000 | [diff] [blame] | 128 | } |
| 129 | |
Neil Henning | 76504a4 | 2018-12-12 16:15:21 +0000 | [diff] [blame] | 130 | struct MUBUFInfo { |
| 131 | uint16_t Opcode; |
| 132 | uint16_t BaseOpcode; |
| 133 | uint8_t dwords; |
| 134 | bool has_vaddr; |
| 135 | bool has_srsrc; |
| 136 | bool has_soffset; |
| 137 | }; |
| 138 | |
| 139 | #define GET_MUBUFInfoTable_DECL |
| 140 | #define GET_MUBUFInfoTable_IMPL |
| 141 | #include "AMDGPUGenSearchableTables.inc" |
| 142 | |
| 143 | int getMUBUFBaseOpcode(unsigned Opc) { |
| 144 | const MUBUFInfo *Info = getMUBUFInfoFromOpcode(Opc); |
| 145 | return Info ? Info->BaseOpcode : -1; |
| 146 | } |
| 147 | |
| 148 | int getMUBUFOpcode(unsigned BaseOpc, unsigned Dwords) { |
| 149 | const MUBUFInfo *Info = getMUBUFInfoFromBaseOpcodeAndDwords(BaseOpc, Dwords); |
| 150 | return Info ? Info->Opcode : -1; |
| 151 | } |
| 152 | |
| 153 | int getMUBUFDwords(unsigned Opc) { |
| 154 | const MUBUFInfo *Info = getMUBUFOpcodeHelper(Opc); |
| 155 | return Info ? Info->dwords : 0; |
| 156 | } |
| 157 | |
| 158 | bool getMUBUFHasVAddr(unsigned Opc) { |
| 159 | const MUBUFInfo *Info = getMUBUFOpcodeHelper(Opc); |
| 160 | return Info ? Info->has_vaddr : false; |
| 161 | } |
| 162 | |
| 163 | bool getMUBUFHasSrsrc(unsigned Opc) { |
| 164 | const MUBUFInfo *Info = getMUBUFOpcodeHelper(Opc); |
| 165 | return Info ? Info->has_srsrc : false; |
| 166 | } |
| 167 | |
| 168 | bool getMUBUFHasSoffset(unsigned Opc) { |
| 169 | const MUBUFInfo *Info = getMUBUFOpcodeHelper(Opc); |
| 170 | return Info ? Info->has_soffset : false; |
| 171 | } |
| 172 | |
Matt Arsenault | cad7fa8 | 2017-12-13 21:07:51 +0000 | [diff] [blame] | 173 | // Wrapper for Tablegen'd function. enum Subtarget is not defined in any |
| 174 | // header files, so we need to wrap it in a function that takes unsigned |
| 175 | // instead. |
| 176 | int getMCOpcode(uint16_t Opcode, unsigned Gen) { |
| 177 | return getMCOpcodeGen(Opcode, static_cast<Subtarget>(Gen)); |
| 178 | } |
| 179 | |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 180 | namespace IsaInfo { |
Tom Stellard | 347ac79 | 2015-06-26 21:15:07 +0000 | [diff] [blame] | 181 | |
Konstantin Zhuravlyov | 9c05b2b | 2017-10-14 15:40:33 +0000 | [diff] [blame] | 182 | void streamIsaVersion(const MCSubtargetInfo *STI, raw_ostream &Stream) { |
| 183 | auto TargetTriple = STI->getTargetTriple(); |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 184 | auto Version = getIsaVersion(STI->getCPU()); |
Konstantin Zhuravlyov | 9c05b2b | 2017-10-14 15:40:33 +0000 | [diff] [blame] | 185 | |
| 186 | Stream << TargetTriple.getArchName() << '-' |
| 187 | << TargetTriple.getVendorName() << '-' |
| 188 | << TargetTriple.getOSName() << '-' |
| 189 | << TargetTriple.getEnvironmentName() << '-' |
| 190 | << "gfx" |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 191 | << Version.Major |
| 192 | << Version.Minor |
| 193 | << Version.Stepping; |
Scott Linder | 1e8c2c7 | 2018-06-21 19:38:56 +0000 | [diff] [blame] | 194 | |
| 195 | if (hasXNACK(*STI)) |
| 196 | Stream << "+xnack"; |
Konstantin Zhuravlyov | 108927b | 2018-11-05 22:44:19 +0000 | [diff] [blame] | 197 | if (hasSRAMECC(*STI)) |
| 198 | Stream << "+sram-ecc"; |
Scott Linder | 1e8c2c7 | 2018-06-21 19:38:56 +0000 | [diff] [blame] | 199 | |
Konstantin Zhuravlyov | 9c05b2b | 2017-10-14 15:40:33 +0000 | [diff] [blame] | 200 | Stream.flush(); |
| 201 | } |
| 202 | |
Konstantin Zhuravlyov | 00f2cb1 | 2018-06-12 18:02:46 +0000 | [diff] [blame] | 203 | bool hasCodeObjectV3(const MCSubtargetInfo *STI) { |
Konstantin Zhuravlyov | af7b5d7 | 2018-11-15 23:14:23 +0000 | [diff] [blame] | 204 | return STI->getTargetTriple().getOS() == Triple::AMDHSA && |
| 205 | STI->getFeatureBits().test(FeatureCodeObjectV3); |
Konstantin Zhuravlyov | eda425e | 2017-10-14 15:59:07 +0000 | [diff] [blame] | 206 | } |
| 207 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 208 | unsigned getWavefrontSize(const MCSubtargetInfo *STI) { |
| 209 | if (STI->getFeatureBits().test(FeatureWavefrontSize16)) |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 210 | return 16; |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 211 | if (STI->getFeatureBits().test(FeatureWavefrontSize32)) |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 212 | return 32; |
| 213 | |
| 214 | return 64; |
| 215 | } |
| 216 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 217 | unsigned getLocalMemorySize(const MCSubtargetInfo *STI) { |
| 218 | if (STI->getFeatureBits().test(FeatureLocalMemorySize32768)) |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 219 | return 32768; |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 220 | if (STI->getFeatureBits().test(FeatureLocalMemorySize65536)) |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 221 | return 65536; |
| 222 | |
| 223 | return 0; |
| 224 | } |
| 225 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 226 | unsigned getEUsPerCU(const MCSubtargetInfo *STI) { |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 227 | return 4; |
| 228 | } |
| 229 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 230 | unsigned getMaxWorkGroupsPerCU(const MCSubtargetInfo *STI, |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 231 | unsigned FlatWorkGroupSize) { |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 232 | if (!STI->getFeatureBits().test(FeatureGCN)) |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 233 | return 8; |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 234 | unsigned N = getWavesPerWorkGroup(STI, FlatWorkGroupSize); |
Stanislav Mekhanoshin | 19f98c6 | 2017-02-15 01:03:59 +0000 | [diff] [blame] | 235 | if (N == 1) |
| 236 | return 40; |
| 237 | N = 40 / N; |
| 238 | return std::min(N, 16u); |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 239 | } |
| 240 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 241 | unsigned getMaxWavesPerCU(const MCSubtargetInfo *STI) { |
| 242 | return getMaxWavesPerEU() * getEUsPerCU(STI); |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 243 | } |
| 244 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 245 | unsigned getMaxWavesPerCU(const MCSubtargetInfo *STI, |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 246 | unsigned FlatWorkGroupSize) { |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 247 | return getWavesPerWorkGroup(STI, FlatWorkGroupSize); |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 248 | } |
| 249 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 250 | unsigned getMinWavesPerEU(const MCSubtargetInfo *STI) { |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 251 | return 1; |
| 252 | } |
| 253 | |
Tom Stellard | c5a154d | 2018-06-28 23:47:12 +0000 | [diff] [blame] | 254 | unsigned getMaxWavesPerEU() { |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 255 | // FIXME: Need to take scratch memory into account. |
| 256 | return 10; |
| 257 | } |
| 258 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 259 | unsigned getMaxWavesPerEU(const MCSubtargetInfo *STI, |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 260 | unsigned FlatWorkGroupSize) { |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 261 | return alignTo(getMaxWavesPerCU(STI, FlatWorkGroupSize), |
| 262 | getEUsPerCU(STI)) / getEUsPerCU(STI); |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 263 | } |
| 264 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 265 | unsigned getMinFlatWorkGroupSize(const MCSubtargetInfo *STI) { |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 266 | return 1; |
| 267 | } |
| 268 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 269 | unsigned getMaxFlatWorkGroupSize(const MCSubtargetInfo *STI) { |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 270 | return 2048; |
| 271 | } |
| 272 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 273 | unsigned getWavesPerWorkGroup(const MCSubtargetInfo *STI, |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 274 | unsigned FlatWorkGroupSize) { |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 275 | return alignTo(FlatWorkGroupSize, getWavefrontSize(STI)) / |
| 276 | getWavefrontSize(STI); |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 277 | } |
| 278 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 279 | unsigned getSGPRAllocGranule(const MCSubtargetInfo *STI) { |
| 280 | IsaVersion Version = getIsaVersion(STI->getCPU()); |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 281 | if (Version.Major >= 8) |
| 282 | return 16; |
| 283 | return 8; |
| 284 | } |
| 285 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 286 | unsigned getSGPREncodingGranule(const MCSubtargetInfo *STI) { |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 287 | return 8; |
| 288 | } |
| 289 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 290 | unsigned getTotalNumSGPRs(const MCSubtargetInfo *STI) { |
| 291 | IsaVersion Version = getIsaVersion(STI->getCPU()); |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 292 | if (Version.Major >= 8) |
| 293 | return 800; |
| 294 | return 512; |
| 295 | } |
| 296 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 297 | unsigned getAddressableNumSGPRs(const MCSubtargetInfo *STI) { |
| 298 | if (STI->getFeatureBits().test(FeatureSGPRInitBug)) |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 299 | return FIXED_NUM_SGPRS_FOR_INIT_BUG; |
| 300 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 301 | IsaVersion Version = getIsaVersion(STI->getCPU()); |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 302 | if (Version.Major >= 8) |
| 303 | return 102; |
| 304 | return 104; |
| 305 | } |
| 306 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 307 | unsigned getMinNumSGPRs(const MCSubtargetInfo *STI, unsigned WavesPerEU) { |
Konstantin Zhuravlyov | fd87137 | 2017-02-09 21:33:23 +0000 | [diff] [blame] | 308 | assert(WavesPerEU != 0); |
| 309 | |
Tom Stellard | c5a154d | 2018-06-28 23:47:12 +0000 | [diff] [blame] | 310 | if (WavesPerEU >= getMaxWavesPerEU()) |
Konstantin Zhuravlyov | fd87137 | 2017-02-09 21:33:23 +0000 | [diff] [blame] | 311 | return 0; |
Konstantin Zhuravlyov | c72ece6 | 2018-05-16 20:47:48 +0000 | [diff] [blame] | 312 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 313 | unsigned MinNumSGPRs = getTotalNumSGPRs(STI) / (WavesPerEU + 1); |
| 314 | if (STI->getFeatureBits().test(FeatureTrapHandler)) |
Konstantin Zhuravlyov | c72ece6 | 2018-05-16 20:47:48 +0000 | [diff] [blame] | 315 | MinNumSGPRs -= std::min(MinNumSGPRs, (unsigned)TRAP_NUM_SGPRS); |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 316 | MinNumSGPRs = alignDown(MinNumSGPRs, getSGPRAllocGranule(STI)) + 1; |
| 317 | return std::min(MinNumSGPRs, getAddressableNumSGPRs(STI)); |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 318 | } |
| 319 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 320 | unsigned getMaxNumSGPRs(const MCSubtargetInfo *STI, unsigned WavesPerEU, |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 321 | bool Addressable) { |
Konstantin Zhuravlyov | fd87137 | 2017-02-09 21:33:23 +0000 | [diff] [blame] | 322 | assert(WavesPerEU != 0); |
| 323 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 324 | IsaVersion Version = getIsaVersion(STI->getCPU()); |
| 325 | unsigned AddressableNumSGPRs = getAddressableNumSGPRs(STI); |
Konstantin Zhuravlyov | fd87137 | 2017-02-09 21:33:23 +0000 | [diff] [blame] | 326 | if (Version.Major >= 8 && !Addressable) |
| 327 | AddressableNumSGPRs = 112; |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 328 | unsigned MaxNumSGPRs = getTotalNumSGPRs(STI) / WavesPerEU; |
| 329 | if (STI->getFeatureBits().test(FeatureTrapHandler)) |
Konstantin Zhuravlyov | c72ece6 | 2018-05-16 20:47:48 +0000 | [diff] [blame] | 330 | MaxNumSGPRs -= std::min(MaxNumSGPRs, (unsigned)TRAP_NUM_SGPRS); |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 331 | MaxNumSGPRs = alignDown(MaxNumSGPRs, getSGPRAllocGranule(STI)); |
Konstantin Zhuravlyov | fd87137 | 2017-02-09 21:33:23 +0000 | [diff] [blame] | 332 | return std::min(MaxNumSGPRs, AddressableNumSGPRs); |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 333 | } |
| 334 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 335 | unsigned getNumExtraSGPRs(const MCSubtargetInfo *STI, bool VCCUsed, |
Scott Linder | 1e8c2c7 | 2018-06-21 19:38:56 +0000 | [diff] [blame] | 336 | bool FlatScrUsed, bool XNACKUsed) { |
| 337 | unsigned ExtraSGPRs = 0; |
| 338 | if (VCCUsed) |
| 339 | ExtraSGPRs = 2; |
| 340 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 341 | IsaVersion Version = getIsaVersion(STI->getCPU()); |
Scott Linder | 1e8c2c7 | 2018-06-21 19:38:56 +0000 | [diff] [blame] | 342 | if (Version.Major < 8) { |
| 343 | if (FlatScrUsed) |
| 344 | ExtraSGPRs = 4; |
| 345 | } else { |
| 346 | if (XNACKUsed) |
| 347 | ExtraSGPRs = 4; |
| 348 | |
| 349 | if (FlatScrUsed) |
| 350 | ExtraSGPRs = 6; |
| 351 | } |
| 352 | |
| 353 | return ExtraSGPRs; |
| 354 | } |
| 355 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 356 | unsigned getNumExtraSGPRs(const MCSubtargetInfo *STI, bool VCCUsed, |
Scott Linder | 1e8c2c7 | 2018-06-21 19:38:56 +0000 | [diff] [blame] | 357 | bool FlatScrUsed) { |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 358 | return getNumExtraSGPRs(STI, VCCUsed, FlatScrUsed, |
| 359 | STI->getFeatureBits().test(AMDGPU::FeatureXNACK)); |
Scott Linder | 1e8c2c7 | 2018-06-21 19:38:56 +0000 | [diff] [blame] | 360 | } |
| 361 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 362 | unsigned getNumSGPRBlocks(const MCSubtargetInfo *STI, unsigned NumSGPRs) { |
| 363 | NumSGPRs = alignTo(std::max(1u, NumSGPRs), getSGPREncodingGranule(STI)); |
Scott Linder | 1e8c2c7 | 2018-06-21 19:38:56 +0000 | [diff] [blame] | 364 | // SGPRBlocks is actual number of SGPR blocks minus 1. |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 365 | return NumSGPRs / getSGPREncodingGranule(STI) - 1; |
Scott Linder | 1e8c2c7 | 2018-06-21 19:38:56 +0000 | [diff] [blame] | 366 | } |
| 367 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 368 | unsigned getVGPRAllocGranule(const MCSubtargetInfo *STI) { |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 369 | return 4; |
| 370 | } |
| 371 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 372 | unsigned getVGPREncodingGranule(const MCSubtargetInfo *STI) { |
| 373 | return getVGPRAllocGranule(STI); |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 374 | } |
| 375 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 376 | unsigned getTotalNumVGPRs(const MCSubtargetInfo *STI) { |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 377 | return 256; |
| 378 | } |
| 379 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 380 | unsigned getAddressableNumVGPRs(const MCSubtargetInfo *STI) { |
| 381 | return getTotalNumVGPRs(STI); |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 382 | } |
| 383 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 384 | unsigned getMinNumVGPRs(const MCSubtargetInfo *STI, unsigned WavesPerEU) { |
Konstantin Zhuravlyov | fd87137 | 2017-02-09 21:33:23 +0000 | [diff] [blame] | 385 | assert(WavesPerEU != 0); |
| 386 | |
Tom Stellard | c5a154d | 2018-06-28 23:47:12 +0000 | [diff] [blame] | 387 | if (WavesPerEU >= getMaxWavesPerEU()) |
Konstantin Zhuravlyov | fd87137 | 2017-02-09 21:33:23 +0000 | [diff] [blame] | 388 | return 0; |
| 389 | unsigned MinNumVGPRs = |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 390 | alignDown(getTotalNumVGPRs(STI) / (WavesPerEU + 1), |
| 391 | getVGPRAllocGranule(STI)) + 1; |
| 392 | return std::min(MinNumVGPRs, getAddressableNumVGPRs(STI)); |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 393 | } |
| 394 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 395 | unsigned getMaxNumVGPRs(const MCSubtargetInfo *STI, unsigned WavesPerEU) { |
Konstantin Zhuravlyov | fd87137 | 2017-02-09 21:33:23 +0000 | [diff] [blame] | 396 | assert(WavesPerEU != 0); |
| 397 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 398 | unsigned MaxNumVGPRs = alignDown(getTotalNumVGPRs(STI) / WavesPerEU, |
| 399 | getVGPRAllocGranule(STI)); |
| 400 | unsigned AddressableNumVGPRs = getAddressableNumVGPRs(STI); |
Konstantin Zhuravlyov | fd87137 | 2017-02-09 21:33:23 +0000 | [diff] [blame] | 401 | return std::min(MaxNumVGPRs, AddressableNumVGPRs); |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 402 | } |
| 403 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 404 | unsigned getNumVGPRBlocks(const MCSubtargetInfo *STI, unsigned NumVGPRs) { |
| 405 | NumVGPRs = alignTo(std::max(1u, NumVGPRs), getVGPREncodingGranule(STI)); |
Scott Linder | 1e8c2c7 | 2018-06-21 19:38:56 +0000 | [diff] [blame] | 406 | // VGPRBlocks is actual number of VGPR blocks minus 1. |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 407 | return NumVGPRs / getVGPREncodingGranule(STI) - 1; |
Scott Linder | 1e8c2c7 | 2018-06-21 19:38:56 +0000 | [diff] [blame] | 408 | } |
| 409 | |
Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 410 | } // end namespace IsaInfo |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 411 | |
Tom Stellard | ff7416b | 2015-06-26 21:58:31 +0000 | [diff] [blame] | 412 | void initDefaultAMDKernelCodeT(amd_kernel_code_t &Header, |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 413 | const MCSubtargetInfo *STI) { |
| 414 | IsaVersion Version = getIsaVersion(STI->getCPU()); |
Tom Stellard | ff7416b | 2015-06-26 21:58:31 +0000 | [diff] [blame] | 415 | |
| 416 | memset(&Header, 0, sizeof(Header)); |
| 417 | |
| 418 | Header.amd_kernel_code_version_major = 1; |
Konstantin Zhuravlyov | 6183065 | 2018-04-09 20:47:22 +0000 | [diff] [blame] | 419 | Header.amd_kernel_code_version_minor = 2; |
Tom Stellard | ff7416b | 2015-06-26 21:58:31 +0000 | [diff] [blame] | 420 | Header.amd_machine_kind = 1; // AMD_MACHINE_KIND_AMDGPU |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 421 | Header.amd_machine_version_major = Version.Major; |
| 422 | Header.amd_machine_version_minor = Version.Minor; |
| 423 | Header.amd_machine_version_stepping = Version.Stepping; |
Tom Stellard | ff7416b | 2015-06-26 21:58:31 +0000 | [diff] [blame] | 424 | Header.kernel_code_entry_byte_offset = sizeof(Header); |
| 425 | // wavefront_size is specified as a power of 2: 2^6 = 64 threads. |
| 426 | Header.wavefront_size = 6; |
Matt Arsenault | 5d91019 | 2017-01-25 20:21:57 +0000 | [diff] [blame] | 427 | |
| 428 | // If the code object does not support indirect functions, then the value must |
| 429 | // be 0xffffffff. |
| 430 | Header.call_convention = -1; |
| 431 | |
Tom Stellard | ff7416b | 2015-06-26 21:58:31 +0000 | [diff] [blame] | 432 | // These alignment values are specified in powers of two, so alignment = |
| 433 | // 2^n. The minimum alignment is 2^4 = 16. |
| 434 | Header.kernarg_segment_alignment = 4; |
| 435 | Header.group_segment_alignment = 4; |
| 436 | Header.private_segment_alignment = 4; |
| 437 | } |
| 438 | |
Scott Linder | 1e8c2c7 | 2018-06-21 19:38:56 +0000 | [diff] [blame] | 439 | amdhsa::kernel_descriptor_t getDefaultAmdhsaKernelDescriptor() { |
| 440 | amdhsa::kernel_descriptor_t KD; |
| 441 | memset(&KD, 0, sizeof(KD)); |
| 442 | AMDHSA_BITS_SET(KD.compute_pgm_rsrc1, |
| 443 | amdhsa::COMPUTE_PGM_RSRC1_FLOAT_DENORM_MODE_16_64, |
| 444 | amdhsa::FLOAT_DENORM_MODE_FLUSH_NONE); |
| 445 | AMDHSA_BITS_SET(KD.compute_pgm_rsrc1, |
| 446 | amdhsa::COMPUTE_PGM_RSRC1_ENABLE_DX10_CLAMP, 1); |
| 447 | AMDHSA_BITS_SET(KD.compute_pgm_rsrc1, |
| 448 | amdhsa::COMPUTE_PGM_RSRC1_ENABLE_IEEE_MODE, 1); |
| 449 | AMDHSA_BITS_SET(KD.compute_pgm_rsrc2, |
| 450 | amdhsa::COMPUTE_PGM_RSRC2_ENABLE_SGPR_WORKGROUP_ID_X, 1); |
| 451 | return KD; |
| 452 | } |
| 453 | |
Konstantin Zhuravlyov | 435151a | 2017-11-01 19:12:38 +0000 | [diff] [blame] | 454 | bool isGroupSegment(const GlobalValue *GV) { |
| 455 | return GV->getType()->getAddressSpace() == AMDGPUAS::LOCAL_ADDRESS; |
Tom Stellard | e3b5aea | 2015-12-02 17:00:42 +0000 | [diff] [blame] | 456 | } |
| 457 | |
Konstantin Zhuravlyov | 435151a | 2017-11-01 19:12:38 +0000 | [diff] [blame] | 458 | bool isGlobalSegment(const GlobalValue *GV) { |
| 459 | return GV->getType()->getAddressSpace() == AMDGPUAS::GLOBAL_ADDRESS; |
Tom Stellard | 00f2f91 | 2015-12-02 19:47:57 +0000 | [diff] [blame] | 460 | } |
| 461 | |
Konstantin Zhuravlyov | 435151a | 2017-11-01 19:12:38 +0000 | [diff] [blame] | 462 | bool isReadOnlySegment(const GlobalValue *GV) { |
Matt Arsenault | 923712b | 2018-02-09 16:57:57 +0000 | [diff] [blame] | 463 | return GV->getType()->getAddressSpace() == AMDGPUAS::CONSTANT_ADDRESS || |
| 464 | GV->getType()->getAddressSpace() == AMDGPUAS::CONSTANT_ADDRESS_32BIT; |
Tom Stellard | 00f2f91 | 2015-12-02 19:47:57 +0000 | [diff] [blame] | 465 | } |
| 466 | |
Konstantin Zhuravlyov | 08326b6 | 2016-10-20 18:12:38 +0000 | [diff] [blame] | 467 | bool shouldEmitConstantsToTextSection(const Triple &TT) { |
| 468 | return TT.getOS() != Triple::AMDHSA; |
| 469 | } |
| 470 | |
Matt Arsenault | 8300272 | 2016-05-12 02:45:18 +0000 | [diff] [blame] | 471 | int getIntegerAttribute(const Function &F, StringRef Name, int Default) { |
Marek Olsak | fccabaf | 2016-01-13 11:45:36 +0000 | [diff] [blame] | 472 | Attribute A = F.getFnAttribute(Name); |
Matt Arsenault | 8300272 | 2016-05-12 02:45:18 +0000 | [diff] [blame] | 473 | int Result = Default; |
Tom Stellard | ac00eb5 | 2015-12-15 16:26:16 +0000 | [diff] [blame] | 474 | |
| 475 | if (A.isStringAttribute()) { |
| 476 | StringRef Str = A.getValueAsString(); |
Marek Olsak | fccabaf | 2016-01-13 11:45:36 +0000 | [diff] [blame] | 477 | if (Str.getAsInteger(0, Result)) { |
Tom Stellard | ac00eb5 | 2015-12-15 16:26:16 +0000 | [diff] [blame] | 478 | LLVMContext &Ctx = F.getContext(); |
Matt Arsenault | 8300272 | 2016-05-12 02:45:18 +0000 | [diff] [blame] | 479 | Ctx.emitError("can't parse integer attribute " + Name); |
Tom Stellard | ac00eb5 | 2015-12-15 16:26:16 +0000 | [diff] [blame] | 480 | } |
| 481 | } |
Matt Arsenault | 8300272 | 2016-05-12 02:45:18 +0000 | [diff] [blame] | 482 | |
Marek Olsak | fccabaf | 2016-01-13 11:45:36 +0000 | [diff] [blame] | 483 | return Result; |
| 484 | } |
| 485 | |
Konstantin Zhuravlyov | 1d65026 | 2016-09-06 20:22:28 +0000 | [diff] [blame] | 486 | std::pair<int, int> getIntegerPairAttribute(const Function &F, |
| 487 | StringRef Name, |
| 488 | std::pair<int, int> Default, |
| 489 | bool OnlyFirstRequired) { |
| 490 | Attribute A = F.getFnAttribute(Name); |
| 491 | if (!A.isStringAttribute()) |
| 492 | return Default; |
| 493 | |
| 494 | LLVMContext &Ctx = F.getContext(); |
| 495 | std::pair<int, int> Ints = Default; |
| 496 | std::pair<StringRef, StringRef> Strs = A.getValueAsString().split(','); |
| 497 | if (Strs.first.trim().getAsInteger(0, Ints.first)) { |
| 498 | Ctx.emitError("can't parse first integer attribute " + Name); |
| 499 | return Default; |
| 500 | } |
| 501 | if (Strs.second.trim().getAsInteger(0, Ints.second)) { |
Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 502 | if (!OnlyFirstRequired || !Strs.second.trim().empty()) { |
Konstantin Zhuravlyov | 1d65026 | 2016-09-06 20:22:28 +0000 | [diff] [blame] | 503 | Ctx.emitError("can't parse second integer attribute " + Name); |
| 504 | return Default; |
| 505 | } |
| 506 | } |
| 507 | |
| 508 | return Ints; |
Tom Stellard | 79a1fd7 | 2016-04-14 16:27:07 +0000 | [diff] [blame] | 509 | } |
| 510 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 511 | unsigned getVmcntBitMask(const IsaVersion &Version) { |
Matt Arsenault | e823d92 | 2017-02-18 18:29:53 +0000 | [diff] [blame] | 512 | unsigned VmcntLo = (1 << getVmcntBitWidthLo()) - 1; |
| 513 | if (Version.Major < 9) |
| 514 | return VmcntLo; |
| 515 | |
| 516 | unsigned VmcntHi = ((1 << getVmcntBitWidthHi()) - 1) << getVmcntBitWidthLo(); |
| 517 | return VmcntLo | VmcntHi; |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 518 | } |
| 519 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 520 | unsigned getExpcntBitMask(const IsaVersion &Version) { |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 521 | return (1 << getExpcntBitWidth()) - 1; |
| 522 | } |
| 523 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 524 | unsigned getLgkmcntBitMask(const IsaVersion &Version) { |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 525 | return (1 << getLgkmcntBitWidth()) - 1; |
| 526 | } |
| 527 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 528 | unsigned getWaitcntBitMask(const IsaVersion &Version) { |
Matt Arsenault | e823d92 | 2017-02-18 18:29:53 +0000 | [diff] [blame] | 529 | unsigned VmcntLo = getBitMask(getVmcntBitShiftLo(), getVmcntBitWidthLo()); |
Konstantin Zhuravlyov | cdd4547 | 2016-10-11 18:58:22 +0000 | [diff] [blame] | 530 | unsigned Expcnt = getBitMask(getExpcntBitShift(), getExpcntBitWidth()); |
| 531 | unsigned Lgkmcnt = getBitMask(getLgkmcntBitShift(), getLgkmcntBitWidth()); |
Matt Arsenault | e823d92 | 2017-02-18 18:29:53 +0000 | [diff] [blame] | 532 | unsigned Waitcnt = VmcntLo | Expcnt | Lgkmcnt; |
| 533 | if (Version.Major < 9) |
| 534 | return Waitcnt; |
| 535 | |
| 536 | unsigned VmcntHi = getBitMask(getVmcntBitShiftHi(), getVmcntBitWidthHi()); |
| 537 | return Waitcnt | VmcntHi; |
Konstantin Zhuravlyov | 836cbff | 2016-09-30 17:01:40 +0000 | [diff] [blame] | 538 | } |
| 539 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 540 | unsigned decodeVmcnt(const IsaVersion &Version, unsigned Waitcnt) { |
Matt Arsenault | e823d92 | 2017-02-18 18:29:53 +0000 | [diff] [blame] | 541 | unsigned VmcntLo = |
| 542 | unpackBits(Waitcnt, getVmcntBitShiftLo(), getVmcntBitWidthLo()); |
| 543 | if (Version.Major < 9) |
| 544 | return VmcntLo; |
| 545 | |
| 546 | unsigned VmcntHi = |
| 547 | unpackBits(Waitcnt, getVmcntBitShiftHi(), getVmcntBitWidthHi()); |
| 548 | VmcntHi <<= getVmcntBitWidthLo(); |
| 549 | return VmcntLo | VmcntHi; |
Konstantin Zhuravlyov | 836cbff | 2016-09-30 17:01:40 +0000 | [diff] [blame] | 550 | } |
| 551 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 552 | unsigned decodeExpcnt(const IsaVersion &Version, unsigned Waitcnt) { |
Konstantin Zhuravlyov | cdd4547 | 2016-10-11 18:58:22 +0000 | [diff] [blame] | 553 | return unpackBits(Waitcnt, getExpcntBitShift(), getExpcntBitWidth()); |
| 554 | } |
| 555 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 556 | unsigned decodeLgkmcnt(const IsaVersion &Version, unsigned Waitcnt) { |
Konstantin Zhuravlyov | cdd4547 | 2016-10-11 18:58:22 +0000 | [diff] [blame] | 557 | return unpackBits(Waitcnt, getLgkmcntBitShift(), getLgkmcntBitWidth()); |
| 558 | } |
| 559 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 560 | void decodeWaitcnt(const IsaVersion &Version, unsigned Waitcnt, |
Konstantin Zhuravlyov | cdd4547 | 2016-10-11 18:58:22 +0000 | [diff] [blame] | 561 | unsigned &Vmcnt, unsigned &Expcnt, unsigned &Lgkmcnt) { |
| 562 | Vmcnt = decodeVmcnt(Version, Waitcnt); |
| 563 | Expcnt = decodeExpcnt(Version, Waitcnt); |
| 564 | Lgkmcnt = decodeLgkmcnt(Version, Waitcnt); |
| 565 | } |
| 566 | |
Nicolai Haehnle | 1a94cbb | 2018-11-29 11:06:06 +0000 | [diff] [blame] | 567 | Waitcnt decodeWaitcnt(const IsaVersion &Version, unsigned Encoded) { |
| 568 | Waitcnt Decoded; |
| 569 | Decoded.VmCnt = decodeVmcnt(Version, Encoded); |
| 570 | Decoded.ExpCnt = decodeExpcnt(Version, Encoded); |
| 571 | Decoded.LgkmCnt = decodeLgkmcnt(Version, Encoded); |
| 572 | return Decoded; |
| 573 | } |
| 574 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 575 | unsigned encodeVmcnt(const IsaVersion &Version, unsigned Waitcnt, |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 576 | unsigned Vmcnt) { |
Matt Arsenault | e823d92 | 2017-02-18 18:29:53 +0000 | [diff] [blame] | 577 | Waitcnt = |
| 578 | packBits(Vmcnt, Waitcnt, getVmcntBitShiftLo(), getVmcntBitWidthLo()); |
| 579 | if (Version.Major < 9) |
| 580 | return Waitcnt; |
| 581 | |
| 582 | Vmcnt >>= getVmcntBitWidthLo(); |
| 583 | return packBits(Vmcnt, Waitcnt, getVmcntBitShiftHi(), getVmcntBitWidthHi()); |
Konstantin Zhuravlyov | cdd4547 | 2016-10-11 18:58:22 +0000 | [diff] [blame] | 584 | } |
| 585 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 586 | unsigned encodeExpcnt(const IsaVersion &Version, unsigned Waitcnt, |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 587 | unsigned Expcnt) { |
Konstantin Zhuravlyov | cdd4547 | 2016-10-11 18:58:22 +0000 | [diff] [blame] | 588 | return packBits(Expcnt, Waitcnt, getExpcntBitShift(), getExpcntBitWidth()); |
| 589 | } |
| 590 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 591 | unsigned encodeLgkmcnt(const IsaVersion &Version, unsigned Waitcnt, |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 592 | unsigned Lgkmcnt) { |
Konstantin Zhuravlyov | cdd4547 | 2016-10-11 18:58:22 +0000 | [diff] [blame] | 593 | return packBits(Lgkmcnt, Waitcnt, getLgkmcntBitShift(), getLgkmcntBitWidth()); |
| 594 | } |
| 595 | |
Konstantin Zhuravlyov | 71e43ee | 2018-09-12 18:50:47 +0000 | [diff] [blame] | 596 | unsigned encodeWaitcnt(const IsaVersion &Version, |
Konstantin Zhuravlyov | cdd4547 | 2016-10-11 18:58:22 +0000 | [diff] [blame] | 597 | unsigned Vmcnt, unsigned Expcnt, unsigned Lgkmcnt) { |
Konstantin Zhuravlyov | 31dbb03 | 2017-01-06 17:23:21 +0000 | [diff] [blame] | 598 | unsigned Waitcnt = getWaitcntBitMask(Version); |
Konstantin Zhuravlyov | cdd4547 | 2016-10-11 18:58:22 +0000 | [diff] [blame] | 599 | Waitcnt = encodeVmcnt(Version, Waitcnt, Vmcnt); |
| 600 | Waitcnt = encodeExpcnt(Version, Waitcnt, Expcnt); |
| 601 | Waitcnt = encodeLgkmcnt(Version, Waitcnt, Lgkmcnt); |
| 602 | return Waitcnt; |
Konstantin Zhuravlyov | 836cbff | 2016-09-30 17:01:40 +0000 | [diff] [blame] | 603 | } |
| 604 | |
Nicolai Haehnle | 1a94cbb | 2018-11-29 11:06:06 +0000 | [diff] [blame] | 605 | unsigned encodeWaitcnt(const IsaVersion &Version, const Waitcnt &Decoded) { |
| 606 | return encodeWaitcnt(Version, Decoded.VmCnt, Decoded.ExpCnt, Decoded.LgkmCnt); |
| 607 | } |
| 608 | |
Marek Olsak | fccabaf | 2016-01-13 11:45:36 +0000 | [diff] [blame] | 609 | unsigned getInitialPSInputAddr(const Function &F) { |
| 610 | return getIntegerAttribute(F, "InitialPSInputAddr", 0); |
Tom Stellard | ac00eb5 | 2015-12-15 16:26:16 +0000 | [diff] [blame] | 611 | } |
| 612 | |
Nicolai Haehnle | df3a20c | 2016-04-06 19:40:20 +0000 | [diff] [blame] | 613 | bool isShader(CallingConv::ID cc) { |
| 614 | switch(cc) { |
| 615 | case CallingConv::AMDGPU_VS: |
Tim Renouf | ef1ae8f | 2017-09-29 09:51:22 +0000 | [diff] [blame] | 616 | case CallingConv::AMDGPU_LS: |
Marek Olsak | a302a736 | 2017-05-02 15:41:10 +0000 | [diff] [blame] | 617 | case CallingConv::AMDGPU_HS: |
Tim Renouf | ef1ae8f | 2017-09-29 09:51:22 +0000 | [diff] [blame] | 618 | case CallingConv::AMDGPU_ES: |
Nicolai Haehnle | df3a20c | 2016-04-06 19:40:20 +0000 | [diff] [blame] | 619 | case CallingConv::AMDGPU_GS: |
| 620 | case CallingConv::AMDGPU_PS: |
| 621 | case CallingConv::AMDGPU_CS: |
| 622 | return true; |
| 623 | default: |
| 624 | return false; |
| 625 | } |
| 626 | } |
| 627 | |
| 628 | bool isCompute(CallingConv::ID cc) { |
| 629 | return !isShader(cc) || cc == CallingConv::AMDGPU_CS; |
| 630 | } |
| 631 | |
Matt Arsenault | e622dc3 | 2017-04-11 22:29:24 +0000 | [diff] [blame] | 632 | bool isEntryFunctionCC(CallingConv::ID CC) { |
Matt Arsenault | 2b1f9aa | 2017-05-17 21:56:25 +0000 | [diff] [blame] | 633 | switch (CC) { |
| 634 | case CallingConv::AMDGPU_KERNEL: |
| 635 | case CallingConv::SPIR_KERNEL: |
| 636 | case CallingConv::AMDGPU_VS: |
| 637 | case CallingConv::AMDGPU_GS: |
| 638 | case CallingConv::AMDGPU_PS: |
| 639 | case CallingConv::AMDGPU_CS: |
Tim Renouf | ef1ae8f | 2017-09-29 09:51:22 +0000 | [diff] [blame] | 640 | case CallingConv::AMDGPU_ES: |
Matt Arsenault | 2b1f9aa | 2017-05-17 21:56:25 +0000 | [diff] [blame] | 641 | case CallingConv::AMDGPU_HS: |
Tim Renouf | ef1ae8f | 2017-09-29 09:51:22 +0000 | [diff] [blame] | 642 | case CallingConv::AMDGPU_LS: |
Matt Arsenault | 2b1f9aa | 2017-05-17 21:56:25 +0000 | [diff] [blame] | 643 | return true; |
| 644 | default: |
| 645 | return false; |
| 646 | } |
Matt Arsenault | e622dc3 | 2017-04-11 22:29:24 +0000 | [diff] [blame] | 647 | } |
| 648 | |
Dmitry Preobrazhensky | 3afbd82 | 2018-01-10 14:22:19 +0000 | [diff] [blame] | 649 | bool hasXNACK(const MCSubtargetInfo &STI) { |
| 650 | return STI.getFeatureBits()[AMDGPU::FeatureXNACK]; |
| 651 | } |
| 652 | |
Konstantin Zhuravlyov | 108927b | 2018-11-05 22:44:19 +0000 | [diff] [blame] | 653 | bool hasSRAMECC(const MCSubtargetInfo &STI) { |
| 654 | return STI.getFeatureBits()[AMDGPU::FeatureSRAMECC]; |
| 655 | } |
| 656 | |
Dmitry Preobrazhensky | e3271ae | 2018-02-05 12:45:43 +0000 | [diff] [blame] | 657 | bool hasMIMG_R128(const MCSubtargetInfo &STI) { |
| 658 | return STI.getFeatureBits()[AMDGPU::FeatureMIMG_R128]; |
| 659 | } |
| 660 | |
Dmitry Preobrazhensky | 0a1ff46 | 2018-02-05 14:18:53 +0000 | [diff] [blame] | 661 | bool hasPackedD16(const MCSubtargetInfo &STI) { |
| 662 | return !STI.getFeatureBits()[AMDGPU::FeatureUnpackedD16VMem]; |
| 663 | } |
| 664 | |
Tom Stellard | 2b65ed3 | 2015-12-21 18:44:27 +0000 | [diff] [blame] | 665 | bool isSI(const MCSubtargetInfo &STI) { |
| 666 | return STI.getFeatureBits()[AMDGPU::FeatureSouthernIslands]; |
| 667 | } |
| 668 | |
| 669 | bool isCI(const MCSubtargetInfo &STI) { |
| 670 | return STI.getFeatureBits()[AMDGPU::FeatureSeaIslands]; |
| 671 | } |
| 672 | |
| 673 | bool isVI(const MCSubtargetInfo &STI) { |
| 674 | return STI.getFeatureBits()[AMDGPU::FeatureVolcanicIslands]; |
| 675 | } |
| 676 | |
Sam Kolton | f7659d71 | 2017-05-23 10:08:55 +0000 | [diff] [blame] | 677 | bool isGFX9(const MCSubtargetInfo &STI) { |
| 678 | return STI.getFeatureBits()[AMDGPU::FeatureGFX9]; |
| 679 | } |
| 680 | |
Matt Arsenault | 8728c5f | 2017-08-07 14:58:04 +0000 | [diff] [blame] | 681 | bool isGCN3Encoding(const MCSubtargetInfo &STI) { |
| 682 | return STI.getFeatureBits()[AMDGPU::FeatureGCN3Encoding]; |
| 683 | } |
| 684 | |
Sam Kolton | f7659d71 | 2017-05-23 10:08:55 +0000 | [diff] [blame] | 685 | bool isSGPR(unsigned Reg, const MCRegisterInfo* TRI) { |
| 686 | const MCRegisterClass SGPRClass = TRI->getRegClass(AMDGPU::SReg_32RegClassID); |
| 687 | const unsigned FirstSubReg = TRI->getSubReg(Reg, 1); |
| 688 | return SGPRClass.contains(FirstSubReg != 0 ? FirstSubReg : Reg) || |
| 689 | Reg == AMDGPU::SCC; |
| 690 | } |
| 691 | |
Dmitry Preobrazhensky | dc4ac82 | 2017-06-21 14:41:34 +0000 | [diff] [blame] | 692 | bool isRegIntersect(unsigned Reg0, unsigned Reg1, const MCRegisterInfo* TRI) { |
Dmitry Preobrazhensky | 00deef8 | 2017-07-18 11:14:02 +0000 | [diff] [blame] | 693 | for (MCRegAliasIterator R(Reg0, TRI, true); R.isValid(); ++R) { |
| 694 | if (*R == Reg1) return true; |
Dmitry Preobrazhensky | dc4ac82 | 2017-06-21 14:41:34 +0000 | [diff] [blame] | 695 | } |
Dmitry Preobrazhensky | dc4ac82 | 2017-06-21 14:41:34 +0000 | [diff] [blame] | 696 | return false; |
| 697 | } |
| 698 | |
Dmitry Preobrazhensky | ac2b026 | 2017-12-11 15:23:20 +0000 | [diff] [blame] | 699 | #define MAP_REG2REG \ |
| 700 | using namespace AMDGPU; \ |
| 701 | switch(Reg) { \ |
| 702 | default: return Reg; \ |
| 703 | CASE_CI_VI(FLAT_SCR) \ |
| 704 | CASE_CI_VI(FLAT_SCR_LO) \ |
| 705 | CASE_CI_VI(FLAT_SCR_HI) \ |
| 706 | CASE_VI_GFX9(TTMP0) \ |
| 707 | CASE_VI_GFX9(TTMP1) \ |
| 708 | CASE_VI_GFX9(TTMP2) \ |
| 709 | CASE_VI_GFX9(TTMP3) \ |
| 710 | CASE_VI_GFX9(TTMP4) \ |
| 711 | CASE_VI_GFX9(TTMP5) \ |
| 712 | CASE_VI_GFX9(TTMP6) \ |
| 713 | CASE_VI_GFX9(TTMP7) \ |
| 714 | CASE_VI_GFX9(TTMP8) \ |
| 715 | CASE_VI_GFX9(TTMP9) \ |
| 716 | CASE_VI_GFX9(TTMP10) \ |
| 717 | CASE_VI_GFX9(TTMP11) \ |
| 718 | CASE_VI_GFX9(TTMP12) \ |
| 719 | CASE_VI_GFX9(TTMP13) \ |
| 720 | CASE_VI_GFX9(TTMP14) \ |
| 721 | CASE_VI_GFX9(TTMP15) \ |
| 722 | CASE_VI_GFX9(TTMP0_TTMP1) \ |
| 723 | CASE_VI_GFX9(TTMP2_TTMP3) \ |
| 724 | CASE_VI_GFX9(TTMP4_TTMP5) \ |
| 725 | CASE_VI_GFX9(TTMP6_TTMP7) \ |
| 726 | CASE_VI_GFX9(TTMP8_TTMP9) \ |
| 727 | CASE_VI_GFX9(TTMP10_TTMP11) \ |
| 728 | CASE_VI_GFX9(TTMP12_TTMP13) \ |
| 729 | CASE_VI_GFX9(TTMP14_TTMP15) \ |
| 730 | CASE_VI_GFX9(TTMP0_TTMP1_TTMP2_TTMP3) \ |
| 731 | CASE_VI_GFX9(TTMP4_TTMP5_TTMP6_TTMP7) \ |
| 732 | CASE_VI_GFX9(TTMP8_TTMP9_TTMP10_TTMP11) \ |
| 733 | CASE_VI_GFX9(TTMP12_TTMP13_TTMP14_TTMP15) \ |
Dmitry Preobrazhensky | 2713495 | 2017-12-22 15:18:06 +0000 | [diff] [blame] | 734 | CASE_VI_GFX9(TTMP0_TTMP1_TTMP2_TTMP3_TTMP4_TTMP5_TTMP6_TTMP7) \ |
| 735 | CASE_VI_GFX9(TTMP4_TTMP5_TTMP6_TTMP7_TTMP8_TTMP9_TTMP10_TTMP11) \ |
| 736 | CASE_VI_GFX9(TTMP8_TTMP9_TTMP10_TTMP11_TTMP12_TTMP13_TTMP14_TTMP15) \ |
| 737 | CASE_VI_GFX9(TTMP0_TTMP1_TTMP2_TTMP3_TTMP4_TTMP5_TTMP6_TTMP7_TTMP8_TTMP9_TTMP10_TTMP11_TTMP12_TTMP13_TTMP14_TTMP15) \ |
Tom Stellard | 2b65ed3 | 2015-12-21 18:44:27 +0000 | [diff] [blame] | 738 | } |
Dmitry Preobrazhensky | ac2b026 | 2017-12-11 15:23:20 +0000 | [diff] [blame] | 739 | |
| 740 | #define CASE_CI_VI(node) \ |
| 741 | assert(!isSI(STI)); \ |
| 742 | case node: return isCI(STI) ? node##_ci : node##_vi; |
| 743 | |
| 744 | #define CASE_VI_GFX9(node) \ |
| 745 | case node: return isGFX9(STI) ? node##_gfx9 : node##_vi; |
| 746 | |
| 747 | unsigned getMCReg(unsigned Reg, const MCSubtargetInfo &STI) { |
Tom Stellard | c5a154d | 2018-06-28 23:47:12 +0000 | [diff] [blame] | 748 | if (STI.getTargetTriple().getArch() == Triple::r600) |
| 749 | return Reg; |
Dmitry Preobrazhensky | ac2b026 | 2017-12-11 15:23:20 +0000 | [diff] [blame] | 750 | MAP_REG2REG |
Tom Stellard | 2b65ed3 | 2015-12-21 18:44:27 +0000 | [diff] [blame] | 751 | } |
| 752 | |
Dmitry Preobrazhensky | ac2b026 | 2017-12-11 15:23:20 +0000 | [diff] [blame] | 753 | #undef CASE_CI_VI |
| 754 | #undef CASE_VI_GFX9 |
| 755 | |
| 756 | #define CASE_CI_VI(node) case node##_ci: case node##_vi: return node; |
| 757 | #define CASE_VI_GFX9(node) case node##_vi: case node##_gfx9: return node; |
| 758 | |
Dmitry Preobrazhensky | 03880f8 | 2017-03-03 14:31:06 +0000 | [diff] [blame] | 759 | unsigned mc2PseudoReg(unsigned Reg) { |
Dmitry Preobrazhensky | ac2b026 | 2017-12-11 15:23:20 +0000 | [diff] [blame] | 760 | MAP_REG2REG |
Dmitry Preobrazhensky | 03880f8 | 2017-03-03 14:31:06 +0000 | [diff] [blame] | 761 | } |
| 762 | |
Dmitry Preobrazhensky | ac2b026 | 2017-12-11 15:23:20 +0000 | [diff] [blame] | 763 | #undef CASE_CI_VI |
| 764 | #undef CASE_VI_GFX9 |
| 765 | #undef MAP_REG2REG |
| 766 | |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 767 | bool isSISrcOperand(const MCInstrDesc &Desc, unsigned OpNo) { |
Artem Tamazov | 43b6156 | 2017-02-03 12:47:30 +0000 | [diff] [blame] | 768 | assert(OpNo < Desc.NumOperands); |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 769 | unsigned OpType = Desc.OpInfo[OpNo].OperandType; |
Matt Arsenault | 4bd7236 | 2016-12-10 00:39:12 +0000 | [diff] [blame] | 770 | return OpType >= AMDGPU::OPERAND_SRC_FIRST && |
| 771 | OpType <= AMDGPU::OPERAND_SRC_LAST; |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 772 | } |
| 773 | |
| 774 | bool isSISrcFPOperand(const MCInstrDesc &Desc, unsigned OpNo) { |
Artem Tamazov | 43b6156 | 2017-02-03 12:47:30 +0000 | [diff] [blame] | 775 | assert(OpNo < Desc.NumOperands); |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 776 | unsigned OpType = Desc.OpInfo[OpNo].OperandType; |
Matt Arsenault | 4bd7236 | 2016-12-10 00:39:12 +0000 | [diff] [blame] | 777 | switch (OpType) { |
| 778 | case AMDGPU::OPERAND_REG_IMM_FP32: |
| 779 | case AMDGPU::OPERAND_REG_IMM_FP64: |
| 780 | case AMDGPU::OPERAND_REG_IMM_FP16: |
| 781 | case AMDGPU::OPERAND_REG_INLINE_C_FP32: |
| 782 | case AMDGPU::OPERAND_REG_INLINE_C_FP64: |
| 783 | case AMDGPU::OPERAND_REG_INLINE_C_FP16: |
Matt Arsenault | 9be7b0d | 2017-02-27 18:49:11 +0000 | [diff] [blame] | 784 | case AMDGPU::OPERAND_REG_INLINE_C_V2FP16: |
Matt Arsenault | 4bd7236 | 2016-12-10 00:39:12 +0000 | [diff] [blame] | 785 | return true; |
| 786 | default: |
| 787 | return false; |
| 788 | } |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 789 | } |
| 790 | |
| 791 | bool isSISrcInlinableOperand(const MCInstrDesc &Desc, unsigned OpNo) { |
Artem Tamazov | 43b6156 | 2017-02-03 12:47:30 +0000 | [diff] [blame] | 792 | assert(OpNo < Desc.NumOperands); |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 793 | unsigned OpType = Desc.OpInfo[OpNo].OperandType; |
Matt Arsenault | 4bd7236 | 2016-12-10 00:39:12 +0000 | [diff] [blame] | 794 | return OpType >= AMDGPU::OPERAND_REG_INLINE_C_FIRST && |
| 795 | OpType <= AMDGPU::OPERAND_REG_INLINE_C_LAST; |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 796 | } |
| 797 | |
Krzysztof Parzyszek | c871550 | 2016-10-19 17:40:36 +0000 | [diff] [blame] | 798 | // Avoid using MCRegisterClass::getSize, since that function will go away |
| 799 | // (move from MC* level to Target* level). Return size in bits. |
Tom Stellard | b133fbb | 2016-10-27 23:05:31 +0000 | [diff] [blame] | 800 | unsigned getRegBitWidth(unsigned RCID) { |
| 801 | switch (RCID) { |
Krzysztof Parzyszek | c871550 | 2016-10-19 17:40:36 +0000 | [diff] [blame] | 802 | case AMDGPU::SGPR_32RegClassID: |
| 803 | case AMDGPU::VGPR_32RegClassID: |
| 804 | case AMDGPU::VS_32RegClassID: |
| 805 | case AMDGPU::SReg_32RegClassID: |
| 806 | case AMDGPU::SReg_32_XM0RegClassID: |
| 807 | return 32; |
| 808 | case AMDGPU::SGPR_64RegClassID: |
| 809 | case AMDGPU::VS_64RegClassID: |
| 810 | case AMDGPU::SReg_64RegClassID: |
| 811 | case AMDGPU::VReg_64RegClassID: |
Ron Lieberman | cac749a | 2018-11-16 01:13:34 +0000 | [diff] [blame] | 812 | case AMDGPU::SReg_64_XEXECRegClassID: |
Krzysztof Parzyszek | c871550 | 2016-10-19 17:40:36 +0000 | [diff] [blame] | 813 | return 64; |
| 814 | case AMDGPU::VReg_96RegClassID: |
| 815 | return 96; |
| 816 | case AMDGPU::SGPR_128RegClassID: |
| 817 | case AMDGPU::SReg_128RegClassID: |
| 818 | case AMDGPU::VReg_128RegClassID: |
| 819 | return 128; |
| 820 | case AMDGPU::SReg_256RegClassID: |
| 821 | case AMDGPU::VReg_256RegClassID: |
| 822 | return 256; |
| 823 | case AMDGPU::SReg_512RegClassID: |
| 824 | case AMDGPU::VReg_512RegClassID: |
| 825 | return 512; |
| 826 | default: |
| 827 | llvm_unreachable("Unexpected register class"); |
| 828 | } |
| 829 | } |
| 830 | |
Tom Stellard | b133fbb | 2016-10-27 23:05:31 +0000 | [diff] [blame] | 831 | unsigned getRegBitWidth(const MCRegisterClass &RC) { |
| 832 | return getRegBitWidth(RC.getID()); |
| 833 | } |
| 834 | |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 835 | unsigned getRegOperandSize(const MCRegisterInfo *MRI, const MCInstrDesc &Desc, |
| 836 | unsigned OpNo) { |
Artem Tamazov | 43b6156 | 2017-02-03 12:47:30 +0000 | [diff] [blame] | 837 | assert(OpNo < Desc.NumOperands); |
Krzysztof Parzyszek | c871550 | 2016-10-19 17:40:36 +0000 | [diff] [blame] | 838 | unsigned RCID = Desc.OpInfo[OpNo].RegClass; |
| 839 | return getRegBitWidth(MRI->getRegClass(RCID)) / 8; |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 840 | } |
| 841 | |
Matt Arsenault | 26faed3 | 2016-12-05 22:26:17 +0000 | [diff] [blame] | 842 | bool isInlinableLiteral64(int64_t Literal, bool HasInv2Pi) { |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 843 | if (Literal >= -16 && Literal <= 64) |
| 844 | return true; |
| 845 | |
Matt Arsenault | 26faed3 | 2016-12-05 22:26:17 +0000 | [diff] [blame] | 846 | uint64_t Val = static_cast<uint64_t>(Literal); |
| 847 | return (Val == DoubleToBits(0.0)) || |
| 848 | (Val == DoubleToBits(1.0)) || |
| 849 | (Val == DoubleToBits(-1.0)) || |
| 850 | (Val == DoubleToBits(0.5)) || |
| 851 | (Val == DoubleToBits(-0.5)) || |
| 852 | (Val == DoubleToBits(2.0)) || |
| 853 | (Val == DoubleToBits(-2.0)) || |
| 854 | (Val == DoubleToBits(4.0)) || |
| 855 | (Val == DoubleToBits(-4.0)) || |
| 856 | (Val == 0x3fc45f306dc9c882 && HasInv2Pi); |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 857 | } |
| 858 | |
Matt Arsenault | 26faed3 | 2016-12-05 22:26:17 +0000 | [diff] [blame] | 859 | bool isInlinableLiteral32(int32_t Literal, bool HasInv2Pi) { |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 860 | if (Literal >= -16 && Literal <= 64) |
| 861 | return true; |
| 862 | |
Matt Arsenault | 4bd7236 | 2016-12-10 00:39:12 +0000 | [diff] [blame] | 863 | // The actual type of the operand does not seem to matter as long |
| 864 | // as the bits match one of the inline immediate values. For example: |
| 865 | // |
| 866 | // -nan has the hexadecimal encoding of 0xfffffffe which is -2 in decimal, |
| 867 | // so it is a legal inline immediate. |
| 868 | // |
| 869 | // 1065353216 has the hexadecimal encoding 0x3f800000 which is 1.0f in |
| 870 | // floating-point, so it is a legal inline immediate. |
| 871 | |
Matt Arsenault | 26faed3 | 2016-12-05 22:26:17 +0000 | [diff] [blame] | 872 | uint32_t Val = static_cast<uint32_t>(Literal); |
| 873 | return (Val == FloatToBits(0.0f)) || |
| 874 | (Val == FloatToBits(1.0f)) || |
| 875 | (Val == FloatToBits(-1.0f)) || |
| 876 | (Val == FloatToBits(0.5f)) || |
| 877 | (Val == FloatToBits(-0.5f)) || |
| 878 | (Val == FloatToBits(2.0f)) || |
| 879 | (Val == FloatToBits(-2.0f)) || |
| 880 | (Val == FloatToBits(4.0f)) || |
| 881 | (Val == FloatToBits(-4.0f)) || |
| 882 | (Val == 0x3e22f983 && HasInv2Pi); |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 883 | } |
| 884 | |
Matt Arsenault | 4bd7236 | 2016-12-10 00:39:12 +0000 | [diff] [blame] | 885 | bool isInlinableLiteral16(int16_t Literal, bool HasInv2Pi) { |
Sam Kolton | 9dffada | 2017-01-17 15:26:02 +0000 | [diff] [blame] | 886 | if (!HasInv2Pi) |
| 887 | return false; |
Matt Arsenault | 4bd7236 | 2016-12-10 00:39:12 +0000 | [diff] [blame] | 888 | |
| 889 | if (Literal >= -16 && Literal <= 64) |
| 890 | return true; |
| 891 | |
| 892 | uint16_t Val = static_cast<uint16_t>(Literal); |
| 893 | return Val == 0x3C00 || // 1.0 |
| 894 | Val == 0xBC00 || // -1.0 |
| 895 | Val == 0x3800 || // 0.5 |
| 896 | Val == 0xB800 || // -0.5 |
| 897 | Val == 0x4000 || // 2.0 |
| 898 | Val == 0xC000 || // -2.0 |
| 899 | Val == 0x4400 || // 4.0 |
| 900 | Val == 0xC400 || // -4.0 |
| 901 | Val == 0x3118; // 1/2pi |
| 902 | } |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 903 | |
Matt Arsenault | 9be7b0d | 2017-02-27 18:49:11 +0000 | [diff] [blame] | 904 | bool isInlinableLiteralV216(int32_t Literal, bool HasInv2Pi) { |
| 905 | assert(HasInv2Pi); |
| 906 | |
| 907 | int16_t Lo16 = static_cast<int16_t>(Literal); |
| 908 | int16_t Hi16 = static_cast<int16_t>(Literal >> 16); |
| 909 | return Lo16 == Hi16 && isInlinableLiteral16(Lo16, HasInv2Pi); |
| 910 | } |
| 911 | |
Matt Arsenault | 894e53d | 2017-07-26 20:39:42 +0000 | [diff] [blame] | 912 | bool isArgPassedInSGPR(const Argument *A) { |
| 913 | const Function *F = A->getParent(); |
| 914 | |
| 915 | // Arguments to compute shaders are never a source of divergence. |
| 916 | CallingConv::ID CC = F->getCallingConv(); |
| 917 | switch (CC) { |
| 918 | case CallingConv::AMDGPU_KERNEL: |
| 919 | case CallingConv::SPIR_KERNEL: |
| 920 | return true; |
| 921 | case CallingConv::AMDGPU_VS: |
Tim Renouf | ef1ae8f | 2017-09-29 09:51:22 +0000 | [diff] [blame] | 922 | case CallingConv::AMDGPU_LS: |
Matt Arsenault | 894e53d | 2017-07-26 20:39:42 +0000 | [diff] [blame] | 923 | case CallingConv::AMDGPU_HS: |
Tim Renouf | ef1ae8f | 2017-09-29 09:51:22 +0000 | [diff] [blame] | 924 | case CallingConv::AMDGPU_ES: |
Matt Arsenault | 894e53d | 2017-07-26 20:39:42 +0000 | [diff] [blame] | 925 | case CallingConv::AMDGPU_GS: |
| 926 | case CallingConv::AMDGPU_PS: |
| 927 | case CallingConv::AMDGPU_CS: |
| 928 | // For non-compute shaders, SGPR inputs are marked with either inreg or byval. |
| 929 | // Everything else is in VGPRs. |
| 930 | return F->getAttributes().hasParamAttribute(A->getArgNo(), Attribute::InReg) || |
| 931 | F->getAttributes().hasParamAttribute(A->getArgNo(), Attribute::ByVal); |
| 932 | default: |
| 933 | // TODO: Should calls support inreg for SGPR inputs? |
| 934 | return false; |
| 935 | } |
| 936 | } |
| 937 | |
Tom Stellard | 08efb7e | 2017-01-27 18:41:14 +0000 | [diff] [blame] | 938 | int64_t getSMRDEncodedOffset(const MCSubtargetInfo &ST, int64_t ByteOffset) { |
Matt Arsenault | 8728c5f | 2017-08-07 14:58:04 +0000 | [diff] [blame] | 939 | if (isGCN3Encoding(ST)) |
| 940 | return ByteOffset; |
| 941 | return ByteOffset >> 2; |
Tom Stellard | 08efb7e | 2017-01-27 18:41:14 +0000 | [diff] [blame] | 942 | } |
| 943 | |
| 944 | bool isLegalSMRDImmOffset(const MCSubtargetInfo &ST, int64_t ByteOffset) { |
| 945 | int64_t EncodedOffset = getSMRDEncodedOffset(ST, ByteOffset); |
Matt Arsenault | 8728c5f | 2017-08-07 14:58:04 +0000 | [diff] [blame] | 946 | return isGCN3Encoding(ST) ? |
| 947 | isUInt<20>(EncodedOffset) : isUInt<8>(EncodedOffset); |
Tom Stellard | 08efb7e | 2017-01-27 18:41:14 +0000 | [diff] [blame] | 948 | } |
Matt Arsenault | cad7fa8 | 2017-12-13 21:07:51 +0000 | [diff] [blame] | 949 | |
Tim Renouf | 4f703f5 | 2018-08-21 11:07:10 +0000 | [diff] [blame] | 950 | // Given Imm, split it into the values to put into the SOffset and ImmOffset |
| 951 | // fields in an MUBUF instruction. Return false if it is not possible (due to a |
| 952 | // hardware bug needing a workaround). |
Nicolai Haehnle | a7b0005 | 2018-11-30 22:55:38 +0000 | [diff] [blame] | 953 | // |
| 954 | // The required alignment ensures that individual address components remain |
| 955 | // aligned if they are aligned to begin with. It also ensures that additional |
| 956 | // offsets within the given alignment can be added to the resulting ImmOffset. |
Tim Renouf | 4f703f5 | 2018-08-21 11:07:10 +0000 | [diff] [blame] | 957 | bool splitMUBUFOffset(uint32_t Imm, uint32_t &SOffset, uint32_t &ImmOffset, |
Nicolai Haehnle | a7b0005 | 2018-11-30 22:55:38 +0000 | [diff] [blame] | 958 | const GCNSubtarget *Subtarget, uint32_t Align) { |
Tim Renouf | 4f703f5 | 2018-08-21 11:07:10 +0000 | [diff] [blame] | 959 | const uint32_t MaxImm = alignDown(4095, Align); |
| 960 | uint32_t Overflow = 0; |
| 961 | |
| 962 | if (Imm > MaxImm) { |
| 963 | if (Imm <= MaxImm + 64) { |
| 964 | // Use an SOffset inline constant for 4..64 |
| 965 | Overflow = Imm - MaxImm; |
| 966 | Imm = MaxImm; |
| 967 | } else { |
| 968 | // Try to keep the same value in SOffset for adjacent loads, so that |
| 969 | // the corresponding register contents can be re-used. |
| 970 | // |
| 971 | // Load values with all low-bits (except for alignment bits) set into |
| 972 | // SOffset, so that a larger range of values can be covered using |
| 973 | // s_movk_i32. |
| 974 | // |
| 975 | // Atomic operations fail to work correctly when individual address |
| 976 | // components are unaligned, even if their sum is aligned. |
| 977 | uint32_t High = (Imm + Align) & ~4095; |
| 978 | uint32_t Low = (Imm + Align) & 4095; |
| 979 | Imm = Low; |
| 980 | Overflow = High - Align; |
| 981 | } |
| 982 | } |
| 983 | |
| 984 | // There is a hardware bug in SI and CI which prevents address clamping in |
| 985 | // MUBUF instructions from working correctly with SOffsets. The immediate |
| 986 | // offset is unaffected. |
| 987 | if (Overflow > 0 && |
| 988 | Subtarget->getGeneration() <= AMDGPUSubtarget::SEA_ISLANDS) |
| 989 | return false; |
| 990 | |
| 991 | ImmOffset = Imm; |
| 992 | SOffset = Overflow; |
| 993 | return true; |
| 994 | } |
| 995 | |
Nicolai Haehnle | 4254d45 | 2018-04-01 17:09:14 +0000 | [diff] [blame] | 996 | namespace { |
| 997 | |
| 998 | struct SourceOfDivergence { |
| 999 | unsigned Intr; |
| 1000 | }; |
Nicolai Haehnle | e741d7e | 2018-06-21 13:36:33 +0000 | [diff] [blame] | 1001 | const SourceOfDivergence *lookupSourceOfDivergence(unsigned Intr); |
Nicolai Haehnle | 4254d45 | 2018-04-01 17:09:14 +0000 | [diff] [blame] | 1002 | |
Nicolai Haehnle | e741d7e | 2018-06-21 13:36:33 +0000 | [diff] [blame] | 1003 | #define GET_SourcesOfDivergence_IMPL |
Nicolai Haehnle | 4254d45 | 2018-04-01 17:09:14 +0000 | [diff] [blame] | 1004 | #include "AMDGPUGenSearchableTables.inc" |
| 1005 | |
| 1006 | } // end anonymous namespace |
| 1007 | |
Alexander Timofeev | 2e5eece | 2018-03-05 15:12:21 +0000 | [diff] [blame] | 1008 | bool isIntrinsicSourceOfDivergence(unsigned IntrID) { |
Nicolai Haehnle | e741d7e | 2018-06-21 13:36:33 +0000 | [diff] [blame] | 1009 | return lookupSourceOfDivergence(IntrID); |
Alexander Timofeev | 2e5eece | 2018-03-05 15:12:21 +0000 | [diff] [blame] | 1010 | } |
Yaxun Liu | 1a14bfa | 2017-03-27 14:04:01 +0000 | [diff] [blame] | 1011 | } // namespace AMDGPU |
| 1012 | } // namespace llvm |