blob: e0100b1679be61d2400a0ad1af1f5e1037c3955b [file] [log] [blame]
Alex Bradbury89718422017-10-19 21:37:38 +00001//===-- RISCVMCInstLower.cpp - Convert RISCV MachineInstr to an MCInst ------=//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file contains code to lower RISCV MachineInstrs to their corresponding
11// MCInst records.
12//
13//===----------------------------------------------------------------------===//
14
15#include "RISCV.h"
Alex Bradburyec8aa912017-11-08 13:24:21 +000016#include "MCTargetDesc/RISCVMCExpr.h"
17#include "llvm/CodeGen/AsmPrinter.h"
Alex Bradbury89718422017-10-19 21:37:38 +000018#include "llvm/CodeGen/MachineBasicBlock.h"
19#include "llvm/CodeGen/MachineInstr.h"
20#include "llvm/MC/MCAsmInfo.h"
21#include "llvm/MC/MCContext.h"
22#include "llvm/MC/MCExpr.h"
23#include "llvm/MC/MCInst.h"
24#include "llvm/Support/ErrorHandling.h"
25#include "llvm/Support/raw_ostream.h"
26
27using namespace llvm;
28
Alex Bradburyec8aa912017-11-08 13:24:21 +000029static MCOperand lowerSymbolOperand(const MachineOperand &MO, MCSymbol *Sym,
30 const AsmPrinter &AP) {
31 MCContext &Ctx = AP.OutContext;
32 RISCVMCExpr::VariantKind Kind;
33
34 switch (MO.getTargetFlags()) {
35 default:
36 llvm_unreachable("Unknown target flag on GV operand");
37 case RISCVII::MO_None:
38 Kind = RISCVMCExpr::VK_RISCV_None;
39 break;
40 case RISCVII::MO_LO:
41 Kind = RISCVMCExpr::VK_RISCV_LO;
42 break;
43 case RISCVII::MO_HI:
44 Kind = RISCVMCExpr::VK_RISCV_HI;
45 break;
46 }
47
48 const MCExpr *ME =
49 MCSymbolRefExpr::create(Sym, MCSymbolRefExpr::VK_None, Ctx);
50
Alex Bradbury315cd3a2018-01-10 21:05:07 +000051 if (!MO.isJTI() && !MO.isMBB() && MO.getOffset())
Alex Bradburyec8aa912017-11-08 13:24:21 +000052 ME = MCBinaryExpr::createAdd(
53 ME, MCConstantExpr::create(MO.getOffset(), Ctx), Ctx);
54
Alex Bradbury315cd3a2018-01-10 21:05:07 +000055 if (Kind != RISCVMCExpr::VK_RISCV_None)
56 ME = RISCVMCExpr::create(ME, Kind, Ctx);
Alex Bradburyec8aa912017-11-08 13:24:21 +000057 return MCOperand::createExpr(ME);
58}
59
60bool llvm::LowerRISCVMachineOperandToMCOperand(const MachineOperand &MO,
61 MCOperand &MCOp,
62 const AsmPrinter &AP) {
63 switch (MO.getType()) {
64 default:
65 report_fatal_error("LowerRISCVMachineInstrToMCInst: unknown operand type");
66 case MachineOperand::MO_Register:
67 // Ignore all implicit register operands.
68 if (MO.isImplicit())
69 return false;
70 MCOp = MCOperand::createReg(MO.getReg());
71 break;
Alex Bradburya3376752017-11-08 13:41:21 +000072 case MachineOperand::MO_RegisterMask:
73 // Regmasks are like implicit defs.
74 return false;
Alex Bradburyec8aa912017-11-08 13:24:21 +000075 case MachineOperand::MO_Immediate:
76 MCOp = MCOperand::createImm(MO.getImm());
77 break;
Alex Bradbury74913e12017-11-08 13:31:40 +000078 case MachineOperand::MO_MachineBasicBlock:
Alex Bradbury315cd3a2018-01-10 21:05:07 +000079 MCOp = lowerSymbolOperand(MO, MO.getMBB()->getSymbol(), AP);
Alex Bradbury74913e12017-11-08 13:31:40 +000080 break;
Alex Bradburyec8aa912017-11-08 13:24:21 +000081 case MachineOperand::MO_GlobalAddress:
82 MCOp = lowerSymbolOperand(MO, AP.getSymbol(MO.getGlobal()), AP);
83 break;
Alex Bradburyffc435e2017-11-21 08:11:03 +000084 case MachineOperand::MO_BlockAddress:
85 MCOp = lowerSymbolOperand(
86 MO, AP.GetBlockAddressSymbol(MO.getBlockAddress()), AP);
87 break;
88 case MachineOperand::MO_ExternalSymbol:
89 MCOp = lowerSymbolOperand(
90 MO, AP.GetExternalSymbolSymbol(MO.getSymbolName()), AP);
91 break;
Alex Bradbury80c8eb72018-03-20 13:26:12 +000092 case MachineOperand::MO_ConstantPoolIndex:
93 MCOp = lowerSymbolOperand(MO, AP.GetCPISymbol(MO.getIndex()), AP);
94 break;
Alex Bradburyec8aa912017-11-08 13:24:21 +000095 }
96 return true;
97}
98
99void llvm::LowerRISCVMachineInstrToMCInst(const MachineInstr *MI, MCInst &OutMI,
100 const AsmPrinter &AP) {
Alex Bradbury89718422017-10-19 21:37:38 +0000101 OutMI.setOpcode(MI->getOpcode());
102
103 for (const MachineOperand &MO : MI->operands()) {
104 MCOperand MCOp;
Alex Bradburyec8aa912017-11-08 13:24:21 +0000105 if (LowerRISCVMachineOperandToMCOperand(MO, MCOp, AP))
106 OutMI.addOperand(MCOp);
Alex Bradbury89718422017-10-19 21:37:38 +0000107 }
108}