blob: 891382b0678e8569aa5b9f9e4d5844786edc16d0 [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/StringExtras.h"
Evandro Menezes5cee6212012-04-12 17:55:53 +000025#include "llvm/Analysis/ConstantFolding.h"
Tony Linthicum1213a7a2011-12-12 21:14:40 +000026#include "llvm/CodeGen/AsmPrinter.h"
Tony Linthicum1213a7a2011-12-12 21:14:40 +000027#include "llvm/CodeGen/MachineFunctionPass.h"
28#include "llvm/CodeGen/MachineInstr.h"
29#include "llvm/CodeGen/MachineInstrBuilder.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000030#include "llvm/CodeGen/MachineModuleInfo.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000031#include "llvm/IR/Constants.h"
32#include "llvm/IR/DataLayout.h"
33#include "llvm/IR/DerivedTypes.h"
Rafael Espindola894843c2014-01-07 21:19:40 +000034#include "llvm/IR/Mangler.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000035#include "llvm/IR/Module.h"
Tony Linthicum1213a7a2011-12-12 21:14:40 +000036#include "llvm/MC/MCAsmInfo.h"
Evandro Menezes5cee6212012-04-12 17:55:53 +000037#include "llvm/MC/MCContext.h"
38#include "llvm/MC/MCExpr.h"
39#include "llvm/MC/MCInst.h"
40#include "llvm/MC/MCSection.h"
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +000041#include "llvm/MC/MCSectionELF.h"
Evandro Menezes5cee6212012-04-12 17:55:53 +000042#include "llvm/MC/MCStreamer.h"
Tony Linthicum1213a7a2011-12-12 21:14:40 +000043#include "llvm/MC/MCSymbol.h"
Tony Linthicum1213a7a2011-12-12 21:14:40 +000044#include "llvm/Support/CommandLine.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000045#include "llvm/Support/Debug.h"
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +000046#include "llvm/Support/ELF.h"
Evandro Menezes5cee6212012-04-12 17:55:53 +000047#include "llvm/Support/Format.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000048#include "llvm/Support/MathExtras.h"
Craig Topperb25fda92012-03-17 18:46:09 +000049#include "llvm/Support/TargetRegistry.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000050#include "llvm/Support/raw_ostream.h"
Tony Linthicum1213a7a2011-12-12 21:14:40 +000051#include "llvm/Target/TargetInstrInfo.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000052#include "llvm/Target/TargetLoweringObjectFile.h"
Tony Linthicum1213a7a2011-12-12 21:14:40 +000053#include "llvm/Target/TargetOptions.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000054#include "llvm/Target/TargetRegisterInfo.h"
Tony Linthicum1213a7a2011-12-12 21:14:40 +000055
56using namespace llvm;
57
Krzysztof Parzyszek8d8b2292015-12-02 23:08:29 +000058namespace llvm {
59 void HexagonLowerToMC(const MCInstrInfo &MCII, const MachineInstr *MI,
60 MCInst &MCB, HexagonAsmPrinter &AP);
61}
62
Chandler Carruth84e68b22014-04-22 02:41:26 +000063#define DEBUG_TYPE "asm-printer"
64
Tony Linthicum1213a7a2011-12-12 21:14:40 +000065static cl::opt<bool> AlignCalls(
66 "hexagon-align-calls", cl::Hidden, cl::init(true),
67 cl::desc("Insert falign after call instruction for Hexagon target"));
68
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +000069// Given a scalar register return its pair.
70inline static unsigned getHexagonRegisterPair(unsigned Reg,
71 const MCRegisterInfo *RI) {
72 assert(Hexagon::IntRegsRegClass.contains(Reg));
73 MCSuperRegIterator SR(Reg, RI, false);
74 unsigned Pair = *SR;
75 assert(Hexagon::DoubleRegsRegClass.contains(Pair));
76 return Pair;
77}
78
David Blaikie94598322015-01-18 20:29:04 +000079HexagonAsmPrinter::HexagonAsmPrinter(TargetMachine &TM,
80 std::unique_ptr<MCStreamer> Streamer)
Eric Christopher8f276db2015-02-03 06:40:22 +000081 : AsmPrinter(TM, std::move(Streamer)), Subtarget(nullptr) {}
David Blaikie94598322015-01-18 20:29:04 +000082
Evandro Menezes5cee6212012-04-12 17:55:53 +000083void HexagonAsmPrinter::printOperand(const MachineInstr *MI, unsigned OpNo,
Krzysztof Parzyszek29c567a2016-07-26 17:31:02 +000084 raw_ostream &O) {
Evandro Menezes5cee6212012-04-12 17:55:53 +000085 const MachineOperand &MO = MI->getOperand(OpNo);
Tony Linthicum1213a7a2011-12-12 21:14:40 +000086
Evandro Menezes5cee6212012-04-12 17:55:53 +000087 switch (MO.getType()) {
Sirish Pandef8e5e3c2012-05-03 21:52:53 +000088 default: llvm_unreachable ("<unknown operand type>");
Evandro Menezes5cee6212012-04-12 17:55:53 +000089 case MachineOperand::MO_Register:
90 O << HexagonInstPrinter::getRegisterName(MO.getReg());
91 return;
92 case MachineOperand::MO_Immediate:
93 O << MO.getImm();
94 return;
Tony Linthicum1213a7a2011-12-12 21:14:40 +000095 case MachineOperand::MO_MachineBasicBlock:
Matt Arsenault8b643552015-06-09 00:31:39 +000096 MO.getMBB()->getSymbol()->print(O, MAI);
Tony Linthicum1213a7a2011-12-12 21:14:40 +000097 return;
Tony Linthicum1213a7a2011-12-12 21:14:40 +000098 case MachineOperand::MO_ConstantPoolIndex:
Matt Arsenault8b643552015-06-09 00:31:39 +000099 GetCPISymbol(MO.getIndex())->print(O, MAI);
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000100 return;
Evandro Menezes5cee6212012-04-12 17:55:53 +0000101 case MachineOperand::MO_GlobalAddress:
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000102 // Computing the address of a global symbol, not calling it.
Matt Arsenault8b643552015-06-09 00:31:39 +0000103 getSymbol(MO.getGlobal())->print(O, MAI);
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000104 printOffset(MO.getOffset(), O);
105 return;
106 }
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000107}
108
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000109//
110// isBlockOnlyReachableByFallthrough - We need to override this since the
111// default AsmPrinter does not print labels for any basic block that
112// is only reachable by a fall through. That works for all cases except
113// for the case in which the basic block is reachable by a fall through but
114// through an indirect from a jump table. In this case, the jump table
115// will contain a label not defined by AsmPrinter.
116//
117bool HexagonAsmPrinter::
118isBlockOnlyReachableByFallthrough(const MachineBasicBlock *MBB) const {
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000119 if (MBB->hasAddressTaken())
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000120 return false;
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000121 return AsmPrinter::isBlockOnlyReachableByFallthrough(MBB);
122}
123
124
125/// PrintAsmOperand - Print out an operand for an inline asm expression.
126///
127bool HexagonAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
128 unsigned AsmVariant,
129 const char *ExtraCode,
Evandro Menezes5cee6212012-04-12 17:55:53 +0000130 raw_ostream &OS) {
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000131 // Does this asm operand have a single letter operand modifier?
132 if (ExtraCode && ExtraCode[0]) {
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000133 if (ExtraCode[1] != 0)
134 return true; // Unknown modifier.
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000135
136 switch (ExtraCode[0]) {
Jack Carter5e69cff2012-06-26 13:49:27 +0000137 default:
138 // See if this is a generic print operand
139 return AsmPrinter::PrintAsmOperand(MI, OpNo, AsmVariant, ExtraCode, OS);
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000140 case 'c': // Don't print "$" before a global var name or constant.
141 // Hexagon never has a prefix.
142 printOperand(MI, OpNo, OS);
143 return false;
Krzysztof Parzyszek29c567a2016-07-26 17:31:02 +0000144 case 'L':
145 case 'H': { // The highest-numbered register of a pair.
146 const MachineOperand &MO = MI->getOperand(OpNo);
147 const MachineFunction &MF = *MI->getParent()->getParent();
148 const TargetRegisterInfo *TRI = MF.getSubtarget().getRegisterInfo();
149 if (!MO.isReg())
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000150 return true;
Krzysztof Parzyszek29c567a2016-07-26 17:31:02 +0000151 unsigned RegNumber = MO.getReg();
152 // This should be an assert in the frontend.
153 if (Hexagon::DoubleRegsRegClass.contains(RegNumber))
154 RegNumber = TRI->getSubReg(RegNumber, ExtraCode[0] == 'L' ?
Krzysztof Parzyszeka5409972016-11-09 16:19:08 +0000155 Hexagon::isub_lo :
156 Hexagon::isub_hi);
Krzysztof Parzyszek29c567a2016-07-26 17:31:02 +0000157 OS << HexagonInstPrinter::getRegisterName(RegNumber);
158 return false;
159 }
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000160 case 'I':
161 // Write 'i' if an integer constant, otherwise nothing. Used to print
162 // addi vs add, etc.
163 if (MI->getOperand(OpNo).isImm())
164 OS << "i";
165 return false;
166 }
167 }
168
169 printOperand(MI, OpNo, OS);
170 return false;
171}
172
173bool HexagonAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI,
Krzysztof Parzyszek067debe2016-08-19 14:12:51 +0000174 unsigned OpNo, unsigned AsmVariant,
175 const char *ExtraCode,
176 raw_ostream &O) {
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000177 if (ExtraCode && ExtraCode[0])
178 return true; // Unknown modifier.
179
180 const MachineOperand &Base = MI->getOperand(OpNo);
181 const MachineOperand &Offset = MI->getOperand(OpNo+1);
182
183 if (Base.isReg())
184 printOperand(MI, OpNo, O);
185 else
Craig Toppere55c5562012-02-07 02:50:20 +0000186 llvm_unreachable("Unimplemented");
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000187
188 if (Offset.isImm()) {
189 if (Offset.getImm())
190 O << " + #" << Offset.getImm();
191 }
192 else
Craig Toppere55c5562012-02-07 02:50:20 +0000193 llvm_unreachable("Unimplemented");
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000194
195 return false;
196}
197
Benjamin Kramerab8cc022016-01-12 14:58:49 +0000198static MCSymbol *smallData(AsmPrinter &AP, const MachineInstr &MI,
199 MCStreamer &OutStreamer, const MCOperand &Imm,
200 int AlignSize) {
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000201 MCSymbol *Sym;
202 int64_t Value;
203 if (Imm.getExpr()->evaluateAsAbsolute(Value)) {
204 StringRef sectionPrefix;
205 std::string ImmString;
206 StringRef Name;
207 if (AlignSize == 8) {
208 Name = ".CONST_0000000000000000";
209 sectionPrefix = ".gnu.linkonce.l8";
210 ImmString = utohexstr(Value);
211 } else {
212 Name = ".CONST_00000000";
213 sectionPrefix = ".gnu.linkonce.l4";
214 ImmString = utohexstr(static_cast<uint32_t>(Value));
215 }
216
217 std::string symbolName = // Yes, leading zeros are kept.
218 Name.drop_back(ImmString.size()).str() + ImmString;
219 std::string sectionName = sectionPrefix.str() + symbolName;
220
221 MCSectionELF *Section = OutStreamer.getContext().getELFSection(
222 sectionName, ELF::SHT_PROGBITS, ELF::SHF_WRITE | ELF::SHF_ALLOC);
223 OutStreamer.SwitchSection(Section);
224
225 Sym = AP.OutContext.getOrCreateSymbol(Twine(symbolName));
226 if (Sym->isUndefined()) {
227 OutStreamer.EmitLabel(Sym);
228 OutStreamer.EmitSymbolAttribute(Sym, MCSA_Global);
229 OutStreamer.EmitIntValue(Value, AlignSize);
230 OutStreamer.EmitCodeAlignment(AlignSize);
231 }
232 } else {
233 assert(Imm.isExpr() && "Expected expression and found none");
234 const MachineOperand &MO = MI.getOperand(1);
235 assert(MO.isGlobal() || MO.isCPI() || MO.isJTI());
236 MCSymbol *MOSymbol = nullptr;
237 if (MO.isGlobal())
238 MOSymbol = AP.getSymbol(MO.getGlobal());
239 else if (MO.isCPI())
240 MOSymbol = AP.GetCPISymbol(MO.getIndex());
241 else if (MO.isJTI())
242 MOSymbol = AP.GetJTISymbol(MO.getIndex());
243 else
244 llvm_unreachable("Unknown operand type!");
245
246 StringRef SymbolName = MOSymbol->getName();
247 std::string LitaName = ".CONST_" + SymbolName.str();
248
249 MCSectionELF *Section = OutStreamer.getContext().getELFSection(
250 ".lita", ELF::SHT_PROGBITS, ELF::SHF_WRITE | ELF::SHF_ALLOC);
251
252 OutStreamer.SwitchSection(Section);
253 Sym = AP.OutContext.getOrCreateSymbol(Twine(LitaName));
254 if (Sym->isUndefined()) {
255 OutStreamer.EmitLabel(Sym);
256 OutStreamer.EmitSymbolAttribute(Sym, MCSA_Local);
257 OutStreamer.EmitValue(Imm.getExpr(), AlignSize);
258 OutStreamer.EmitCodeAlignment(AlignSize);
259 }
260 }
261 return Sym;
262}
263
264void HexagonAsmPrinter::HexagonProcessInstruction(MCInst &Inst,
265 const MachineInstr &MI) {
266 MCInst &MappedInst = static_cast <MCInst &>(Inst);
267 const MCRegisterInfo *RI = OutStreamer->getContext().getRegisterInfo();
268
269 switch (Inst.getOpcode()) {
270 default: return;
271
Colin LeMahieuecef1d92016-02-16 20:38:17 +0000272 case Hexagon::A2_iconst: {
273 Inst.setOpcode(Hexagon::A2_addi);
274 MCOperand Reg = Inst.getOperand(0);
275 MCOperand S16 = Inst.getOperand(1);
276 HexagonMCInstrInfo::setMustNotExtend(*S16.getExpr());
277 HexagonMCInstrInfo::setS23_2_reloc(*S16.getExpr());
278 Inst.clear();
279 Inst.addOperand(Reg);
280 Inst.addOperand(MCOperand::createReg(Hexagon::R0));
281 Inst.addOperand(S16);
282 break;
283 }
284
Krzysztof Parzyszekc8d676e2017-02-07 17:42:11 +0000285 case Hexagon::A2_tfrf: {
286 Inst.setOpcode(Hexagon::A2_paddif);
287 Inst.addOperand(MCOperand::createExpr(MCConstantExpr::create(0, OutContext)));
288 break;
289 }
290
291 case Hexagon::A2_tfrt: {
292 Inst.setOpcode(Hexagon::A2_paddit);
293 Inst.addOperand(MCOperand::createExpr(MCConstantExpr::create(0, OutContext)));
294 break;
295 }
296
297 case Hexagon::A2_tfrfnew: {
298 Inst.setOpcode(Hexagon::A2_paddifnew);
299 Inst.addOperand(MCOperand::createExpr(MCConstantExpr::create(0, OutContext)));
300 break;
301 }
302
303 case Hexagon::A2_tfrtnew: {
304 Inst.setOpcode(Hexagon::A2_padditnew);
305 Inst.addOperand(MCOperand::createExpr(MCConstantExpr::create(0, OutContext)));
306 break;
307 }
308
309 case Hexagon::A2_zxtb: {
310 Inst.setOpcode(Hexagon::A2_andir);
311 Inst.addOperand(MCOperand::createExpr(MCConstantExpr::create(255, OutContext)));
312 break;
313 }
314
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000315 // "$dst = CONST64(#$src1)",
Krzysztof Parzyszeka3386502016-08-10 16:46:36 +0000316 case Hexagon::CONST64:
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000317 if (!OutStreamer->hasRawTextSupport()) {
318 const MCOperand &Imm = MappedInst.getOperand(1);
319 MCSectionSubPair Current = OutStreamer->getCurrentSection();
320
321 MCSymbol *Sym = smallData(*this, MI, *OutStreamer, Imm, 8);
322
323 OutStreamer->SwitchSection(Current.first, Current.second);
324 MCInst TmpInst;
325 MCOperand &Reg = MappedInst.getOperand(0);
326 TmpInst.setOpcode(Hexagon::L2_loadrdgp);
327 TmpInst.addOperand(Reg);
328 TmpInst.addOperand(MCOperand::createExpr(
329 MCSymbolRefExpr::create(Sym, OutContext)));
330 MappedInst = TmpInst;
331
332 }
333 break;
334 case Hexagon::CONST32:
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000335 if (!OutStreamer->hasRawTextSupport()) {
336 MCOperand &Imm = MappedInst.getOperand(1);
337 MCSectionSubPair Current = OutStreamer->getCurrentSection();
338 MCSymbol *Sym = smallData(*this, MI, *OutStreamer, Imm, 4);
339 OutStreamer->SwitchSection(Current.first, Current.second);
340 MCInst TmpInst;
341 MCOperand &Reg = MappedInst.getOperand(0);
342 TmpInst.setOpcode(Hexagon::L2_loadrigp);
343 TmpInst.addOperand(Reg);
Colin LeMahieuc7b21242016-02-15 18:47:55 +0000344 TmpInst.addOperand(MCOperand::createExpr(HexagonMCExpr::create(
Colin LeMahieu98c8e072016-02-15 18:42:07 +0000345 MCSymbolRefExpr::create(Sym, OutContext), OutContext)));
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000346 MappedInst = TmpInst;
347 }
348 break;
349
350 // C2_pxfer_map maps to C2_or instruction. Though, it's possible to use
351 // C2_or during instruction selection itself but it results
352 // into suboptimal code.
353 case Hexagon::C2_pxfer_map: {
354 MCOperand &Ps = Inst.getOperand(1);
355 MappedInst.setOpcode(Hexagon::C2_or);
356 MappedInst.addOperand(Ps);
357 return;
358 }
359
360 // Vector reduce complex multiply by scalar, Rt & 1 map to :hi else :lo
361 // The insn is mapped from the 4 operand to the 3 operand raw form taking
362 // 3 register pairs.
363 case Hexagon::M2_vrcmpys_acc_s1: {
364 MCOperand &Rt = Inst.getOperand(3);
365 assert (Rt.isReg() && "Expected register and none was found");
366 unsigned Reg = RI->getEncodingValue(Rt.getReg());
367 if (Reg & 1)
368 MappedInst.setOpcode(Hexagon::M2_vrcmpys_acc_s1_h);
369 else
370 MappedInst.setOpcode(Hexagon::M2_vrcmpys_acc_s1_l);
371 Rt.setReg(getHexagonRegisterPair(Rt.getReg(), RI));
372 return;
373 }
374 case Hexagon::M2_vrcmpys_s1: {
375 MCOperand &Rt = Inst.getOperand(2);
376 assert (Rt.isReg() && "Expected register and none was found");
377 unsigned Reg = RI->getEncodingValue(Rt.getReg());
378 if (Reg & 1)
379 MappedInst.setOpcode(Hexagon::M2_vrcmpys_s1_h);
380 else
381 MappedInst.setOpcode(Hexagon::M2_vrcmpys_s1_l);
382 Rt.setReg(getHexagonRegisterPair(Rt.getReg(), RI));
383 return;
384 }
385
386 case Hexagon::M2_vrcmpys_s1rp: {
387 MCOperand &Rt = Inst.getOperand(2);
388 assert (Rt.isReg() && "Expected register and none was found");
389 unsigned Reg = RI->getEncodingValue(Rt.getReg());
390 if (Reg & 1)
391 MappedInst.setOpcode(Hexagon::M2_vrcmpys_s1rp_h);
392 else
393 MappedInst.setOpcode(Hexagon::M2_vrcmpys_s1rp_l);
394 Rt.setReg(getHexagonRegisterPair(Rt.getReg(), RI));
395 return;
396 }
397
398 case Hexagon::A4_boundscheck: {
399 MCOperand &Rs = Inst.getOperand(1);
400 assert (Rs.isReg() && "Expected register and none was found");
401 unsigned Reg = RI->getEncodingValue(Rs.getReg());
402 if (Reg & 1) // Odd mapped to raw:hi, regpair is rodd:odd-1, like r3:2
403 MappedInst.setOpcode(Hexagon::A4_boundscheck_hi);
404 else // raw:lo
405 MappedInst.setOpcode(Hexagon::A4_boundscheck_lo);
406 Rs.setReg(getHexagonRegisterPair(Rs.getReg(), RI));
407 return;
408 }
Krzysztof Parzyszekc8d676e2017-02-07 17:42:11 +0000409 case Hexagon::PS_call_nr:
410 Inst.setOpcode(Hexagon::J2_call);
411 break;
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000412 case Hexagon::S5_asrhub_rnd_sat_goodsyntax: {
413 MCOperand &MO = MappedInst.getOperand(2);
414 int64_t Imm;
415 MCExpr const *Expr = MO.getExpr();
416 bool Success = Expr->evaluateAsAbsolute(Imm);
Colin LeMahieu98c8e072016-02-15 18:42:07 +0000417 assert (Success && "Expected immediate and none was found");
418 (void)Success;
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000419 MCInst TmpInst;
420 if (Imm == 0) {
421 TmpInst.setOpcode(Hexagon::S2_vsathub);
422 TmpInst.addOperand(MappedInst.getOperand(0));
423 TmpInst.addOperand(MappedInst.getOperand(1));
424 MappedInst = TmpInst;
425 return;
426 }
427 TmpInst.setOpcode(Hexagon::S5_asrhub_rnd_sat);
428 TmpInst.addOperand(MappedInst.getOperand(0));
429 TmpInst.addOperand(MappedInst.getOperand(1));
430 const MCExpr *One = MCConstantExpr::create(1, OutContext);
431 const MCExpr *Sub = MCBinaryExpr::createSub(Expr, One, OutContext);
Colin LeMahieu98c8e072016-02-15 18:42:07 +0000432 TmpInst.addOperand(
Colin LeMahieuc7b21242016-02-15 18:47:55 +0000433 MCOperand::createExpr(HexagonMCExpr::create(Sub, OutContext)));
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000434 MappedInst = TmpInst;
435 return;
436 }
437 case Hexagon::S5_vasrhrnd_goodsyntax:
438 case Hexagon::S2_asr_i_p_rnd_goodsyntax: {
439 MCOperand &MO2 = MappedInst.getOperand(2);
440 MCExpr const *Expr = MO2.getExpr();
441 int64_t Imm;
442 bool Success = Expr->evaluateAsAbsolute(Imm);
Colin LeMahieu98c8e072016-02-15 18:42:07 +0000443 assert (Success && "Expected immediate and none was found");
444 (void)Success;
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000445 MCInst TmpInst;
446 if (Imm == 0) {
447 TmpInst.setOpcode(Hexagon::A2_combinew);
448 TmpInst.addOperand(MappedInst.getOperand(0));
449 MCOperand &MO1 = MappedInst.getOperand(1);
Krzysztof Parzyszeka5409972016-11-09 16:19:08 +0000450 unsigned High = RI->getSubReg(MO1.getReg(), Hexagon::isub_hi);
451 unsigned Low = RI->getSubReg(MO1.getReg(), Hexagon::isub_lo);
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000452 // Add a new operand for the second register in the pair.
453 TmpInst.addOperand(MCOperand::createReg(High));
454 TmpInst.addOperand(MCOperand::createReg(Low));
455 MappedInst = TmpInst;
456 return;
457 }
458
459 if (Inst.getOpcode() == Hexagon::S2_asr_i_p_rnd_goodsyntax)
460 TmpInst.setOpcode(Hexagon::S2_asr_i_p_rnd);
461 else
462 TmpInst.setOpcode(Hexagon::S5_vasrhrnd);
463 TmpInst.addOperand(MappedInst.getOperand(0));
464 TmpInst.addOperand(MappedInst.getOperand(1));
465 const MCExpr *One = MCConstantExpr::create(1, OutContext);
466 const MCExpr *Sub = MCBinaryExpr::createSub(Expr, One, OutContext);
Colin LeMahieu98c8e072016-02-15 18:42:07 +0000467 TmpInst.addOperand(
Colin LeMahieuc7b21242016-02-15 18:47:55 +0000468 MCOperand::createExpr(HexagonMCExpr::create(Sub, OutContext)));
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000469 MappedInst = TmpInst;
470 return;
471 }
472 // if ("#u5==0") Assembler mapped to: "Rd=Rs"; else Rd=asr(Rs,#u5-1):rnd
473 case Hexagon::S2_asr_i_r_rnd_goodsyntax: {
474 MCOperand &MO = Inst.getOperand(2);
475 MCExpr const *Expr = MO.getExpr();
476 int64_t Imm;
477 bool Success = Expr->evaluateAsAbsolute(Imm);
Colin LeMahieu98c8e072016-02-15 18:42:07 +0000478 assert (Success && "Expected immediate and none was found");
479 (void)Success;
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000480 MCInst TmpInst;
481 if (Imm == 0) {
482 TmpInst.setOpcode(Hexagon::A2_tfr);
483 TmpInst.addOperand(MappedInst.getOperand(0));
484 TmpInst.addOperand(MappedInst.getOperand(1));
485 MappedInst = TmpInst;
486 return;
487 }
488 TmpInst.setOpcode(Hexagon::S2_asr_i_r_rnd);
489 TmpInst.addOperand(MappedInst.getOperand(0));
490 TmpInst.addOperand(MappedInst.getOperand(1));
491 const MCExpr *One = MCConstantExpr::create(1, OutContext);
492 const MCExpr *Sub = MCBinaryExpr::createSub(Expr, One, OutContext);
Colin LeMahieu98c8e072016-02-15 18:42:07 +0000493 TmpInst.addOperand(
Colin LeMahieuc7b21242016-02-15 18:47:55 +0000494 MCOperand::createExpr(HexagonMCExpr::create(Sub, OutContext)));
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000495 MappedInst = TmpInst;
496 return;
497 }
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000498
499 // Translate a "$Rdd = #imm" to "$Rdd = combine(#[-1,0], #imm)"
500 case Hexagon::A2_tfrpi: {
501 MCInst TmpInst;
502 MCOperand &Rdd = MappedInst.getOperand(0);
503 MCOperand &MO = MappedInst.getOperand(1);
504
505 TmpInst.setOpcode(Hexagon::A2_combineii);
506 TmpInst.addOperand(Rdd);
507 int64_t Imm;
508 bool Success = MO.getExpr()->evaluateAsAbsolute(Imm);
509 if (Success && Imm < 0) {
510 const MCExpr *MOne = MCConstantExpr::create(-1, OutContext);
Colin LeMahieuc7b21242016-02-15 18:47:55 +0000511 TmpInst.addOperand(MCOperand::createExpr(HexagonMCExpr::create(MOne, OutContext)));
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000512 } else {
513 const MCExpr *Zero = MCConstantExpr::create(0, OutContext);
Colin LeMahieuc7b21242016-02-15 18:47:55 +0000514 TmpInst.addOperand(MCOperand::createExpr(HexagonMCExpr::create(Zero, OutContext)));
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000515 }
516 TmpInst.addOperand(MO);
517 MappedInst = TmpInst;
518 return;
519 }
520 // Translate a "$Rdd = $Rss" to "$Rdd = combine($Rs, $Rt)"
521 case Hexagon::A2_tfrp: {
522 MCOperand &MO = MappedInst.getOperand(1);
Krzysztof Parzyszeka5409972016-11-09 16:19:08 +0000523 unsigned High = RI->getSubReg(MO.getReg(), Hexagon::isub_hi);
524 unsigned Low = RI->getSubReg(MO.getReg(), Hexagon::isub_lo);
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000525 MO.setReg(High);
526 // Add a new operand for the second register in the pair.
527 MappedInst.addOperand(MCOperand::createReg(Low));
528 MappedInst.setOpcode(Hexagon::A2_combinew);
529 return;
530 }
531
532 case Hexagon::A2_tfrpt:
533 case Hexagon::A2_tfrpf: {
534 MCOperand &MO = MappedInst.getOperand(2);
Krzysztof Parzyszeka5409972016-11-09 16:19:08 +0000535 unsigned High = RI->getSubReg(MO.getReg(), Hexagon::isub_hi);
536 unsigned Low = RI->getSubReg(MO.getReg(), Hexagon::isub_lo);
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000537 MO.setReg(High);
538 // Add a new operand for the second register in the pair.
539 MappedInst.addOperand(MCOperand::createReg(Low));
540 MappedInst.setOpcode((Inst.getOpcode() == Hexagon::A2_tfrpt)
541 ? Hexagon::C2_ccombinewt
542 : Hexagon::C2_ccombinewf);
543 return;
544 }
545 case Hexagon::A2_tfrptnew:
546 case Hexagon::A2_tfrpfnew: {
547 MCOperand &MO = MappedInst.getOperand(2);
Krzysztof Parzyszeka5409972016-11-09 16:19:08 +0000548 unsigned High = RI->getSubReg(MO.getReg(), Hexagon::isub_hi);
549 unsigned Low = RI->getSubReg(MO.getReg(), Hexagon::isub_lo);
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000550 MO.setReg(High);
551 // Add a new operand for the second register in the pair.
552 MappedInst.addOperand(MCOperand::createReg(Low));
553 MappedInst.setOpcode((Inst.getOpcode() == Hexagon::A2_tfrptnew)
554 ? Hexagon::C2_ccombinewnewt
555 : Hexagon::C2_ccombinewnewf);
556 return;
557 }
558
559 case Hexagon::M2_mpysmi: {
560 MCOperand &Imm = MappedInst.getOperand(2);
561 MCExpr const *Expr = Imm.getExpr();
562 int64_t Value;
563 bool Success = Expr->evaluateAsAbsolute(Value);
Colin LeMahieu98c8e072016-02-15 18:42:07 +0000564 assert(Success);
565 (void)Success;
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000566 if (Value < 0 && Value > -256) {
567 MappedInst.setOpcode(Hexagon::M2_mpysin);
Colin LeMahieuc7b21242016-02-15 18:47:55 +0000568 Imm.setExpr(HexagonMCExpr::create(
Colin LeMahieu98c8e072016-02-15 18:42:07 +0000569 MCUnaryExpr::createMinus(Expr, OutContext), OutContext));
570 } else
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000571 MappedInst.setOpcode(Hexagon::M2_mpysip);
572 return;
573 }
574
575 case Hexagon::A2_addsp: {
576 MCOperand &Rt = Inst.getOperand(1);
577 assert (Rt.isReg() && "Expected register and none was found");
578 unsigned Reg = RI->getEncodingValue(Rt.getReg());
579 if (Reg & 1)
580 MappedInst.setOpcode(Hexagon::A2_addsph);
581 else
582 MappedInst.setOpcode(Hexagon::A2_addspl);
583 Rt.setReg(getHexagonRegisterPair(Rt.getReg(), RI));
584 return;
585 }
Krzysztof Parzyszekeabc0d02016-08-16 17:14:44 +0000586 case Hexagon::V6_vd0:
587 case Hexagon::V6_vd0_128B: {
Krzysztof Parzyszek372bd802015-12-15 17:05:45 +0000588 MCInst TmpInst;
589 assert (Inst.getOperand(0).isReg() &&
590 "Expected register and none was found");
591
592 TmpInst.setOpcode(Hexagon::V6_vxor);
593 TmpInst.addOperand(Inst.getOperand(0));
594 TmpInst.addOperand(Inst.getOperand(0));
595 TmpInst.addOperand(Inst.getOperand(0));
596 MappedInst = TmpInst;
597 return;
598 }
599
600 }
601}
602
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000603
604/// printMachineInstruction -- Print out a single Hexagon MI in Darwin syntax to
605/// the current output stream.
606///
607void HexagonAsmPrinter::EmitInstruction(const MachineInstr *MI) {
Colin LeMahieuf0af6e52015-11-13 17:42:46 +0000608 MCInst MCB = HexagonMCInstrInfo::createBundle();
Krzysztof Parzyszek8d8b2292015-12-02 23:08:29 +0000609 const MCInstrInfo &MCII = *Subtarget->getInstrInfo();
Colin LeMahieu68d967d2015-05-29 14:44:13 +0000610
Sirish Pandef8e5e3c2012-05-03 21:52:53 +0000611 if (MI->isBundle()) {
Colin LeMahieu68d967d2015-05-29 14:44:13 +0000612 const MachineBasicBlock* MBB = MI->getParent();
Duncan P. N. Exon Smithc5b668d2016-02-22 20:49:58 +0000613 MachineBasicBlock::const_instr_iterator MII = MI->getIterator();
Sirish Pandef8e5e3c2012-05-03 21:52:53 +0000614
Colin LeMahieu7c572b22015-12-03 16:37:21 +0000615 for (++MII; MII != MBB->instr_end() && MII->isInsideBundle(); ++MII)
Krzysztof Parzyszekd04c9b92017-03-31 21:03:59 +0000616 if (!MII->isDebugValue() && !MII->isImplicitDef())
Krzysztof Parzyszek8d8b2292015-12-02 23:08:29 +0000617 HexagonLowerToMC(MCII, &*MII, MCB, *this);
Sirish Pandef8e5e3c2012-05-03 21:52:53 +0000618 }
Colin LeMahieu7c572b22015-12-03 16:37:21 +0000619 else
Krzysztof Parzyszek8d8b2292015-12-02 23:08:29 +0000620 HexagonLowerToMC(MCII, MI, MCB, *this);
Colin LeMahieu7c572b22015-12-03 16:37:21 +0000621
622 bool Ok = HexagonMCInstrInfo::canonicalizePacket(
623 MCII, *Subtarget, OutStreamer->getContext(), MCB, nullptr);
624 assert(Ok);
625 (void)Ok;
626 if(HexagonMCInstrInfo::bundleSize(MCB) == 0)
627 return;
628 OutStreamer->EmitInstruction(MCB, getSubtargetInfo());
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000629}
630
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000631extern "C" void LLVMInitializeHexagonAsmPrinter() {
Mehdi Aminif42454b2016-10-09 23:00:34 +0000632 RegisterAsmPrinter<HexagonAsmPrinter> X(getTheHexagonTarget());
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000633}