10b57cec5SDimitry Andric //===-- AVRAsmPrinter.cpp - AVR LLVM assembly writer ----------------------===// 20b57cec5SDimitry Andric // 30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 60b57cec5SDimitry Andric // 70b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 80b57cec5SDimitry Andric // 90b57cec5SDimitry Andric // This file contains a printer that converts from our internal representation 100b57cec5SDimitry Andric // of machine-dependent LLVM code to GAS-format AVR assembly language. 110b57cec5SDimitry Andric // 120b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 130b57cec5SDimitry Andric 140b57cec5SDimitry Andric #include "AVR.h" 150b57cec5SDimitry Andric #include "AVRMCInstLower.h" 160b57cec5SDimitry Andric #include "AVRSubtarget.h" 17*81ad6265SDimitry Andric #include "AVRTargetMachine.h" 180b57cec5SDimitry Andric #include "MCTargetDesc/AVRInstPrinter.h" 19fe6060f1SDimitry Andric #include "MCTargetDesc/AVRMCExpr.h" 200b57cec5SDimitry Andric #include "TargetInfo/AVRTargetInfo.h" 210b57cec5SDimitry Andric 220b57cec5SDimitry Andric #include "llvm/CodeGen/AsmPrinter.h" 230b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFunction.h" 240b57cec5SDimitry Andric #include "llvm/CodeGen/MachineInstr.h" 25*81ad6265SDimitry Andric #include "llvm/CodeGen/MachineModuleInfo.h" 260b57cec5SDimitry Andric #include "llvm/CodeGen/TargetRegisterInfo.h" 270b57cec5SDimitry Andric #include "llvm/CodeGen/TargetSubtargetInfo.h" 280b57cec5SDimitry Andric #include "llvm/IR/Mangler.h" 29349cc55cSDimitry Andric #include "llvm/MC/MCContext.h" 300b57cec5SDimitry Andric #include "llvm/MC/MCInst.h" 310b57cec5SDimitry Andric #include "llvm/MC/MCStreamer.h" 320b57cec5SDimitry Andric #include "llvm/MC/MCSymbol.h" 33349cc55cSDimitry Andric #include "llvm/MC/TargetRegistry.h" 340b57cec5SDimitry Andric #include "llvm/Support/ErrorHandling.h" 350b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h" 360b57cec5SDimitry Andric 370b57cec5SDimitry Andric #define DEBUG_TYPE "avr-asm-printer" 380b57cec5SDimitry Andric 390b57cec5SDimitry Andric namespace llvm { 400b57cec5SDimitry Andric 410b57cec5SDimitry Andric /// An AVR assembly code printer. 420b57cec5SDimitry Andric class AVRAsmPrinter : public AsmPrinter { 430b57cec5SDimitry Andric public: 44349cc55cSDimitry Andric AVRAsmPrinter(TargetMachine &TM, std::unique_ptr<MCStreamer> Streamer) 450b57cec5SDimitry Andric : AsmPrinter(TM, std::move(Streamer)), MRI(*TM.getMCRegisterInfo()) {} 460b57cec5SDimitry Andric 470b57cec5SDimitry Andric StringRef getPassName() const override { return "AVR Assembly Printer"; } 480b57cec5SDimitry Andric 490b57cec5SDimitry Andric void printOperand(const MachineInstr *MI, unsigned OpNo, raw_ostream &O); 500b57cec5SDimitry Andric 510b57cec5SDimitry Andric bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNum, 520b57cec5SDimitry Andric const char *ExtraCode, raw_ostream &O) override; 530b57cec5SDimitry Andric 540b57cec5SDimitry Andric bool PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNum, 550b57cec5SDimitry Andric const char *ExtraCode, raw_ostream &O) override; 560b57cec5SDimitry Andric 575ffd83dbSDimitry Andric void emitInstruction(const MachineInstr *MI) override; 580b57cec5SDimitry Andric 59fe6060f1SDimitry Andric const MCExpr *lowerConstant(const Constant *CV) override; 60fe6060f1SDimitry Andric 61349cc55cSDimitry Andric void emitXXStructor(const DataLayout &DL, const Constant *CV) override; 62349cc55cSDimitry Andric 63349cc55cSDimitry Andric bool doFinalization(Module &M) override; 64349cc55cSDimitry Andric 65*81ad6265SDimitry Andric void emitStartOfAsmFile(Module &M) override; 66*81ad6265SDimitry Andric 670b57cec5SDimitry Andric private: 680b57cec5SDimitry Andric const MCRegisterInfo &MRI; 69349cc55cSDimitry Andric bool EmittedStructorSymbolAttrs = false; 700b57cec5SDimitry Andric }; 710b57cec5SDimitry Andric 720b57cec5SDimitry Andric void AVRAsmPrinter::printOperand(const MachineInstr *MI, unsigned OpNo, 730b57cec5SDimitry Andric raw_ostream &O) { 740b57cec5SDimitry Andric const MachineOperand &MO = MI->getOperand(OpNo); 750b57cec5SDimitry Andric 760b57cec5SDimitry Andric switch (MO.getType()) { 770b57cec5SDimitry Andric case MachineOperand::MO_Register: 780b57cec5SDimitry Andric O << AVRInstPrinter::getPrettyRegisterName(MO.getReg(), MRI); 790b57cec5SDimitry Andric break; 800b57cec5SDimitry Andric case MachineOperand::MO_Immediate: 810b57cec5SDimitry Andric O << MO.getImm(); 820b57cec5SDimitry Andric break; 830b57cec5SDimitry Andric case MachineOperand::MO_GlobalAddress: 840b57cec5SDimitry Andric O << getSymbol(MO.getGlobal()); 850b57cec5SDimitry Andric break; 860b57cec5SDimitry Andric case MachineOperand::MO_ExternalSymbol: 870b57cec5SDimitry Andric O << *GetExternalSymbolSymbol(MO.getSymbolName()); 880b57cec5SDimitry Andric break; 890b57cec5SDimitry Andric case MachineOperand::MO_MachineBasicBlock: 900b57cec5SDimitry Andric O << *MO.getMBB()->getSymbol(); 910b57cec5SDimitry Andric break; 920b57cec5SDimitry Andric default: 930b57cec5SDimitry Andric llvm_unreachable("Not implemented yet!"); 940b57cec5SDimitry Andric } 950b57cec5SDimitry Andric } 960b57cec5SDimitry Andric 970b57cec5SDimitry Andric bool AVRAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNum, 980b57cec5SDimitry Andric const char *ExtraCode, raw_ostream &O) { 990b57cec5SDimitry Andric // Default asm printer can only deal with some extra codes, 1000b57cec5SDimitry Andric // so try it first. 1010b57cec5SDimitry Andric bool Error = AsmPrinter::PrintAsmOperand(MI, OpNum, ExtraCode, O); 1020b57cec5SDimitry Andric 1030b57cec5SDimitry Andric if (Error && ExtraCode && ExtraCode[0]) { 1040b57cec5SDimitry Andric if (ExtraCode[1] != 0) 1050b57cec5SDimitry Andric return true; // Unknown modifier. 1060b57cec5SDimitry Andric 1070b57cec5SDimitry Andric if (ExtraCode[0] >= 'A' && ExtraCode[0] <= 'Z') { 1080b57cec5SDimitry Andric const MachineOperand &RegOp = MI->getOperand(OpNum); 1090b57cec5SDimitry Andric 1100b57cec5SDimitry Andric assert(RegOp.isReg() && "Operand must be a register when you're" 1110b57cec5SDimitry Andric "using 'A'..'Z' operand extracodes."); 1128bcb0991SDimitry Andric Register Reg = RegOp.getReg(); 1130b57cec5SDimitry Andric 1140b57cec5SDimitry Andric unsigned ByteNumber = ExtraCode[0] - 'A'; 1150b57cec5SDimitry Andric 1160b57cec5SDimitry Andric unsigned OpFlags = MI->getOperand(OpNum - 1).getImm(); 1170b57cec5SDimitry Andric unsigned NumOpRegs = InlineAsm::getNumOperandRegisters(OpFlags); 1180b57cec5SDimitry Andric (void)NumOpRegs; 1190b57cec5SDimitry Andric 1200b57cec5SDimitry Andric const AVRSubtarget &STI = MF->getSubtarget<AVRSubtarget>(); 1210b57cec5SDimitry Andric const TargetRegisterInfo &TRI = *STI.getRegisterInfo(); 1220b57cec5SDimitry Andric 1230b57cec5SDimitry Andric const TargetRegisterClass *RC = TRI.getMinimalPhysRegClass(Reg); 1240b57cec5SDimitry Andric unsigned BytesPerReg = TRI.getRegSizeInBits(*RC) / 8; 1250b57cec5SDimitry Andric assert(BytesPerReg <= 2 && "Only 8 and 16 bit regs are supported."); 1260b57cec5SDimitry Andric 1270b57cec5SDimitry Andric unsigned RegIdx = ByteNumber / BytesPerReg; 1280b57cec5SDimitry Andric assert(RegIdx < NumOpRegs && "Multibyte index out of range."); 1290b57cec5SDimitry Andric 1300b57cec5SDimitry Andric Reg = MI->getOperand(OpNum + RegIdx).getReg(); 1310b57cec5SDimitry Andric 1320b57cec5SDimitry Andric if (BytesPerReg == 2) { 1330b57cec5SDimitry Andric Reg = TRI.getSubReg(Reg, ByteNumber % BytesPerReg ? AVR::sub_hi 1340b57cec5SDimitry Andric : AVR::sub_lo); 1350b57cec5SDimitry Andric } 1360b57cec5SDimitry Andric 1370b57cec5SDimitry Andric O << AVRInstPrinter::getPrettyRegisterName(Reg, MRI); 1380b57cec5SDimitry Andric return false; 1390b57cec5SDimitry Andric } 1400b57cec5SDimitry Andric } 1410b57cec5SDimitry Andric 1420b57cec5SDimitry Andric if (Error) 1430b57cec5SDimitry Andric printOperand(MI, OpNum, O); 1440b57cec5SDimitry Andric 1450b57cec5SDimitry Andric return false; 1460b57cec5SDimitry Andric } 1470b57cec5SDimitry Andric 1480b57cec5SDimitry Andric bool AVRAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI, 1490b57cec5SDimitry Andric unsigned OpNum, const char *ExtraCode, 1500b57cec5SDimitry Andric raw_ostream &O) { 151349cc55cSDimitry Andric if (ExtraCode && ExtraCode[0]) 152349cc55cSDimitry Andric return true; // Unknown modifier 1530b57cec5SDimitry Andric 1540b57cec5SDimitry Andric const MachineOperand &MO = MI->getOperand(OpNum); 1550b57cec5SDimitry Andric (void)MO; 1560b57cec5SDimitry Andric assert(MO.isReg() && "Unexpected inline asm memory operand"); 1570b57cec5SDimitry Andric 1580b57cec5SDimitry Andric // TODO: We should be able to look up the alternative name for 1590b57cec5SDimitry Andric // the register if it's given. 1600b57cec5SDimitry Andric // TableGen doesn't expose a way of getting retrieving names 1610b57cec5SDimitry Andric // for registers. 1620b57cec5SDimitry Andric if (MI->getOperand(OpNum).getReg() == AVR::R31R30) { 1630b57cec5SDimitry Andric O << "Z"; 1640b57cec5SDimitry Andric } else { 1650b57cec5SDimitry Andric assert(MI->getOperand(OpNum).getReg() == AVR::R29R28 && 1660b57cec5SDimitry Andric "Wrong register class for memory operand."); 1670b57cec5SDimitry Andric O << "Y"; 1680b57cec5SDimitry Andric } 1690b57cec5SDimitry Andric 1700b57cec5SDimitry Andric // If NumOpRegs == 2, then we assume it is product of a FrameIndex expansion 1710b57cec5SDimitry Andric // and the second operand is an Imm. 1720b57cec5SDimitry Andric unsigned OpFlags = MI->getOperand(OpNum - 1).getImm(); 1730b57cec5SDimitry Andric unsigned NumOpRegs = InlineAsm::getNumOperandRegisters(OpFlags); 1740b57cec5SDimitry Andric 1750b57cec5SDimitry Andric if (NumOpRegs == 2) { 1760b57cec5SDimitry Andric O << '+' << MI->getOperand(OpNum + 1).getImm(); 1770b57cec5SDimitry Andric } 1780b57cec5SDimitry Andric 1790b57cec5SDimitry Andric return false; 1800b57cec5SDimitry Andric } 1810b57cec5SDimitry Andric 1825ffd83dbSDimitry Andric void AVRAsmPrinter::emitInstruction(const MachineInstr *MI) { 1830b57cec5SDimitry Andric AVRMCInstLower MCInstLowering(OutContext, *this); 1840b57cec5SDimitry Andric 1850b57cec5SDimitry Andric MCInst I; 1860b57cec5SDimitry Andric MCInstLowering.lowerInstruction(*MI, I); 1870b57cec5SDimitry Andric EmitToStreamer(*OutStreamer, I); 1880b57cec5SDimitry Andric } 1890b57cec5SDimitry Andric 190fe6060f1SDimitry Andric const MCExpr *AVRAsmPrinter::lowerConstant(const Constant *CV) { 191fe6060f1SDimitry Andric MCContext &Ctx = OutContext; 192fe6060f1SDimitry Andric 193fe6060f1SDimitry Andric if (const GlobalValue *GV = dyn_cast<GlobalValue>(CV)) { 194fe6060f1SDimitry Andric bool IsProgMem = GV->getAddressSpace() == AVR::ProgramMemory; 195fe6060f1SDimitry Andric if (IsProgMem) { 196fe6060f1SDimitry Andric const MCExpr *Expr = MCSymbolRefExpr::create(getSymbol(GV), Ctx); 197fe6060f1SDimitry Andric return AVRMCExpr::create(AVRMCExpr::VK_AVR_PM, Expr, false, Ctx); 198fe6060f1SDimitry Andric } 199fe6060f1SDimitry Andric } 200fe6060f1SDimitry Andric 201fe6060f1SDimitry Andric return AsmPrinter::lowerConstant(CV); 202fe6060f1SDimitry Andric } 203fe6060f1SDimitry Andric 204349cc55cSDimitry Andric void AVRAsmPrinter::emitXXStructor(const DataLayout &DL, const Constant *CV) { 205349cc55cSDimitry Andric if (!EmittedStructorSymbolAttrs) { 206349cc55cSDimitry Andric OutStreamer->emitRawComment( 207349cc55cSDimitry Andric " Emitting these undefined symbol references causes us to link the" 208349cc55cSDimitry Andric " libgcc code that runs our constructors/destructors"); 209349cc55cSDimitry Andric OutStreamer->emitRawComment(" This matches GCC's behavior"); 210349cc55cSDimitry Andric 211349cc55cSDimitry Andric MCSymbol *CtorsSym = OutContext.getOrCreateSymbol("__do_global_ctors"); 212349cc55cSDimitry Andric OutStreamer->emitSymbolAttribute(CtorsSym, MCSA_Global); 213349cc55cSDimitry Andric 214349cc55cSDimitry Andric MCSymbol *DtorsSym = OutContext.getOrCreateSymbol("__do_global_dtors"); 215349cc55cSDimitry Andric OutStreamer->emitSymbolAttribute(DtorsSym, MCSA_Global); 216349cc55cSDimitry Andric 217349cc55cSDimitry Andric EmittedStructorSymbolAttrs = true; 218349cc55cSDimitry Andric } 219349cc55cSDimitry Andric 220349cc55cSDimitry Andric AsmPrinter::emitXXStructor(DL, CV); 221349cc55cSDimitry Andric } 222349cc55cSDimitry Andric 223349cc55cSDimitry Andric bool AVRAsmPrinter::doFinalization(Module &M) { 224349cc55cSDimitry Andric MCSymbol *DoCopyData = OutContext.getOrCreateSymbol("__do_copy_data"); 225349cc55cSDimitry Andric MCSymbol *DoClearBss = OutContext.getOrCreateSymbol("__do_clear_bss"); 226349cc55cSDimitry Andric 227349cc55cSDimitry Andric // FIXME: We can disable __do_copy_data if there are no static RAM variables. 228349cc55cSDimitry Andric 229349cc55cSDimitry Andric OutStreamer->emitRawComment( 230349cc55cSDimitry Andric " Declaring this symbol tells the CRT that it should"); 231349cc55cSDimitry Andric OutStreamer->emitRawComment( 232349cc55cSDimitry Andric "copy all variables from program memory to RAM on startup"); 233349cc55cSDimitry Andric OutStreamer->emitSymbolAttribute(DoCopyData, MCSA_Global); 234349cc55cSDimitry Andric 235349cc55cSDimitry Andric OutStreamer->emitRawComment( 236349cc55cSDimitry Andric " Declaring this symbol tells the CRT that it should"); 237349cc55cSDimitry Andric OutStreamer->emitRawComment("clear the zeroed data section on startup"); 238349cc55cSDimitry Andric OutStreamer->emitSymbolAttribute(DoClearBss, MCSA_Global); 239349cc55cSDimitry Andric 240349cc55cSDimitry Andric return AsmPrinter::doFinalization(M); 241349cc55cSDimitry Andric } 242349cc55cSDimitry Andric 243*81ad6265SDimitry Andric void AVRAsmPrinter::emitStartOfAsmFile(Module &M) { 244*81ad6265SDimitry Andric const AVRTargetMachine &TM = (const AVRTargetMachine &)MMI->getTarget(); 245*81ad6265SDimitry Andric const AVRSubtarget *SubTM = (const AVRSubtarget *)TM.getSubtargetImpl(); 246*81ad6265SDimitry Andric if (!SubTM) 247*81ad6265SDimitry Andric return; 248*81ad6265SDimitry Andric 249*81ad6265SDimitry Andric // Emit __tmp_reg__. 250*81ad6265SDimitry Andric OutStreamer->emitAssignment( 251*81ad6265SDimitry Andric MMI->getContext().getOrCreateSymbol(StringRef("__tmp_reg__")), 252*81ad6265SDimitry Andric MCConstantExpr::create(SubTM->getRegTmpIndex(), MMI->getContext())); 253*81ad6265SDimitry Andric // Emit __zero_reg__. 254*81ad6265SDimitry Andric OutStreamer->emitAssignment( 255*81ad6265SDimitry Andric MMI->getContext().getOrCreateSymbol(StringRef("__zero_reg__")), 256*81ad6265SDimitry Andric MCConstantExpr::create(SubTM->getRegZeroIndex(), MMI->getContext())); 257*81ad6265SDimitry Andric // Emit __SREG__. 258*81ad6265SDimitry Andric OutStreamer->emitAssignment( 259*81ad6265SDimitry Andric MMI->getContext().getOrCreateSymbol(StringRef("__SREG__")), 260*81ad6265SDimitry Andric MCConstantExpr::create(SubTM->getIORegSREG(), MMI->getContext())); 261*81ad6265SDimitry Andric // Emit __SP_H__ if available. 262*81ad6265SDimitry Andric if (!SubTM->hasSmallStack()) 263*81ad6265SDimitry Andric OutStreamer->emitAssignment( 264*81ad6265SDimitry Andric MMI->getContext().getOrCreateSymbol(StringRef("__SP_H__")), 265*81ad6265SDimitry Andric MCConstantExpr::create(SubTM->getIORegSPH(), MMI->getContext())); 266*81ad6265SDimitry Andric // Emit __SP_L__. 267*81ad6265SDimitry Andric OutStreamer->emitAssignment( 268*81ad6265SDimitry Andric MMI->getContext().getOrCreateSymbol(StringRef("__SP_L__")), 269*81ad6265SDimitry Andric MCConstantExpr::create(SubTM->getIORegSPL(), MMI->getContext())); 270*81ad6265SDimitry Andric // Emit __EIND__ if available. 271*81ad6265SDimitry Andric if (SubTM->hasEIJMPCALL()) 272*81ad6265SDimitry Andric OutStreamer->emitAssignment( 273*81ad6265SDimitry Andric MMI->getContext().getOrCreateSymbol(StringRef("__EIND__")), 274*81ad6265SDimitry Andric MCConstantExpr::create(SubTM->getIORegEIND(), MMI->getContext())); 275*81ad6265SDimitry Andric // Emit __RAMPZ__ if available. 276*81ad6265SDimitry Andric if (SubTM->hasELPM()) 277*81ad6265SDimitry Andric OutStreamer->emitAssignment( 278*81ad6265SDimitry Andric MMI->getContext().getOrCreateSymbol(StringRef("__RAMPZ__")), 279*81ad6265SDimitry Andric MCConstantExpr::create(SubTM->getIORegRAMPZ(), MMI->getContext())); 280*81ad6265SDimitry Andric } 281*81ad6265SDimitry Andric 2820b57cec5SDimitry Andric } // end of namespace llvm 2830b57cec5SDimitry Andric 284480093f4SDimitry Andric extern "C" LLVM_EXTERNAL_VISIBILITY void LLVMInitializeAVRAsmPrinter() { 2850b57cec5SDimitry Andric llvm::RegisterAsmPrinter<llvm::AVRAsmPrinter> X(llvm::getTheAVRTarget()); 2860b57cec5SDimitry Andric } 287