10b57cec5SDimitry Andric //===-- MSP430MCInstLower.cpp - Convert MSP430 MachineInstr to an MCInst --===//
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 code to lower MSP430 MachineInstrs to their corresponding
100b57cec5SDimitry Andric // MCInst records.
110b57cec5SDimitry Andric //
120b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
130b57cec5SDimitry Andric
140b57cec5SDimitry Andric #include "MSP430MCInstLower.h"
150b57cec5SDimitry Andric #include "llvm/ADT/SmallString.h"
160b57cec5SDimitry Andric #include "llvm/CodeGen/AsmPrinter.h"
170b57cec5SDimitry Andric #include "llvm/CodeGen/MachineBasicBlock.h"
180b57cec5SDimitry Andric #include "llvm/CodeGen/MachineInstr.h"
190b57cec5SDimitry Andric #include "llvm/IR/DataLayout.h"
200b57cec5SDimitry Andric #include "llvm/IR/Mangler.h"
210b57cec5SDimitry Andric #include "llvm/MC/MCAsmInfo.h"
220b57cec5SDimitry Andric #include "llvm/MC/MCContext.h"
230b57cec5SDimitry Andric #include "llvm/MC/MCExpr.h"
240b57cec5SDimitry Andric #include "llvm/MC/MCInst.h"
250b57cec5SDimitry Andric #include "llvm/Support/ErrorHandling.h"
260b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h"
270b57cec5SDimitry Andric #include "llvm/Target/TargetMachine.h"
280b57cec5SDimitry Andric using namespace llvm;
290b57cec5SDimitry Andric
300b57cec5SDimitry Andric MCSymbol *MSP430MCInstLower::
GetGlobalAddressSymbol(const MachineOperand & MO) const310b57cec5SDimitry Andric GetGlobalAddressSymbol(const MachineOperand &MO) const {
320b57cec5SDimitry Andric switch (MO.getTargetFlags()) {
330b57cec5SDimitry Andric default: llvm_unreachable("Unknown target flag on GV operand");
340b57cec5SDimitry Andric case 0: break;
350b57cec5SDimitry Andric }
360b57cec5SDimitry Andric
370b57cec5SDimitry Andric return Printer.getSymbol(MO.getGlobal());
380b57cec5SDimitry Andric }
390b57cec5SDimitry Andric
400b57cec5SDimitry Andric MCSymbol *MSP430MCInstLower::
GetExternalSymbolSymbol(const MachineOperand & MO) const410b57cec5SDimitry Andric GetExternalSymbolSymbol(const MachineOperand &MO) const {
420b57cec5SDimitry Andric switch (MO.getTargetFlags()) {
430b57cec5SDimitry Andric default: llvm_unreachable("Unknown target flag on GV operand");
440b57cec5SDimitry Andric case 0: break;
450b57cec5SDimitry Andric }
460b57cec5SDimitry Andric
470b57cec5SDimitry Andric return Printer.GetExternalSymbolSymbol(MO.getSymbolName());
480b57cec5SDimitry Andric }
490b57cec5SDimitry Andric
500b57cec5SDimitry Andric MCSymbol *MSP430MCInstLower::
GetJumpTableSymbol(const MachineOperand & MO) const510b57cec5SDimitry Andric GetJumpTableSymbol(const MachineOperand &MO) const {
520b57cec5SDimitry Andric const DataLayout &DL = Printer.getDataLayout();
530b57cec5SDimitry Andric SmallString<256> Name;
540b57cec5SDimitry Andric raw_svector_ostream(Name) << DL.getPrivateGlobalPrefix() << "JTI"
550b57cec5SDimitry Andric << Printer.getFunctionNumber() << '_'
560b57cec5SDimitry Andric << MO.getIndex();
570b57cec5SDimitry Andric
580b57cec5SDimitry Andric switch (MO.getTargetFlags()) {
590b57cec5SDimitry Andric default: llvm_unreachable("Unknown target flag on GV operand");
600b57cec5SDimitry Andric case 0: break;
610b57cec5SDimitry Andric }
620b57cec5SDimitry Andric
630b57cec5SDimitry Andric // Create a symbol for the name.
640b57cec5SDimitry Andric return Ctx.getOrCreateSymbol(Name);
650b57cec5SDimitry Andric }
660b57cec5SDimitry Andric
670b57cec5SDimitry Andric MCSymbol *MSP430MCInstLower::
GetConstantPoolIndexSymbol(const MachineOperand & MO) const680b57cec5SDimitry Andric GetConstantPoolIndexSymbol(const MachineOperand &MO) const {
690b57cec5SDimitry Andric const DataLayout &DL = Printer.getDataLayout();
700b57cec5SDimitry Andric SmallString<256> Name;
710b57cec5SDimitry Andric raw_svector_ostream(Name) << DL.getPrivateGlobalPrefix() << "CPI"
720b57cec5SDimitry Andric << Printer.getFunctionNumber() << '_'
730b57cec5SDimitry Andric << MO.getIndex();
740b57cec5SDimitry Andric
750b57cec5SDimitry Andric switch (MO.getTargetFlags()) {
760b57cec5SDimitry Andric default: llvm_unreachable("Unknown target flag on GV operand");
770b57cec5SDimitry Andric case 0: break;
780b57cec5SDimitry Andric }
790b57cec5SDimitry Andric
800b57cec5SDimitry Andric // Create a symbol for the name.
810b57cec5SDimitry Andric return Ctx.getOrCreateSymbol(Name);
820b57cec5SDimitry Andric }
830b57cec5SDimitry Andric
840b57cec5SDimitry Andric MCSymbol *MSP430MCInstLower::
GetBlockAddressSymbol(const MachineOperand & MO) const850b57cec5SDimitry Andric GetBlockAddressSymbol(const MachineOperand &MO) const {
860b57cec5SDimitry Andric switch (MO.getTargetFlags()) {
870b57cec5SDimitry Andric default: llvm_unreachable("Unknown target flag on GV operand");
880b57cec5SDimitry Andric case 0: break;
890b57cec5SDimitry Andric }
900b57cec5SDimitry Andric
910b57cec5SDimitry Andric return Printer.GetBlockAddressSymbol(MO.getBlockAddress());
920b57cec5SDimitry Andric }
930b57cec5SDimitry Andric
940b57cec5SDimitry Andric MCOperand MSP430MCInstLower::
LowerSymbolOperand(const MachineOperand & MO,MCSymbol * Sym) const950b57cec5SDimitry Andric LowerSymbolOperand(const MachineOperand &MO, MCSymbol *Sym) const {
960b57cec5SDimitry Andric // FIXME: We would like an efficient form for this, so we don't have to do a
970b57cec5SDimitry Andric // lot of extra uniquing.
980b57cec5SDimitry Andric const MCExpr *Expr = MCSymbolRefExpr::create(Sym, Ctx);
990b57cec5SDimitry Andric
1000b57cec5SDimitry Andric switch (MO.getTargetFlags()) {
1010b57cec5SDimitry Andric default: llvm_unreachable("Unknown target flag on GV operand");
1020b57cec5SDimitry Andric case 0: break;
1030b57cec5SDimitry Andric }
1040b57cec5SDimitry Andric
1050b57cec5SDimitry Andric if (!MO.isJTI() && MO.getOffset())
1060b57cec5SDimitry Andric Expr = MCBinaryExpr::createAdd(Expr,
1070b57cec5SDimitry Andric MCConstantExpr::create(MO.getOffset(), Ctx),
1080b57cec5SDimitry Andric Ctx);
1090b57cec5SDimitry Andric return MCOperand::createExpr(Expr);
1100b57cec5SDimitry Andric }
1110b57cec5SDimitry Andric
1120b57cec5SDimitry Andric #define GET_REGINFO_ENUM
1130b57cec5SDimitry Andric #include "MSP430GenRegisterInfo.inc"
1140b57cec5SDimitry Andric
Lower(const MachineInstr * MI,MCInst & OutMI) const1150b57cec5SDimitry Andric void MSP430MCInstLower::Lower(const MachineInstr *MI, MCInst &OutMI) const {
1160b57cec5SDimitry Andric OutMI.setOpcode(MI->getOpcode());
1170b57cec5SDimitry Andric
118*4824e7fdSDimitry Andric for (const MachineOperand &MO : MI->operands()) {
1190b57cec5SDimitry Andric MCOperand MCOp;
1200b57cec5SDimitry Andric switch (MO.getType()) {
1210b57cec5SDimitry Andric default:
1220b57cec5SDimitry Andric MI->print(errs());
1230b57cec5SDimitry Andric llvm_unreachable("unknown operand type");
1240b57cec5SDimitry Andric case MachineOperand::MO_Register:
1250b57cec5SDimitry Andric // Ignore all implicit register operands.
1260b57cec5SDimitry Andric if (MO.isImplicit()) continue;
1270b57cec5SDimitry Andric MCOp = MCOperand::createReg(MO.getReg());
1280b57cec5SDimitry Andric break;
1290b57cec5SDimitry Andric case MachineOperand::MO_Immediate:
1300b57cec5SDimitry Andric MCOp = MCOperand::createImm(MO.getImm());
1310b57cec5SDimitry Andric break;
1320b57cec5SDimitry Andric case MachineOperand::MO_MachineBasicBlock:
1330b57cec5SDimitry Andric MCOp = MCOperand::createExpr(MCSymbolRefExpr::create(
1340b57cec5SDimitry Andric MO.getMBB()->getSymbol(), Ctx));
1350b57cec5SDimitry Andric break;
1360b57cec5SDimitry Andric case MachineOperand::MO_GlobalAddress:
1370b57cec5SDimitry Andric MCOp = LowerSymbolOperand(MO, GetGlobalAddressSymbol(MO));
1380b57cec5SDimitry Andric break;
1390b57cec5SDimitry Andric case MachineOperand::MO_ExternalSymbol:
1400b57cec5SDimitry Andric MCOp = LowerSymbolOperand(MO, GetExternalSymbolSymbol(MO));
1410b57cec5SDimitry Andric break;
1420b57cec5SDimitry Andric case MachineOperand::MO_JumpTableIndex:
1430b57cec5SDimitry Andric MCOp = LowerSymbolOperand(MO, GetJumpTableSymbol(MO));
1440b57cec5SDimitry Andric break;
1450b57cec5SDimitry Andric case MachineOperand::MO_ConstantPoolIndex:
1460b57cec5SDimitry Andric MCOp = LowerSymbolOperand(MO, GetConstantPoolIndexSymbol(MO));
1470b57cec5SDimitry Andric break;
1480b57cec5SDimitry Andric case MachineOperand::MO_BlockAddress:
1490b57cec5SDimitry Andric MCOp = LowerSymbolOperand(MO, GetBlockAddressSymbol(MO));
1500b57cec5SDimitry Andric break;
1510b57cec5SDimitry Andric case MachineOperand::MO_RegisterMask:
1520b57cec5SDimitry Andric continue;
1530b57cec5SDimitry Andric }
1540b57cec5SDimitry Andric
1550b57cec5SDimitry Andric OutMI.addOperand(MCOp);
1560b57cec5SDimitry Andric }
1570b57cec5SDimitry Andric }
158