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