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