blob: 48b02d40b246619a12221bc4cfaa92c1f6b985f8 [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"
Eugene Zelenkoe6cf4372017-01-26 23:40:06 +000017#include "ARMBaseInstrInfo.h"
18#include "ARMMachineFunctionInfo.h"
19#include "ARMSubtarget.h"
20#include "MCTargetDesc/ARMAddressingModes.h"
Craig Toppera9253262014-03-22 23:51:00 +000021#include "MCTargetDesc/ARMBaseInfo.h"
Evan Chenga20cde32011-07-20 23:34:39 +000022#include "MCTargetDesc/ARMMCExpr.h"
Eugene Zelenkoe6cf4372017-01-26 23:40:06 +000023#include "llvm/ADT/APFloat.h"
Chris Lattner1b06acb2009-10-20 00:52:47 +000024#include "llvm/CodeGen/MachineBasicBlock.h"
Eugene Zelenkoe6cf4372017-01-26 23:40:06 +000025#include "llvm/CodeGen/MachineInstr.h"
26#include "llvm/CodeGen/MachineOperand.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000027#include "llvm/IR/Constants.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000028#include "llvm/MC/MCContext.h"
Chris Lattner889a6212009-10-19 21:53:00 +000029#include "llvm/MC/MCExpr.h"
Chris Lattner78393d72009-10-19 20:21:05 +000030#include "llvm/MC/MCInst.h"
Dean Michael Berris464015442016-09-19 00:54:35 +000031#include "llvm/MC/MCInstBuilder.h"
32#include "llvm/MC/MCStreamer.h"
Eugene Zelenkoe6cf4372017-01-26 23:40:06 +000033#include "llvm/Support/ErrorHandling.h"
34#include <cassert>
35#include <cstdint>
Chris Lattner78393d72009-10-19 20:21:05 +000036
Eugene Zelenkoe6cf4372017-01-26 23:40:06 +000037using namespace llvm;
Chris Lattnerc5afd122010-11-14 20:58:38 +000038
Jim Grosbach95dee402011-07-08 17:40:42 +000039MCOperand ARMAsmPrinter::GetSymbolRef(const MachineOperand &MO,
40 const MCSymbol *Symbol) {
Christof Doumad3ed8382017-02-07 13:07:12 +000041 MCSymbolRefExpr::VariantKind SymbolVariant = MCSymbolRefExpr::VK_None;
42 if (MO.getTargetFlags() & ARMII::MO_SBREL)
43 SymbolVariant = MCSymbolRefExpr::VK_ARM_SBREL;
44
Aaron Ballman86100fc2016-06-20 15:37:15 +000045 const MCExpr *Expr =
Christof Doumad3ed8382017-02-07 13:07:12 +000046 MCSymbolRefExpr::create(Symbol, SymbolVariant, OutContext);
Aaron Ballman86100fc2016-06-20 15:37:15 +000047 switch (MO.getTargetFlags() & ARMII::MO_OPTION_MASK) {
48 default:
49 llvm_unreachable("Unknown target flag on symbol operand");
50 case ARMII::MO_NO_FLAG:
Chris Lattner3040e8c2010-11-14 20:40:08 +000051 break;
Aaron Ballman86100fc2016-06-20 15:37:15 +000052 case ARMII::MO_LO16:
53 Expr =
Christof Doumad3ed8382017-02-07 13:07:12 +000054 MCSymbolRefExpr::create(Symbol, SymbolVariant, OutContext);
Aaron Ballman86100fc2016-06-20 15:37:15 +000055 Expr = ARMMCExpr::createLower16(Expr, OutContext);
56 break;
57 case ARMII::MO_HI16:
58 Expr =
Christof Doumad3ed8382017-02-07 13:07:12 +000059 MCSymbolRefExpr::create(Symbol, SymbolVariant, OutContext);
Aaron Ballman86100fc2016-06-20 15:37:15 +000060 Expr = ARMMCExpr::createUpper16(Expr, OutContext);
61 break;
Chris Lattner3040e8c2010-11-14 20:40:08 +000062 }
Jim Grosbach38d90de2010-11-30 23:29:24 +000063
Jim Grosbach0d35df12010-09-17 18:25:25 +000064 if (!MO.isJTI() && MO.getOffset())
Jim Grosbach13760bd2015-05-30 01:25:56 +000065 Expr = MCBinaryExpr::createAdd(Expr,
66 MCConstantExpr::create(MO.getOffset(),
Jim Grosbach95dee402011-07-08 17:40:42 +000067 OutContext),
68 OutContext);
Jim Grosbache9119e42015-05-13 18:37:00 +000069 return MCOperand::createExpr(Expr);
Jim Grosbach38d90de2010-11-30 23:29:24 +000070
Jim Grosbach0d35df12010-09-17 18:25:25 +000071}
72
Jim Grosbach95dee402011-07-08 17:40:42 +000073bool ARMAsmPrinter::lowerOperand(const MachineOperand &MO,
74 MCOperand &MCOp) {
75 switch (MO.getType()) {
Craig Toppere55c5562012-02-07 02:50:20 +000076 default: llvm_unreachable("unknown operand type");
Jim Grosbach95dee402011-07-08 17:40:42 +000077 case MachineOperand::MO_Register:
78 // Ignore all non-CPSR implicit register operands.
79 if (MO.isImplicit() && MO.getReg() != ARM::CPSR)
80 return false;
81 assert(!MO.getSubReg() && "Subregs should be eliminated!");
Jim Grosbache9119e42015-05-13 18:37:00 +000082 MCOp = MCOperand::createReg(MO.getReg());
Jim Grosbach95dee402011-07-08 17:40:42 +000083 break;
84 case MachineOperand::MO_Immediate:
Jim Grosbache9119e42015-05-13 18:37:00 +000085 MCOp = MCOperand::createImm(MO.getImm());
Jim Grosbach95dee402011-07-08 17:40:42 +000086 break;
87 case MachineOperand::MO_MachineBasicBlock:
Jim Grosbach13760bd2015-05-30 01:25:56 +000088 MCOp = MCOperand::createExpr(MCSymbolRefExpr::create(
Jim Grosbach95dee402011-07-08 17:40:42 +000089 MO.getMBB()->getSymbol(), OutContext));
90 break;
Eugene Zelenkoe6cf4372017-01-26 23:40:06 +000091 case MachineOperand::MO_GlobalAddress:
Tim Northoverdb962e2c2013-11-25 16:24:52 +000092 MCOp = GetSymbolRef(MO,
93 GetARMGVSymbol(MO.getGlobal(), MO.getTargetFlags()));
Jim Grosbach95dee402011-07-08 17:40:42 +000094 break;
95 case MachineOperand::MO_ExternalSymbol:
Etienne Bergeron715ec092016-06-21 15:21:04 +000096 MCOp = GetSymbolRef(MO,
Jim Grosbach95dee402011-07-08 17:40:42 +000097 GetExternalSymbolSymbol(MO.getSymbolName()));
98 break;
99 case MachineOperand::MO_JumpTableIndex:
100 MCOp = GetSymbolRef(MO, GetJTISymbol(MO.getIndex()));
101 break;
102 case MachineOperand::MO_ConstantPoolIndex:
Prakhar Bahuguna52a7dd72016-12-15 07:59:08 +0000103 if (Subtarget->genExecuteOnly())
104 llvm_unreachable("execute-only should not generate constant pools");
Jim Grosbach95dee402011-07-08 17:40:42 +0000105 MCOp = GetSymbolRef(MO, GetCPISymbol(MO.getIndex()));
106 break;
107 case MachineOperand::MO_BlockAddress:
108 MCOp = GetSymbolRef(MO, GetBlockAddressSymbol(MO.getBlockAddress()));
109 break;
110 case MachineOperand::MO_FPImmediate: {
111 APFloat Val = MO.getFPImm()->getValueAPF();
112 bool ignored;
Stephan Bergmann17c7f702016-12-14 11:57:17 +0000113 Val.convert(APFloat::IEEEdouble(), APFloat::rmTowardZero, &ignored);
Jim Grosbache9119e42015-05-13 18:37:00 +0000114 MCOp = MCOperand::createFPImm(Val.convertToDouble());
Jim Grosbach95dee402011-07-08 17:40:42 +0000115 break;
116 }
Jakob Stoklund Olesenf1fb1d22012-01-18 23:52:19 +0000117 case MachineOperand::MO_RegisterMask:
118 // Ignore call clobbers.
119 return false;
Jim Grosbach95dee402011-07-08 17:40:42 +0000120 }
121 return true;
122}
123
Chris Lattnerde16ca82010-11-14 21:00:02 +0000124void llvm::LowerARMMachineInstrToMCInst(const MachineInstr *MI, MCInst &OutMI,
Jim Grosbachd0d13292010-12-01 03:45:07 +0000125 ARMAsmPrinter &AP) {
Chris Lattner78393d72009-10-19 20:21:05 +0000126 OutMI.setOpcode(MI->getOpcode());
Jim Grosbach7aeff132010-09-13 18:25:42 +0000127
Asiri Rathnayakea0199b92014-12-02 10:53:20 +0000128 // In the MC layer, we keep modified immediates in their encoded form
129 bool EncodeImms = false;
130 switch (MI->getOpcode()) {
131 default: break;
132 case ARM::MOVi:
133 case ARM::MVNi:
134 case ARM::CMPri:
135 case ARM::CMNri:
136 case ARM::TSTri:
137 case ARM::TEQri:
138 case ARM::MSRi:
139 case ARM::ADCri:
140 case ARM::ADDri:
141 case ARM::ADDSri:
142 case ARM::SBCri:
143 case ARM::SUBri:
144 case ARM::SUBSri:
145 case ARM::ANDri:
146 case ARM::ORRri:
147 case ARM::EORri:
148 case ARM::BICri:
149 case ARM::RSBri:
150 case ARM::RSBSri:
151 case ARM::RSCri:
152 EncodeImms = true;
153 break;
154 }
155
Javed Absardd2c29e2017-07-17 13:15:26 +0000156 for (const MachineOperand &MO : MI->operands()) {
Chris Lattner78393d72009-10-19 20:21:05 +0000157 MCOperand MCOp;
Asiri Rathnayakea0199b92014-12-02 10:53:20 +0000158 if (AP.lowerOperand(MO, MCOp)) {
159 if (MCOp.isImm() && EncodeImms) {
160 int32_t Enc = ARM_AM::getSOImmVal(MCOp.getImm());
161 if (Enc != -1)
162 MCOp.setImm(Enc);
163 }
Jim Grosbach95dee402011-07-08 17:40:42 +0000164 OutMI.addOperand(MCOp);
Asiri Rathnayakea0199b92014-12-02 10:53:20 +0000165 }
Chris Lattner78393d72009-10-19 20:21:05 +0000166 }
Chris Lattner78393d72009-10-19 20:21:05 +0000167}
Dean Michael Berris464015442016-09-19 00:54:35 +0000168
169void ARMAsmPrinter::EmitSled(const MachineInstr &MI, SledKind Kind)
170{
171 if (MI.getParent()->getParent()->getInfo<ARMFunctionInfo>()
172 ->isThumbFunction())
173 {
174 MI.emitError("An attempt to perform XRay instrumentation for a"
175 " Thumb function (not supported). Detected when emitting a sled.");
176 return;
177 }
178 static const int8_t NoopsInSledCount = 6;
179 // We want to emit the following pattern:
180 //
181 // .Lxray_sled_N:
182 // ALIGN
183 // B #20
184 // ; 6 NOP instructions (24 bytes)
185 // .tmpN
186 //
187 // We need the 24 bytes (6 instructions) because at runtime, we'd be patching
188 // over the full 28 bytes (7 instructions) with the following pattern:
189 //
190 // PUSH{ r0, lr }
191 // MOVW r0, #<lower 16 bits of function ID>
192 // MOVT r0, #<higher 16 bits of function ID>
193 // MOVW ip, #<lower 16 bits of address of __xray_FunctionEntry/Exit>
194 // MOVT ip, #<higher 16 bits of address of __xray_FunctionEntry/Exit>
195 // BLX ip
196 // POP{ r0, lr }
197 //
198 OutStreamer->EmitCodeAlignment(4);
199 auto CurSled = OutContext.createTempSymbol("xray_sled_", true);
200 OutStreamer->EmitLabel(CurSled);
201 auto Target = OutContext.createTempSymbol();
202
203 // Emit "B #20" instruction, which jumps over the next 24 bytes (because
204 // register pc is 8 bytes ahead of the jump instruction by the moment CPU
205 // is executing it).
206 // By analogy to ARMAsmPrinter::emitPseudoExpansionLowering() |case ARM::B|.
207 // It is not clear why |addReg(0)| is needed (the last operand).
208 EmitToStreamer(*OutStreamer, MCInstBuilder(ARM::Bcc).addImm(20)
209 .addImm(ARMCC::AL).addReg(0));
210
211 MCInst Noop;
Hans Wennborg9b9a5352017-04-21 21:48:41 +0000212 Subtarget->getInstrInfo()->getNoop(Noop);
Dean Michael Berris464015442016-09-19 00:54:35 +0000213 for (int8_t I = 0; I < NoopsInSledCount; I++)
Dean Michael Berris464015442016-09-19 00:54:35 +0000214 OutStreamer->EmitInstruction(Noop, getSubtargetInfo());
Dean Michael Berris464015442016-09-19 00:54:35 +0000215
216 OutStreamer->EmitLabel(Target);
217 recordSled(CurSled, MI, Kind);
218}
219
220void ARMAsmPrinter::LowerPATCHABLE_FUNCTION_ENTER(const MachineInstr &MI)
221{
222 EmitSled(MI, SledKind::FUNCTION_ENTER);
223}
224
225void ARMAsmPrinter::LowerPATCHABLE_FUNCTION_EXIT(const MachineInstr &MI)
226{
227 EmitSled(MI, SledKind::FUNCTION_EXIT);
228}
229
Dean Michael Berris156f6ca2016-10-18 05:54:15 +0000230void ARMAsmPrinter::LowerPATCHABLE_TAIL_CALL(const MachineInstr &MI)
231{
232 EmitSled(MI, SledKind::TAIL_CALL);
233}