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