14d82df32SDylan McKay //===-- AVRAsmPrinter.cpp - AVR LLVM assembly writer ----------------------===//
24d82df32SDylan McKay //
32946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
42946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
52946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
64d82df32SDylan McKay //
74d82df32SDylan McKay //===----------------------------------------------------------------------===//
84d82df32SDylan McKay //
94d82df32SDylan McKay // This file contains a printer that converts from our internal representation
104d82df32SDylan McKay // of machine-dependent LLVM code to GAS-format AVR assembly language.
114d82df32SDylan McKay //
124d82df32SDylan McKay //===----------------------------------------------------------------------===//
134d82df32SDylan McKay 
144d82df32SDylan McKay #include "AVR.h"
154d82df32SDylan McKay #include "AVRMCInstLower.h"
164d82df32SDylan McKay #include "AVRSubtarget.h"
17d7afea9eSBen Shi #include "AVRTargetMachine.h"
18bf9e67b5SRichard Trieu #include "MCTargetDesc/AVRInstPrinter.h"
192ccb9417SDylan McKay #include "MCTargetDesc/AVRMCExpr.h"
20e982b420SRichard Trieu #include "TargetInfo/AVRTargetInfo.h"
214d82df32SDylan McKay 
224d82df32SDylan McKay #include "llvm/CodeGen/AsmPrinter.h"
234d82df32SDylan McKay #include "llvm/CodeGen/MachineFunction.h"
246bda14b3SChandler Carruth #include "llvm/CodeGen/MachineInstr.h"
25d7afea9eSBen Shi #include "llvm/CodeGen/MachineModuleInfo.h"
26b3bde2eaSDavid Blaikie #include "llvm/CodeGen/TargetRegisterInfo.h"
27b3bde2eaSDavid Blaikie #include "llvm/CodeGen/TargetSubtargetInfo.h"
284d82df32SDylan McKay #include "llvm/IR/Mangler.h"
2975abeb64SMatt Jacobson #include "llvm/MC/MCContext.h"
304d82df32SDylan McKay #include "llvm/MC/MCInst.h"
314d82df32SDylan McKay #include "llvm/MC/MCStreamer.h"
324d82df32SDylan McKay #include "llvm/MC/MCSymbol.h"
3389b57061SReid Kleckner #include "llvm/MC/TargetRegistry.h"
344d82df32SDylan McKay #include "llvm/Support/ErrorHandling.h"
354d82df32SDylan McKay #include "llvm/Support/raw_ostream.h"
364d82df32SDylan McKay 
374d82df32SDylan McKay #define DEBUG_TYPE "avr-asm-printer"
384d82df32SDylan McKay 
394d82df32SDylan McKay namespace llvm {
404d82df32SDylan McKay 
414d82df32SDylan McKay /// An AVR assembly code printer.
424d82df32SDylan McKay class AVRAsmPrinter : public AsmPrinter {
434d82df32SDylan McKay public:
AVRAsmPrinter(TargetMachine & TM,std::unique_ptr<MCStreamer> Streamer)4475abeb64SMatt Jacobson   AVRAsmPrinter(TargetMachine &TM, std::unique_ptr<MCStreamer> Streamer)
454d82df32SDylan McKay       : AsmPrinter(TM, std::move(Streamer)), MRI(*TM.getMCRegisterInfo()) {}
464d82df32SDylan McKay 
getPassName() const474d82df32SDylan McKay   StringRef getPassName() const override { return "AVR Assembly Printer"; }
484d82df32SDylan McKay 
497ab164c4SNick Desaulniers   void printOperand(const MachineInstr *MI, unsigned OpNo, raw_ostream &O);
504d82df32SDylan McKay 
514d82df32SDylan McKay   bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNum,
525277b3ffSNick Desaulniers                        const char *ExtraCode, raw_ostream &O) override;
534d82df32SDylan McKay 
544d82df32SDylan McKay   bool PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNum,
555277b3ffSNick Desaulniers                              const char *ExtraCode, raw_ostream &O) override;
564d82df32SDylan McKay 
57bcd24b2dSFangrui Song   void emitInstruction(const MachineInstr *MI) override;
584d82df32SDylan McKay 
592ccb9417SDylan McKay   const MCExpr *lowerConstant(const Constant *CV) override;
602ccb9417SDylan McKay 
6175abeb64SMatt Jacobson   void emitXXStructor(const DataLayout &DL, const Constant *CV) override;
6275abeb64SMatt Jacobson 
6375abeb64SMatt Jacobson   bool doFinalization(Module &M) override;
6475abeb64SMatt Jacobson 
65d7afea9eSBen Shi   void emitStartOfAsmFile(Module &M) override;
66d7afea9eSBen Shi 
674d82df32SDylan McKay private:
684d82df32SDylan McKay   const MCRegisterInfo &MRI;
6975abeb64SMatt Jacobson   bool EmittedStructorSymbolAttrs = false;
704d82df32SDylan McKay };
714d82df32SDylan McKay 
printOperand(const MachineInstr * MI,unsigned OpNo,raw_ostream & O)724d82df32SDylan McKay void AVRAsmPrinter::printOperand(const MachineInstr *MI, unsigned OpNo,
737ab164c4SNick Desaulniers                                  raw_ostream &O) {
744d82df32SDylan McKay   const MachineOperand &MO = MI->getOperand(OpNo);
754d82df32SDylan McKay 
764d82df32SDylan McKay   switch (MO.getType()) {
774d82df32SDylan McKay   case MachineOperand::MO_Register:
784d82df32SDylan McKay     O << AVRInstPrinter::getPrettyRegisterName(MO.getReg(), MRI);
794d82df32SDylan McKay     break;
804d82df32SDylan McKay   case MachineOperand::MO_Immediate:
814d82df32SDylan McKay     O << MO.getImm();
824d82df32SDylan McKay     break;
834d82df32SDylan McKay   case MachineOperand::MO_GlobalAddress:
844d82df32SDylan McKay     O << getSymbol(MO.getGlobal());
854d82df32SDylan McKay     break;
864d82df32SDylan McKay   case MachineOperand::MO_ExternalSymbol:
874d82df32SDylan McKay     O << *GetExternalSymbolSymbol(MO.getSymbolName());
884d82df32SDylan McKay     break;
894d82df32SDylan McKay   case MachineOperand::MO_MachineBasicBlock:
904d82df32SDylan McKay     O << *MO.getMBB()->getSymbol();
914d82df32SDylan McKay     break;
924d82df32SDylan McKay   default:
934d82df32SDylan McKay     llvm_unreachable("Not implemented yet!");
944d82df32SDylan McKay   }
954d82df32SDylan McKay }
964d82df32SDylan McKay 
PrintAsmOperand(const MachineInstr * MI,unsigned OpNum,const char * ExtraCode,raw_ostream & O)974d82df32SDylan McKay bool AVRAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNum,
985277b3ffSNick Desaulniers                                     const char *ExtraCode, raw_ostream &O) {
994d82df32SDylan McKay   // Default asm printer can only deal with some extra codes,
1004d82df32SDylan McKay   // so try it first.
1015277b3ffSNick Desaulniers   bool Error = AsmPrinter::PrintAsmOperand(MI, OpNum, ExtraCode, O);
1024d82df32SDylan McKay 
1034d82df32SDylan McKay   if (Error && ExtraCode && ExtraCode[0]) {
1044d82df32SDylan McKay     if (ExtraCode[1] != 0)
1054d82df32SDylan McKay       return true; // Unknown modifier.
1064d82df32SDylan McKay 
1074d82df32SDylan McKay     if (ExtraCode[0] >= 'A' && ExtraCode[0] <= 'Z') {
1084d82df32SDylan McKay       const MachineOperand &RegOp = MI->getOperand(OpNum);
1094d82df32SDylan McKay 
1104d82df32SDylan McKay       assert(RegOp.isReg() && "Operand must be a register when you're"
1114d82df32SDylan McKay                               "using 'A'..'Z' operand extracodes.");
1120c476111SDaniel Sanders       Register Reg = RegOp.getReg();
1134d82df32SDylan McKay 
1144d82df32SDylan McKay       unsigned ByteNumber = ExtraCode[0] - 'A';
1154d82df32SDylan McKay 
1164d82df32SDylan McKay       unsigned OpFlags = MI->getOperand(OpNum - 1).getImm();
1174d82df32SDylan McKay       unsigned NumOpRegs = InlineAsm::getNumOperandRegisters(OpFlags);
1181a55f201SDylan McKay       (void)NumOpRegs;
1194d82df32SDylan McKay 
1204d82df32SDylan McKay       const AVRSubtarget &STI = MF->getSubtarget<AVRSubtarget>();
1214d82df32SDylan McKay       const TargetRegisterInfo &TRI = *STI.getRegisterInfo();
1224d82df32SDylan McKay 
12344e25f37SKrzysztof Parzyszek       const TargetRegisterClass *RC = TRI.getMinimalPhysRegClass(Reg);
12444e25f37SKrzysztof Parzyszek       unsigned BytesPerReg = TRI.getRegSizeInBits(*RC) / 8;
1254d82df32SDylan McKay       assert(BytesPerReg <= 2 && "Only 8 and 16 bit regs are supported.");
1264d82df32SDylan McKay 
1274d82df32SDylan McKay       unsigned RegIdx = ByteNumber / BytesPerReg;
1284d82df32SDylan McKay       assert(RegIdx < NumOpRegs && "Multibyte index out of range.");
1294d82df32SDylan McKay 
1304d82df32SDylan McKay       Reg = MI->getOperand(OpNum + RegIdx).getReg();
1314d82df32SDylan McKay 
1324d82df32SDylan McKay       if (BytesPerReg == 2) {
1334d82df32SDylan McKay         Reg = TRI.getSubReg(Reg, ByteNumber % BytesPerReg ? AVR::sub_hi
1344d82df32SDylan McKay                                                           : AVR::sub_lo);
1354d82df32SDylan McKay       }
1364d82df32SDylan McKay 
1374d82df32SDylan McKay       O << AVRInstPrinter::getPrettyRegisterName(Reg, MRI);
1384d82df32SDylan McKay       return false;
1394d82df32SDylan McKay     }
1404d82df32SDylan McKay   }
1414d82df32SDylan McKay 
142b78f3665SDylan McKay   if (Error)
1434d82df32SDylan McKay     printOperand(MI, OpNum, O);
1444d82df32SDylan McKay 
1454d82df32SDylan McKay   return false;
1464d82df32SDylan McKay }
1474d82df32SDylan McKay 
PrintAsmMemoryOperand(const MachineInstr * MI,unsigned OpNum,const char * ExtraCode,raw_ostream & O)1484d82df32SDylan McKay bool AVRAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI,
1495277b3ffSNick Desaulniers                                           unsigned OpNum, const char *ExtraCode,
1504d82df32SDylan McKay                                           raw_ostream &O) {
1514f9a5c2aSNico Weber   if (ExtraCode && ExtraCode[0])
1524f9a5c2aSNico Weber     return true; // Unknown modifier
1534d82df32SDylan McKay 
1544d82df32SDylan McKay   const MachineOperand &MO = MI->getOperand(OpNum);
1551a55f201SDylan McKay   (void)MO;
1564d82df32SDylan McKay   assert(MO.isReg() && "Unexpected inline asm memory operand");
1574d82df32SDylan McKay 
158946ab551SDylan McKay   // TODO: We should be able to look up the alternative name for
159946ab551SDylan McKay   // the register if it's given.
160946ab551SDylan McKay   // TableGen doesn't expose a way of getting retrieving names
161946ab551SDylan McKay   // for registers.
1624d82df32SDylan McKay   if (MI->getOperand(OpNum).getReg() == AVR::R31R30) {
1634d82df32SDylan McKay     O << "Z";
1644d82df32SDylan McKay   } else {
1654d82df32SDylan McKay     assert(MI->getOperand(OpNum).getReg() == AVR::R29R28 &&
1664d82df32SDylan McKay            "Wrong register class for memory operand.");
1674d82df32SDylan McKay     O << "Y";
1684d82df32SDylan McKay   }
1694d82df32SDylan McKay 
1704d82df32SDylan McKay   // If NumOpRegs == 2, then we assume it is product of a FrameIndex expansion
1714d82df32SDylan McKay   // and the second operand is an Imm.
1724d82df32SDylan McKay   unsigned OpFlags = MI->getOperand(OpNum - 1).getImm();
1734d82df32SDylan McKay   unsigned NumOpRegs = InlineAsm::getNumOperandRegisters(OpFlags);
1744d82df32SDylan McKay 
1754d82df32SDylan McKay   if (NumOpRegs == 2) {
1764d82df32SDylan McKay     O << '+' << MI->getOperand(OpNum + 1).getImm();
1774d82df32SDylan McKay   }
1784d82df32SDylan McKay 
1794d82df32SDylan McKay   return false;
1804d82df32SDylan McKay }
1814d82df32SDylan McKay 
emitInstruction(const MachineInstr * MI)182bcd24b2dSFangrui Song void AVRAsmPrinter::emitInstruction(const MachineInstr *MI) {
183*3e0bf1c7SDavid Green   // FIXME: Enable feature predicate checks once all the test pass.
184*3e0bf1c7SDavid Green   // AVR_MC::verifyInstructionPredicates(MI->getOpcode(),
185*3e0bf1c7SDavid Green   //                                     getSubtargetInfo().getFeatureBits());
186*3e0bf1c7SDavid Green 
1874d82df32SDylan McKay   AVRMCInstLower MCInstLowering(OutContext, *this);
1884d82df32SDylan McKay 
1894d82df32SDylan McKay   MCInst I;
1904d82df32SDylan McKay   MCInstLowering.lowerInstruction(*MI, I);
1914d82df32SDylan McKay   EmitToStreamer(*OutStreamer, I);
1924d82df32SDylan McKay }
1934d82df32SDylan McKay 
lowerConstant(const Constant * CV)1942ccb9417SDylan McKay const MCExpr *AVRAsmPrinter::lowerConstant(const Constant *CV) {
1952ccb9417SDylan McKay   MCContext &Ctx = OutContext;
1962ccb9417SDylan McKay 
1972ccb9417SDylan McKay   if (const GlobalValue *GV = dyn_cast<GlobalValue>(CV)) {
1982ccb9417SDylan McKay     bool IsProgMem = GV->getAddressSpace() == AVR::ProgramMemory;
1992ccb9417SDylan McKay     if (IsProgMem) {
2002ccb9417SDylan McKay       const MCExpr *Expr = MCSymbolRefExpr::create(getSymbol(GV), Ctx);
2012ccb9417SDylan McKay       return AVRMCExpr::create(AVRMCExpr::VK_AVR_PM, Expr, false, Ctx);
2022ccb9417SDylan McKay     }
2032ccb9417SDylan McKay   }
2042ccb9417SDylan McKay 
2052ccb9417SDylan McKay   return AsmPrinter::lowerConstant(CV);
2062ccb9417SDylan McKay }
2072ccb9417SDylan McKay 
emitXXStructor(const DataLayout & DL,const Constant * CV)20875abeb64SMatt Jacobson void AVRAsmPrinter::emitXXStructor(const DataLayout &DL, const Constant *CV) {
20975abeb64SMatt Jacobson   if (!EmittedStructorSymbolAttrs) {
21075abeb64SMatt Jacobson     OutStreamer->emitRawComment(
21175abeb64SMatt Jacobson         " Emitting these undefined symbol references causes us to link the"
21275abeb64SMatt Jacobson         " libgcc code that runs our constructors/destructors");
21375abeb64SMatt Jacobson     OutStreamer->emitRawComment(" This matches GCC's behavior");
21475abeb64SMatt Jacobson 
21575abeb64SMatt Jacobson     MCSymbol *CtorsSym = OutContext.getOrCreateSymbol("__do_global_ctors");
21675abeb64SMatt Jacobson     OutStreamer->emitSymbolAttribute(CtorsSym, MCSA_Global);
21775abeb64SMatt Jacobson 
21875abeb64SMatt Jacobson     MCSymbol *DtorsSym = OutContext.getOrCreateSymbol("__do_global_dtors");
21975abeb64SMatt Jacobson     OutStreamer->emitSymbolAttribute(DtorsSym, MCSA_Global);
22075abeb64SMatt Jacobson 
22175abeb64SMatt Jacobson     EmittedStructorSymbolAttrs = true;
22275abeb64SMatt Jacobson   }
22375abeb64SMatt Jacobson 
22475abeb64SMatt Jacobson   AsmPrinter::emitXXStructor(DL, CV);
22575abeb64SMatt Jacobson }
22675abeb64SMatt Jacobson 
doFinalization(Module & M)22775abeb64SMatt Jacobson bool AVRAsmPrinter::doFinalization(Module &M) {
22875abeb64SMatt Jacobson   MCSymbol *DoCopyData = OutContext.getOrCreateSymbol("__do_copy_data");
22975abeb64SMatt Jacobson   MCSymbol *DoClearBss = OutContext.getOrCreateSymbol("__do_clear_bss");
23075abeb64SMatt Jacobson 
23175abeb64SMatt Jacobson   // FIXME: We can disable __do_copy_data if there are no static RAM variables.
23275abeb64SMatt Jacobson 
23375abeb64SMatt Jacobson   OutStreamer->emitRawComment(
23475abeb64SMatt Jacobson       " Declaring this symbol tells the CRT that it should");
23575abeb64SMatt Jacobson   OutStreamer->emitRawComment(
23675abeb64SMatt Jacobson       "copy all variables from program memory to RAM on startup");
23775abeb64SMatt Jacobson   OutStreamer->emitSymbolAttribute(DoCopyData, MCSA_Global);
23875abeb64SMatt Jacobson 
23975abeb64SMatt Jacobson   OutStreamer->emitRawComment(
24075abeb64SMatt Jacobson       " Declaring this symbol tells the CRT that it should");
24175abeb64SMatt Jacobson   OutStreamer->emitRawComment("clear the zeroed data section on startup");
24275abeb64SMatt Jacobson   OutStreamer->emitSymbolAttribute(DoClearBss, MCSA_Global);
24375abeb64SMatt Jacobson 
24475abeb64SMatt Jacobson   return AsmPrinter::doFinalization(M);
24575abeb64SMatt Jacobson }
24675abeb64SMatt Jacobson 
emitStartOfAsmFile(Module & M)247d7afea9eSBen Shi void AVRAsmPrinter::emitStartOfAsmFile(Module &M) {
248d7afea9eSBen Shi   const AVRTargetMachine &TM = (const AVRTargetMachine &)MMI->getTarget();
249d7afea9eSBen Shi   const AVRSubtarget *SubTM = (const AVRSubtarget *)TM.getSubtargetImpl();
250d7afea9eSBen Shi   if (!SubTM)
251d7afea9eSBen Shi     return;
252d7afea9eSBen Shi 
253d7afea9eSBen Shi   // Emit __tmp_reg__.
254d7afea9eSBen Shi   OutStreamer->emitAssignment(
255d7afea9eSBen Shi       MMI->getContext().getOrCreateSymbol(StringRef("__tmp_reg__")),
256d7afea9eSBen Shi       MCConstantExpr::create(SubTM->getRegTmpIndex(), MMI->getContext()));
257d7afea9eSBen Shi   // Emit __zero_reg__.
258d7afea9eSBen Shi   OutStreamer->emitAssignment(
259d7afea9eSBen Shi       MMI->getContext().getOrCreateSymbol(StringRef("__zero_reg__")),
260d7afea9eSBen Shi       MCConstantExpr::create(SubTM->getRegZeroIndex(), MMI->getContext()));
261d7afea9eSBen Shi   // Emit __SREG__.
262d7afea9eSBen Shi   OutStreamer->emitAssignment(
263d7afea9eSBen Shi       MMI->getContext().getOrCreateSymbol(StringRef("__SREG__")),
264d7afea9eSBen Shi       MCConstantExpr::create(SubTM->getIORegSREG(), MMI->getContext()));
265d7afea9eSBen Shi   // Emit __SP_H__ if available.
266d7afea9eSBen Shi   if (!SubTM->hasSmallStack())
267d7afea9eSBen Shi     OutStreamer->emitAssignment(
268d7afea9eSBen Shi         MMI->getContext().getOrCreateSymbol(StringRef("__SP_H__")),
269d7afea9eSBen Shi         MCConstantExpr::create(SubTM->getIORegSPH(), MMI->getContext()));
270d7afea9eSBen Shi   // Emit __SP_L__.
271d7afea9eSBen Shi   OutStreamer->emitAssignment(
272d7afea9eSBen Shi       MMI->getContext().getOrCreateSymbol(StringRef("__SP_L__")),
273d7afea9eSBen Shi       MCConstantExpr::create(SubTM->getIORegSPL(), MMI->getContext()));
274d7afea9eSBen Shi   // Emit __EIND__ if available.
275d7afea9eSBen Shi   if (SubTM->hasEIJMPCALL())
276d7afea9eSBen Shi     OutStreamer->emitAssignment(
277d7afea9eSBen Shi         MMI->getContext().getOrCreateSymbol(StringRef("__EIND__")),
278d7afea9eSBen Shi         MCConstantExpr::create(SubTM->getIORegEIND(), MMI->getContext()));
279d7afea9eSBen Shi   // Emit __RAMPZ__ if available.
280d7afea9eSBen Shi   if (SubTM->hasELPM())
281d7afea9eSBen Shi     OutStreamer->emitAssignment(
282d7afea9eSBen Shi         MMI->getContext().getOrCreateSymbol(StringRef("__RAMPZ__")),
283d7afea9eSBen Shi         MCConstantExpr::create(SubTM->getIORegRAMPZ(), MMI->getContext()));
284d7afea9eSBen Shi }
285d7afea9eSBen Shi 
2864d82df32SDylan McKay } // end of namespace llvm
2874d82df32SDylan McKay 
LLVMInitializeAVRAsmPrinter()2880dbcb363STom Stellard extern "C" LLVM_EXTERNAL_VISIBILITY void LLVMInitializeAVRAsmPrinter() {
289f42454b9SMehdi Amini   llvm::RegisterAsmPrinter<llvm::AVRAsmPrinter> X(llvm::getTheAVRTarget());
2904d82df32SDylan McKay }
291