blob: 19769258ee89a6e5b97dc08937d3fd795922375d [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"
43#include "llvm/MC/MCStreamer.h"
Tony Linthicum1213a7a2011-12-12 21:14:40 +000044#include "llvm/MC/MCSymbol.h"
Tony Linthicum1213a7a2011-12-12 21:14:40 +000045#include "llvm/Support/CommandLine.h"
Tony Linthicum1213a7a2011-12-12 21:14:40 +000046#include "llvm/Support/Compiler.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000047#include "llvm/Support/Debug.h"
Evandro Menezes5cee6212012-04-12 17:55:53 +000048#include "llvm/Support/Format.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000049#include "llvm/Support/MathExtras.h"
Craig Topperb25fda92012-03-17 18:46:09 +000050#include "llvm/Support/TargetRegistry.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000051#include "llvm/Support/raw_ostream.h"
Tony Linthicum1213a7a2011-12-12 21:14:40 +000052#include "llvm/Target/TargetInstrInfo.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000053#include "llvm/Target/TargetLoweringObjectFile.h"
Tony Linthicum1213a7a2011-12-12 21:14:40 +000054#include "llvm/Target/TargetOptions.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000055#include "llvm/Target/TargetRegisterInfo.h"
Tony Linthicum1213a7a2011-12-12 21:14:40 +000056
57using namespace llvm;
58
Krzysztof Parzyszek8d8b2292015-12-02 23:08:29 +000059namespace llvm {
60 void HexagonLowerToMC(const MCInstrInfo &MCII, const MachineInstr *MI,
61 MCInst &MCB, HexagonAsmPrinter &AP);
62}
63
Chandler Carruth84e68b22014-04-22 02:41:26 +000064#define DEBUG_TYPE "asm-printer"
65
Tony Linthicum1213a7a2011-12-12 21:14:40 +000066static cl::opt<bool> AlignCalls(
67 "hexagon-align-calls", cl::Hidden, cl::init(true),
68 cl::desc("Insert falign after call instruction for Hexagon target"));
69
David Blaikie94598322015-01-18 20:29:04 +000070HexagonAsmPrinter::HexagonAsmPrinter(TargetMachine &TM,
71 std::unique_ptr<MCStreamer> Streamer)
Eric Christopher8f276db2015-02-03 06:40:22 +000072 : AsmPrinter(TM, std::move(Streamer)), Subtarget(nullptr) {}
David Blaikie94598322015-01-18 20:29:04 +000073
Evandro Menezes5cee6212012-04-12 17:55:53 +000074void HexagonAsmPrinter::printOperand(const MachineInstr *MI, unsigned OpNo,
75 raw_ostream &O) {
76 const MachineOperand &MO = MI->getOperand(OpNo);
Tony Linthicum1213a7a2011-12-12 21:14:40 +000077
Evandro Menezes5cee6212012-04-12 17:55:53 +000078 switch (MO.getType()) {
Sirish Pandef8e5e3c2012-05-03 21:52:53 +000079 default: llvm_unreachable ("<unknown operand type>");
Evandro Menezes5cee6212012-04-12 17:55:53 +000080 case MachineOperand::MO_Register:
81 O << HexagonInstPrinter::getRegisterName(MO.getReg());
82 return;
83 case MachineOperand::MO_Immediate:
84 O << MO.getImm();
85 return;
Tony Linthicum1213a7a2011-12-12 21:14:40 +000086 case MachineOperand::MO_MachineBasicBlock:
Matt Arsenault8b643552015-06-09 00:31:39 +000087 MO.getMBB()->getSymbol()->print(O, MAI);
Tony Linthicum1213a7a2011-12-12 21:14:40 +000088 return;
Tony Linthicum1213a7a2011-12-12 21:14:40 +000089 case MachineOperand::MO_ConstantPoolIndex:
Matt Arsenault8b643552015-06-09 00:31:39 +000090 GetCPISymbol(MO.getIndex())->print(O, MAI);
Tony Linthicum1213a7a2011-12-12 21:14:40 +000091 return;
Evandro Menezes5cee6212012-04-12 17:55:53 +000092 case MachineOperand::MO_GlobalAddress:
Tony Linthicum1213a7a2011-12-12 21:14:40 +000093 // Computing the address of a global symbol, not calling it.
Matt Arsenault8b643552015-06-09 00:31:39 +000094 getSymbol(MO.getGlobal())->print(O, MAI);
Tony Linthicum1213a7a2011-12-12 21:14:40 +000095 printOffset(MO.getOffset(), O);
96 return;
97 }
Tony Linthicum1213a7a2011-12-12 21:14:40 +000098}
99
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000100//
101// isBlockOnlyReachableByFallthrough - We need to override this since the
102// default AsmPrinter does not print labels for any basic block that
103// is only reachable by a fall through. That works for all cases except
104// for the case in which the basic block is reachable by a fall through but
105// through an indirect from a jump table. In this case, the jump table
106// will contain a label not defined by AsmPrinter.
107//
108bool HexagonAsmPrinter::
109isBlockOnlyReachableByFallthrough(const MachineBasicBlock *MBB) const {
110 if (MBB->hasAddressTaken()) {
111 return false;
112 }
113 return AsmPrinter::isBlockOnlyReachableByFallthrough(MBB);
114}
115
116
117/// PrintAsmOperand - Print out an operand for an inline asm expression.
118///
119bool HexagonAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
120 unsigned AsmVariant,
121 const char *ExtraCode,
Evandro Menezes5cee6212012-04-12 17:55:53 +0000122 raw_ostream &OS) {
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000123 // Does this asm operand have a single letter operand modifier?
124 if (ExtraCode && ExtraCode[0]) {
125 if (ExtraCode[1] != 0) return true; // Unknown modifier.
126
127 switch (ExtraCode[0]) {
Jack Carter5e69cff2012-06-26 13:49:27 +0000128 default:
129 // See if this is a generic print operand
130 return AsmPrinter::PrintAsmOperand(MI, OpNo, AsmVariant, ExtraCode, OS);
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000131 case 'c': // Don't print "$" before a global var name or constant.
132 // Hexagon never has a prefix.
133 printOperand(MI, OpNo, OS);
134 return false;
135 case 'L': // Write second word of DImode reference.
136 // Verify that this operand has two consecutive registers.
137 if (!MI->getOperand(OpNo).isReg() ||
138 OpNo+1 == MI->getNumOperands() ||
139 !MI->getOperand(OpNo+1).isReg())
140 return true;
141 ++OpNo; // Return the high-part.
142 break;
143 case 'I':
144 // Write 'i' if an integer constant, otherwise nothing. Used to print
145 // addi vs add, etc.
146 if (MI->getOperand(OpNo).isImm())
147 OS << "i";
148 return false;
149 }
150 }
151
152 printOperand(MI, OpNo, OS);
153 return false;
154}
155
156bool HexagonAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI,
157 unsigned OpNo, unsigned AsmVariant,
158 const char *ExtraCode,
159 raw_ostream &O) {
160 if (ExtraCode && ExtraCode[0])
161 return true; // Unknown modifier.
162
163 const MachineOperand &Base = MI->getOperand(OpNo);
164 const MachineOperand &Offset = MI->getOperand(OpNo+1);
165
166 if (Base.isReg())
167 printOperand(MI, OpNo, O);
168 else
Craig Toppere55c5562012-02-07 02:50:20 +0000169 llvm_unreachable("Unimplemented");
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000170
171 if (Offset.isImm()) {
172 if (Offset.getImm())
173 O << " + #" << Offset.getImm();
174 }
175 else
Craig Toppere55c5562012-02-07 02:50:20 +0000176 llvm_unreachable("Unimplemented");
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000177
178 return false;
179}
180
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000181
182/// printMachineInstruction -- Print out a single Hexagon MI in Darwin syntax to
183/// the current output stream.
184///
185void HexagonAsmPrinter::EmitInstruction(const MachineInstr *MI) {
Colin LeMahieuf0af6e52015-11-13 17:42:46 +0000186 MCInst MCB = HexagonMCInstrInfo::createBundle();
Krzysztof Parzyszek8d8b2292015-12-02 23:08:29 +0000187 const MCInstrInfo &MCII = *Subtarget->getInstrInfo();
Colin LeMahieu68d967d2015-05-29 14:44:13 +0000188
Sirish Pandef8e5e3c2012-05-03 21:52:53 +0000189 if (MI->isBundle()) {
Colin LeMahieu68d967d2015-05-29 14:44:13 +0000190 const MachineBasicBlock* MBB = MI->getParent();
Duncan P. N. Exon Smitha72c6e22015-10-20 00:46:39 +0000191 MachineBasicBlock::const_instr_iterator MII = MI->getIterator();
Colin LeMahieu68d967d2015-05-29 14:44:13 +0000192 unsigned IgnoreCount = 0;
Sirish Pandef8e5e3c2012-05-03 21:52:53 +0000193
Duncan P. N. Exon Smitha72c6e22015-10-20 00:46:39 +0000194 for (++MII; MII != MBB->instr_end() && MII->isInsideBundle(); ++MII) {
Colin LeMahieu68d967d2015-05-29 14:44:13 +0000195 if (MII->getOpcode() == TargetOpcode::DBG_VALUE ||
196 MII->getOpcode() == TargetOpcode::IMPLICIT_DEF)
197 ++IgnoreCount;
198 else {
Krzysztof Parzyszek8d8b2292015-12-02 23:08:29 +0000199 HexagonLowerToMC(MCII, &*MII, MCB, *this);
Colin LeMahieu68d967d2015-05-29 14:44:13 +0000200 }
Sirish Pandef8e5e3c2012-05-03 21:52:53 +0000201 }
202 }
203 else {
Krzysztof Parzyszek8d8b2292015-12-02 23:08:29 +0000204 HexagonLowerToMC(MCII, MI, MCB, *this);
Colin LeMahieub3c97272015-11-13 07:58:06 +0000205 HexagonMCInstrInfo::padEndloop(OutStreamer->getContext(), MCB);
Sirish Pandef8e5e3c2012-05-03 21:52:53 +0000206 }
Colin LeMahieu6aca6f02015-06-08 16:34:47 +0000207 // Examine the packet and try to find instructions that can be converted
208 // to compounds.
Krzysztof Parzyszek8d8b2292015-12-02 23:08:29 +0000209 HexagonMCInstrInfo::tryCompound(MCII, OutStreamer->getContext(), MCB);
Colin LeMahieube8c4532015-06-05 16:00:11 +0000210 // Examine the packet and convert pairs of instructions to duplex
211 // instructions when possible.
212 SmallVector<DuplexCandidate, 8> possibleDuplexes;
Krzysztof Parzyszek8d8b2292015-12-02 23:08:29 +0000213 possibleDuplexes = HexagonMCInstrInfo::getDuplexPossibilties(MCII, MCB);
214 HexagonMCShuffle(MCII, *Subtarget, OutStreamer->getContext(), MCB,
215 possibleDuplexes);
Colin LeMahieu68d967d2015-05-29 14:44:13 +0000216 EmitToStreamer(*OutStreamer, MCB);
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000217}
218
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000219extern "C" void LLVMInitializeHexagonAsmPrinter() {
220 RegisterAsmPrinter<HexagonAsmPrinter> X(TheHexagonTarget);
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000221}