1*0b57cec5SDimitry Andric //===- ARCMCInstLower.cpp - ARC MachineInstr to MCInst ----------*- C++ -*-===// 2*0b57cec5SDimitry Andric // 3*0b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4*0b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 5*0b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6*0b57cec5SDimitry Andric // 7*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 8*0b57cec5SDimitry Andric /// 9*0b57cec5SDimitry Andric /// \file 10*0b57cec5SDimitry Andric /// This file contains code to lower ARC MachineInstrs to their 11*0b57cec5SDimitry Andric /// corresponding MCInst records. 12*0b57cec5SDimitry Andric /// 13*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 14*0b57cec5SDimitry Andric 15*0b57cec5SDimitry Andric #include "ARCMCInstLower.h" 16*0b57cec5SDimitry Andric #include "llvm/CodeGen/AsmPrinter.h" 17*0b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFunction.h" 18*0b57cec5SDimitry Andric #include "llvm/CodeGen/MachineInstr.h" 19*0b57cec5SDimitry Andric #include "llvm/CodeGen/MachineOperand.h" 20*0b57cec5SDimitry Andric #include "llvm/MC/MCContext.h" 21*0b57cec5SDimitry Andric #include "llvm/MC/MCExpr.h" 22*0b57cec5SDimitry Andric #include "llvm/MC/MCInst.h" 23*0b57cec5SDimitry Andric 24*0b57cec5SDimitry Andric using namespace llvm; 25*0b57cec5SDimitry Andric 26*0b57cec5SDimitry Andric ARCMCInstLower::ARCMCInstLower(MCContext *C, AsmPrinter &AsmPrinter) 27*0b57cec5SDimitry Andric : Ctx(C), Printer(AsmPrinter) {} 28*0b57cec5SDimitry Andric 29*0b57cec5SDimitry Andric MCOperand ARCMCInstLower::LowerSymbolOperand(const MachineOperand &MO, 30*0b57cec5SDimitry Andric MachineOperandType MOTy, 31*0b57cec5SDimitry Andric unsigned Offset) const { 32*0b57cec5SDimitry Andric MCSymbolRefExpr::VariantKind Kind = MCSymbolRefExpr::VK_None; 33*0b57cec5SDimitry Andric const MCSymbol *Symbol; 34*0b57cec5SDimitry Andric 35*0b57cec5SDimitry Andric switch (MOTy) { 36*0b57cec5SDimitry Andric case MachineOperand::MO_MachineBasicBlock: 37*0b57cec5SDimitry Andric Symbol = MO.getMBB()->getSymbol(); 38*0b57cec5SDimitry Andric break; 39*0b57cec5SDimitry Andric case MachineOperand::MO_GlobalAddress: 40*0b57cec5SDimitry Andric Symbol = Printer.getSymbol(MO.getGlobal()); 41*0b57cec5SDimitry Andric Offset += MO.getOffset(); 42*0b57cec5SDimitry Andric break; 43*0b57cec5SDimitry Andric case MachineOperand::MO_BlockAddress: 44*0b57cec5SDimitry Andric Symbol = Printer.GetBlockAddressSymbol(MO.getBlockAddress()); 45*0b57cec5SDimitry Andric Offset += MO.getOffset(); 46*0b57cec5SDimitry Andric break; 47*0b57cec5SDimitry Andric case MachineOperand::MO_ExternalSymbol: 48*0b57cec5SDimitry Andric Symbol = Printer.GetExternalSymbolSymbol(MO.getSymbolName()); 49*0b57cec5SDimitry Andric Offset += MO.getOffset(); 50*0b57cec5SDimitry Andric break; 51*0b57cec5SDimitry Andric case MachineOperand::MO_JumpTableIndex: 52*0b57cec5SDimitry Andric Symbol = Printer.GetJTISymbol(MO.getIndex()); 53*0b57cec5SDimitry Andric break; 54*0b57cec5SDimitry Andric case MachineOperand::MO_ConstantPoolIndex: 55*0b57cec5SDimitry Andric Symbol = Printer.GetCPISymbol(MO.getIndex()); 56*0b57cec5SDimitry Andric Offset += MO.getOffset(); 57*0b57cec5SDimitry Andric break; 58*0b57cec5SDimitry Andric default: 59*0b57cec5SDimitry Andric llvm_unreachable("<unknown operand type>"); 60*0b57cec5SDimitry Andric } 61*0b57cec5SDimitry Andric 62*0b57cec5SDimitry Andric assert(Symbol && "Symbol creation failed.\n"); 63*0b57cec5SDimitry Andric const MCSymbolRefExpr *MCSym = MCSymbolRefExpr::create(Symbol, Kind, *Ctx); 64*0b57cec5SDimitry Andric 65*0b57cec5SDimitry Andric if (!Offset) 66*0b57cec5SDimitry Andric return MCOperand::createExpr(MCSym); 67*0b57cec5SDimitry Andric 68*0b57cec5SDimitry Andric // Assume offset is never negative. 69*0b57cec5SDimitry Andric assert(Offset > 0); 70*0b57cec5SDimitry Andric 71*0b57cec5SDimitry Andric const MCConstantExpr *OffsetExpr = MCConstantExpr::create(Offset, *Ctx); 72*0b57cec5SDimitry Andric const MCBinaryExpr *Add = MCBinaryExpr::createAdd(MCSym, OffsetExpr, *Ctx); 73*0b57cec5SDimitry Andric return MCOperand::createExpr(Add); 74*0b57cec5SDimitry Andric } 75*0b57cec5SDimitry Andric 76*0b57cec5SDimitry Andric MCOperand ARCMCInstLower::LowerOperand(const MachineOperand &MO, 77*0b57cec5SDimitry Andric unsigned Offset) const { 78*0b57cec5SDimitry Andric MachineOperandType MOTy = MO.getType(); 79*0b57cec5SDimitry Andric 80*0b57cec5SDimitry Andric switch (MOTy) { 81*0b57cec5SDimitry Andric default: 82*0b57cec5SDimitry Andric llvm_unreachable("unknown operand type"); 83*0b57cec5SDimitry Andric case MachineOperand::MO_Register: 84*0b57cec5SDimitry Andric // Ignore all implicit register operands. 85*0b57cec5SDimitry Andric if (MO.isImplicit()) 86*0b57cec5SDimitry Andric break; 87*0b57cec5SDimitry Andric return MCOperand::createReg(MO.getReg()); 88*0b57cec5SDimitry Andric case MachineOperand::MO_Immediate: 89*0b57cec5SDimitry Andric return MCOperand::createImm(MO.getImm() + Offset); 90*0b57cec5SDimitry Andric case MachineOperand::MO_MachineBasicBlock: 91*0b57cec5SDimitry Andric case MachineOperand::MO_GlobalAddress: 92*0b57cec5SDimitry Andric case MachineOperand::MO_ExternalSymbol: 93*0b57cec5SDimitry Andric case MachineOperand::MO_JumpTableIndex: 94*0b57cec5SDimitry Andric case MachineOperand::MO_ConstantPoolIndex: 95*0b57cec5SDimitry Andric case MachineOperand::MO_BlockAddress: 96*0b57cec5SDimitry Andric return LowerSymbolOperand(MO, MOTy, Offset); 97*0b57cec5SDimitry Andric case MachineOperand::MO_RegisterMask: 98*0b57cec5SDimitry Andric break; 99*0b57cec5SDimitry Andric } 100*0b57cec5SDimitry Andric 101*0b57cec5SDimitry Andric return {}; 102*0b57cec5SDimitry Andric } 103*0b57cec5SDimitry Andric 104*0b57cec5SDimitry Andric void ARCMCInstLower::Lower(const MachineInstr *MI, MCInst &OutMI) const { 105*0b57cec5SDimitry Andric OutMI.setOpcode(MI->getOpcode()); 106*0b57cec5SDimitry Andric 107*0b57cec5SDimitry Andric for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) { 108*0b57cec5SDimitry Andric const MachineOperand &MO = MI->getOperand(i); 109*0b57cec5SDimitry Andric MCOperand MCOp = LowerOperand(MO); 110*0b57cec5SDimitry Andric 111*0b57cec5SDimitry Andric if (MCOp.isValid()) 112*0b57cec5SDimitry Andric OutMI.addOperand(MCOp); 113*0b57cec5SDimitry Andric } 114*0b57cec5SDimitry Andric } 115