blob: 48f3e3111a81d56005fdfeb851cbe65dfc23fa45 [file] [log] [blame]
Jia Liub22310f2012-02-18 12:03:15 +00001//===-- HexagonAsmPrinter.cpp - Print machine instrs to Hexagon assembly --===//
Tony Linthicum1213a7a2011-12-12 21:14:40 +00002//
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 a printer that converts from our internal representation
11// of machine-dependent LLVM code to Hexagon assembly language. This printer is
12// the output mechanism used by `llc'.
13//
Tony Linthicum1213a7a2011-12-12 21:14:40 +000014//===----------------------------------------------------------------------===//
15
Chandler Carruthed0881b2012-12-03 16:50:05 +000016#include "Hexagon.h"
Jyotsna Verma7503a622013-02-20 16:13:27 +000017#include "HexagonAsmPrinter.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000018#include "HexagonMachineFunctionInfo.h"
Jyotsna Verma7503a622013-02-20 16:13:27 +000019#include "HexagonSubtarget.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000020#include "HexagonTargetMachine.h"
Colin LeMahieuff062612014-11-20 21:56:35 +000021#include "MCTargetDesc/HexagonInstPrinter.h"
Colin LeMahieu1174fea2015-02-19 21:10:50 +000022#include "MCTargetDesc/HexagonMCInstrInfo.h"
Colin LeMahieube8c4532015-06-05 16:00:11 +000023#include "MCTargetDesc/HexagonMCShuffler.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000024#include "llvm/ADT/SmallString.h"
25#include "llvm/ADT/SmallVector.h"
26#include "llvm/ADT/StringExtras.h"
Evandro Menezes5cee6212012-04-12 17:55:53 +000027#include "llvm/Analysis/ConstantFolding.h"
Tony Linthicum1213a7a2011-12-12 21:14:40 +000028#include "llvm/CodeGen/AsmPrinter.h"
Tony Linthicum1213a7a2011-12-12 21:14:40 +000029#include "llvm/CodeGen/MachineFunctionPass.h"
30#include "llvm/CodeGen/MachineInstr.h"
31#include "llvm/CodeGen/MachineInstrBuilder.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000032#include "llvm/CodeGen/MachineModuleInfo.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000033#include "llvm/IR/Constants.h"
34#include "llvm/IR/DataLayout.h"
35#include "llvm/IR/DerivedTypes.h"
Rafael Espindola894843c2014-01-07 21:19:40 +000036#include "llvm/IR/Mangler.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000037#include "llvm/IR/Module.h"
Tony Linthicum1213a7a2011-12-12 21:14:40 +000038#include "llvm/MC/MCAsmInfo.h"
Evandro Menezes5cee6212012-04-12 17:55:53 +000039#include "llvm/MC/MCContext.h"
40#include "llvm/MC/MCExpr.h"
41#include "llvm/MC/MCInst.h"
42#include "llvm/MC/MCSection.h"
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +000043#include "llvm/MC/MCSectionELF.h"
Evandro Menezes5cee6212012-04-12 17:55:53 +000044#include "llvm/MC/MCStreamer.h"
Tony Linthicum1213a7a2011-12-12 21:14:40 +000045#include "llvm/MC/MCSymbol.h"
Tony Linthicum1213a7a2011-12-12 21:14:40 +000046#include "llvm/Support/CommandLine.h"
Tony Linthicum1213a7a2011-12-12 21:14:40 +000047#include "llvm/Support/Compiler.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000048#include "llvm/Support/Debug.h"
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +000049#include "llvm/Support/ELF.h"
Evandro Menezes5cee6212012-04-12 17:55:53 +000050#include "llvm/Support/Format.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000051#include "llvm/Support/MathExtras.h"
Craig Topperb25fda92012-03-17 18:46:09 +000052#include "llvm/Support/TargetRegistry.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000053#include "llvm/Support/raw_ostream.h"
Tony Linthicum1213a7a2011-12-12 21:14:40 +000054#include "llvm/Target/TargetInstrInfo.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000055#include "llvm/Target/TargetLoweringObjectFile.h"
Tony Linthicum1213a7a2011-12-12 21:14:40 +000056#include "llvm/Target/TargetOptions.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000057#include "llvm/Target/TargetRegisterInfo.h"
Tony Linthicum1213a7a2011-12-12 21:14:40 +000058
59using namespace llvm;
60
Krzysztof Parzyszek8d8b2292015-12-02 23:08:29 +000061namespace llvm {
62 void HexagonLowerToMC(const MCInstrInfo &MCII, const MachineInstr *MI,
63 MCInst &MCB, HexagonAsmPrinter &AP);
64}
65
Chandler Carruth84e68b22014-04-22 02:41:26 +000066#define DEBUG_TYPE "asm-printer"
67
Tony Linthicum1213a7a2011-12-12 21:14:40 +000068static cl::opt<bool> AlignCalls(
69 "hexagon-align-calls", cl::Hidden, cl::init(true),
70 cl::desc("Insert falign after call instruction for Hexagon target"));
71
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +000072// Given a scalar register return its pair.
73inline static unsigned getHexagonRegisterPair(unsigned Reg,
74 const MCRegisterInfo *RI) {
75 assert(Hexagon::IntRegsRegClass.contains(Reg));
76 MCSuperRegIterator SR(Reg, RI, false);
77 unsigned Pair = *SR;
78 assert(Hexagon::DoubleRegsRegClass.contains(Pair));
79 return Pair;
80}
81
David Blaikie94598322015-01-18 20:29:04 +000082HexagonAsmPrinter::HexagonAsmPrinter(TargetMachine &TM,
83 std::unique_ptr<MCStreamer> Streamer)
Eric Christopher8f276db2015-02-03 06:40:22 +000084 : AsmPrinter(TM, std::move(Streamer)), Subtarget(nullptr) {}
David Blaikie94598322015-01-18 20:29:04 +000085
Evandro Menezes5cee6212012-04-12 17:55:53 +000086void HexagonAsmPrinter::printOperand(const MachineInstr *MI, unsigned OpNo,
87 raw_ostream &O) {
88 const MachineOperand &MO = MI->getOperand(OpNo);
Tony Linthicum1213a7a2011-12-12 21:14:40 +000089
Evandro Menezes5cee6212012-04-12 17:55:53 +000090 switch (MO.getType()) {
Sirish Pandef8e5e3c2012-05-03 21:52:53 +000091 default: llvm_unreachable ("<unknown operand type>");
Evandro Menezes5cee6212012-04-12 17:55:53 +000092 case MachineOperand::MO_Register:
93 O << HexagonInstPrinter::getRegisterName(MO.getReg());
94 return;
95 case MachineOperand::MO_Immediate:
96 O << MO.getImm();
97 return;
Tony Linthicum1213a7a2011-12-12 21:14:40 +000098 case MachineOperand::MO_MachineBasicBlock:
Matt Arsenault8b643552015-06-09 00:31:39 +000099 MO.getMBB()->getSymbol()->print(O, MAI);
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000100 return;
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000101 case MachineOperand::MO_ConstantPoolIndex:
Matt Arsenault8b643552015-06-09 00:31:39 +0000102 GetCPISymbol(MO.getIndex())->print(O, MAI);
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000103 return;
Evandro Menezes5cee6212012-04-12 17:55:53 +0000104 case MachineOperand::MO_GlobalAddress:
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000105 // Computing the address of a global symbol, not calling it.
Matt Arsenault8b643552015-06-09 00:31:39 +0000106 getSymbol(MO.getGlobal())->print(O, MAI);
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000107 printOffset(MO.getOffset(), O);
108 return;
109 }
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000110}
111
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000112//
113// isBlockOnlyReachableByFallthrough - We need to override this since the
114// default AsmPrinter does not print labels for any basic block that
115// is only reachable by a fall through. That works for all cases except
116// for the case in which the basic block is reachable by a fall through but
117// through an indirect from a jump table. In this case, the jump table
118// will contain a label not defined by AsmPrinter.
119//
120bool HexagonAsmPrinter::
121isBlockOnlyReachableByFallthrough(const MachineBasicBlock *MBB) const {
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000122 if (MBB->hasAddressTaken())
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000123 return false;
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000124 return AsmPrinter::isBlockOnlyReachableByFallthrough(MBB);
125}
126
127
128/// PrintAsmOperand - Print out an operand for an inline asm expression.
129///
130bool HexagonAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
131 unsigned AsmVariant,
132 const char *ExtraCode,
Evandro Menezes5cee6212012-04-12 17:55:53 +0000133 raw_ostream &OS) {
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000134 // Does this asm operand have a single letter operand modifier?
135 if (ExtraCode && ExtraCode[0]) {
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000136 if (ExtraCode[1] != 0)
137 return true; // Unknown modifier.
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000138
139 switch (ExtraCode[0]) {
Jack Carter5e69cff2012-06-26 13:49:27 +0000140 default:
141 // See if this is a generic print operand
142 return AsmPrinter::PrintAsmOperand(MI, OpNo, AsmVariant, ExtraCode, OS);
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000143 case 'c': // Don't print "$" before a global var name or constant.
144 // Hexagon never has a prefix.
145 printOperand(MI, OpNo, OS);
146 return false;
147 case 'L': // Write second word of DImode reference.
148 // Verify that this operand has two consecutive registers.
149 if (!MI->getOperand(OpNo).isReg() ||
150 OpNo+1 == MI->getNumOperands() ||
151 !MI->getOperand(OpNo+1).isReg())
152 return true;
153 ++OpNo; // Return the high-part.
154 break;
155 case 'I':
156 // Write 'i' if an integer constant, otherwise nothing. Used to print
157 // addi vs add, etc.
158 if (MI->getOperand(OpNo).isImm())
159 OS << "i";
160 return false;
161 }
162 }
163
164 printOperand(MI, OpNo, OS);
165 return false;
166}
167
168bool HexagonAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI,
169 unsigned OpNo, unsigned AsmVariant,
170 const char *ExtraCode,
171 raw_ostream &O) {
172 if (ExtraCode && ExtraCode[0])
173 return true; // Unknown modifier.
174
175 const MachineOperand &Base = MI->getOperand(OpNo);
176 const MachineOperand &Offset = MI->getOperand(OpNo+1);
177
178 if (Base.isReg())
179 printOperand(MI, OpNo, O);
180 else
Craig Toppere55c5562012-02-07 02:50:20 +0000181 llvm_unreachable("Unimplemented");
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000182
183 if (Offset.isImm()) {
184 if (Offset.getImm())
185 O << " + #" << Offset.getImm();
186 }
187 else
Craig Toppere55c5562012-02-07 02:50:20 +0000188 llvm_unreachable("Unimplemented");
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000189
190 return false;
191}
192
Benjamin Kramerab8cc022016-01-12 14:58:49 +0000193static MCSymbol *smallData(AsmPrinter &AP, const MachineInstr &MI,
194 MCStreamer &OutStreamer, const MCOperand &Imm,
195 int AlignSize) {
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000196 MCSymbol *Sym;
197 int64_t Value;
198 if (Imm.getExpr()->evaluateAsAbsolute(Value)) {
199 StringRef sectionPrefix;
200 std::string ImmString;
201 StringRef Name;
202 if (AlignSize == 8) {
203 Name = ".CONST_0000000000000000";
204 sectionPrefix = ".gnu.linkonce.l8";
205 ImmString = utohexstr(Value);
206 } else {
207 Name = ".CONST_00000000";
208 sectionPrefix = ".gnu.linkonce.l4";
209 ImmString = utohexstr(static_cast<uint32_t>(Value));
210 }
211
212 std::string symbolName = // Yes, leading zeros are kept.
213 Name.drop_back(ImmString.size()).str() + ImmString;
214 std::string sectionName = sectionPrefix.str() + symbolName;
215
216 MCSectionELF *Section = OutStreamer.getContext().getELFSection(
217 sectionName, ELF::SHT_PROGBITS, ELF::SHF_WRITE | ELF::SHF_ALLOC);
218 OutStreamer.SwitchSection(Section);
219
220 Sym = AP.OutContext.getOrCreateSymbol(Twine(symbolName));
221 if (Sym->isUndefined()) {
222 OutStreamer.EmitLabel(Sym);
223 OutStreamer.EmitSymbolAttribute(Sym, MCSA_Global);
224 OutStreamer.EmitIntValue(Value, AlignSize);
225 OutStreamer.EmitCodeAlignment(AlignSize);
226 }
227 } else {
228 assert(Imm.isExpr() && "Expected expression and found none");
229 const MachineOperand &MO = MI.getOperand(1);
230 assert(MO.isGlobal() || MO.isCPI() || MO.isJTI());
231 MCSymbol *MOSymbol = nullptr;
232 if (MO.isGlobal())
233 MOSymbol = AP.getSymbol(MO.getGlobal());
234 else if (MO.isCPI())
235 MOSymbol = AP.GetCPISymbol(MO.getIndex());
236 else if (MO.isJTI())
237 MOSymbol = AP.GetJTISymbol(MO.getIndex());
238 else
239 llvm_unreachable("Unknown operand type!");
240
241 StringRef SymbolName = MOSymbol->getName();
242 std::string LitaName = ".CONST_" + SymbolName.str();
243
244 MCSectionELF *Section = OutStreamer.getContext().getELFSection(
245 ".lita", ELF::SHT_PROGBITS, ELF::SHF_WRITE | ELF::SHF_ALLOC);
246
247 OutStreamer.SwitchSection(Section);
248 Sym = AP.OutContext.getOrCreateSymbol(Twine(LitaName));
249 if (Sym->isUndefined()) {
250 OutStreamer.EmitLabel(Sym);
251 OutStreamer.EmitSymbolAttribute(Sym, MCSA_Local);
252 OutStreamer.EmitValue(Imm.getExpr(), AlignSize);
253 OutStreamer.EmitCodeAlignment(AlignSize);
254 }
255 }
256 return Sym;
257}
258
259void HexagonAsmPrinter::HexagonProcessInstruction(MCInst &Inst,
260 const MachineInstr &MI) {
261 MCInst &MappedInst = static_cast <MCInst &>(Inst);
262 const MCRegisterInfo *RI = OutStreamer->getContext().getRegisterInfo();
263
264 switch (Inst.getOpcode()) {
265 default: return;
266
Colin LeMahieuecef1d92016-02-16 20:38:17 +0000267 case Hexagon::A2_iconst: {
268 Inst.setOpcode(Hexagon::A2_addi);
269 MCOperand Reg = Inst.getOperand(0);
270 MCOperand S16 = Inst.getOperand(1);
271 HexagonMCInstrInfo::setMustNotExtend(*S16.getExpr());
272 HexagonMCInstrInfo::setS23_2_reloc(*S16.getExpr());
273 Inst.clear();
274 Inst.addOperand(Reg);
275 Inst.addOperand(MCOperand::createReg(Hexagon::R0));
276 Inst.addOperand(S16);
277 break;
278 }
279
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000280 // "$dst = CONST64(#$src1)",
281 case Hexagon::CONST64_Float_Real:
282 case Hexagon::CONST64_Int_Real:
283 if (!OutStreamer->hasRawTextSupport()) {
284 const MCOperand &Imm = MappedInst.getOperand(1);
285 MCSectionSubPair Current = OutStreamer->getCurrentSection();
286
287 MCSymbol *Sym = smallData(*this, MI, *OutStreamer, Imm, 8);
288
289 OutStreamer->SwitchSection(Current.first, Current.second);
290 MCInst TmpInst;
291 MCOperand &Reg = MappedInst.getOperand(0);
292 TmpInst.setOpcode(Hexagon::L2_loadrdgp);
293 TmpInst.addOperand(Reg);
294 TmpInst.addOperand(MCOperand::createExpr(
295 MCSymbolRefExpr::create(Sym, OutContext)));
296 MappedInst = TmpInst;
297
298 }
299 break;
300 case Hexagon::CONST32:
301 case Hexagon::CONST32_Float_Real:
302 case Hexagon::CONST32_Int_Real:
303 case Hexagon::FCONST32_nsdata:
304 if (!OutStreamer->hasRawTextSupport()) {
305 MCOperand &Imm = MappedInst.getOperand(1);
306 MCSectionSubPair Current = OutStreamer->getCurrentSection();
307 MCSymbol *Sym = smallData(*this, MI, *OutStreamer, Imm, 4);
308 OutStreamer->SwitchSection(Current.first, Current.second);
309 MCInst TmpInst;
310 MCOperand &Reg = MappedInst.getOperand(0);
311 TmpInst.setOpcode(Hexagon::L2_loadrigp);
312 TmpInst.addOperand(Reg);
Colin LeMahieuc7b21242016-02-15 18:47:55 +0000313 TmpInst.addOperand(MCOperand::createExpr(HexagonMCExpr::create(
Colin LeMahieu98c8e072016-02-15 18:42:07 +0000314 MCSymbolRefExpr::create(Sym, OutContext), OutContext)));
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000315 MappedInst = TmpInst;
316 }
317 break;
318
319 // C2_pxfer_map maps to C2_or instruction. Though, it's possible to use
320 // C2_or during instruction selection itself but it results
321 // into suboptimal code.
322 case Hexagon::C2_pxfer_map: {
323 MCOperand &Ps = Inst.getOperand(1);
324 MappedInst.setOpcode(Hexagon::C2_or);
325 MappedInst.addOperand(Ps);
326 return;
327 }
328
329 // Vector reduce complex multiply by scalar, Rt & 1 map to :hi else :lo
330 // The insn is mapped from the 4 operand to the 3 operand raw form taking
331 // 3 register pairs.
332 case Hexagon::M2_vrcmpys_acc_s1: {
333 MCOperand &Rt = Inst.getOperand(3);
334 assert (Rt.isReg() && "Expected register and none was found");
335 unsigned Reg = RI->getEncodingValue(Rt.getReg());
336 if (Reg & 1)
337 MappedInst.setOpcode(Hexagon::M2_vrcmpys_acc_s1_h);
338 else
339 MappedInst.setOpcode(Hexagon::M2_vrcmpys_acc_s1_l);
340 Rt.setReg(getHexagonRegisterPair(Rt.getReg(), RI));
341 return;
342 }
343 case Hexagon::M2_vrcmpys_s1: {
344 MCOperand &Rt = Inst.getOperand(2);
345 assert (Rt.isReg() && "Expected register and none was found");
346 unsigned Reg = RI->getEncodingValue(Rt.getReg());
347 if (Reg & 1)
348 MappedInst.setOpcode(Hexagon::M2_vrcmpys_s1_h);
349 else
350 MappedInst.setOpcode(Hexagon::M2_vrcmpys_s1_l);
351 Rt.setReg(getHexagonRegisterPair(Rt.getReg(), RI));
352 return;
353 }
354
355 case Hexagon::M2_vrcmpys_s1rp: {
356 MCOperand &Rt = Inst.getOperand(2);
357 assert (Rt.isReg() && "Expected register and none was found");
358 unsigned Reg = RI->getEncodingValue(Rt.getReg());
359 if (Reg & 1)
360 MappedInst.setOpcode(Hexagon::M2_vrcmpys_s1rp_h);
361 else
362 MappedInst.setOpcode(Hexagon::M2_vrcmpys_s1rp_l);
363 Rt.setReg(getHexagonRegisterPair(Rt.getReg(), RI));
364 return;
365 }
366
367 case Hexagon::A4_boundscheck: {
368 MCOperand &Rs = Inst.getOperand(1);
369 assert (Rs.isReg() && "Expected register and none was found");
370 unsigned Reg = RI->getEncodingValue(Rs.getReg());
371 if (Reg & 1) // Odd mapped to raw:hi, regpair is rodd:odd-1, like r3:2
372 MappedInst.setOpcode(Hexagon::A4_boundscheck_hi);
373 else // raw:lo
374 MappedInst.setOpcode(Hexagon::A4_boundscheck_lo);
375 Rs.setReg(getHexagonRegisterPair(Rs.getReg(), RI));
376 return;
377 }
378 case Hexagon::S5_asrhub_rnd_sat_goodsyntax: {
379 MCOperand &MO = MappedInst.getOperand(2);
380 int64_t Imm;
381 MCExpr const *Expr = MO.getExpr();
382 bool Success = Expr->evaluateAsAbsolute(Imm);
Colin LeMahieu98c8e072016-02-15 18:42:07 +0000383 assert (Success && "Expected immediate and none was found");
384 (void)Success;
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000385 MCInst TmpInst;
386 if (Imm == 0) {
387 TmpInst.setOpcode(Hexagon::S2_vsathub);
388 TmpInst.addOperand(MappedInst.getOperand(0));
389 TmpInst.addOperand(MappedInst.getOperand(1));
390 MappedInst = TmpInst;
391 return;
392 }
393 TmpInst.setOpcode(Hexagon::S5_asrhub_rnd_sat);
394 TmpInst.addOperand(MappedInst.getOperand(0));
395 TmpInst.addOperand(MappedInst.getOperand(1));
396 const MCExpr *One = MCConstantExpr::create(1, OutContext);
397 const MCExpr *Sub = MCBinaryExpr::createSub(Expr, One, OutContext);
Colin LeMahieu98c8e072016-02-15 18:42:07 +0000398 TmpInst.addOperand(
Colin LeMahieuc7b21242016-02-15 18:47:55 +0000399 MCOperand::createExpr(HexagonMCExpr::create(Sub, OutContext)));
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000400 MappedInst = TmpInst;
401 return;
402 }
403 case Hexagon::S5_vasrhrnd_goodsyntax:
404 case Hexagon::S2_asr_i_p_rnd_goodsyntax: {
405 MCOperand &MO2 = MappedInst.getOperand(2);
406 MCExpr const *Expr = MO2.getExpr();
407 int64_t Imm;
408 bool Success = Expr->evaluateAsAbsolute(Imm);
Colin LeMahieu98c8e072016-02-15 18:42:07 +0000409 assert (Success && "Expected immediate and none was found");
410 (void)Success;
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000411 MCInst TmpInst;
412 if (Imm == 0) {
413 TmpInst.setOpcode(Hexagon::A2_combinew);
414 TmpInst.addOperand(MappedInst.getOperand(0));
415 MCOperand &MO1 = MappedInst.getOperand(1);
416 unsigned High = RI->getSubReg(MO1.getReg(), Hexagon::subreg_hireg);
417 unsigned Low = RI->getSubReg(MO1.getReg(), Hexagon::subreg_loreg);
418 // Add a new operand for the second register in the pair.
419 TmpInst.addOperand(MCOperand::createReg(High));
420 TmpInst.addOperand(MCOperand::createReg(Low));
421 MappedInst = TmpInst;
422 return;
423 }
424
425 if (Inst.getOpcode() == Hexagon::S2_asr_i_p_rnd_goodsyntax)
426 TmpInst.setOpcode(Hexagon::S2_asr_i_p_rnd);
427 else
428 TmpInst.setOpcode(Hexagon::S5_vasrhrnd);
429 TmpInst.addOperand(MappedInst.getOperand(0));
430 TmpInst.addOperand(MappedInst.getOperand(1));
431 const MCExpr *One = MCConstantExpr::create(1, OutContext);
432 const MCExpr *Sub = MCBinaryExpr::createSub(Expr, One, OutContext);
Colin LeMahieu98c8e072016-02-15 18:42:07 +0000433 TmpInst.addOperand(
Colin LeMahieuc7b21242016-02-15 18:47:55 +0000434 MCOperand::createExpr(HexagonMCExpr::create(Sub, OutContext)));
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000435 MappedInst = TmpInst;
436 return;
437 }
438 // if ("#u5==0") Assembler mapped to: "Rd=Rs"; else Rd=asr(Rs,#u5-1):rnd
439 case Hexagon::S2_asr_i_r_rnd_goodsyntax: {
440 MCOperand &MO = Inst.getOperand(2);
441 MCExpr const *Expr = MO.getExpr();
442 int64_t Imm;
443 bool Success = Expr->evaluateAsAbsolute(Imm);
Colin LeMahieu98c8e072016-02-15 18:42:07 +0000444 assert (Success && "Expected immediate and none was found");
445 (void)Success;
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000446 MCInst TmpInst;
447 if (Imm == 0) {
448 TmpInst.setOpcode(Hexagon::A2_tfr);
449 TmpInst.addOperand(MappedInst.getOperand(0));
450 TmpInst.addOperand(MappedInst.getOperand(1));
451 MappedInst = TmpInst;
452 return;
453 }
454 TmpInst.setOpcode(Hexagon::S2_asr_i_r_rnd);
455 TmpInst.addOperand(MappedInst.getOperand(0));
456 TmpInst.addOperand(MappedInst.getOperand(1));
457 const MCExpr *One = MCConstantExpr::create(1, OutContext);
458 const MCExpr *Sub = MCBinaryExpr::createSub(Expr, One, OutContext);
Colin LeMahieu98c8e072016-02-15 18:42:07 +0000459 TmpInst.addOperand(
Colin LeMahieuc7b21242016-02-15 18:47:55 +0000460 MCOperand::createExpr(HexagonMCExpr::create(Sub, OutContext)));
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000461 MappedInst = TmpInst;
462 return;
463 }
464 case Hexagon::TFRI_f:
465 MappedInst.setOpcode(Hexagon::A2_tfrsi);
466 return;
467 case Hexagon::TFRI_cPt_f:
468 MappedInst.setOpcode(Hexagon::C2_cmoveit);
469 return;
470 case Hexagon::TFRI_cNotPt_f:
471 MappedInst.setOpcode(Hexagon::C2_cmoveif);
472 return;
473 case Hexagon::MUX_ri_f:
474 MappedInst.setOpcode(Hexagon::C2_muxri);
475 return;
476 case Hexagon::MUX_ir_f:
477 MappedInst.setOpcode(Hexagon::C2_muxir);
478 return;
479
480 // Translate a "$Rdd = #imm" to "$Rdd = combine(#[-1,0], #imm)"
481 case Hexagon::A2_tfrpi: {
482 MCInst TmpInst;
483 MCOperand &Rdd = MappedInst.getOperand(0);
484 MCOperand &MO = MappedInst.getOperand(1);
485
486 TmpInst.setOpcode(Hexagon::A2_combineii);
487 TmpInst.addOperand(Rdd);
488 int64_t Imm;
489 bool Success = MO.getExpr()->evaluateAsAbsolute(Imm);
490 if (Success && Imm < 0) {
491 const MCExpr *MOne = MCConstantExpr::create(-1, OutContext);
Colin LeMahieuc7b21242016-02-15 18:47:55 +0000492 TmpInst.addOperand(MCOperand::createExpr(HexagonMCExpr::create(MOne, OutContext)));
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000493 } else {
494 const MCExpr *Zero = MCConstantExpr::create(0, OutContext);
Colin LeMahieuc7b21242016-02-15 18:47:55 +0000495 TmpInst.addOperand(MCOperand::createExpr(HexagonMCExpr::create(Zero, OutContext)));
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000496 }
497 TmpInst.addOperand(MO);
498 MappedInst = TmpInst;
499 return;
500 }
501 // Translate a "$Rdd = $Rss" to "$Rdd = combine($Rs, $Rt)"
502 case Hexagon::A2_tfrp: {
503 MCOperand &MO = MappedInst.getOperand(1);
504 unsigned High = RI->getSubReg(MO.getReg(), Hexagon::subreg_hireg);
505 unsigned Low = RI->getSubReg(MO.getReg(), Hexagon::subreg_loreg);
506 MO.setReg(High);
507 // Add a new operand for the second register in the pair.
508 MappedInst.addOperand(MCOperand::createReg(Low));
509 MappedInst.setOpcode(Hexagon::A2_combinew);
510 return;
511 }
512
513 case Hexagon::A2_tfrpt:
514 case Hexagon::A2_tfrpf: {
515 MCOperand &MO = MappedInst.getOperand(2);
516 unsigned High = RI->getSubReg(MO.getReg(), Hexagon::subreg_hireg);
517 unsigned Low = RI->getSubReg(MO.getReg(), Hexagon::subreg_loreg);
518 MO.setReg(High);
519 // Add a new operand for the second register in the pair.
520 MappedInst.addOperand(MCOperand::createReg(Low));
521 MappedInst.setOpcode((Inst.getOpcode() == Hexagon::A2_tfrpt)
522 ? Hexagon::C2_ccombinewt
523 : Hexagon::C2_ccombinewf);
524 return;
525 }
526 case Hexagon::A2_tfrptnew:
527 case Hexagon::A2_tfrpfnew: {
528 MCOperand &MO = MappedInst.getOperand(2);
529 unsigned High = RI->getSubReg(MO.getReg(), Hexagon::subreg_hireg);
530 unsigned Low = RI->getSubReg(MO.getReg(), Hexagon::subreg_loreg);
531 MO.setReg(High);
532 // Add a new operand for the second register in the pair.
533 MappedInst.addOperand(MCOperand::createReg(Low));
534 MappedInst.setOpcode((Inst.getOpcode() == Hexagon::A2_tfrptnew)
535 ? Hexagon::C2_ccombinewnewt
536 : Hexagon::C2_ccombinewnewf);
537 return;
538 }
539
540 case Hexagon::M2_mpysmi: {
541 MCOperand &Imm = MappedInst.getOperand(2);
542 MCExpr const *Expr = Imm.getExpr();
543 int64_t Value;
544 bool Success = Expr->evaluateAsAbsolute(Value);
Colin LeMahieu98c8e072016-02-15 18:42:07 +0000545 assert(Success);
546 (void)Success;
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000547 if (Value < 0 && Value > -256) {
548 MappedInst.setOpcode(Hexagon::M2_mpysin);
Colin LeMahieuc7b21242016-02-15 18:47:55 +0000549 Imm.setExpr(HexagonMCExpr::create(
Colin LeMahieu98c8e072016-02-15 18:42:07 +0000550 MCUnaryExpr::createMinus(Expr, OutContext), OutContext));
551 } else
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000552 MappedInst.setOpcode(Hexagon::M2_mpysip);
553 return;
554 }
555
556 case Hexagon::A2_addsp: {
557 MCOperand &Rt = Inst.getOperand(1);
558 assert (Rt.isReg() && "Expected register and none was found");
559 unsigned Reg = RI->getEncodingValue(Rt.getReg());
560 if (Reg & 1)
561 MappedInst.setOpcode(Hexagon::A2_addsph);
562 else
563 MappedInst.setOpcode(Hexagon::A2_addspl);
564 Rt.setReg(getHexagonRegisterPair(Rt.getReg(), RI));
565 return;
566 }
567 case Hexagon::HEXAGON_V6_vd0_pseudo:
568 case Hexagon::HEXAGON_V6_vd0_pseudo_128B: {
569 MCInst TmpInst;
570 assert (Inst.getOperand(0).isReg() &&
571 "Expected register and none was found");
572
573 TmpInst.setOpcode(Hexagon::V6_vxor);
574 TmpInst.addOperand(Inst.getOperand(0));
575 TmpInst.addOperand(Inst.getOperand(0));
576 TmpInst.addOperand(Inst.getOperand(0));
577 MappedInst = TmpInst;
578 return;
579 }
580
581 }
582}
583
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000584
585/// printMachineInstruction -- Print out a single Hexagon MI in Darwin syntax to
586/// the current output stream.
587///
588void HexagonAsmPrinter::EmitInstruction(const MachineInstr *MI) {
Colin LeMahieuf0af6e52015-11-13 17:42:46 +0000589 MCInst MCB = HexagonMCInstrInfo::createBundle();
Krzysztof Parzyszek8d8b2292015-12-02 23:08:29 +0000590 const MCInstrInfo &MCII = *Subtarget->getInstrInfo();
Colin LeMahieu68d967d2015-05-29 14:44:13 +0000591
Sirish Pandef8e5e3c2012-05-03 21:52:53 +0000592 if (MI->isBundle()) {
Colin LeMahieu68d967d2015-05-29 14:44:13 +0000593 const MachineBasicBlock* MBB = MI->getParent();
Duncan P. N. Exon Smitha72c6e22015-10-20 00:46:39 +0000594 MachineBasicBlock::const_instr_iterator MII = MI->getIterator();
Colin LeMahieu68d967d2015-05-29 14:44:13 +0000595 unsigned IgnoreCount = 0;
Sirish Pandef8e5e3c2012-05-03 21:52:53 +0000596
Colin LeMahieu7c572b22015-12-03 16:37:21 +0000597 for (++MII; MII != MBB->instr_end() && MII->isInsideBundle(); ++MII)
Colin LeMahieu68d967d2015-05-29 14:44:13 +0000598 if (MII->getOpcode() == TargetOpcode::DBG_VALUE ||
599 MII->getOpcode() == TargetOpcode::IMPLICIT_DEF)
600 ++IgnoreCount;
Colin LeMahieu7c572b22015-12-03 16:37:21 +0000601 else
Krzysztof Parzyszek8d8b2292015-12-02 23:08:29 +0000602 HexagonLowerToMC(MCII, &*MII, MCB, *this);
Sirish Pandef8e5e3c2012-05-03 21:52:53 +0000603 }
Colin LeMahieu7c572b22015-12-03 16:37:21 +0000604 else
Krzysztof Parzyszek8d8b2292015-12-02 23:08:29 +0000605 HexagonLowerToMC(MCII, MI, MCB, *this);
Colin LeMahieu7c572b22015-12-03 16:37:21 +0000606
607 bool Ok = HexagonMCInstrInfo::canonicalizePacket(
608 MCII, *Subtarget, OutStreamer->getContext(), MCB, nullptr);
609 assert(Ok);
610 (void)Ok;
611 if(HexagonMCInstrInfo::bundleSize(MCB) == 0)
612 return;
613 OutStreamer->EmitInstruction(MCB, getSubtargetInfo());
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000614}
615
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000616extern "C" void LLVMInitializeHexagonAsmPrinter() {
617 RegisterAsmPrinter<HexagonAsmPrinter> X(TheHexagonTarget);
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000618}