18f0fd8f6SDimitry Andric //===- AMDGPUMCInstLower.cpp - Lower AMDGPU MachineInstr to an MCInst -----===//
28f0fd8f6SDimitry Andric //
38f0fd8f6SDimitry Andric //                     The LLVM Compiler Infrastructure
48f0fd8f6SDimitry Andric //
58f0fd8f6SDimitry Andric // This file is distributed under the University of Illinois Open Source
68f0fd8f6SDimitry Andric // License. See LICENSE.TXT for details.
78f0fd8f6SDimitry Andric //
88f0fd8f6SDimitry Andric //===----------------------------------------------------------------------===//
98f0fd8f6SDimitry Andric //
108f0fd8f6SDimitry Andric /// \file
114ba319b5SDimitry Andric /// Code to lower AMDGPU MachineInstrs to their corresponding MCInst.
128f0fd8f6SDimitry Andric //
138f0fd8f6SDimitry Andric //===----------------------------------------------------------------------===//
148f0fd8f6SDimitry Andric //
158f0fd8f6SDimitry Andric 
168f0fd8f6SDimitry Andric #include "AMDGPUAsmPrinter.h"
173ca95b02SDimitry Andric #include "AMDGPUSubtarget.h"
188f0fd8f6SDimitry Andric #include "AMDGPUTargetMachine.h"
198f0fd8f6SDimitry Andric #include "InstPrinter/AMDGPUInstPrinter.h"
204ba319b5SDimitry Andric #include "MCTargetDesc/AMDGPUMCTargetDesc.h"
214ba319b5SDimitry Andric #include "R600AsmPrinter.h"
228f0fd8f6SDimitry Andric #include "SIInstrInfo.h"
238f0fd8f6SDimitry Andric #include "llvm/CodeGen/MachineBasicBlock.h"
248f0fd8f6SDimitry Andric #include "llvm/CodeGen/MachineInstr.h"
258f0fd8f6SDimitry Andric #include "llvm/IR/Constants.h"
268f0fd8f6SDimitry Andric #include "llvm/IR/Function.h"
278f0fd8f6SDimitry Andric #include "llvm/IR/GlobalVariable.h"
288f0fd8f6SDimitry Andric #include "llvm/MC/MCCodeEmitter.h"
298f0fd8f6SDimitry Andric #include "llvm/MC/MCContext.h"
308f0fd8f6SDimitry Andric #include "llvm/MC/MCExpr.h"
318f0fd8f6SDimitry Andric #include "llvm/MC/MCInst.h"
328f0fd8f6SDimitry Andric #include "llvm/MC/MCObjectStreamer.h"
338f0fd8f6SDimitry Andric #include "llvm/MC/MCStreamer.h"
348f0fd8f6SDimitry Andric #include "llvm/Support/ErrorHandling.h"
358f0fd8f6SDimitry Andric #include "llvm/Support/Format.h"
368f0fd8f6SDimitry Andric #include <algorithm>
378f0fd8f6SDimitry Andric 
388f0fd8f6SDimitry Andric using namespace llvm;
398f0fd8f6SDimitry Andric 
404ba319b5SDimitry Andric namespace {
414ba319b5SDimitry Andric 
424ba319b5SDimitry Andric class AMDGPUMCInstLower {
434ba319b5SDimitry Andric   MCContext &Ctx;
444ba319b5SDimitry Andric   const TargetSubtargetInfo &ST;
454ba319b5SDimitry Andric   const AsmPrinter &AP;
464ba319b5SDimitry Andric 
474ba319b5SDimitry Andric   const MCExpr *getLongBranchBlockExpr(const MachineBasicBlock &SrcBB,
484ba319b5SDimitry Andric                                        const MachineOperand &MO) const;
494ba319b5SDimitry Andric 
504ba319b5SDimitry Andric public:
514ba319b5SDimitry Andric   AMDGPUMCInstLower(MCContext &ctx, const TargetSubtargetInfo &ST,
524ba319b5SDimitry Andric                     const AsmPrinter &AP);
534ba319b5SDimitry Andric 
544ba319b5SDimitry Andric   bool lowerOperand(const MachineOperand &MO, MCOperand &MCOp) const;
554ba319b5SDimitry Andric 
564ba319b5SDimitry Andric   /// Lower a MachineInstr to an MCInst
574ba319b5SDimitry Andric   void lower(const MachineInstr *MI, MCInst &OutMI) const;
584ba319b5SDimitry Andric 
594ba319b5SDimitry Andric };
604ba319b5SDimitry Andric 
614ba319b5SDimitry Andric class R600MCInstLower : public AMDGPUMCInstLower {
624ba319b5SDimitry Andric public:
634ba319b5SDimitry Andric   R600MCInstLower(MCContext &ctx, const R600Subtarget &ST,
644ba319b5SDimitry Andric                   const AsmPrinter &AP);
654ba319b5SDimitry Andric 
664ba319b5SDimitry Andric   /// Lower a MachineInstr to an MCInst
674ba319b5SDimitry Andric   void lower(const MachineInstr *MI, MCInst &OutMI) const;
684ba319b5SDimitry Andric };
694ba319b5SDimitry Andric 
704ba319b5SDimitry Andric 
714ba319b5SDimitry Andric } // End anonymous namespace
724ba319b5SDimitry Andric 
73d88c1a5aSDimitry Andric #include "AMDGPUGenMCPseudoLowering.inc"
74d88c1a5aSDimitry Andric 
AMDGPUMCInstLower(MCContext & ctx,const TargetSubtargetInfo & st,const AsmPrinter & ap)754ba319b5SDimitry Andric AMDGPUMCInstLower::AMDGPUMCInstLower(MCContext &ctx,
764ba319b5SDimitry Andric                                      const TargetSubtargetInfo &st,
77d88c1a5aSDimitry Andric                                      const AsmPrinter &ap):
78d88c1a5aSDimitry Andric   Ctx(ctx), ST(st), AP(ap) { }
793ca95b02SDimitry Andric 
getVariantKind(unsigned MOFlags)803ca95b02SDimitry Andric static MCSymbolRefExpr::VariantKind getVariantKind(unsigned MOFlags) {
813ca95b02SDimitry Andric   switch (MOFlags) {
82d88c1a5aSDimitry Andric   default:
83d88c1a5aSDimitry Andric     return MCSymbolRefExpr::VK_None;
84d88c1a5aSDimitry Andric   case SIInstrInfo::MO_GOTPCREL:
85d88c1a5aSDimitry Andric     return MCSymbolRefExpr::VK_GOTPCREL;
86d88c1a5aSDimitry Andric   case SIInstrInfo::MO_GOTPCREL32_LO:
87d88c1a5aSDimitry Andric     return MCSymbolRefExpr::VK_AMDGPU_GOTPCREL32_LO;
88d88c1a5aSDimitry Andric   case SIInstrInfo::MO_GOTPCREL32_HI:
89d88c1a5aSDimitry Andric     return MCSymbolRefExpr::VK_AMDGPU_GOTPCREL32_HI;
90d88c1a5aSDimitry Andric   case SIInstrInfo::MO_REL32_LO:
91d88c1a5aSDimitry Andric     return MCSymbolRefExpr::VK_AMDGPU_REL32_LO;
92d88c1a5aSDimitry Andric   case SIInstrInfo::MO_REL32_HI:
93d88c1a5aSDimitry Andric     return MCSymbolRefExpr::VK_AMDGPU_REL32_HI;
94d88c1a5aSDimitry Andric   }
95d88c1a5aSDimitry Andric }
96d88c1a5aSDimitry Andric 
getLongBranchBlockExpr(const MachineBasicBlock & SrcBB,const MachineOperand & MO) const97d88c1a5aSDimitry Andric const MCExpr *AMDGPUMCInstLower::getLongBranchBlockExpr(
98d88c1a5aSDimitry Andric   const MachineBasicBlock &SrcBB,
99d88c1a5aSDimitry Andric   const MachineOperand &MO) const {
100d88c1a5aSDimitry Andric   const MCExpr *DestBBSym
101d88c1a5aSDimitry Andric     = MCSymbolRefExpr::create(MO.getMBB()->getSymbol(), Ctx);
102d88c1a5aSDimitry Andric   const MCExpr *SrcBBSym = MCSymbolRefExpr::create(SrcBB.getSymbol(), Ctx);
103d88c1a5aSDimitry Andric 
104d88c1a5aSDimitry Andric   assert(SrcBB.front().getOpcode() == AMDGPU::S_GETPC_B64 &&
105d88c1a5aSDimitry Andric          ST.getInstrInfo()->get(AMDGPU::S_GETPC_B64).Size == 4);
106d88c1a5aSDimitry Andric 
107d88c1a5aSDimitry Andric   // s_getpc_b64 returns the address of next instruction.
108d88c1a5aSDimitry Andric   const MCConstantExpr *One = MCConstantExpr::create(4, Ctx);
109d88c1a5aSDimitry Andric   SrcBBSym = MCBinaryExpr::createAdd(SrcBBSym, One, Ctx);
110d88c1a5aSDimitry Andric 
111d88c1a5aSDimitry Andric   if (MO.getTargetFlags() == AMDGPU::TF_LONG_BRANCH_FORWARD)
112d88c1a5aSDimitry Andric     return MCBinaryExpr::createSub(DestBBSym, SrcBBSym, Ctx);
113d88c1a5aSDimitry Andric 
114d88c1a5aSDimitry Andric   assert(MO.getTargetFlags() == AMDGPU::TF_LONG_BRANCH_BACKWARD);
115d88c1a5aSDimitry Andric   return MCBinaryExpr::createSub(SrcBBSym, DestBBSym, Ctx);
116d88c1a5aSDimitry Andric }
117d88c1a5aSDimitry Andric 
lowerOperand(const MachineOperand & MO,MCOperand & MCOp) const118d88c1a5aSDimitry Andric bool AMDGPUMCInstLower::lowerOperand(const MachineOperand &MO,
119d88c1a5aSDimitry Andric                                      MCOperand &MCOp) const {
120d88c1a5aSDimitry Andric   switch (MO.getType()) {
121d88c1a5aSDimitry Andric   default:
122d88c1a5aSDimitry Andric     llvm_unreachable("unknown operand type");
123d88c1a5aSDimitry Andric   case MachineOperand::MO_Immediate:
124d88c1a5aSDimitry Andric     MCOp = MCOperand::createImm(MO.getImm());
125d88c1a5aSDimitry Andric     return true;
126d88c1a5aSDimitry Andric   case MachineOperand::MO_Register:
127d88c1a5aSDimitry Andric     MCOp = MCOperand::createReg(AMDGPU::getMCReg(MO.getReg(), ST));
128d88c1a5aSDimitry Andric     return true;
129d88c1a5aSDimitry Andric   case MachineOperand::MO_MachineBasicBlock: {
130d88c1a5aSDimitry Andric     if (MO.getTargetFlags() != 0) {
131d88c1a5aSDimitry Andric       MCOp = MCOperand::createExpr(
132d88c1a5aSDimitry Andric         getLongBranchBlockExpr(*MO.getParent()->getParent(), MO));
133d88c1a5aSDimitry Andric     } else {
134d88c1a5aSDimitry Andric       MCOp = MCOperand::createExpr(
135d88c1a5aSDimitry Andric         MCSymbolRefExpr::create(MO.getMBB()->getSymbol(), Ctx));
136d88c1a5aSDimitry Andric     }
137d88c1a5aSDimitry Andric 
138d88c1a5aSDimitry Andric     return true;
139d88c1a5aSDimitry Andric   }
140d88c1a5aSDimitry Andric   case MachineOperand::MO_GlobalAddress: {
141d88c1a5aSDimitry Andric     const GlobalValue *GV = MO.getGlobal();
142d88c1a5aSDimitry Andric     SmallString<128> SymbolName;
143d88c1a5aSDimitry Andric     AP.getNameWithPrefix(SymbolName, GV);
144d88c1a5aSDimitry Andric     MCSymbol *Sym = Ctx.getOrCreateSymbol(SymbolName);
145d88c1a5aSDimitry Andric     const MCExpr *SymExpr =
146d88c1a5aSDimitry Andric       MCSymbolRefExpr::create(Sym, getVariantKind(MO.getTargetFlags()),Ctx);
147d88c1a5aSDimitry Andric     const MCExpr *Expr = MCBinaryExpr::createAdd(SymExpr,
148d88c1a5aSDimitry Andric       MCConstantExpr::create(MO.getOffset(), Ctx), Ctx);
149d88c1a5aSDimitry Andric     MCOp = MCOperand::createExpr(Expr);
150d88c1a5aSDimitry Andric     return true;
151d88c1a5aSDimitry Andric   }
152d88c1a5aSDimitry Andric   case MachineOperand::MO_ExternalSymbol: {
153d88c1a5aSDimitry Andric     MCSymbol *Sym = Ctx.getOrCreateSymbol(StringRef(MO.getSymbolName()));
154d88c1a5aSDimitry Andric     Sym->setExternal(true);
155d88c1a5aSDimitry Andric     const MCSymbolRefExpr *Expr = MCSymbolRefExpr::create(Sym, Ctx);
156d88c1a5aSDimitry Andric     MCOp = MCOperand::createExpr(Expr);
157d88c1a5aSDimitry Andric     return true;
158d88c1a5aSDimitry Andric   }
1592cab237bSDimitry Andric   case MachineOperand::MO_RegisterMask:
1602cab237bSDimitry Andric     // Regmasks are like implicit defs.
1612cab237bSDimitry Andric     return false;
1623ca95b02SDimitry Andric   }
1633ca95b02SDimitry Andric }
1648f0fd8f6SDimitry Andric 
lower(const MachineInstr * MI,MCInst & OutMI) const1658f0fd8f6SDimitry Andric void AMDGPUMCInstLower::lower(const MachineInstr *MI, MCInst &OutMI) const {
166d8866befSDimitry Andric   unsigned Opcode = MI->getOpcode();
1674ba319b5SDimitry Andric   const auto *TII = static_cast<const SIInstrInfo*>(ST.getInstrInfo());
1688f0fd8f6SDimitry Andric 
169d8866befSDimitry Andric   // FIXME: Should be able to handle this with emitPseudoExpansionLowering. We
170d8866befSDimitry Andric   // need to select it to the subtarget specific version, and there's no way to
171d8866befSDimitry Andric   // do that with a single pseudo source operation.
172d8866befSDimitry Andric   if (Opcode == AMDGPU::S_SETPC_B64_return)
173d8866befSDimitry Andric     Opcode = AMDGPU::S_SETPC_B64;
1742cab237bSDimitry Andric   else if (Opcode == AMDGPU::SI_CALL) {
1752cab237bSDimitry Andric     // SI_CALL is just S_SWAPPC_B64 with an additional operand to track the
1762cab237bSDimitry Andric     // called function (which we need to remove here).
1772cab237bSDimitry Andric     OutMI.setOpcode(TII->pseudoToMCOpcode(AMDGPU::S_SWAPPC_B64));
1782cab237bSDimitry Andric     MCOperand Dest, Src;
1792cab237bSDimitry Andric     lowerOperand(MI->getOperand(0), Dest);
1802cab237bSDimitry Andric     lowerOperand(MI->getOperand(1), Src);
1812cab237bSDimitry Andric     OutMI.addOperand(Dest);
1822cab237bSDimitry Andric     OutMI.addOperand(Src);
1832cab237bSDimitry Andric     return;
1842cab237bSDimitry Andric   } else if (Opcode == AMDGPU::SI_TCRETURN) {
1852cab237bSDimitry Andric     // TODO: How to use branch immediate and avoid register+add?
1862cab237bSDimitry Andric     Opcode = AMDGPU::S_SETPC_B64;
1872cab237bSDimitry Andric   }
1888f0fd8f6SDimitry Andric 
1892cab237bSDimitry Andric   int MCOpcode = TII->pseudoToMCOpcode(Opcode);
1908f0fd8f6SDimitry Andric   if (MCOpcode == -1) {
1912cab237bSDimitry Andric     LLVMContext &C = MI->getParent()->getParent()->getFunction().getContext();
1928f0fd8f6SDimitry Andric     C.emitError("AMDGPUMCInstLower::lower - Pseudo instruction doesn't have "
1938f0fd8f6SDimitry Andric                 "a target-specific version: " + Twine(MI->getOpcode()));
1948f0fd8f6SDimitry Andric   }
1958f0fd8f6SDimitry Andric 
1968f0fd8f6SDimitry Andric   OutMI.setOpcode(MCOpcode);
1978f0fd8f6SDimitry Andric 
1988f0fd8f6SDimitry Andric   for (const MachineOperand &MO : MI->explicit_operands()) {
1998f0fd8f6SDimitry Andric     MCOperand MCOp;
200d88c1a5aSDimitry Andric     lowerOperand(MO, MCOp);
2018f0fd8f6SDimitry Andric     OutMI.addOperand(MCOp);
2028f0fd8f6SDimitry Andric   }
2038f0fd8f6SDimitry Andric }
2048f0fd8f6SDimitry Andric 
lowerOperand(const MachineOperand & MO,MCOperand & MCOp) const205d88c1a5aSDimitry Andric bool AMDGPUAsmPrinter::lowerOperand(const MachineOperand &MO,
206d88c1a5aSDimitry Andric                                     MCOperand &MCOp) const {
2074ba319b5SDimitry Andric   const GCNSubtarget &STI = MF->getSubtarget<GCNSubtarget>();
208d88c1a5aSDimitry Andric   AMDGPUMCInstLower MCInstLowering(OutContext, STI, *this);
209d88c1a5aSDimitry Andric   return MCInstLowering.lowerOperand(MO, MCOp);
210d88c1a5aSDimitry Andric }
211d88c1a5aSDimitry Andric 
lowerAddrSpaceCast(const TargetMachine & TM,const Constant * CV,MCContext & OutContext)2124ba319b5SDimitry Andric static const MCExpr *lowerAddrSpaceCast(const TargetMachine &TM,
2134ba319b5SDimitry Andric                                         const Constant *CV,
2144ba319b5SDimitry Andric                                         MCContext &OutContext) {
2157a7e6055SDimitry Andric   // TargetMachine does not support llvm-style cast. Use C++-style cast.
2167a7e6055SDimitry Andric   // This is safe since TM is always of type AMDGPUTargetMachine or its
2177a7e6055SDimitry Andric   // derived class.
2184ba319b5SDimitry Andric   auto &AT = static_cast<const AMDGPUTargetMachine&>(TM);
2197a7e6055SDimitry Andric   auto *CE = dyn_cast<ConstantExpr>(CV);
2207a7e6055SDimitry Andric 
2217a7e6055SDimitry Andric   // Lower null pointers in private and local address space.
2227a7e6055SDimitry Andric   // Clang generates addrspacecast for null pointers in private and local
2237a7e6055SDimitry Andric   // address space, which needs to be lowered.
2247a7e6055SDimitry Andric   if (CE && CE->getOpcode() == Instruction::AddrSpaceCast) {
2257a7e6055SDimitry Andric     auto Op = CE->getOperand(0);
2267a7e6055SDimitry Andric     auto SrcAddr = Op->getType()->getPointerAddressSpace();
2274ba319b5SDimitry Andric     if (Op->isNullValue() && AT.getNullPointerValue(SrcAddr) == 0) {
2287a7e6055SDimitry Andric       auto DstAddr = CE->getType()->getPointerAddressSpace();
2294ba319b5SDimitry Andric       return MCConstantExpr::create(AT.getNullPointerValue(DstAddr),
2307a7e6055SDimitry Andric         OutContext);
2317a7e6055SDimitry Andric     }
2327a7e6055SDimitry Andric   }
2334ba319b5SDimitry Andric   return nullptr;
2344ba319b5SDimitry Andric }
2354ba319b5SDimitry Andric 
lowerConstant(const Constant * CV)2364ba319b5SDimitry Andric const MCExpr *AMDGPUAsmPrinter::lowerConstant(const Constant *CV) {
2374ba319b5SDimitry Andric   if (const MCExpr *E = lowerAddrSpaceCast(TM, CV, OutContext))
2384ba319b5SDimitry Andric     return E;
2397a7e6055SDimitry Andric   return AsmPrinter::lowerConstant(CV);
2407a7e6055SDimitry Andric }
2417a7e6055SDimitry Andric 
EmitInstruction(const MachineInstr * MI)242d88c1a5aSDimitry Andric void AMDGPUAsmPrinter::EmitInstruction(const MachineInstr *MI) {
243d88c1a5aSDimitry Andric   if (emitPseudoExpansionLowering(*OutStreamer, MI))
244d88c1a5aSDimitry Andric     return;
245d88c1a5aSDimitry Andric 
2464ba319b5SDimitry Andric   const GCNSubtarget &STI = MF->getSubtarget<GCNSubtarget>();
247d88c1a5aSDimitry Andric   AMDGPUMCInstLower MCInstLowering(OutContext, STI, *this);
2488f0fd8f6SDimitry Andric 
2498f0fd8f6SDimitry Andric   StringRef Err;
2503ca95b02SDimitry Andric   if (!STI.getInstrInfo()->verifyInstruction(*MI, Err)) {
2512cab237bSDimitry Andric     LLVMContext &C = MI->getParent()->getParent()->getFunction().getContext();
2523ca95b02SDimitry Andric     C.emitError("Illegal instruction detected: " + Err);
2537a7e6055SDimitry Andric     MI->print(errs());
2548f0fd8f6SDimitry Andric   }
2553ca95b02SDimitry Andric 
2568f0fd8f6SDimitry Andric   if (MI->isBundle()) {
2578f0fd8f6SDimitry Andric     const MachineBasicBlock *MBB = MI->getParent();
2587d523365SDimitry Andric     MachineBasicBlock::const_instr_iterator I = ++MI->getIterator();
2597d523365SDimitry Andric     while (I != MBB->instr_end() && I->isInsideBundle()) {
2607d523365SDimitry Andric       EmitInstruction(&*I);
2618f0fd8f6SDimitry Andric       ++I;
2628f0fd8f6SDimitry Andric     }
2638f0fd8f6SDimitry Andric   } else {
2647a7e6055SDimitry Andric     // We don't want SI_MASK_BRANCH/SI_RETURN_TO_EPILOG encoded. They are
2657a7e6055SDimitry Andric     // placeholder terminator instructions and should only be printed as
2667a7e6055SDimitry Andric     // comments.
2673ca95b02SDimitry Andric     if (MI->getOpcode() == AMDGPU::SI_MASK_BRANCH) {
2683ca95b02SDimitry Andric       if (isVerbose()) {
2693ca95b02SDimitry Andric         SmallVector<char, 16> BBStr;
2703ca95b02SDimitry Andric         raw_svector_ostream Str(BBStr);
2713ca95b02SDimitry Andric 
2723ca95b02SDimitry Andric         const MachineBasicBlock *MBB = MI->getOperand(0).getMBB();
2733ca95b02SDimitry Andric         const MCSymbolRefExpr *Expr
2743ca95b02SDimitry Andric           = MCSymbolRefExpr::create(MBB->getSymbol(), OutContext);
2753ca95b02SDimitry Andric         Expr->print(Str, MAI);
2762cab237bSDimitry Andric         OutStreamer->emitRawComment(Twine(" mask branch ") + BBStr);
2773ca95b02SDimitry Andric       }
2783ca95b02SDimitry Andric 
2793ca95b02SDimitry Andric       return;
2803ca95b02SDimitry Andric     }
2813ca95b02SDimitry Andric 
2827a7e6055SDimitry Andric     if (MI->getOpcode() == AMDGPU::SI_RETURN_TO_EPILOG) {
2833ca95b02SDimitry Andric       if (isVerbose())
2847a7e6055SDimitry Andric         OutStreamer->emitRawComment(" return to shader part epilog");
2853ca95b02SDimitry Andric       return;
2863ca95b02SDimitry Andric     }
2873ca95b02SDimitry Andric 
288d88c1a5aSDimitry Andric     if (MI->getOpcode() == AMDGPU::WAVE_BARRIER) {
289d88c1a5aSDimitry Andric       if (isVerbose())
290d88c1a5aSDimitry Andric         OutStreamer->emitRawComment(" wave barrier");
291d88c1a5aSDimitry Andric       return;
292d88c1a5aSDimitry Andric     }
293d88c1a5aSDimitry Andric 
29451690af2SDimitry Andric     if (MI->getOpcode() == AMDGPU::SI_MASKED_UNREACHABLE) {
29551690af2SDimitry Andric       if (isVerbose())
29651690af2SDimitry Andric         OutStreamer->emitRawComment(" divergent unreachable");
29751690af2SDimitry Andric       return;
29851690af2SDimitry Andric     }
29951690af2SDimitry Andric 
3008f0fd8f6SDimitry Andric     MCInst TmpInst;
3018f0fd8f6SDimitry Andric     MCInstLowering.lower(MI, TmpInst);
3028f0fd8f6SDimitry Andric     EmitToStreamer(*OutStreamer, TmpInst);
3038f0fd8f6SDimitry Andric 
304*b5893f02SDimitry Andric #ifdef EXPENSIVE_CHECKS
305*b5893f02SDimitry Andric     // Sanity-check getInstSizeInBytes on explicitly specified CPUs (it cannot
306*b5893f02SDimitry Andric     // work correctly for the generic CPU).
307*b5893f02SDimitry Andric     //
308*b5893f02SDimitry Andric     // The isPseudo check really shouldn't be here, but unfortunately there are
309*b5893f02SDimitry Andric     // some negative lit tests that depend on being able to continue through
310*b5893f02SDimitry Andric     // here even when pseudo instructions haven't been lowered.
311*b5893f02SDimitry Andric     if (!MI->isPseudo() && STI.isCPUStringValid(STI.getCPU())) {
312*b5893f02SDimitry Andric       SmallVector<MCFixup, 4> Fixups;
313*b5893f02SDimitry Andric       SmallVector<char, 16> CodeBytes;
314*b5893f02SDimitry Andric       raw_svector_ostream CodeStream(CodeBytes);
315*b5893f02SDimitry Andric 
316*b5893f02SDimitry Andric       std::unique_ptr<MCCodeEmitter> InstEmitter(createSIMCCodeEmitter(
317*b5893f02SDimitry Andric           *STI.getInstrInfo(), *OutContext.getRegisterInfo(), OutContext));
318*b5893f02SDimitry Andric       InstEmitter->encodeInstruction(TmpInst, CodeStream, Fixups, STI);
319*b5893f02SDimitry Andric 
320*b5893f02SDimitry Andric       assert(CodeBytes.size() == STI.getInstrInfo()->getInstSizeInBytes(*MI));
321*b5893f02SDimitry Andric     }
322*b5893f02SDimitry Andric #endif
323*b5893f02SDimitry Andric 
3248f0fd8f6SDimitry Andric     if (STI.dumpCode()) {
3258f0fd8f6SDimitry Andric       // Disassemble instruction/operands to text.
3268f0fd8f6SDimitry Andric       DisasmLines.resize(DisasmLines.size() + 1);
3278f0fd8f6SDimitry Andric       std::string &DisasmLine = DisasmLines.back();
3288f0fd8f6SDimitry Andric       raw_string_ostream DisasmStream(DisasmLine);
3298f0fd8f6SDimitry Andric 
3308f0fd8f6SDimitry Andric       AMDGPUInstPrinter InstPrinter(*TM.getMCAsmInfo(),
3313ca95b02SDimitry Andric                                     *STI.getInstrInfo(),
3323ca95b02SDimitry Andric                                     *STI.getRegisterInfo());
3333ca95b02SDimitry Andric       InstPrinter.printInst(&TmpInst, DisasmStream, StringRef(), STI);
3348f0fd8f6SDimitry Andric 
3358f0fd8f6SDimitry Andric       // Disassemble instruction/operands to hex representation.
3368f0fd8f6SDimitry Andric       SmallVector<MCFixup, 4> Fixups;
3378f0fd8f6SDimitry Andric       SmallVector<char, 16> CodeBytes;
3388f0fd8f6SDimitry Andric       raw_svector_ostream CodeStream(CodeBytes);
3398f0fd8f6SDimitry Andric 
3408f0fd8f6SDimitry Andric       auto &ObjStreamer = static_cast<MCObjectStreamer&>(*OutStreamer);
3418f0fd8f6SDimitry Andric       MCCodeEmitter &InstEmitter = ObjStreamer.getAssembler().getEmitter();
3428f0fd8f6SDimitry Andric       InstEmitter.encodeInstruction(TmpInst, CodeStream, Fixups,
3438f0fd8f6SDimitry Andric                                     MF->getSubtarget<MCSubtargetInfo>());
3448f0fd8f6SDimitry Andric       HexLines.resize(HexLines.size() + 1);
3458f0fd8f6SDimitry Andric       std::string &HexLine = HexLines.back();
3468f0fd8f6SDimitry Andric       raw_string_ostream HexStream(HexLine);
3478f0fd8f6SDimitry Andric 
3488f0fd8f6SDimitry Andric       for (size_t i = 0; i < CodeBytes.size(); i += 4) {
3498f0fd8f6SDimitry Andric         unsigned int CodeDWord = *(unsigned int *)&CodeBytes[i];
3508f0fd8f6SDimitry Andric         HexStream << format("%s%08X", (i > 0 ? " " : ""), CodeDWord);
3518f0fd8f6SDimitry Andric       }
3528f0fd8f6SDimitry Andric 
3538f0fd8f6SDimitry Andric       DisasmStream.flush();
3548f0fd8f6SDimitry Andric       DisasmLineMaxLen = std::max(DisasmLineMaxLen, DisasmLine.size());
3558f0fd8f6SDimitry Andric     }
3568f0fd8f6SDimitry Andric   }
3578f0fd8f6SDimitry Andric }
3584ba319b5SDimitry Andric 
R600MCInstLower(MCContext & Ctx,const R600Subtarget & ST,const AsmPrinter & AP)3594ba319b5SDimitry Andric R600MCInstLower::R600MCInstLower(MCContext &Ctx, const R600Subtarget &ST,
3604ba319b5SDimitry Andric                                  const AsmPrinter &AP) :
3614ba319b5SDimitry Andric         AMDGPUMCInstLower(Ctx, ST, AP) { }
3624ba319b5SDimitry Andric 
lower(const MachineInstr * MI,MCInst & OutMI) const3634ba319b5SDimitry Andric void R600MCInstLower::lower(const MachineInstr *MI, MCInst &OutMI) const {
3644ba319b5SDimitry Andric   OutMI.setOpcode(MI->getOpcode());
3654ba319b5SDimitry Andric   for (const MachineOperand &MO : MI->explicit_operands()) {
3664ba319b5SDimitry Andric     MCOperand MCOp;
3674ba319b5SDimitry Andric     lowerOperand(MO, MCOp);
3684ba319b5SDimitry Andric     OutMI.addOperand(MCOp);
3694ba319b5SDimitry Andric   }
3704ba319b5SDimitry Andric }
3714ba319b5SDimitry Andric 
EmitInstruction(const MachineInstr * MI)3724ba319b5SDimitry Andric void R600AsmPrinter::EmitInstruction(const MachineInstr *MI) {
3734ba319b5SDimitry Andric   const R600Subtarget &STI = MF->getSubtarget<R600Subtarget>();
3744ba319b5SDimitry Andric   R600MCInstLower MCInstLowering(OutContext, STI, *this);
3754ba319b5SDimitry Andric 
3764ba319b5SDimitry Andric   StringRef Err;
3774ba319b5SDimitry Andric   if (!STI.getInstrInfo()->verifyInstruction(*MI, Err)) {
3784ba319b5SDimitry Andric     LLVMContext &C = MI->getParent()->getParent()->getFunction().getContext();
3794ba319b5SDimitry Andric     C.emitError("Illegal instruction detected: " + Err);
3804ba319b5SDimitry Andric     MI->print(errs());
3814ba319b5SDimitry Andric   }
3824ba319b5SDimitry Andric 
3834ba319b5SDimitry Andric   if (MI->isBundle()) {
3844ba319b5SDimitry Andric     const MachineBasicBlock *MBB = MI->getParent();
3854ba319b5SDimitry Andric     MachineBasicBlock::const_instr_iterator I = ++MI->getIterator();
3864ba319b5SDimitry Andric     while (I != MBB->instr_end() && I->isInsideBundle()) {
3874ba319b5SDimitry Andric       EmitInstruction(&*I);
3884ba319b5SDimitry Andric       ++I;
3894ba319b5SDimitry Andric     }
3904ba319b5SDimitry Andric   } else {
3914ba319b5SDimitry Andric     MCInst TmpInst;
3924ba319b5SDimitry Andric     MCInstLowering.lower(MI, TmpInst);
3934ba319b5SDimitry Andric     EmitToStreamer(*OutStreamer, TmpInst);
3944ba319b5SDimitry Andric  }
3954ba319b5SDimitry Andric }
3964ba319b5SDimitry Andric 
lowerConstant(const Constant * CV)3974ba319b5SDimitry Andric const MCExpr *R600AsmPrinter::lowerConstant(const Constant *CV) {
3984ba319b5SDimitry Andric   if (const MCExpr *E = lowerAddrSpaceCast(TM, CV, OutContext))
3994ba319b5SDimitry Andric     return E;
4004ba319b5SDimitry Andric   return AsmPrinter::lowerConstant(CV);
4014ba319b5SDimitry Andric }
402