blob: a2aca2d1a69ea86d35bdb147837958e0a911e7ce [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) {
Chris Lattner3040e8c2010-11-14 20:40:08 +000029 const MCExpr *Expr;
Tim Northoverdb962e2c2013-11-25 16:24:52 +000030 unsigned Option = MO.getTargetFlags() & ARMII::MO_OPTION_MASK;
31 switch (Option) {
Evan Cheng965b3c72011-01-13 07:58:56 +000032 default: {
Jim Grosbach13760bd2015-05-30 01:25:56 +000033 Expr = MCSymbolRefExpr::create(Symbol, MCSymbolRefExpr::VK_None,
Jim Grosbach95dee402011-07-08 17:40:42 +000034 OutContext);
Tim Northoverdb962e2c2013-11-25 16:24:52 +000035 switch (Option) {
Craig Toppere55c5562012-02-07 02:50:20 +000036 default: llvm_unreachable("Unknown target flag on symbol operand");
Saleem Abdulrasool4a1e4092014-06-30 03:11:14 +000037 case ARMII::MO_NO_FLAG:
Evan Cheng965b3c72011-01-13 07:58:56 +000038 break;
39 case ARMII::MO_LO16:
Jim Grosbach13760bd2015-05-30 01:25:56 +000040 Expr = MCSymbolRefExpr::create(Symbol, MCSymbolRefExpr::VK_None,
Jim Grosbach95dee402011-07-08 17:40:42 +000041 OutContext);
Jim Grosbach13760bd2015-05-30 01:25:56 +000042 Expr = ARMMCExpr::createLower16(Expr, OutContext);
Evan Cheng965b3c72011-01-13 07:58:56 +000043 break;
44 case ARMII::MO_HI16:
Jim Grosbach13760bd2015-05-30 01:25:56 +000045 Expr = MCSymbolRefExpr::create(Symbol, MCSymbolRefExpr::VK_None,
Jim Grosbach95dee402011-07-08 17:40:42 +000046 OutContext);
Jim Grosbach13760bd2015-05-30 01:25:56 +000047 Expr = ARMMCExpr::createUpper16(Expr, OutContext);
Evan Cheng965b3c72011-01-13 07:58:56 +000048 break;
49 }
Chris Lattner3040e8c2010-11-14 20:40:08 +000050 break;
Evan Cheng965b3c72011-01-13 07:58:56 +000051 }
52
Chris Lattner3040e8c2010-11-14 20:40:08 +000053 case ARMII::MO_PLT:
Jim Grosbach13760bd2015-05-30 01:25:56 +000054 Expr = MCSymbolRefExpr::create(Symbol, MCSymbolRefExpr::VK_PLT,
Jim Grosbach95dee402011-07-08 17:40:42 +000055 OutContext);
Chris Lattner3040e8c2010-11-14 20:40:08 +000056 break;
57 }
Jim Grosbach38d90de2010-11-30 23:29:24 +000058
Jim Grosbach0d35df12010-09-17 18:25:25 +000059 if (!MO.isJTI() && MO.getOffset())
Jim Grosbach13760bd2015-05-30 01:25:56 +000060 Expr = MCBinaryExpr::createAdd(Expr,
61 MCConstantExpr::create(MO.getOffset(),
Jim Grosbach95dee402011-07-08 17:40:42 +000062 OutContext),
63 OutContext);
Jim Grosbache9119e42015-05-13 18:37:00 +000064 return MCOperand::createExpr(Expr);
Jim Grosbach38d90de2010-11-30 23:29:24 +000065
Jim Grosbach0d35df12010-09-17 18:25:25 +000066}
67
Jim Grosbach95dee402011-07-08 17:40:42 +000068bool ARMAsmPrinter::lowerOperand(const MachineOperand &MO,
69 MCOperand &MCOp) {
70 switch (MO.getType()) {
Craig Toppere55c5562012-02-07 02:50:20 +000071 default: llvm_unreachable("unknown operand type");
Jim Grosbach95dee402011-07-08 17:40:42 +000072 case MachineOperand::MO_Register:
73 // Ignore all non-CPSR implicit register operands.
74 if (MO.isImplicit() && MO.getReg() != ARM::CPSR)
75 return false;
76 assert(!MO.getSubReg() && "Subregs should be eliminated!");
Jim Grosbache9119e42015-05-13 18:37:00 +000077 MCOp = MCOperand::createReg(MO.getReg());
Jim Grosbach95dee402011-07-08 17:40:42 +000078 break;
79 case MachineOperand::MO_Immediate:
Jim Grosbache9119e42015-05-13 18:37:00 +000080 MCOp = MCOperand::createImm(MO.getImm());
Jim Grosbach95dee402011-07-08 17:40:42 +000081 break;
82 case MachineOperand::MO_MachineBasicBlock:
Jim Grosbach13760bd2015-05-30 01:25:56 +000083 MCOp = MCOperand::createExpr(MCSymbolRefExpr::create(
Jim Grosbach95dee402011-07-08 17:40:42 +000084 MO.getMBB()->getSymbol(), OutContext));
85 break;
Tim Northoverdb962e2c2013-11-25 16:24:52 +000086 case MachineOperand::MO_GlobalAddress: {
87 MCOp = GetSymbolRef(MO,
88 GetARMGVSymbol(MO.getGlobal(), MO.getTargetFlags()));
Jim Grosbach95dee402011-07-08 17:40:42 +000089 break;
Tim Northoverdb962e2c2013-11-25 16:24:52 +000090 }
Jim Grosbach95dee402011-07-08 17:40:42 +000091 case MachineOperand::MO_ExternalSymbol:
92 MCOp = GetSymbolRef(MO,
93 GetExternalSymbolSymbol(MO.getSymbolName()));
94 break;
95 case MachineOperand::MO_JumpTableIndex:
96 MCOp = GetSymbolRef(MO, GetJTISymbol(MO.getIndex()));
97 break;
98 case MachineOperand::MO_ConstantPoolIndex:
99 MCOp = GetSymbolRef(MO, GetCPISymbol(MO.getIndex()));
100 break;
101 case MachineOperand::MO_BlockAddress:
102 MCOp = GetSymbolRef(MO, GetBlockAddressSymbol(MO.getBlockAddress()));
103 break;
104 case MachineOperand::MO_FPImmediate: {
105 APFloat Val = MO.getFPImm()->getValueAPF();
106 bool ignored;
107 Val.convert(APFloat::IEEEdouble, APFloat::rmTowardZero, &ignored);
Jim Grosbache9119e42015-05-13 18:37:00 +0000108 MCOp = MCOperand::createFPImm(Val.convertToDouble());
Jim Grosbach95dee402011-07-08 17:40:42 +0000109 break;
110 }
Jakob Stoklund Olesenf1fb1d22012-01-18 23:52:19 +0000111 case MachineOperand::MO_RegisterMask:
112 // Ignore call clobbers.
113 return false;
Jim Grosbach95dee402011-07-08 17:40:42 +0000114 }
115 return true;
116}
117
Chris Lattnerde16ca82010-11-14 21:00:02 +0000118void llvm::LowerARMMachineInstrToMCInst(const MachineInstr *MI, MCInst &OutMI,
Jim Grosbachd0d13292010-12-01 03:45:07 +0000119 ARMAsmPrinter &AP) {
Chris Lattner78393d72009-10-19 20:21:05 +0000120 OutMI.setOpcode(MI->getOpcode());
Jim Grosbach7aeff132010-09-13 18:25:42 +0000121
Asiri Rathnayakea0199b92014-12-02 10:53:20 +0000122 // In the MC layer, we keep modified immediates in their encoded form
123 bool EncodeImms = false;
124 switch (MI->getOpcode()) {
125 default: break;
126 case ARM::MOVi:
127 case ARM::MVNi:
128 case ARM::CMPri:
129 case ARM::CMNri:
130 case ARM::TSTri:
131 case ARM::TEQri:
132 case ARM::MSRi:
133 case ARM::ADCri:
134 case ARM::ADDri:
135 case ARM::ADDSri:
136 case ARM::SBCri:
137 case ARM::SUBri:
138 case ARM::SUBSri:
139 case ARM::ANDri:
140 case ARM::ORRri:
141 case ARM::EORri:
142 case ARM::BICri:
143 case ARM::RSBri:
144 case ARM::RSBSri:
145 case ARM::RSCri:
146 EncodeImms = true;
147 break;
148 }
149
Chris Lattner78393d72009-10-19 20:21:05 +0000150 for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
151 const MachineOperand &MO = MI->getOperand(i);
Jim Grosbach7aeff132010-09-13 18:25:42 +0000152
Chris Lattner78393d72009-10-19 20:21:05 +0000153 MCOperand MCOp;
Asiri Rathnayakea0199b92014-12-02 10:53:20 +0000154 if (AP.lowerOperand(MO, MCOp)) {
155 if (MCOp.isImm() && EncodeImms) {
156 int32_t Enc = ARM_AM::getSOImmVal(MCOp.getImm());
157 if (Enc != -1)
158 MCOp.setImm(Enc);
159 }
Jim Grosbach95dee402011-07-08 17:40:42 +0000160 OutMI.addOperand(MCOp);
Asiri Rathnayakea0199b92014-12-02 10:53:20 +0000161 }
Chris Lattner78393d72009-10-19 20:21:05 +0000162 }
Chris Lattner78393d72009-10-19 20:21:05 +0000163}