15f613dfdSUlrich Weigand //===-- SystemZMCInstLower.cpp - Lower MachineInstr to MCInst -------------===//
25f613dfdSUlrich Weigand //
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
65f613dfdSUlrich Weigand //
75f613dfdSUlrich Weigand //===----------------------------------------------------------------------===//
85f613dfdSUlrich Weigand 
95f613dfdSUlrich Weigand #include "SystemZMCInstLower.h"
105f613dfdSUlrich Weigand #include "SystemZAsmPrinter.h"
11894843cbSRafael Espindola #include "llvm/IR/Mangler.h"
125f613dfdSUlrich Weigand #include "llvm/MC/MCExpr.h"
1381902a3aSPete Cooper #include "llvm/MC/MCInst.h"
145f613dfdSUlrich Weigand #include "llvm/MC/MCStreamer.h"
155f613dfdSUlrich Weigand 
165f613dfdSUlrich Weigand using namespace llvm;
175f613dfdSUlrich Weigand 
185f613dfdSUlrich Weigand // Return the VK_* enumeration for MachineOperand target flags Flags.
getVariantKind(unsigned Flags)195f613dfdSUlrich Weigand static MCSymbolRefExpr::VariantKind getVariantKind(unsigned Flags) {
205f613dfdSUlrich Weigand   switch (Flags & SystemZII::MO_SYMBOL_MODIFIER) {
215f613dfdSUlrich Weigand     case 0:
225f613dfdSUlrich Weigand       return MCSymbolRefExpr::VK_None;
235f613dfdSUlrich Weigand     case SystemZII::MO_GOT:
245f613dfdSUlrich Weigand       return MCSymbolRefExpr::VK_GOT;
257db6918eSUlrich Weigand     case SystemZII::MO_INDNTPOFF:
267db6918eSUlrich Weigand       return MCSymbolRefExpr::VK_INDNTPOFF;
275f613dfdSUlrich Weigand   }
285f613dfdSUlrich Weigand   llvm_unreachable("Unrecognised MO_ACCESS_MODEL");
295f613dfdSUlrich Weigand }
305f613dfdSUlrich Weigand 
SystemZMCInstLower(MCContext & ctx,SystemZAsmPrinter & asmprinter)3169c1d631SRafael Espindola SystemZMCInstLower::SystemZMCInstLower(MCContext &ctx,
325f613dfdSUlrich Weigand                                        SystemZAsmPrinter &asmprinter)
3369c1d631SRafael Espindola   : Ctx(ctx), AsmPrinter(asmprinter) {}
345f613dfdSUlrich Weigand 
35f348f831SRichard Sandiford const MCExpr *
getExpr(const MachineOperand & MO,MCSymbolRefExpr::VariantKind Kind) const36f348f831SRichard Sandiford SystemZMCInstLower::getExpr(const MachineOperand &MO,
37f348f831SRichard Sandiford                             MCSymbolRefExpr::VariantKind Kind) const {
38f348f831SRichard Sandiford   const MCSymbol *Symbol;
39f348f831SRichard Sandiford   bool HasOffset = true;
40f348f831SRichard Sandiford   switch (MO.getType()) {
41f348f831SRichard Sandiford   case MachineOperand::MO_MachineBasicBlock:
42f348f831SRichard Sandiford     Symbol = MO.getMBB()->getSymbol();
43f348f831SRichard Sandiford     HasOffset = false;
44f348f831SRichard Sandiford     break;
45f348f831SRichard Sandiford 
46f348f831SRichard Sandiford   case MachineOperand::MO_GlobalAddress:
4779858aa3SRafael Espindola     Symbol = AsmPrinter.getSymbol(MO.getGlobal());
48f348f831SRichard Sandiford     break;
49f348f831SRichard Sandiford 
50f348f831SRichard Sandiford   case MachineOperand::MO_ExternalSymbol:
51f348f831SRichard Sandiford     Symbol = AsmPrinter.GetExternalSymbolSymbol(MO.getSymbolName());
52f348f831SRichard Sandiford     break;
53f348f831SRichard Sandiford 
54f348f831SRichard Sandiford   case MachineOperand::MO_JumpTableIndex:
55f348f831SRichard Sandiford     Symbol = AsmPrinter.GetJTISymbol(MO.getIndex());
56f348f831SRichard Sandiford     HasOffset = false;
57f348f831SRichard Sandiford     break;
58f348f831SRichard Sandiford 
59f348f831SRichard Sandiford   case MachineOperand::MO_ConstantPoolIndex:
60f348f831SRichard Sandiford     Symbol = AsmPrinter.GetCPISymbol(MO.getIndex());
61f348f831SRichard Sandiford     break;
62f348f831SRichard Sandiford 
63f348f831SRichard Sandiford   case MachineOperand::MO_BlockAddress:
64f348f831SRichard Sandiford     Symbol = AsmPrinter.GetBlockAddressSymbol(MO.getBlockAddress());
65f348f831SRichard Sandiford     break;
66f348f831SRichard Sandiford 
67f348f831SRichard Sandiford   default:
68f348f831SRichard Sandiford     llvm_unreachable("unknown operand type");
69f348f831SRichard Sandiford   }
7013760bd1SJim Grosbach   const MCExpr *Expr = MCSymbolRefExpr::create(Symbol, Kind, Ctx);
71f348f831SRichard Sandiford   if (HasOffset)
72f348f831SRichard Sandiford     if (int64_t Offset = MO.getOffset()) {
7313760bd1SJim Grosbach       const MCExpr *OffsetExpr = MCConstantExpr::create(Offset, Ctx);
7413760bd1SJim Grosbach       Expr = MCBinaryExpr::createAdd(Expr, OffsetExpr, Ctx);
755f613dfdSUlrich Weigand     }
76f348f831SRichard Sandiford   return Expr;
775f613dfdSUlrich Weigand }
785f613dfdSUlrich Weigand 
lowerOperand(const MachineOperand & MO) const795f613dfdSUlrich Weigand MCOperand SystemZMCInstLower::lowerOperand(const MachineOperand &MO) const {
805f613dfdSUlrich Weigand   switch (MO.getType()) {
815f613dfdSUlrich Weigand   case MachineOperand::MO_Register:
82e9119e41SJim Grosbach     return MCOperand::createReg(MO.getReg());
835f613dfdSUlrich Weigand 
845f613dfdSUlrich Weigand   case MachineOperand::MO_Immediate:
85e9119e41SJim Grosbach     return MCOperand::createImm(MO.getImm());
865f613dfdSUlrich Weigand 
87f348f831SRichard Sandiford   default: {
88f348f831SRichard Sandiford     MCSymbolRefExpr::VariantKind Kind = getVariantKind(MO.getTargetFlags());
89e9119e41SJim Grosbach     return MCOperand::createExpr(getExpr(MO, Kind));
905f613dfdSUlrich Weigand   }
915f613dfdSUlrich Weigand   }
925f613dfdSUlrich Weigand }
935f613dfdSUlrich Weigand 
lower(const MachineInstr * MI,MCInst & OutMI) const945f613dfdSUlrich Weigand void SystemZMCInstLower::lower(const MachineInstr *MI, MCInst &OutMI) const {
95f348f831SRichard Sandiford   OutMI.setOpcode(MI->getOpcode());
96*ff649e08SKazu Hirata   for (const MachineOperand &MO : MI->operands())
97b820405bSRichard Sandiford     // Ignore all implicit register operands.
98b820405bSRichard Sandiford     if (!MO.isReg() || !MO.isImplicit())
99b820405bSRichard Sandiford       OutMI.addOperand(lowerOperand(MO));
1005f613dfdSUlrich Weigand }
101