blob: 7429acdb09add7579fbda9b93398ee3f3515a84c [file] [log] [blame]
Chris Lattner78393d72009-10-19 20:21:05 +00001//===-- ARMMCInstLower.cpp - Convert ARM 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 ARM MachineInstrs to their corresponding
11// MCInst records.
12//
13//===----------------------------------------------------------------------===//
14
Chris Lattnerb28e6912010-11-14 20:31:06 +000015#include "ARM.h"
Jim Grosbachd0d13292010-12-01 03:45:07 +000016#include "ARMAsmPrinter.h"
Craig Toppera9253262014-03-22 23:51:00 +000017#include "MCTargetDesc/ARMBaseInfo.h"
Evan Chenga20cde32011-07-20 23:34:39 +000018#include "MCTargetDesc/ARMMCExpr.h"
Chris Lattner1b06acb2009-10-20 00:52:47 +000019#include "llvm/CodeGen/MachineBasicBlock.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000020#include "llvm/IR/Constants.h"
Rafael Espindola894843c2014-01-07 21:19:40 +000021#include "llvm/IR/Mangler.h"
Chris Lattner889a6212009-10-19 21:53:00 +000022#include "llvm/MC/MCExpr.h"
Chris Lattner78393d72009-10-19 20:21:05 +000023#include "llvm/MC/MCInst.h"
Chris Lattner78393d72009-10-19 20:21:05 +000024using namespace llvm;
25
Chris Lattnerc5afd122010-11-14 20:58:38 +000026
Jim Grosbach95dee402011-07-08 17:40:42 +000027MCOperand ARMAsmPrinter::GetSymbolRef(const MachineOperand &MO,
28 const MCSymbol *Symbol) {
Aaron Ballman86100fc2016-06-20 15:37:15 +000029 const MCExpr *Expr =
30 MCSymbolRefExpr::create(Symbol, MCSymbolRefExpr::VK_None, OutContext);
31 switch (MO.getTargetFlags() & ARMII::MO_OPTION_MASK) {
32 default:
33 llvm_unreachable("Unknown target flag on symbol operand");
34 case ARMII::MO_NO_FLAG:
Chris Lattner3040e8c2010-11-14 20:40:08 +000035 break;
Aaron Ballman86100fc2016-06-20 15:37:15 +000036 case ARMII::MO_LO16:
37 Expr =
38 MCSymbolRefExpr::create(Symbol, MCSymbolRefExpr::VK_None, OutContext);
39 Expr = ARMMCExpr::createLower16(Expr, OutContext);
40 break;
41 case ARMII::MO_HI16:
42 Expr =
43 MCSymbolRefExpr::create(Symbol, MCSymbolRefExpr::VK_None, OutContext);
44 Expr = ARMMCExpr::createUpper16(Expr, OutContext);
45 break;
Chris Lattner3040e8c2010-11-14 20:40:08 +000046 }
Jim Grosbach38d90de2010-11-30 23:29:24 +000047
Jim Grosbach0d35df12010-09-17 18:25:25 +000048 if (!MO.isJTI() && MO.getOffset())
Jim Grosbach13760bd2015-05-30 01:25:56 +000049 Expr = MCBinaryExpr::createAdd(Expr,
50 MCConstantExpr::create(MO.getOffset(),
Jim Grosbach95dee402011-07-08 17:40:42 +000051 OutContext),
52 OutContext);
Jim Grosbache9119e42015-05-13 18:37:00 +000053 return MCOperand::createExpr(Expr);
Jim Grosbach38d90de2010-11-30 23:29:24 +000054
Jim Grosbach0d35df12010-09-17 18:25:25 +000055}
56
Jim Grosbach95dee402011-07-08 17:40:42 +000057bool ARMAsmPrinter::lowerOperand(const MachineOperand &MO,
58 MCOperand &MCOp) {
59 switch (MO.getType()) {
Craig Toppere55c5562012-02-07 02:50:20 +000060 default: llvm_unreachable("unknown operand type");
Jim Grosbach95dee402011-07-08 17:40:42 +000061 case MachineOperand::MO_Register:
62 // Ignore all non-CPSR implicit register operands.
63 if (MO.isImplicit() && MO.getReg() != ARM::CPSR)
64 return false;
65 assert(!MO.getSubReg() && "Subregs should be eliminated!");
Jim Grosbache9119e42015-05-13 18:37:00 +000066 MCOp = MCOperand::createReg(MO.getReg());
Jim Grosbach95dee402011-07-08 17:40:42 +000067 break;
68 case MachineOperand::MO_Immediate:
Jim Grosbache9119e42015-05-13 18:37:00 +000069 MCOp = MCOperand::createImm(MO.getImm());
Jim Grosbach95dee402011-07-08 17:40:42 +000070 break;
71 case MachineOperand::MO_MachineBasicBlock:
Jim Grosbach13760bd2015-05-30 01:25:56 +000072 MCOp = MCOperand::createExpr(MCSymbolRefExpr::create(
Jim Grosbach95dee402011-07-08 17:40:42 +000073 MO.getMBB()->getSymbol(), OutContext));
74 break;
Tim Northoverdb962e2c2013-11-25 16:24:52 +000075 case MachineOperand::MO_GlobalAddress: {
76 MCOp = GetSymbolRef(MO,
77 GetARMGVSymbol(MO.getGlobal(), MO.getTargetFlags()));
Jim Grosbach95dee402011-07-08 17:40:42 +000078 break;
Tim Northoverdb962e2c2013-11-25 16:24:52 +000079 }
Jim Grosbach95dee402011-07-08 17:40:42 +000080 case MachineOperand::MO_ExternalSymbol:
Etienne Bergeron715ec092016-06-21 15:21:04 +000081 MCOp = GetSymbolRef(MO,
Jim Grosbach95dee402011-07-08 17:40:42 +000082 GetExternalSymbolSymbol(MO.getSymbolName()));
83 break;
84 case MachineOperand::MO_JumpTableIndex:
85 MCOp = GetSymbolRef(MO, GetJTISymbol(MO.getIndex()));
86 break;
87 case MachineOperand::MO_ConstantPoolIndex:
88 MCOp = GetSymbolRef(MO, GetCPISymbol(MO.getIndex()));
89 break;
90 case MachineOperand::MO_BlockAddress:
91 MCOp = GetSymbolRef(MO, GetBlockAddressSymbol(MO.getBlockAddress()));
92 break;
93 case MachineOperand::MO_FPImmediate: {
94 APFloat Val = MO.getFPImm()->getValueAPF();
95 bool ignored;
96 Val.convert(APFloat::IEEEdouble, APFloat::rmTowardZero, &ignored);
Jim Grosbache9119e42015-05-13 18:37:00 +000097 MCOp = MCOperand::createFPImm(Val.convertToDouble());
Jim Grosbach95dee402011-07-08 17:40:42 +000098 break;
99 }
Jakob Stoklund Olesenf1fb1d22012-01-18 23:52:19 +0000100 case MachineOperand::MO_RegisterMask:
101 // Ignore call clobbers.
102 return false;
Jim Grosbach95dee402011-07-08 17:40:42 +0000103 }
104 return true;
105}
106
Chris Lattnerde16ca82010-11-14 21:00:02 +0000107void llvm::LowerARMMachineInstrToMCInst(const MachineInstr *MI, MCInst &OutMI,
Jim Grosbachd0d13292010-12-01 03:45:07 +0000108 ARMAsmPrinter &AP) {
Chris Lattner78393d72009-10-19 20:21:05 +0000109 OutMI.setOpcode(MI->getOpcode());
Jim Grosbach7aeff132010-09-13 18:25:42 +0000110
Asiri Rathnayakea0199b92014-12-02 10:53:20 +0000111 // In the MC layer, we keep modified immediates in their encoded form
112 bool EncodeImms = false;
113 switch (MI->getOpcode()) {
114 default: break;
115 case ARM::MOVi:
116 case ARM::MVNi:
117 case ARM::CMPri:
118 case ARM::CMNri:
119 case ARM::TSTri:
120 case ARM::TEQri:
121 case ARM::MSRi:
122 case ARM::ADCri:
123 case ARM::ADDri:
124 case ARM::ADDSri:
125 case ARM::SBCri:
126 case ARM::SUBri:
127 case ARM::SUBSri:
128 case ARM::ANDri:
129 case ARM::ORRri:
130 case ARM::EORri:
131 case ARM::BICri:
132 case ARM::RSBri:
133 case ARM::RSBSri:
134 case ARM::RSCri:
135 EncodeImms = true;
136 break;
137 }
138
Chris Lattner78393d72009-10-19 20:21:05 +0000139 for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
140 const MachineOperand &MO = MI->getOperand(i);
Jim Grosbach7aeff132010-09-13 18:25:42 +0000141
Chris Lattner78393d72009-10-19 20:21:05 +0000142 MCOperand MCOp;
Asiri Rathnayakea0199b92014-12-02 10:53:20 +0000143 if (AP.lowerOperand(MO, MCOp)) {
144 if (MCOp.isImm() && EncodeImms) {
145 int32_t Enc = ARM_AM::getSOImmVal(MCOp.getImm());
146 if (Enc != -1)
147 MCOp.setImm(Enc);
148 }
Jim Grosbach95dee402011-07-08 17:40:42 +0000149 OutMI.addOperand(MCOp);
Asiri Rathnayakea0199b92014-12-02 10:53:20 +0000150 }
Chris Lattner78393d72009-10-19 20:21:05 +0000151 }
Chris Lattner78393d72009-10-19 20:21:05 +0000152}