| Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 1 | //===- AMDGPUMCInstLower.cpp - Lower AMDGPU MachineInstr to an MCInst -----===// |
| 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 | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | // |
| 9 | /// \file |
| Adrian Prantl | 5f8f34e4 | 2018-05-01 15:54:18 +0000 | [diff] [blame] | 10 | /// Code to lower AMDGPU MachineInstrs to their corresponding MCInst. |
| Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | // |
| 14 | |
| Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 15 | #include "AMDGPUAsmPrinter.h" |
| Matt Arsenault | 43e92fe | 2016-06-24 06:30:11 +0000 | [diff] [blame] | 16 | #include "AMDGPUSubtarget.h" |
| Tom Stellard | 2e59a45 | 2014-06-13 01:32:00 +0000 | [diff] [blame] | 17 | #include "AMDGPUTargetMachine.h" |
| Richard Trieu | c0bd7bd | 2019-05-11 00:03:35 +0000 | [diff] [blame] | 18 | #include "MCTargetDesc/AMDGPUInstPrinter.h" |
| Tom Stellard | 44b30b4 | 2018-05-22 02:03:23 +0000 | [diff] [blame] | 19 | #include "MCTargetDesc/AMDGPUMCTargetDesc.h" |
| Tom Stellard | c501501 | 2018-05-24 20:02:01 +0000 | [diff] [blame] | 20 | #include "R600AsmPrinter.h" |
| Tom Stellard | c721a23 | 2014-05-16 20:56:47 +0000 | [diff] [blame] | 21 | #include "SIInstrInfo.h" |
| Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 22 | #include "llvm/CodeGen/MachineBasicBlock.h" |
| 23 | #include "llvm/CodeGen/MachineInstr.h" |
| Chandler Carruth | 9fb823b | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 24 | #include "llvm/IR/Constants.h" |
| Marek Olsak | a93603d | 2015-01-15 18:42:51 +0000 | [diff] [blame] | 25 | #include "llvm/IR/Function.h" |
| Tom Stellard | 067c815 | 2014-07-21 14:01:14 +0000 | [diff] [blame] | 26 | #include "llvm/IR/GlobalVariable.h" |
| Tom Stellard | ed69925 | 2013-10-12 05:02:51 +0000 | [diff] [blame] | 27 | #include "llvm/MC/MCCodeEmitter.h" |
| Tom Stellard | 067c815 | 2014-07-21 14:01:14 +0000 | [diff] [blame] | 28 | #include "llvm/MC/MCContext.h" |
| Chandler Carruth | be81023 | 2013-01-02 10:22:59 +0000 | [diff] [blame] | 29 | #include "llvm/MC/MCExpr.h" |
| Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 30 | #include "llvm/MC/MCInst.h" |
| Tom Stellard | ed69925 | 2013-10-12 05:02:51 +0000 | [diff] [blame] | 31 | #include "llvm/MC/MCObjectStreamer.h" |
| Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 32 | #include "llvm/MC/MCStreamer.h" |
| 33 | #include "llvm/Support/ErrorHandling.h" |
| Tom Stellard | ed69925 | 2013-10-12 05:02:51 +0000 | [diff] [blame] | 34 | #include "llvm/Support/Format.h" |
| 35 | #include <algorithm> |
| Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 36 | |
| 37 | using namespace llvm; |
| 38 | |
| Tom Stellard | 79fffe3 | 2018-05-25 04:57:02 +0000 | [diff] [blame] | 39 | namespace { |
| 40 | |
| 41 | class AMDGPUMCInstLower { |
| 42 | MCContext &Ctx; |
| Tom Stellard | 57b9342 | 2018-05-29 17:41:59 +0000 | [diff] [blame] | 43 | const TargetSubtargetInfo &ST; |
| Tom Stellard | 79fffe3 | 2018-05-25 04:57:02 +0000 | [diff] [blame] | 44 | const AsmPrinter &AP; |
| 45 | |
| 46 | const MCExpr *getLongBranchBlockExpr(const MachineBasicBlock &SrcBB, |
| 47 | const MachineOperand &MO) const; |
| 48 | |
| 49 | public: |
| Tom Stellard | 57b9342 | 2018-05-29 17:41:59 +0000 | [diff] [blame] | 50 | AMDGPUMCInstLower(MCContext &ctx, const TargetSubtargetInfo &ST, |
| Tom Stellard | 79fffe3 | 2018-05-25 04:57:02 +0000 | [diff] [blame] | 51 | const AsmPrinter &AP); |
| 52 | |
| 53 | bool lowerOperand(const MachineOperand &MO, MCOperand &MCOp) const; |
| 54 | |
| 55 | /// Lower a MachineInstr to an MCInst |
| 56 | void lower(const MachineInstr *MI, MCInst &OutMI) const; |
| 57 | |
| 58 | }; |
| 59 | |
| Tom Stellard | 57b9342 | 2018-05-29 17:41:59 +0000 | [diff] [blame] | 60 | class R600MCInstLower : public AMDGPUMCInstLower { |
| 61 | public: |
| 62 | R600MCInstLower(MCContext &ctx, const R600Subtarget &ST, |
| 63 | const AsmPrinter &AP); |
| 64 | |
| 65 | /// Lower a MachineInstr to an MCInst |
| 66 | void lower(const MachineInstr *MI, MCInst &OutMI) const; |
| 67 | }; |
| 68 | |
| 69 | |
| Tom Stellard | 79fffe3 | 2018-05-25 04:57:02 +0000 | [diff] [blame] | 70 | } // End anonymous namespace |
| 71 | |
| Matt Arsenault | 11f7402 | 2016-10-06 17:19:11 +0000 | [diff] [blame] | 72 | #include "AMDGPUGenMCPseudoLowering.inc" |
| 73 | |
| Tom Stellard | 57b9342 | 2018-05-29 17:41:59 +0000 | [diff] [blame] | 74 | AMDGPUMCInstLower::AMDGPUMCInstLower(MCContext &ctx, |
| 75 | const TargetSubtargetInfo &st, |
| Tom Stellard | 1b9748c | 2016-09-26 17:29:25 +0000 | [diff] [blame] | 76 | const AsmPrinter &ap): |
| 77 | Ctx(ctx), ST(st), AP(ap) { } |
| Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 78 | |
| Tom Stellard | 418beb7 | 2016-07-13 14:23:33 +0000 | [diff] [blame] | 79 | static MCSymbolRefExpr::VariantKind getVariantKind(unsigned MOFlags) { |
| 80 | switch (MOFlags) { |
| Konstantin Zhuravlyov | c96b5d7 | 2016-10-14 04:37:34 +0000 | [diff] [blame] | 81 | default: |
| 82 | return MCSymbolRefExpr::VK_None; |
| 83 | case SIInstrInfo::MO_GOTPCREL: |
| 84 | return MCSymbolRefExpr::VK_GOTPCREL; |
| 85 | case SIInstrInfo::MO_GOTPCREL32_LO: |
| 86 | return MCSymbolRefExpr::VK_AMDGPU_GOTPCREL32_LO; |
| 87 | case SIInstrInfo::MO_GOTPCREL32_HI: |
| 88 | return MCSymbolRefExpr::VK_AMDGPU_GOTPCREL32_HI; |
| 89 | case SIInstrInfo::MO_REL32_LO: |
| 90 | return MCSymbolRefExpr::VK_AMDGPU_REL32_LO; |
| 91 | case SIInstrInfo::MO_REL32_HI: |
| 92 | return MCSymbolRefExpr::VK_AMDGPU_REL32_HI; |
| Nicolai Haehnle | 41abf27 | 2019-06-16 17:43:37 +0000 | [diff] [blame] | 93 | case SIInstrInfo::MO_ABS32_LO: |
| 94 | return MCSymbolRefExpr::VK_AMDGPU_ABS32_LO; |
| 95 | case SIInstrInfo::MO_ABS32_HI: |
| 96 | return MCSymbolRefExpr::VK_AMDGPU_ABS32_HI; |
| Tom Stellard | 418beb7 | 2016-07-13 14:23:33 +0000 | [diff] [blame] | 97 | } |
| 98 | } |
| 99 | |
| Matt Arsenault | 6bc43d8 | 2016-10-06 16:20:41 +0000 | [diff] [blame] | 100 | const MCExpr *AMDGPUMCInstLower::getLongBranchBlockExpr( |
| 101 | const MachineBasicBlock &SrcBB, |
| 102 | const MachineOperand &MO) const { |
| 103 | const MCExpr *DestBBSym |
| 104 | = MCSymbolRefExpr::create(MO.getMBB()->getSymbol(), Ctx); |
| 105 | const MCExpr *SrcBBSym = MCSymbolRefExpr::create(SrcBB.getSymbol(), Ctx); |
| 106 | |
| Matt Arsenault | f84ce75 | 2019-04-22 19:14:26 +0000 | [diff] [blame] | 107 | // FIXME: The first half of this assert should be removed. This should |
| 108 | // probably be PC relative instead of using the source block symbol, and |
| 109 | // therefore the indirect branch expansion should use a bundle. |
| 110 | assert( |
| 111 | skipDebugInstructionsForward(SrcBB.begin(), SrcBB.end())->getOpcode() == |
| 112 | AMDGPU::S_GETPC_B64 && |
| 113 | ST.getInstrInfo()->get(AMDGPU::S_GETPC_B64).Size == 4); |
| Matt Arsenault | 6bc43d8 | 2016-10-06 16:20:41 +0000 | [diff] [blame] | 114 | |
| 115 | // s_getpc_b64 returns the address of next instruction. |
| 116 | const MCConstantExpr *One = MCConstantExpr::create(4, Ctx); |
| 117 | SrcBBSym = MCBinaryExpr::createAdd(SrcBBSym, One, Ctx); |
| 118 | |
| Matt Arsenault | 0f8a764 | 2019-06-05 20:32:25 +0000 | [diff] [blame] | 119 | if (MO.getTargetFlags() == SIInstrInfo::MO_LONG_BRANCH_FORWARD) |
| Matt Arsenault | 6bc43d8 | 2016-10-06 16:20:41 +0000 | [diff] [blame] | 120 | return MCBinaryExpr::createSub(DestBBSym, SrcBBSym, Ctx); |
| 121 | |
| Matt Arsenault | 0f8a764 | 2019-06-05 20:32:25 +0000 | [diff] [blame] | 122 | assert(MO.getTargetFlags() == SIInstrInfo::MO_LONG_BRANCH_BACKWARD); |
| Matt Arsenault | 6bc43d8 | 2016-10-06 16:20:41 +0000 | [diff] [blame] | 123 | return MCBinaryExpr::createSub(SrcBBSym, DestBBSym, Ctx); |
| 124 | } |
| 125 | |
| Matt Arsenault | 11f7402 | 2016-10-06 17:19:11 +0000 | [diff] [blame] | 126 | bool AMDGPUMCInstLower::lowerOperand(const MachineOperand &MO, |
| 127 | MCOperand &MCOp) const { |
| 128 | switch (MO.getType()) { |
| 129 | default: |
| 130 | llvm_unreachable("unknown operand type"); |
| 131 | case MachineOperand::MO_Immediate: |
| 132 | MCOp = MCOperand::createImm(MO.getImm()); |
| 133 | return true; |
| 134 | case MachineOperand::MO_Register: |
| 135 | MCOp = MCOperand::createReg(AMDGPU::getMCReg(MO.getReg(), ST)); |
| 136 | return true; |
| 137 | case MachineOperand::MO_MachineBasicBlock: { |
| 138 | if (MO.getTargetFlags() != 0) { |
| 139 | MCOp = MCOperand::createExpr( |
| 140 | getLongBranchBlockExpr(*MO.getParent()->getParent(), MO)); |
| 141 | } else { |
| 142 | MCOp = MCOperand::createExpr( |
| 143 | MCSymbolRefExpr::create(MO.getMBB()->getSymbol(), Ctx)); |
| 144 | } |
| 145 | |
| 146 | return true; |
| 147 | } |
| 148 | case MachineOperand::MO_GlobalAddress: { |
| 149 | const GlobalValue *GV = MO.getGlobal(); |
| 150 | SmallString<128> SymbolName; |
| 151 | AP.getNameWithPrefix(SymbolName, GV); |
| 152 | MCSymbol *Sym = Ctx.getOrCreateSymbol(SymbolName); |
| Nicolai Haehnle | 41abf27 | 2019-06-16 17:43:37 +0000 | [diff] [blame] | 153 | const MCExpr *Expr = |
| Matt Arsenault | 11f7402 | 2016-10-06 17:19:11 +0000 | [diff] [blame] | 154 | MCSymbolRefExpr::create(Sym, getVariantKind(MO.getTargetFlags()),Ctx); |
| Nicolai Haehnle | 41abf27 | 2019-06-16 17:43:37 +0000 | [diff] [blame] | 155 | int64_t Offset = MO.getOffset(); |
| 156 | if (Offset != 0) { |
| 157 | Expr = MCBinaryExpr::createAdd(Expr, |
| 158 | MCConstantExpr::create(Offset, Ctx), Ctx); |
| 159 | } |
| Matt Arsenault | 11f7402 | 2016-10-06 17:19:11 +0000 | [diff] [blame] | 160 | MCOp = MCOperand::createExpr(Expr); |
| 161 | return true; |
| 162 | } |
| 163 | case MachineOperand::MO_ExternalSymbol: { |
| 164 | MCSymbol *Sym = Ctx.getOrCreateSymbol(StringRef(MO.getSymbolName())); |
| 165 | Sym->setExternal(true); |
| 166 | const MCSymbolRefExpr *Expr = MCSymbolRefExpr::create(Sym, Ctx); |
| 167 | MCOp = MCOperand::createExpr(Expr); |
| 168 | return true; |
| 169 | } |
| Matt Arsenault | b62a4eb | 2017-08-01 19:54:18 +0000 | [diff] [blame] | 170 | case MachineOperand::MO_RegisterMask: |
| 171 | // Regmasks are like implicit defs. |
| 172 | return false; |
| Matt Arsenault | 11f7402 | 2016-10-06 17:19:11 +0000 | [diff] [blame] | 173 | } |
| 174 | } |
| 175 | |
| Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 176 | void AMDGPUMCInstLower::lower(const MachineInstr *MI, MCInst &OutMI) const { |
| Matt Arsenault | 2b1f9aa | 2017-05-17 21:56:25 +0000 | [diff] [blame] | 177 | unsigned Opcode = MI->getOpcode(); |
| Tom Stellard | 57b9342 | 2018-05-29 17:41:59 +0000 | [diff] [blame] | 178 | const auto *TII = static_cast<const SIInstrInfo*>(ST.getInstrInfo()); |
| Tom Stellard | c721a23 | 2014-05-16 20:56:47 +0000 | [diff] [blame] | 179 | |
| Matt Arsenault | 2b1f9aa | 2017-05-17 21:56:25 +0000 | [diff] [blame] | 180 | // FIXME: Should be able to handle this with emitPseudoExpansionLowering. We |
| 181 | // need to select it to the subtarget specific version, and there's no way to |
| 182 | // do that with a single pseudo source operation. |
| 183 | if (Opcode == AMDGPU::S_SETPC_B64_return) |
| 184 | Opcode = AMDGPU::S_SETPC_B64; |
| Matt Arsenault | 6ed7b9b | 2017-08-02 01:31:28 +0000 | [diff] [blame] | 185 | else if (Opcode == AMDGPU::SI_CALL) { |
| 186 | // SI_CALL is just S_SWAPPC_B64 with an additional operand to track the |
| Matt Arsenault | 1d6317c | 2017-08-02 01:42:04 +0000 | [diff] [blame] | 187 | // called function (which we need to remove here). |
| 188 | OutMI.setOpcode(TII->pseudoToMCOpcode(AMDGPU::S_SWAPPC_B64)); |
| 189 | MCOperand Dest, Src; |
| 190 | lowerOperand(MI->getOperand(0), Dest); |
| 191 | lowerOperand(MI->getOperand(1), Src); |
| 192 | OutMI.addOperand(Dest); |
| 193 | OutMI.addOperand(Src); |
| 194 | return; |
| Matt Arsenault | 71bcbd4 | 2017-08-11 20:42:08 +0000 | [diff] [blame] | 195 | } else if (Opcode == AMDGPU::SI_TCRETURN) { |
| 196 | // TODO: How to use branch immediate and avoid register+add? |
| 197 | Opcode = AMDGPU::S_SETPC_B64; |
| Matt Arsenault | 6ed7b9b | 2017-08-02 01:31:28 +0000 | [diff] [blame] | 198 | } |
| Marek Olsak | a93603d | 2015-01-15 18:42:51 +0000 | [diff] [blame] | 199 | |
| Matt Arsenault | 1d6317c | 2017-08-02 01:42:04 +0000 | [diff] [blame] | 200 | int MCOpcode = TII->pseudoToMCOpcode(Opcode); |
| Marek Olsak | a93603d | 2015-01-15 18:42:51 +0000 | [diff] [blame] | 201 | if (MCOpcode == -1) { |
| Matthias Braun | f1caa28 | 2017-12-15 22:22:58 +0000 | [diff] [blame] | 202 | LLVMContext &C = MI->getParent()->getParent()->getFunction().getContext(); |
| Marek Olsak | a93603d | 2015-01-15 18:42:51 +0000 | [diff] [blame] | 203 | C.emitError("AMDGPUMCInstLower::lower - Pseudo instruction doesn't have " |
| 204 | "a target-specific version: " + Twine(MI->getOpcode())); |
| 205 | } |
| 206 | |
| 207 | OutMI.setOpcode(MCOpcode); |
| Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 208 | |
| David Blaikie | 2f77112 | 2014-04-05 22:42:04 +0000 | [diff] [blame] | 209 | for (const MachineOperand &MO : MI->explicit_operands()) { |
| Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 210 | MCOperand MCOp; |
| Matt Arsenault | 11f7402 | 2016-10-06 17:19:11 +0000 | [diff] [blame] | 211 | lowerOperand(MO, MCOp); |
| Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 212 | OutMI.addOperand(MCOp); |
| 213 | } |
| 214 | } |
| 215 | |
| Matt Arsenault | 11f7402 | 2016-10-06 17:19:11 +0000 | [diff] [blame] | 216 | bool AMDGPUAsmPrinter::lowerOperand(const MachineOperand &MO, |
| 217 | MCOperand &MCOp) const { |
| Tom Stellard | 5bfbae5 | 2018-07-11 20:59:01 +0000 | [diff] [blame] | 218 | const GCNSubtarget &STI = MF->getSubtarget<GCNSubtarget>(); |
| Matt Arsenault | 11f7402 | 2016-10-06 17:19:11 +0000 | [diff] [blame] | 219 | AMDGPUMCInstLower MCInstLowering(OutContext, STI, *this); |
| 220 | return MCInstLowering.lowerOperand(MO, MCOp); |
| 221 | } |
| 222 | |
| Tom Stellard | c501501 | 2018-05-24 20:02:01 +0000 | [diff] [blame] | 223 | static const MCExpr *lowerAddrSpaceCast(const TargetMachine &TM, |
| 224 | const Constant *CV, |
| 225 | MCContext &OutContext) { |
| Yaxun Liu | 8f844f3 | 2017-02-07 00:43:21 +0000 | [diff] [blame] | 226 | // TargetMachine does not support llvm-style cast. Use C++-style cast. |
| 227 | // This is safe since TM is always of type AMDGPUTargetMachine or its |
| 228 | // derived class. |
| Tom Stellard | c501501 | 2018-05-24 20:02:01 +0000 | [diff] [blame] | 229 | auto &AT = static_cast<const AMDGPUTargetMachine&>(TM); |
| Yaxun Liu | 8f844f3 | 2017-02-07 00:43:21 +0000 | [diff] [blame] | 230 | auto *CE = dyn_cast<ConstantExpr>(CV); |
| 231 | |
| 232 | // Lower null pointers in private and local address space. |
| 233 | // Clang generates addrspacecast for null pointers in private and local |
| 234 | // address space, which needs to be lowered. |
| 235 | if (CE && CE->getOpcode() == Instruction::AddrSpaceCast) { |
| 236 | auto Op = CE->getOperand(0); |
| 237 | auto SrcAddr = Op->getType()->getPointerAddressSpace(); |
| Tom Stellard | c501501 | 2018-05-24 20:02:01 +0000 | [diff] [blame] | 238 | if (Op->isNullValue() && AT.getNullPointerValue(SrcAddr) == 0) { |
| Yaxun Liu | 8f844f3 | 2017-02-07 00:43:21 +0000 | [diff] [blame] | 239 | auto DstAddr = CE->getType()->getPointerAddressSpace(); |
| Tom Stellard | c501501 | 2018-05-24 20:02:01 +0000 | [diff] [blame] | 240 | return MCConstantExpr::create(AT.getNullPointerValue(DstAddr), |
| Yaxun Liu | 8f844f3 | 2017-02-07 00:43:21 +0000 | [diff] [blame] | 241 | OutContext); |
| 242 | } |
| 243 | } |
| Tom Stellard | c501501 | 2018-05-24 20:02:01 +0000 | [diff] [blame] | 244 | return nullptr; |
| 245 | } |
| 246 | |
| 247 | const MCExpr *AMDGPUAsmPrinter::lowerConstant(const Constant *CV) { |
| 248 | if (const MCExpr *E = lowerAddrSpaceCast(TM, CV, OutContext)) |
| 249 | return E; |
| Yaxun Liu | 8f844f3 | 2017-02-07 00:43:21 +0000 | [diff] [blame] | 250 | return AsmPrinter::lowerConstant(CV); |
| 251 | } |
| 252 | |
| Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 253 | void AMDGPUAsmPrinter::EmitInstruction(const MachineInstr *MI) { |
| Matt Arsenault | 11f7402 | 2016-10-06 17:19:11 +0000 | [diff] [blame] | 254 | if (emitPseudoExpansionLowering(*OutStreamer, MI)) |
| 255 | return; |
| 256 | |
| Tom Stellard | 5bfbae5 | 2018-07-11 20:59:01 +0000 | [diff] [blame] | 257 | const GCNSubtarget &STI = MF->getSubtarget<GCNSubtarget>(); |
| Tom Stellard | 1b9748c | 2016-09-26 17:29:25 +0000 | [diff] [blame] | 258 | AMDGPUMCInstLower MCInstLowering(OutContext, STI, *this); |
| Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 259 | |
| Tom Stellard | 9b9e926 | 2014-02-28 21:36:41 +0000 | [diff] [blame] | 260 | StringRef Err; |
| Duncan P. N. Exon Smith | 9cfc75c | 2016-06-30 00:01:54 +0000 | [diff] [blame] | 261 | if (!STI.getInstrInfo()->verifyInstruction(*MI, Err)) { |
| Matthias Braun | f1caa28 | 2017-12-15 22:22:58 +0000 | [diff] [blame] | 262 | LLVMContext &C = MI->getParent()->getParent()->getFunction().getContext(); |
| Michel Danzer | 302f83a | 2016-03-16 09:10:42 +0000 | [diff] [blame] | 263 | C.emitError("Illegal instruction detected: " + Err); |
| Matthias Braun | 8c209aa | 2017-01-28 02:02:38 +0000 | [diff] [blame] | 264 | MI->print(errs()); |
| Tom Stellard | 9b9e926 | 2014-02-28 21:36:41 +0000 | [diff] [blame] | 265 | } |
| Michel Danzer | 302f83a | 2016-03-16 09:10:42 +0000 | [diff] [blame] | 266 | |
| Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 267 | if (MI->isBundle()) { |
| 268 | const MachineBasicBlock *MBB = MI->getParent(); |
| Duncan P. N. Exon Smith | c5b668d | 2016-02-22 20:49:58 +0000 | [diff] [blame] | 269 | MachineBasicBlock::const_instr_iterator I = ++MI->getIterator(); |
| Duncan P. N. Exon Smith | a73371a | 2015-10-13 20:07:10 +0000 | [diff] [blame] | 270 | while (I != MBB->instr_end() && I->isInsideBundle()) { |
| 271 | EmitInstruction(&*I); |
| Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 272 | ++I; |
| 273 | } |
| 274 | } else { |
| Matt Arsenault | 5b20fbb | 2017-03-21 22:18:10 +0000 | [diff] [blame] | 275 | // We don't want SI_MASK_BRANCH/SI_RETURN_TO_EPILOG encoded. They are |
| 276 | // placeholder terminator instructions and should only be printed as |
| 277 | // comments. |
| Matt Arsenault | 9babdf4 | 2016-06-22 20:15:28 +0000 | [diff] [blame] | 278 | if (MI->getOpcode() == AMDGPU::SI_MASK_BRANCH) { |
| 279 | if (isVerbose()) { |
| 280 | SmallVector<char, 16> BBStr; |
| 281 | raw_svector_ostream Str(BBStr); |
| 282 | |
| Matt Arsenault | a74374a | 2016-07-08 00:55:44 +0000 | [diff] [blame] | 283 | const MachineBasicBlock *MBB = MI->getOperand(0).getMBB(); |
| Matt Arsenault | 9babdf4 | 2016-06-22 20:15:28 +0000 | [diff] [blame] | 284 | const MCSymbolRefExpr *Expr |
| 285 | = MCSymbolRefExpr::create(MBB->getSymbol(), OutContext); |
| 286 | Expr->print(Str, MAI); |
| Reid Kleckner | c18c12e | 2017-10-11 23:53:36 +0000 | [diff] [blame] | 287 | OutStreamer->emitRawComment(Twine(" mask branch ") + BBStr); |
| Matt Arsenault | 9babdf4 | 2016-06-22 20:15:28 +0000 | [diff] [blame] | 288 | } |
| 289 | |
| 290 | return; |
| 291 | } |
| 292 | |
| Matt Arsenault | 5b20fbb | 2017-03-21 22:18:10 +0000 | [diff] [blame] | 293 | if (MI->getOpcode() == AMDGPU::SI_RETURN_TO_EPILOG) { |
| Matt Arsenault | 9babdf4 | 2016-06-22 20:15:28 +0000 | [diff] [blame] | 294 | if (isVerbose()) |
| Matt Arsenault | 5b20fbb | 2017-03-21 22:18:10 +0000 | [diff] [blame] | 295 | OutStreamer->emitRawComment(" return to shader part epilog"); |
| Matt Arsenault | 9babdf4 | 2016-06-22 20:15:28 +0000 | [diff] [blame] | 296 | return; |
| 297 | } |
| 298 | |
| Stanislav Mekhanoshin | ea91cca | 2016-11-15 19:00:15 +0000 | [diff] [blame] | 299 | if (MI->getOpcode() == AMDGPU::WAVE_BARRIER) { |
| 300 | if (isVerbose()) |
| 301 | OutStreamer->emitRawComment(" wave barrier"); |
| 302 | return; |
| 303 | } |
| 304 | |
| Yaxun Liu | 15a96b1 | 2017-04-21 19:32:02 +0000 | [diff] [blame] | 305 | if (MI->getOpcode() == AMDGPU::SI_MASKED_UNREACHABLE) { |
| 306 | if (isVerbose()) |
| 307 | OutStreamer->emitRawComment(" divergent unreachable"); |
| 308 | return; |
| 309 | } |
| 310 | |
| Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 311 | MCInst TmpInst; |
| 312 | MCInstLowering.lower(MI, TmpInst); |
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 313 | EmitToStreamer(*OutStreamer, TmpInst); |
| Tom Stellard | ed69925 | 2013-10-12 05:02:51 +0000 | [diff] [blame] | 314 | |
| Nicolai Haehnle | 283b995 | 2018-08-29 07:46:09 +0000 | [diff] [blame] | 315 | #ifdef EXPENSIVE_CHECKS |
| 316 | // Sanity-check getInstSizeInBytes on explicitly specified CPUs (it cannot |
| 317 | // work correctly for the generic CPU). |
| 318 | // |
| 319 | // The isPseudo check really shouldn't be here, but unfortunately there are |
| 320 | // some negative lit tests that depend on being able to continue through |
| 321 | // here even when pseudo instructions haven't been lowered. |
| 322 | if (!MI->isPseudo() && STI.isCPUStringValid(STI.getCPU())) { |
| 323 | SmallVector<MCFixup, 4> Fixups; |
| 324 | SmallVector<char, 16> CodeBytes; |
| 325 | raw_svector_ostream CodeStream(CodeBytes); |
| 326 | |
| 327 | std::unique_ptr<MCCodeEmitter> InstEmitter(createSIMCCodeEmitter( |
| 328 | *STI.getInstrInfo(), *OutContext.getRegisterInfo(), OutContext)); |
| 329 | InstEmitter->encodeInstruction(TmpInst, CodeStream, Fixups, STI); |
| 330 | |
| 331 | assert(CodeBytes.size() == STI.getInstrInfo()->getInstSizeInBytes(*MI)); |
| 332 | } |
| 333 | #endif |
| 334 | |
| Tim Renouf | 33cb8f5 | 2019-05-14 16:17:14 +0000 | [diff] [blame] | 335 | if (DumpCodeInstEmitter) { |
| 336 | // Disassemble instruction/operands to text |
| Tom Stellard | ed69925 | 2013-10-12 05:02:51 +0000 | [diff] [blame] | 337 | DisasmLines.resize(DisasmLines.size() + 1); |
| 338 | std::string &DisasmLine = DisasmLines.back(); |
| 339 | raw_string_ostream DisasmStream(DisasmLine); |
| 340 | |
| Tim Renouf | 33cb8f5 | 2019-05-14 16:17:14 +0000 | [diff] [blame] | 341 | AMDGPUInstPrinter InstPrinter(*TM.getMCAsmInfo(), *STI.getInstrInfo(), |
| Matt Arsenault | 43e92fe | 2016-06-24 06:30:11 +0000 | [diff] [blame] | 342 | *STI.getRegisterInfo()); |
| 343 | InstPrinter.printInst(&TmpInst, DisasmStream, StringRef(), STI); |
| Tom Stellard | ed69925 | 2013-10-12 05:02:51 +0000 | [diff] [blame] | 344 | |
| 345 | // Disassemble instruction/operands to hex representation. |
| 346 | SmallVector<MCFixup, 4> Fixups; |
| 347 | SmallVector<char, 16> CodeBytes; |
| 348 | raw_svector_ostream CodeStream(CodeBytes); |
| 349 | |
| Tim Renouf | 33cb8f5 | 2019-05-14 16:17:14 +0000 | [diff] [blame] | 350 | DumpCodeInstEmitter->encodeInstruction( |
| 351 | TmpInst, CodeStream, Fixups, MF->getSubtarget<MCSubtargetInfo>()); |
| Tom Stellard | ed69925 | 2013-10-12 05:02:51 +0000 | [diff] [blame] | 352 | HexLines.resize(HexLines.size() + 1); |
| 353 | std::string &HexLine = HexLines.back(); |
| 354 | raw_string_ostream HexStream(HexLine); |
| 355 | |
| 356 | for (size_t i = 0; i < CodeBytes.size(); i += 4) { |
| 357 | unsigned int CodeDWord = *(unsigned int *)&CodeBytes[i]; |
| 358 | HexStream << format("%s%08X", (i > 0 ? " " : ""), CodeDWord); |
| 359 | } |
| 360 | |
| 361 | DisasmStream.flush(); |
| 362 | DisasmLineMaxLen = std::max(DisasmLineMaxLen, DisasmLine.size()); |
| 363 | } |
| Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 364 | } |
| 365 | } |
| Tom Stellard | c501501 | 2018-05-24 20:02:01 +0000 | [diff] [blame] | 366 | |
| Tom Stellard | 57b9342 | 2018-05-29 17:41:59 +0000 | [diff] [blame] | 367 | R600MCInstLower::R600MCInstLower(MCContext &Ctx, const R600Subtarget &ST, |
| 368 | const AsmPrinter &AP) : |
| 369 | AMDGPUMCInstLower(Ctx, ST, AP) { } |
| 370 | |
| 371 | void R600MCInstLower::lower(const MachineInstr *MI, MCInst &OutMI) const { |
| 372 | OutMI.setOpcode(MI->getOpcode()); |
| 373 | for (const MachineOperand &MO : MI->explicit_operands()) { |
| 374 | MCOperand MCOp; |
| 375 | lowerOperand(MO, MCOp); |
| 376 | OutMI.addOperand(MCOp); |
| 377 | } |
| 378 | } |
| 379 | |
| Tom Stellard | c501501 | 2018-05-24 20:02:01 +0000 | [diff] [blame] | 380 | void R600AsmPrinter::EmitInstruction(const MachineInstr *MI) { |
| 381 | const R600Subtarget &STI = MF->getSubtarget<R600Subtarget>(); |
| Tom Stellard | 57b9342 | 2018-05-29 17:41:59 +0000 | [diff] [blame] | 382 | R600MCInstLower MCInstLowering(OutContext, STI, *this); |
| Tom Stellard | c501501 | 2018-05-24 20:02:01 +0000 | [diff] [blame] | 383 | |
| 384 | StringRef Err; |
| 385 | if (!STI.getInstrInfo()->verifyInstruction(*MI, Err)) { |
| 386 | LLVMContext &C = MI->getParent()->getParent()->getFunction().getContext(); |
| 387 | C.emitError("Illegal instruction detected: " + Err); |
| 388 | MI->print(errs()); |
| 389 | } |
| 390 | |
| 391 | if (MI->isBundle()) { |
| 392 | const MachineBasicBlock *MBB = MI->getParent(); |
| 393 | MachineBasicBlock::const_instr_iterator I = ++MI->getIterator(); |
| 394 | while (I != MBB->instr_end() && I->isInsideBundle()) { |
| 395 | EmitInstruction(&*I); |
| 396 | ++I; |
| 397 | } |
| 398 | } else { |
| 399 | MCInst TmpInst; |
| 400 | MCInstLowering.lower(MI, TmpInst); |
| 401 | EmitToStreamer(*OutStreamer, TmpInst); |
| 402 | } |
| 403 | } |
| 404 | |
| 405 | const MCExpr *R600AsmPrinter::lowerConstant(const Constant *CV) { |
| 406 | if (const MCExpr *E = lowerAddrSpaceCast(TM, CV, OutContext)) |
| 407 | return E; |
| 408 | return AsmPrinter::lowerConstant(CV); |
| 409 | } |