blob: 1736d03961f71c0da313c5b65d9f24d970b504f4 [file] [log] [blame]
Ulrich Weigand640192d2013-05-03 19:49:39 +00001//===-- PPCAsmParser.cpp - Parse PowerPC asm to MCInst instructions ---------===//
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#include "MCTargetDesc/PPCMCTargetDesc.h"
Ulrich Weigand96e65782013-06-20 16:23:52 +000011#include "MCTargetDesc/PPCMCExpr.h"
Rafael Espindola6b9ee9b2014-01-25 02:35:56 +000012#include "PPCTargetStreamer.h"
Craig Topper690d8ea2013-07-24 07:33:14 +000013#include "llvm/ADT/STLExtras.h"
Ulrich Weigand640192d2013-05-03 19:49:39 +000014#include "llvm/ADT/SmallString.h"
15#include "llvm/ADT/SmallVector.h"
16#include "llvm/ADT/StringSwitch.h"
17#include "llvm/ADT/Twine.h"
Ulrich Weigandbb686102014-07-20 23:06:03 +000018#include "llvm/MC/MCContext.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000019#include "llvm/MC/MCExpr.h"
20#include "llvm/MC/MCInst.h"
21#include "llvm/MC/MCInstrInfo.h"
22#include "llvm/MC/MCParser/MCAsmLexer.h"
23#include "llvm/MC/MCParser/MCAsmParser.h"
24#include "llvm/MC/MCParser/MCParsedAsmOperand.h"
25#include "llvm/MC/MCRegisterInfo.h"
26#include "llvm/MC/MCStreamer.h"
Rafael Espindola95fb9b92015-06-02 20:38:46 +000027#include "llvm/MC/MCSymbolELF.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000028#include "llvm/MC/MCSubtargetInfo.h"
29#include "llvm/MC/MCTargetAsmParser.h"
Ulrich Weigand640192d2013-05-03 19:49:39 +000030#include "llvm/Support/SourceMgr.h"
31#include "llvm/Support/TargetRegistry.h"
32#include "llvm/Support/raw_ostream.h"
33
34using namespace llvm;
35
Craig Topperf7df7222014-12-18 05:02:14 +000036static const MCPhysReg RRegs[32] = {
Ulrich Weigand640192d2013-05-03 19:49:39 +000037 PPC::R0, PPC::R1, PPC::R2, PPC::R3,
38 PPC::R4, PPC::R5, PPC::R6, PPC::R7,
39 PPC::R8, PPC::R9, PPC::R10, PPC::R11,
40 PPC::R12, PPC::R13, PPC::R14, PPC::R15,
41 PPC::R16, PPC::R17, PPC::R18, PPC::R19,
42 PPC::R20, PPC::R21, PPC::R22, PPC::R23,
43 PPC::R24, PPC::R25, PPC::R26, PPC::R27,
44 PPC::R28, PPC::R29, PPC::R30, PPC::R31
45};
Craig Topperf7df7222014-12-18 05:02:14 +000046static const MCPhysReg RRegsNoR0[32] = {
Ulrich Weigand640192d2013-05-03 19:49:39 +000047 PPC::ZERO,
48 PPC::R1, PPC::R2, PPC::R3,
49 PPC::R4, PPC::R5, PPC::R6, PPC::R7,
50 PPC::R8, PPC::R9, PPC::R10, PPC::R11,
51 PPC::R12, PPC::R13, PPC::R14, PPC::R15,
52 PPC::R16, PPC::R17, PPC::R18, PPC::R19,
53 PPC::R20, PPC::R21, PPC::R22, PPC::R23,
54 PPC::R24, PPC::R25, PPC::R26, PPC::R27,
55 PPC::R28, PPC::R29, PPC::R30, PPC::R31
56};
Craig Topperf7df7222014-12-18 05:02:14 +000057static const MCPhysReg XRegs[32] = {
Ulrich Weigand640192d2013-05-03 19:49:39 +000058 PPC::X0, PPC::X1, PPC::X2, PPC::X3,
59 PPC::X4, PPC::X5, PPC::X6, PPC::X7,
60 PPC::X8, PPC::X9, PPC::X10, PPC::X11,
61 PPC::X12, PPC::X13, PPC::X14, PPC::X15,
62 PPC::X16, PPC::X17, PPC::X18, PPC::X19,
63 PPC::X20, PPC::X21, PPC::X22, PPC::X23,
64 PPC::X24, PPC::X25, PPC::X26, PPC::X27,
65 PPC::X28, PPC::X29, PPC::X30, PPC::X31
66};
Craig Topperf7df7222014-12-18 05:02:14 +000067static const MCPhysReg XRegsNoX0[32] = {
Ulrich Weigand640192d2013-05-03 19:49:39 +000068 PPC::ZERO8,
69 PPC::X1, PPC::X2, PPC::X3,
70 PPC::X4, PPC::X5, PPC::X6, PPC::X7,
71 PPC::X8, PPC::X9, PPC::X10, PPC::X11,
72 PPC::X12, PPC::X13, PPC::X14, PPC::X15,
73 PPC::X16, PPC::X17, PPC::X18, PPC::X19,
74 PPC::X20, PPC::X21, PPC::X22, PPC::X23,
75 PPC::X24, PPC::X25, PPC::X26, PPC::X27,
76 PPC::X28, PPC::X29, PPC::X30, PPC::X31
77};
Craig Topperf7df7222014-12-18 05:02:14 +000078static const MCPhysReg FRegs[32] = {
Ulrich Weigand640192d2013-05-03 19:49:39 +000079 PPC::F0, PPC::F1, PPC::F2, PPC::F3,
80 PPC::F4, PPC::F5, PPC::F6, PPC::F7,
81 PPC::F8, PPC::F9, PPC::F10, PPC::F11,
82 PPC::F12, PPC::F13, PPC::F14, PPC::F15,
83 PPC::F16, PPC::F17, PPC::F18, PPC::F19,
84 PPC::F20, PPC::F21, PPC::F22, PPC::F23,
85 PPC::F24, PPC::F25, PPC::F26, PPC::F27,
86 PPC::F28, PPC::F29, PPC::F30, PPC::F31
87};
Craig Topperf7df7222014-12-18 05:02:14 +000088static const MCPhysReg VRegs[32] = {
Ulrich Weigand640192d2013-05-03 19:49:39 +000089 PPC::V0, PPC::V1, PPC::V2, PPC::V3,
90 PPC::V4, PPC::V5, PPC::V6, PPC::V7,
91 PPC::V8, PPC::V9, PPC::V10, PPC::V11,
92 PPC::V12, PPC::V13, PPC::V14, PPC::V15,
93 PPC::V16, PPC::V17, PPC::V18, PPC::V19,
94 PPC::V20, PPC::V21, PPC::V22, PPC::V23,
95 PPC::V24, PPC::V25, PPC::V26, PPC::V27,
96 PPC::V28, PPC::V29, PPC::V30, PPC::V31
97};
Craig Topperf7df7222014-12-18 05:02:14 +000098static const MCPhysReg VSRegs[64] = {
Hal Finkel27774d92014-03-13 07:58:58 +000099 PPC::VSL0, PPC::VSL1, PPC::VSL2, PPC::VSL3,
100 PPC::VSL4, PPC::VSL5, PPC::VSL6, PPC::VSL7,
101 PPC::VSL8, PPC::VSL9, PPC::VSL10, PPC::VSL11,
102 PPC::VSL12, PPC::VSL13, PPC::VSL14, PPC::VSL15,
103 PPC::VSL16, PPC::VSL17, PPC::VSL18, PPC::VSL19,
104 PPC::VSL20, PPC::VSL21, PPC::VSL22, PPC::VSL23,
105 PPC::VSL24, PPC::VSL25, PPC::VSL26, PPC::VSL27,
106 PPC::VSL28, PPC::VSL29, PPC::VSL30, PPC::VSL31,
107
108 PPC::VSH0, PPC::VSH1, PPC::VSH2, PPC::VSH3,
109 PPC::VSH4, PPC::VSH5, PPC::VSH6, PPC::VSH7,
110 PPC::VSH8, PPC::VSH9, PPC::VSH10, PPC::VSH11,
111 PPC::VSH12, PPC::VSH13, PPC::VSH14, PPC::VSH15,
112 PPC::VSH16, PPC::VSH17, PPC::VSH18, PPC::VSH19,
113 PPC::VSH20, PPC::VSH21, PPC::VSH22, PPC::VSH23,
114 PPC::VSH24, PPC::VSH25, PPC::VSH26, PPC::VSH27,
115 PPC::VSH28, PPC::VSH29, PPC::VSH30, PPC::VSH31
116};
Craig Topperf7df7222014-12-18 05:02:14 +0000117static const MCPhysReg VSFRegs[64] = {
Hal Finkel19be5062014-03-29 05:29:01 +0000118 PPC::F0, PPC::F1, PPC::F2, PPC::F3,
119 PPC::F4, PPC::F5, PPC::F6, PPC::F7,
120 PPC::F8, PPC::F9, PPC::F10, PPC::F11,
121 PPC::F12, PPC::F13, PPC::F14, PPC::F15,
122 PPC::F16, PPC::F17, PPC::F18, PPC::F19,
123 PPC::F20, PPC::F21, PPC::F22, PPC::F23,
124 PPC::F24, PPC::F25, PPC::F26, PPC::F27,
125 PPC::F28, PPC::F29, PPC::F30, PPC::F31,
126
127 PPC::VF0, PPC::VF1, PPC::VF2, PPC::VF3,
128 PPC::VF4, PPC::VF5, PPC::VF6, PPC::VF7,
129 PPC::VF8, PPC::VF9, PPC::VF10, PPC::VF11,
130 PPC::VF12, PPC::VF13, PPC::VF14, PPC::VF15,
131 PPC::VF16, PPC::VF17, PPC::VF18, PPC::VF19,
132 PPC::VF20, PPC::VF21, PPC::VF22, PPC::VF23,
133 PPC::VF24, PPC::VF25, PPC::VF26, PPC::VF27,
134 PPC::VF28, PPC::VF29, PPC::VF30, PPC::VF31
135};
Nemanja Ivanovicf3c94b12015-05-07 18:24:05 +0000136static const MCPhysReg VSSRegs[64] = {
137 PPC::F0, PPC::F1, PPC::F2, PPC::F3,
138 PPC::F4, PPC::F5, PPC::F6, PPC::F7,
139 PPC::F8, PPC::F9, PPC::F10, PPC::F11,
140 PPC::F12, PPC::F13, PPC::F14, PPC::F15,
141 PPC::F16, PPC::F17, PPC::F18, PPC::F19,
142 PPC::F20, PPC::F21, PPC::F22, PPC::F23,
143 PPC::F24, PPC::F25, PPC::F26, PPC::F27,
144 PPC::F28, PPC::F29, PPC::F30, PPC::F31,
145
146 PPC::VF0, PPC::VF1, PPC::VF2, PPC::VF3,
147 PPC::VF4, PPC::VF5, PPC::VF6, PPC::VF7,
148 PPC::VF8, PPC::VF9, PPC::VF10, PPC::VF11,
149 PPC::VF12, PPC::VF13, PPC::VF14, PPC::VF15,
150 PPC::VF16, PPC::VF17, PPC::VF18, PPC::VF19,
151 PPC::VF20, PPC::VF21, PPC::VF22, PPC::VF23,
152 PPC::VF24, PPC::VF25, PPC::VF26, PPC::VF27,
153 PPC::VF28, PPC::VF29, PPC::VF30, PPC::VF31
154};
Hal Finkelc93a9a22015-02-25 01:06:45 +0000155static unsigned QFRegs[32] = {
156 PPC::QF0, PPC::QF1, PPC::QF2, PPC::QF3,
157 PPC::QF4, PPC::QF5, PPC::QF6, PPC::QF7,
158 PPC::QF8, PPC::QF9, PPC::QF10, PPC::QF11,
159 PPC::QF12, PPC::QF13, PPC::QF14, PPC::QF15,
160 PPC::QF16, PPC::QF17, PPC::QF18, PPC::QF19,
161 PPC::QF20, PPC::QF21, PPC::QF22, PPC::QF23,
162 PPC::QF24, PPC::QF25, PPC::QF26, PPC::QF27,
163 PPC::QF28, PPC::QF29, PPC::QF30, PPC::QF31
164};
Craig Topperf7df7222014-12-18 05:02:14 +0000165static const MCPhysReg CRBITRegs[32] = {
Ulrich Weigand640192d2013-05-03 19:49:39 +0000166 PPC::CR0LT, PPC::CR0GT, PPC::CR0EQ, PPC::CR0UN,
167 PPC::CR1LT, PPC::CR1GT, PPC::CR1EQ, PPC::CR1UN,
168 PPC::CR2LT, PPC::CR2GT, PPC::CR2EQ, PPC::CR2UN,
169 PPC::CR3LT, PPC::CR3GT, PPC::CR3EQ, PPC::CR3UN,
170 PPC::CR4LT, PPC::CR4GT, PPC::CR4EQ, PPC::CR4UN,
171 PPC::CR5LT, PPC::CR5GT, PPC::CR5EQ, PPC::CR5UN,
172 PPC::CR6LT, PPC::CR6GT, PPC::CR6EQ, PPC::CR6UN,
173 PPC::CR7LT, PPC::CR7GT, PPC::CR7EQ, PPC::CR7UN
174};
Craig Topperf7df7222014-12-18 05:02:14 +0000175static const MCPhysReg CRRegs[8] = {
Ulrich Weigand640192d2013-05-03 19:49:39 +0000176 PPC::CR0, PPC::CR1, PPC::CR2, PPC::CR3,
177 PPC::CR4, PPC::CR5, PPC::CR6, PPC::CR7
178};
179
Ulrich Weigandb86cb7d2013-07-04 14:24:00 +0000180// Evaluate an expression containing condition register
181// or condition register field symbols. Returns positive
182// value on success, or -1 on error.
183static int64_t
184EvaluateCRExpr(const MCExpr *E) {
185 switch (E->getKind()) {
186 case MCExpr::Target:
187 return -1;
188
189 case MCExpr::Constant: {
190 int64_t Res = cast<MCConstantExpr>(E)->getValue();
191 return Res < 0 ? -1 : Res;
192 }
193
194 case MCExpr::SymbolRef: {
195 const MCSymbolRefExpr *SRE = cast<MCSymbolRefExpr>(E);
196 StringRef Name = SRE->getSymbol().getName();
197
198 if (Name == "lt") return 0;
199 if (Name == "gt") return 1;
200 if (Name == "eq") return 2;
201 if (Name == "so") return 3;
202 if (Name == "un") return 3;
203
204 if (Name == "cr0") return 0;
205 if (Name == "cr1") return 1;
206 if (Name == "cr2") return 2;
207 if (Name == "cr3") return 3;
208 if (Name == "cr4") return 4;
209 if (Name == "cr5") return 5;
210 if (Name == "cr6") return 6;
211 if (Name == "cr7") return 7;
212
213 return -1;
214 }
215
216 case MCExpr::Unary:
217 return -1;
218
219 case MCExpr::Binary: {
220 const MCBinaryExpr *BE = cast<MCBinaryExpr>(E);
221 int64_t LHSVal = EvaluateCRExpr(BE->getLHS());
222 int64_t RHSVal = EvaluateCRExpr(BE->getRHS());
223 int64_t Res;
224
225 if (LHSVal < 0 || RHSVal < 0)
226 return -1;
227
228 switch (BE->getOpcode()) {
229 default: return -1;
230 case MCBinaryExpr::Add: Res = LHSVal + RHSVal; break;
231 case MCBinaryExpr::Mul: Res = LHSVal * RHSVal; break;
232 }
233
234 return Res < 0 ? -1 : Res;
235 }
236 }
237
238 llvm_unreachable("Invalid expression kind!");
239}
240
Craig Topperf7df7222014-12-18 05:02:14 +0000241namespace {
242
Ulrich Weigand640192d2013-05-03 19:49:39 +0000243struct PPCOperand;
244
245class PPCAsmParser : public MCTargetAsmParser {
246 MCSubtargetInfo &STI;
Hal Finkel0096dbd2013-09-12 14:40:06 +0000247 const MCInstrInfo &MII;
Ulrich Weigand640192d2013-05-03 19:49:39 +0000248 bool IsPPC64;
Iain Sandoee0b4cb62013-12-14 13:34:02 +0000249 bool IsDarwin;
Ulrich Weigand640192d2013-05-03 19:49:39 +0000250
Rafael Espindola961d4692014-11-11 05:18:41 +0000251 void Warning(SMLoc L, const Twine &Msg) { getParser().Warning(L, Msg); }
252 bool Error(SMLoc L, const Twine &Msg) { return getParser().Error(L, Msg); }
Ulrich Weigand640192d2013-05-03 19:49:39 +0000253
254 bool isPPC64() const { return IsPPC64; }
Iain Sandoee0b4cb62013-12-14 13:34:02 +0000255 bool isDarwin() const { return IsDarwin; }
Ulrich Weigand640192d2013-05-03 19:49:39 +0000256
257 bool MatchRegisterName(const AsmToken &Tok,
258 unsigned &RegNo, int64_t &IntVal);
259
Craig Topper0d3fa922014-04-29 07:57:37 +0000260 bool ParseRegister(unsigned &RegNo, SMLoc &StartLoc, SMLoc &EndLoc) override;
Ulrich Weigand640192d2013-05-03 19:49:39 +0000261
Ulrich Weigand96e65782013-06-20 16:23:52 +0000262 const MCExpr *ExtractModifierFromExpr(const MCExpr *E,
263 PPCMCExpr::VariantKind &Variant);
Ulrich Weigand52cf8e42013-07-09 16:41:09 +0000264 const MCExpr *FixupVariantKind(const MCExpr *E);
Ulrich Weigand96e65782013-06-20 16:23:52 +0000265 bool ParseExpression(const MCExpr *&EVal);
Iain Sandoee0b4cb62013-12-14 13:34:02 +0000266 bool ParseDarwinExpression(const MCExpr *&EVal);
Ulrich Weigand96e65782013-06-20 16:23:52 +0000267
David Blaikie960ea3f2014-06-08 16:18:35 +0000268 bool ParseOperand(OperandVector &Operands);
Ulrich Weigand640192d2013-05-03 19:49:39 +0000269
270 bool ParseDirectiveWord(unsigned Size, SMLoc L);
271 bool ParseDirectiveTC(unsigned Size, SMLoc L);
Ulrich Weigand55daa772013-07-09 10:00:34 +0000272 bool ParseDirectiveMachine(SMLoc L);
Iain Sandoee0b4cb62013-12-14 13:34:02 +0000273 bool ParseDarwinDirectiveMachine(SMLoc L);
Ulrich Weigand0daa5162014-07-20 22:56:57 +0000274 bool ParseDirectiveAbiVersion(SMLoc L);
Ulrich Weigandbb686102014-07-20 23:06:03 +0000275 bool ParseDirectiveLocalEntry(SMLoc L);
Ulrich Weigand640192d2013-05-03 19:49:39 +0000276
277 bool MatchAndEmitInstruction(SMLoc IDLoc, unsigned &Opcode,
David Blaikie960ea3f2014-06-08 16:18:35 +0000278 OperandVector &Operands, MCStreamer &Out,
Tim Northover26bb14e2014-08-18 11:49:42 +0000279 uint64_t &ErrorInfo,
Craig Topper0d3fa922014-04-29 07:57:37 +0000280 bool MatchingInlineAsm) override;
Ulrich Weigand640192d2013-05-03 19:49:39 +0000281
David Blaikie960ea3f2014-06-08 16:18:35 +0000282 void ProcessInstruction(MCInst &Inst, const OperandVector &Ops);
Ulrich Weigandd8394902013-05-03 19:50:27 +0000283
Ulrich Weigand640192d2013-05-03 19:49:39 +0000284 /// @name Auto-generated Match Functions
285 /// {
286
287#define GET_ASSEMBLER_HEADER
288#include "PPCGenAsmMatcher.inc"
289
290 /// }
291
292
293public:
David Blaikie9f380a32015-03-16 18:06:57 +0000294 PPCAsmParser(MCSubtargetInfo &STI, MCAsmParser &, const MCInstrInfo &MII,
295 const MCTargetOptions &Options)
296 : MCTargetAsmParser(), STI(STI), MII(MII) {
Ulrich Weigand640192d2013-05-03 19:49:39 +0000297 // Check for 64-bit vs. 32-bit pointer mode.
298 Triple TheTriple(STI.getTargetTriple());
Bill Schmidt0a9170d2013-07-26 01:35:43 +0000299 IsPPC64 = (TheTriple.getArch() == Triple::ppc64 ||
300 TheTriple.getArch() == Triple::ppc64le);
Iain Sandoee0b4cb62013-12-14 13:34:02 +0000301 IsDarwin = TheTriple.isMacOSX();
Ulrich Weigand640192d2013-05-03 19:49:39 +0000302 // Initialize the set of available features.
303 setAvailableFeatures(ComputeAvailableFeatures(STI.getFeatureBits()));
304 }
305
David Blaikie960ea3f2014-06-08 16:18:35 +0000306 bool ParseInstruction(ParseInstructionInfo &Info, StringRef Name,
307 SMLoc NameLoc, OperandVector &Operands) override;
Ulrich Weigand640192d2013-05-03 19:49:39 +0000308
Craig Topper0d3fa922014-04-29 07:57:37 +0000309 bool ParseDirective(AsmToken DirectiveID) override;
Ulrich Weigandc0944b52013-07-08 14:49:37 +0000310
David Blaikie960ea3f2014-06-08 16:18:35 +0000311 unsigned validateTargetOperandClass(MCParsedAsmOperand &Op,
Craig Topper0d3fa922014-04-29 07:57:37 +0000312 unsigned Kind) override;
Joerg Sonnenbergerb822af42013-08-27 20:23:19 +0000313
Craig Topper0d3fa922014-04-29 07:57:37 +0000314 const MCExpr *applyModifierToExpr(const MCExpr *E,
315 MCSymbolRefExpr::VariantKind,
316 MCContext &Ctx) override;
Ulrich Weigand640192d2013-05-03 19:49:39 +0000317};
318
319/// PPCOperand - Instances of this class represent a parsed PowerPC machine
320/// instruction.
321struct PPCOperand : public MCParsedAsmOperand {
322 enum KindTy {
323 Token,
324 Immediate,
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000325 ContextImmediate,
Ulrich Weigand5b427592013-07-05 12:22:36 +0000326 Expression,
327 TLSRegister
Ulrich Weigand640192d2013-05-03 19:49:39 +0000328 } Kind;
329
330 SMLoc StartLoc, EndLoc;
331 bool IsPPC64;
332
333 struct TokOp {
334 const char *Data;
335 unsigned Length;
336 };
337
338 struct ImmOp {
339 int64_t Val;
340 };
341
342 struct ExprOp {
343 const MCExpr *Val;
Ulrich Weigandb86cb7d2013-07-04 14:24:00 +0000344 int64_t CRVal; // Cached result of EvaluateCRExpr(Val)
Ulrich Weigand640192d2013-05-03 19:49:39 +0000345 };
346
Ulrich Weigand5b427592013-07-05 12:22:36 +0000347 struct TLSRegOp {
348 const MCSymbolRefExpr *Sym;
349 };
350
Ulrich Weigand640192d2013-05-03 19:49:39 +0000351 union {
352 struct TokOp Tok;
353 struct ImmOp Imm;
354 struct ExprOp Expr;
Ulrich Weigand5b427592013-07-05 12:22:36 +0000355 struct TLSRegOp TLSReg;
Ulrich Weigand640192d2013-05-03 19:49:39 +0000356 };
357
358 PPCOperand(KindTy K) : MCParsedAsmOperand(), Kind(K) {}
359public:
360 PPCOperand(const PPCOperand &o) : MCParsedAsmOperand() {
361 Kind = o.Kind;
362 StartLoc = o.StartLoc;
363 EndLoc = o.EndLoc;
364 IsPPC64 = o.IsPPC64;
365 switch (Kind) {
366 case Token:
367 Tok = o.Tok;
368 break;
369 case Immediate:
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000370 case ContextImmediate:
Ulrich Weigand640192d2013-05-03 19:49:39 +0000371 Imm = o.Imm;
372 break;
373 case Expression:
374 Expr = o.Expr;
375 break;
Ulrich Weigand5b427592013-07-05 12:22:36 +0000376 case TLSRegister:
377 TLSReg = o.TLSReg;
378 break;
Ulrich Weigand640192d2013-05-03 19:49:39 +0000379 }
380 }
381
382 /// getStartLoc - Get the location of the first token of this operand.
Craig Topper0d3fa922014-04-29 07:57:37 +0000383 SMLoc getStartLoc() const override { return StartLoc; }
Ulrich Weigand640192d2013-05-03 19:49:39 +0000384
385 /// getEndLoc - Get the location of the last token of this operand.
Craig Topper0d3fa922014-04-29 07:57:37 +0000386 SMLoc getEndLoc() const override { return EndLoc; }
Ulrich Weigand640192d2013-05-03 19:49:39 +0000387
388 /// isPPC64 - True if this operand is for an instruction in 64-bit mode.
389 bool isPPC64() const { return IsPPC64; }
390
391 int64_t getImm() const {
392 assert(Kind == Immediate && "Invalid access!");
393 return Imm.Val;
394 }
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000395 int64_t getImmS16Context() const {
396 assert((Kind == Immediate || Kind == ContextImmediate) && "Invalid access!");
397 if (Kind == Immediate)
398 return Imm.Val;
399 return static_cast<int16_t>(Imm.Val);
400 }
401 int64_t getImmU16Context() const {
402 assert((Kind == Immediate || Kind == ContextImmediate) && "Invalid access!");
403 return Imm.Val;
404 }
Ulrich Weigand640192d2013-05-03 19:49:39 +0000405
406 const MCExpr *getExpr() const {
407 assert(Kind == Expression && "Invalid access!");
408 return Expr.Val;
409 }
410
Ulrich Weigandb86cb7d2013-07-04 14:24:00 +0000411 int64_t getExprCRVal() const {
412 assert(Kind == Expression && "Invalid access!");
413 return Expr.CRVal;
414 }
415
Ulrich Weigand5b427592013-07-05 12:22:36 +0000416 const MCExpr *getTLSReg() const {
417 assert(Kind == TLSRegister && "Invalid access!");
418 return TLSReg.Sym;
419 }
420
Craig Topper0d3fa922014-04-29 07:57:37 +0000421 unsigned getReg() const override {
Ulrich Weigand640192d2013-05-03 19:49:39 +0000422 assert(isRegNumber() && "Invalid access!");
423 return (unsigned) Imm.Val;
424 }
425
Hal Finkel27774d92014-03-13 07:58:58 +0000426 unsigned getVSReg() const {
427 assert(isVSRegNumber() && "Invalid access!");
428 return (unsigned) Imm.Val;
429 }
430
Ulrich Weigand640192d2013-05-03 19:49:39 +0000431 unsigned getCCReg() const {
432 assert(isCCRegNumber() && "Invalid access!");
Ulrich Weigandb86cb7d2013-07-04 14:24:00 +0000433 return (unsigned) (Kind == Immediate ? Imm.Val : Expr.CRVal);
434 }
435
436 unsigned getCRBit() const {
437 assert(isCRBitNumber() && "Invalid access!");
438 return (unsigned) (Kind == Immediate ? Imm.Val : Expr.CRVal);
Ulrich Weigand640192d2013-05-03 19:49:39 +0000439 }
440
441 unsigned getCRBitMask() const {
442 assert(isCRBitMask() && "Invalid access!");
Michael J. Spencerdf1ecbd72013-05-24 22:23:49 +0000443 return 7 - countTrailingZeros<uint64_t>(Imm.Val);
Ulrich Weigand640192d2013-05-03 19:49:39 +0000444 }
445
Craig Topper0d3fa922014-04-29 07:57:37 +0000446 bool isToken() const override { return Kind == Token; }
447 bool isImm() const override { return Kind == Immediate || Kind == Expression; }
Nemanja Ivanovice8effe12015-03-04 20:44:33 +0000448 bool isU1Imm() const { return Kind == Immediate && isUInt<1>(getImm()); }
Hal Finkel27774d92014-03-13 07:58:58 +0000449 bool isU2Imm() const { return Kind == Immediate && isUInt<2>(getImm()); }
Kit Barton535e69d2015-03-25 19:36:23 +0000450 bool isU3Imm() const { return Kind == Immediate && isUInt<3>(getImm()); }
Joerg Sonnenberger9e9623c2014-07-29 22:21:57 +0000451 bool isU4Imm() const { return Kind == Immediate && isUInt<4>(getImm()); }
Ulrich Weigand640192d2013-05-03 19:49:39 +0000452 bool isU5Imm() const { return Kind == Immediate && isUInt<5>(getImm()); }
453 bool isS5Imm() const { return Kind == Immediate && isInt<5>(getImm()); }
454 bool isU6Imm() const { return Kind == Immediate && isUInt<6>(getImm()); }
Joerg Sonnenberger0013b922014-08-08 16:43:49 +0000455 bool isU6ImmX2() const { return Kind == Immediate &&
456 isUInt<6>(getImm()) &&
457 (getImm() & 1) == 0; }
458 bool isU7ImmX4() const { return Kind == Immediate &&
459 isUInt<7>(getImm()) &&
460 (getImm() & 3) == 0; }
461 bool isU8ImmX8() const { return Kind == Immediate &&
462 isUInt<8>(getImm()) &&
463 (getImm() & 7) == 0; }
Bill Schmidte26236e2015-05-22 16:44:10 +0000464
465 bool isU10Imm() const { return Kind == Immediate && isUInt<10>(getImm()); }
Hal Finkelc93a9a22015-02-25 01:06:45 +0000466 bool isU12Imm() const { return Kind == Immediate && isUInt<12>(getImm()); }
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000467 bool isU16Imm() const {
468 switch (Kind) {
469 case Expression:
470 return true;
471 case Immediate:
472 case ContextImmediate:
473 return isUInt<16>(getImmU16Context());
474 default:
475 return false;
476 }
477 }
478 bool isS16Imm() const {
479 switch (Kind) {
480 case Expression:
481 return true;
482 case Immediate:
483 case ContextImmediate:
484 return isInt<16>(getImmS16Context());
485 default:
486 return false;
487 }
488 }
Ulrich Weigand640192d2013-05-03 19:49:39 +0000489 bool isS16ImmX4() const { return Kind == Expression ||
490 (Kind == Immediate && isInt<16>(getImm()) &&
491 (getImm() & 3) == 0); }
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000492 bool isS17Imm() const {
493 switch (Kind) {
494 case Expression:
495 return true;
496 case Immediate:
497 case ContextImmediate:
498 return isInt<17>(getImmS16Context());
499 default:
500 return false;
501 }
502 }
Ulrich Weigand5b427592013-07-05 12:22:36 +0000503 bool isTLSReg() const { return Kind == TLSRegister; }
Joerg Sonnenbergereb9d13f2014-08-08 20:57:58 +0000504 bool isDirectBr() const {
505 if (Kind == Expression)
506 return true;
507 if (Kind != Immediate)
508 return false;
509 // Operand must be 64-bit aligned, signed 27-bit immediate.
510 if ((getImm() & 3) != 0)
511 return false;
512 if (isInt<26>(getImm()))
513 return true;
514 if (!IsPPC64) {
515 // In 32-bit mode, large 32-bit quantities wrap around.
516 if (isUInt<32>(getImm()) && isInt<26>(static_cast<int32_t>(getImm())))
517 return true;
518 }
519 return false;
520 }
Ulrich Weigandb6a30d12013-06-24 11:03:33 +0000521 bool isCondBr() const { return Kind == Expression ||
522 (Kind == Immediate && isInt<16>(getImm()) &&
523 (getImm() & 3) == 0); }
Ulrich Weigand640192d2013-05-03 19:49:39 +0000524 bool isRegNumber() const { return Kind == Immediate && isUInt<5>(getImm()); }
Hal Finkel27774d92014-03-13 07:58:58 +0000525 bool isVSRegNumber() const { return Kind == Immediate && isUInt<6>(getImm()); }
Ulrich Weigandb86cb7d2013-07-04 14:24:00 +0000526 bool isCCRegNumber() const { return (Kind == Expression
527 && isUInt<3>(getExprCRVal())) ||
528 (Kind == Immediate
529 && isUInt<3>(getImm())); }
530 bool isCRBitNumber() const { return (Kind == Expression
531 && isUInt<5>(getExprCRVal())) ||
532 (Kind == Immediate
533 && isUInt<5>(getImm())); }
Ulrich Weigand640192d2013-05-03 19:49:39 +0000534 bool isCRBitMask() const { return Kind == Immediate && isUInt<8>(getImm()) &&
535 isPowerOf2_32(getImm()); }
Craig Topper0d3fa922014-04-29 07:57:37 +0000536 bool isMem() const override { return false; }
537 bool isReg() const override { return false; }
Ulrich Weigand640192d2013-05-03 19:49:39 +0000538
539 void addRegOperands(MCInst &Inst, unsigned N) const {
540 llvm_unreachable("addRegOperands");
541 }
542
543 void addRegGPRCOperands(MCInst &Inst, unsigned N) const {
544 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000545 Inst.addOperand(MCOperand::createReg(RRegs[getReg()]));
Ulrich Weigand640192d2013-05-03 19:49:39 +0000546 }
547
548 void addRegGPRCNoR0Operands(MCInst &Inst, unsigned N) const {
549 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000550 Inst.addOperand(MCOperand::createReg(RRegsNoR0[getReg()]));
Ulrich Weigand640192d2013-05-03 19:49:39 +0000551 }
552
553 void addRegG8RCOperands(MCInst &Inst, unsigned N) const {
554 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000555 Inst.addOperand(MCOperand::createReg(XRegs[getReg()]));
Ulrich Weigand640192d2013-05-03 19:49:39 +0000556 }
557
558 void addRegG8RCNoX0Operands(MCInst &Inst, unsigned N) const {
559 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000560 Inst.addOperand(MCOperand::createReg(XRegsNoX0[getReg()]));
Ulrich Weigand640192d2013-05-03 19:49:39 +0000561 }
562
563 void addRegGxRCOperands(MCInst &Inst, unsigned N) const {
564 if (isPPC64())
565 addRegG8RCOperands(Inst, N);
566 else
567 addRegGPRCOperands(Inst, N);
568 }
569
570 void addRegGxRCNoR0Operands(MCInst &Inst, unsigned N) const {
571 if (isPPC64())
572 addRegG8RCNoX0Operands(Inst, N);
573 else
574 addRegGPRCNoR0Operands(Inst, N);
575 }
576
577 void addRegF4RCOperands(MCInst &Inst, unsigned N) const {
578 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000579 Inst.addOperand(MCOperand::createReg(FRegs[getReg()]));
Ulrich Weigand640192d2013-05-03 19:49:39 +0000580 }
581
582 void addRegF8RCOperands(MCInst &Inst, unsigned N) const {
583 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000584 Inst.addOperand(MCOperand::createReg(FRegs[getReg()]));
Ulrich Weigand640192d2013-05-03 19:49:39 +0000585 }
586
587 void addRegVRRCOperands(MCInst &Inst, unsigned N) const {
588 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000589 Inst.addOperand(MCOperand::createReg(VRegs[getReg()]));
Ulrich Weigand640192d2013-05-03 19:49:39 +0000590 }
591
Hal Finkel27774d92014-03-13 07:58:58 +0000592 void addRegVSRCOperands(MCInst &Inst, unsigned N) const {
593 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000594 Inst.addOperand(MCOperand::createReg(VSRegs[getVSReg()]));
Hal Finkel27774d92014-03-13 07:58:58 +0000595 }
596
Hal Finkel19be5062014-03-29 05:29:01 +0000597 void addRegVSFRCOperands(MCInst &Inst, unsigned N) const {
598 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000599 Inst.addOperand(MCOperand::createReg(VSFRegs[getVSReg()]));
Hal Finkel19be5062014-03-29 05:29:01 +0000600 }
601
Nemanja Ivanovicf3c94b12015-05-07 18:24:05 +0000602 void addRegVSSRCOperands(MCInst &Inst, unsigned N) const {
603 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000604 Inst.addOperand(MCOperand::createReg(VSSRegs[getVSReg()]));
Nemanja Ivanovicf3c94b12015-05-07 18:24:05 +0000605 }
606
Hal Finkelc93a9a22015-02-25 01:06:45 +0000607 void addRegQFRCOperands(MCInst &Inst, unsigned N) const {
608 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000609 Inst.addOperand(MCOperand::createReg(QFRegs[getReg()]));
Hal Finkelc93a9a22015-02-25 01:06:45 +0000610 }
611
612 void addRegQSRCOperands(MCInst &Inst, unsigned N) const {
613 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000614 Inst.addOperand(MCOperand::createReg(QFRegs[getReg()]));
Hal Finkelc93a9a22015-02-25 01:06:45 +0000615 }
616
617 void addRegQBRCOperands(MCInst &Inst, unsigned N) const {
618 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000619 Inst.addOperand(MCOperand::createReg(QFRegs[getReg()]));
Hal Finkelc93a9a22015-02-25 01:06:45 +0000620 }
621
Ulrich Weigand640192d2013-05-03 19:49:39 +0000622 void addRegCRBITRCOperands(MCInst &Inst, unsigned N) const {
623 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000624 Inst.addOperand(MCOperand::createReg(CRBITRegs[getCRBit()]));
Ulrich Weigand640192d2013-05-03 19:49:39 +0000625 }
626
627 void addRegCRRCOperands(MCInst &Inst, unsigned N) const {
628 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000629 Inst.addOperand(MCOperand::createReg(CRRegs[getCCReg()]));
Ulrich Weigand640192d2013-05-03 19:49:39 +0000630 }
631
632 void addCRBitMaskOperands(MCInst &Inst, unsigned N) const {
633 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000634 Inst.addOperand(MCOperand::createReg(CRRegs[getCRBitMask()]));
Ulrich Weigand640192d2013-05-03 19:49:39 +0000635 }
636
637 void addImmOperands(MCInst &Inst, unsigned N) const {
638 assert(N == 1 && "Invalid number of operands!");
639 if (Kind == Immediate)
Jim Grosbache9119e42015-05-13 18:37:00 +0000640 Inst.addOperand(MCOperand::createImm(getImm()));
Ulrich Weigand640192d2013-05-03 19:49:39 +0000641 else
Jim Grosbache9119e42015-05-13 18:37:00 +0000642 Inst.addOperand(MCOperand::createExpr(getExpr()));
Ulrich Weigand640192d2013-05-03 19:49:39 +0000643 }
644
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000645 void addS16ImmOperands(MCInst &Inst, unsigned N) const {
646 assert(N == 1 && "Invalid number of operands!");
647 switch (Kind) {
648 case Immediate:
Jim Grosbache9119e42015-05-13 18:37:00 +0000649 Inst.addOperand(MCOperand::createImm(getImm()));
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000650 break;
651 case ContextImmediate:
Jim Grosbache9119e42015-05-13 18:37:00 +0000652 Inst.addOperand(MCOperand::createImm(getImmS16Context()));
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000653 break;
654 default:
Jim Grosbache9119e42015-05-13 18:37:00 +0000655 Inst.addOperand(MCOperand::createExpr(getExpr()));
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000656 break;
657 }
658 }
659
660 void addU16ImmOperands(MCInst &Inst, unsigned N) const {
661 assert(N == 1 && "Invalid number of operands!");
662 switch (Kind) {
663 case Immediate:
Jim Grosbache9119e42015-05-13 18:37:00 +0000664 Inst.addOperand(MCOperand::createImm(getImm()));
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000665 break;
666 case ContextImmediate:
Jim Grosbache9119e42015-05-13 18:37:00 +0000667 Inst.addOperand(MCOperand::createImm(getImmU16Context()));
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000668 break;
669 default:
Jim Grosbache9119e42015-05-13 18:37:00 +0000670 Inst.addOperand(MCOperand::createExpr(getExpr()));
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000671 break;
672 }
673 }
674
Ulrich Weigandb6a30d12013-06-24 11:03:33 +0000675 void addBranchTargetOperands(MCInst &Inst, unsigned N) const {
676 assert(N == 1 && "Invalid number of operands!");
677 if (Kind == Immediate)
Jim Grosbache9119e42015-05-13 18:37:00 +0000678 Inst.addOperand(MCOperand::createImm(getImm() / 4));
Ulrich Weigandb6a30d12013-06-24 11:03:33 +0000679 else
Jim Grosbache9119e42015-05-13 18:37:00 +0000680 Inst.addOperand(MCOperand::createExpr(getExpr()));
Ulrich Weigandb6a30d12013-06-24 11:03:33 +0000681 }
682
Ulrich Weigand5b427592013-07-05 12:22:36 +0000683 void addTLSRegOperands(MCInst &Inst, unsigned N) const {
684 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000685 Inst.addOperand(MCOperand::createExpr(getTLSReg()));
Ulrich Weigand5b427592013-07-05 12:22:36 +0000686 }
687
Ulrich Weigand640192d2013-05-03 19:49:39 +0000688 StringRef getToken() const {
689 assert(Kind == Token && "Invalid access!");
690 return StringRef(Tok.Data, Tok.Length);
691 }
692
Craig Topper0d3fa922014-04-29 07:57:37 +0000693 void print(raw_ostream &OS) const override;
Ulrich Weigand640192d2013-05-03 19:49:39 +0000694
David Blaikie960ea3f2014-06-08 16:18:35 +0000695 static std::unique_ptr<PPCOperand> CreateToken(StringRef Str, SMLoc S,
696 bool IsPPC64) {
697 auto Op = make_unique<PPCOperand>(Token);
Ulrich Weigand640192d2013-05-03 19:49:39 +0000698 Op->Tok.Data = Str.data();
699 Op->Tok.Length = Str.size();
700 Op->StartLoc = S;
701 Op->EndLoc = S;
702 Op->IsPPC64 = IsPPC64;
703 return Op;
704 }
705
David Blaikie960ea3f2014-06-08 16:18:35 +0000706 static std::unique_ptr<PPCOperand>
707 CreateTokenWithStringCopy(StringRef Str, SMLoc S, bool IsPPC64) {
Benjamin Kramer72d45cc2013-08-03 22:43:29 +0000708 // Allocate extra memory for the string and copy it.
David Blaikie960ea3f2014-06-08 16:18:35 +0000709 // FIXME: This is incorrect, Operands are owned by unique_ptr with a default
710 // deleter which will destroy them by simply using "delete", not correctly
711 // calling operator delete on this extra memory after calling the dtor
712 // explicitly.
Benjamin Kramer72d45cc2013-08-03 22:43:29 +0000713 void *Mem = ::operator new(sizeof(PPCOperand) + Str.size());
David Blaikie960ea3f2014-06-08 16:18:35 +0000714 std::unique_ptr<PPCOperand> Op(new (Mem) PPCOperand(Token));
Benjamin Kramer769989c2014-08-15 11:05:45 +0000715 Op->Tok.Data = reinterpret_cast<const char *>(Op.get() + 1);
Benjamin Kramer72d45cc2013-08-03 22:43:29 +0000716 Op->Tok.Length = Str.size();
Benjamin Kramer769989c2014-08-15 11:05:45 +0000717 std::memcpy(const_cast<char *>(Op->Tok.Data), Str.data(), Str.size());
Benjamin Kramer72d45cc2013-08-03 22:43:29 +0000718 Op->StartLoc = S;
719 Op->EndLoc = S;
720 Op->IsPPC64 = IsPPC64;
721 return Op;
722 }
723
David Blaikie960ea3f2014-06-08 16:18:35 +0000724 static std::unique_ptr<PPCOperand> CreateImm(int64_t Val, SMLoc S, SMLoc E,
725 bool IsPPC64) {
726 auto Op = make_unique<PPCOperand>(Immediate);
Ulrich Weigand640192d2013-05-03 19:49:39 +0000727 Op->Imm.Val = Val;
728 Op->StartLoc = S;
729 Op->EndLoc = E;
730 Op->IsPPC64 = IsPPC64;
731 return Op;
732 }
733
David Blaikie960ea3f2014-06-08 16:18:35 +0000734 static std::unique_ptr<PPCOperand> CreateExpr(const MCExpr *Val, SMLoc S,
735 SMLoc E, bool IsPPC64) {
736 auto Op = make_unique<PPCOperand>(Expression);
Ulrich Weigand640192d2013-05-03 19:49:39 +0000737 Op->Expr.Val = Val;
Ulrich Weigandb86cb7d2013-07-04 14:24:00 +0000738 Op->Expr.CRVal = EvaluateCRExpr(Val);
Ulrich Weigand640192d2013-05-03 19:49:39 +0000739 Op->StartLoc = S;
740 Op->EndLoc = E;
741 Op->IsPPC64 = IsPPC64;
742 return Op;
743 }
Ulrich Weigand5b427592013-07-05 12:22:36 +0000744
David Blaikie960ea3f2014-06-08 16:18:35 +0000745 static std::unique_ptr<PPCOperand>
746 CreateTLSReg(const MCSymbolRefExpr *Sym, SMLoc S, SMLoc E, bool IsPPC64) {
747 auto Op = make_unique<PPCOperand>(TLSRegister);
Ulrich Weigand5b427592013-07-05 12:22:36 +0000748 Op->TLSReg.Sym = Sym;
749 Op->StartLoc = S;
750 Op->EndLoc = E;
751 Op->IsPPC64 = IsPPC64;
752 return Op;
753 }
754
David Blaikie960ea3f2014-06-08 16:18:35 +0000755 static std::unique_ptr<PPCOperand>
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000756 CreateContextImm(int64_t Val, SMLoc S, SMLoc E, bool IsPPC64) {
757 auto Op = make_unique<PPCOperand>(ContextImmediate);
758 Op->Imm.Val = Val;
759 Op->StartLoc = S;
760 Op->EndLoc = E;
761 Op->IsPPC64 = IsPPC64;
762 return Op;
763 }
764
765 static std::unique_ptr<PPCOperand>
David Blaikie960ea3f2014-06-08 16:18:35 +0000766 CreateFromMCExpr(const MCExpr *Val, SMLoc S, SMLoc E, bool IsPPC64) {
Ulrich Weigand5b427592013-07-05 12:22:36 +0000767 if (const MCConstantExpr *CE = dyn_cast<MCConstantExpr>(Val))
768 return CreateImm(CE->getValue(), S, E, IsPPC64);
769
770 if (const MCSymbolRefExpr *SRE = dyn_cast<MCSymbolRefExpr>(Val))
771 if (SRE->getKind() == MCSymbolRefExpr::VK_PPC_TLS)
772 return CreateTLSReg(SRE, S, E, IsPPC64);
773
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000774 if (const PPCMCExpr *TE = dyn_cast<PPCMCExpr>(Val)) {
775 int64_t Res;
Jim Grosbach13760bd2015-05-30 01:25:56 +0000776 if (TE->evaluateAsConstant(Res))
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000777 return CreateContextImm(Res, S, E, IsPPC64);
778 }
779
Ulrich Weigand5b427592013-07-05 12:22:36 +0000780 return CreateExpr(Val, S, E, IsPPC64);
781 }
Ulrich Weigand640192d2013-05-03 19:49:39 +0000782};
783
784} // end anonymous namespace.
785
786void PPCOperand::print(raw_ostream &OS) const {
787 switch (Kind) {
788 case Token:
789 OS << "'" << getToken() << "'";
790 break;
791 case Immediate:
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000792 case ContextImmediate:
Ulrich Weigand640192d2013-05-03 19:49:39 +0000793 OS << getImm();
794 break;
795 case Expression:
Rafael Espindolaf4a13652015-05-27 13:05:42 +0000796 OS << *getExpr();
Ulrich Weigand640192d2013-05-03 19:49:39 +0000797 break;
Ulrich Weigand5b427592013-07-05 12:22:36 +0000798 case TLSRegister:
Rafael Espindolaf4a13652015-05-27 13:05:42 +0000799 OS << *getTLSReg();
Ulrich Weigand5b427592013-07-05 12:22:36 +0000800 break;
Ulrich Weigand640192d2013-05-03 19:49:39 +0000801 }
802}
803
Joerg Sonnenberger5aab5af2014-08-09 17:10:26 +0000804static void
805addNegOperand(MCInst &Inst, MCOperand &Op, MCContext &Ctx) {
806 if (Op.isImm()) {
Jim Grosbache9119e42015-05-13 18:37:00 +0000807 Inst.addOperand(MCOperand::createImm(-Op.getImm()));
Joerg Sonnenberger5aab5af2014-08-09 17:10:26 +0000808 return;
809 }
810 const MCExpr *Expr = Op.getExpr();
811 if (const MCUnaryExpr *UnExpr = dyn_cast<MCUnaryExpr>(Expr)) {
812 if (UnExpr->getOpcode() == MCUnaryExpr::Minus) {
Jim Grosbache9119e42015-05-13 18:37:00 +0000813 Inst.addOperand(MCOperand::createExpr(UnExpr->getSubExpr()));
Joerg Sonnenberger5aab5af2014-08-09 17:10:26 +0000814 return;
815 }
816 } else if (const MCBinaryExpr *BinExpr = dyn_cast<MCBinaryExpr>(Expr)) {
817 if (BinExpr->getOpcode() == MCBinaryExpr::Sub) {
Jim Grosbach13760bd2015-05-30 01:25:56 +0000818 const MCExpr *NE = MCBinaryExpr::createSub(BinExpr->getRHS(),
Joerg Sonnenberger5aab5af2014-08-09 17:10:26 +0000819 BinExpr->getLHS(), Ctx);
Jim Grosbache9119e42015-05-13 18:37:00 +0000820 Inst.addOperand(MCOperand::createExpr(NE));
Joerg Sonnenberger5aab5af2014-08-09 17:10:26 +0000821 return;
822 }
823 }
Jim Grosbach13760bd2015-05-30 01:25:56 +0000824 Inst.addOperand(MCOperand::createExpr(MCUnaryExpr::createMinus(Expr, Ctx)));
Joerg Sonnenberger5aab5af2014-08-09 17:10:26 +0000825}
826
David Blaikie960ea3f2014-06-08 16:18:35 +0000827void PPCAsmParser::ProcessInstruction(MCInst &Inst,
828 const OperandVector &Operands) {
Ulrich Weigandad873cd2013-06-25 13:17:41 +0000829 int Opcode = Inst.getOpcode();
830 switch (Opcode) {
Hal Finkelfefcfff2015-04-23 22:47:57 +0000831 case PPC::DCBTx:
832 case PPC::DCBTT:
833 case PPC::DCBTSTx:
834 case PPC::DCBTSTT: {
835 MCInst TmpInst;
836 TmpInst.setOpcode((Opcode == PPC::DCBTx || Opcode == PPC::DCBTT) ?
837 PPC::DCBT : PPC::DCBTST);
Jim Grosbache9119e42015-05-13 18:37:00 +0000838 TmpInst.addOperand(MCOperand::createImm(
Hal Finkelfefcfff2015-04-23 22:47:57 +0000839 (Opcode == PPC::DCBTx || Opcode == PPC::DCBTSTx) ? 0 : 16));
840 TmpInst.addOperand(Inst.getOperand(0));
841 TmpInst.addOperand(Inst.getOperand(1));
842 Inst = TmpInst;
843 break;
844 }
845 case PPC::DCBTCT:
846 case PPC::DCBTDS: {
847 MCInst TmpInst;
848 TmpInst.setOpcode(PPC::DCBT);
849 TmpInst.addOperand(Inst.getOperand(2));
850 TmpInst.addOperand(Inst.getOperand(0));
851 TmpInst.addOperand(Inst.getOperand(1));
852 Inst = TmpInst;
853 break;
854 }
855 case PPC::DCBTSTCT:
856 case PPC::DCBTSTDS: {
857 MCInst TmpInst;
858 TmpInst.setOpcode(PPC::DCBTST);
859 TmpInst.addOperand(Inst.getOperand(2));
860 TmpInst.addOperand(Inst.getOperand(0));
861 TmpInst.addOperand(Inst.getOperand(1));
862 Inst = TmpInst;
863 break;
864 }
Ulrich Weigand6ca71572013-06-24 18:08:03 +0000865 case PPC::LAx: {
866 MCInst TmpInst;
867 TmpInst.setOpcode(PPC::LA);
868 TmpInst.addOperand(Inst.getOperand(0));
869 TmpInst.addOperand(Inst.getOperand(2));
870 TmpInst.addOperand(Inst.getOperand(1));
871 Inst = TmpInst;
872 break;
873 }
Ulrich Weigand4069e242013-06-25 13:16:48 +0000874 case PPC::SUBI: {
875 MCInst TmpInst;
Ulrich Weigand4069e242013-06-25 13:16:48 +0000876 TmpInst.setOpcode(PPC::ADDI);
877 TmpInst.addOperand(Inst.getOperand(0));
878 TmpInst.addOperand(Inst.getOperand(1));
Joerg Sonnenberger5aab5af2014-08-09 17:10:26 +0000879 addNegOperand(TmpInst, Inst.getOperand(2), getContext());
Ulrich Weigand4069e242013-06-25 13:16:48 +0000880 Inst = TmpInst;
881 break;
882 }
883 case PPC::SUBIS: {
884 MCInst TmpInst;
Ulrich Weigand4069e242013-06-25 13:16:48 +0000885 TmpInst.setOpcode(PPC::ADDIS);
886 TmpInst.addOperand(Inst.getOperand(0));
887 TmpInst.addOperand(Inst.getOperand(1));
Joerg Sonnenberger5aab5af2014-08-09 17:10:26 +0000888 addNegOperand(TmpInst, Inst.getOperand(2), getContext());
Ulrich Weigand4069e242013-06-25 13:16:48 +0000889 Inst = TmpInst;
890 break;
891 }
892 case PPC::SUBIC: {
893 MCInst TmpInst;
Ulrich Weigand4069e242013-06-25 13:16:48 +0000894 TmpInst.setOpcode(PPC::ADDIC);
895 TmpInst.addOperand(Inst.getOperand(0));
896 TmpInst.addOperand(Inst.getOperand(1));
Joerg Sonnenberger5aab5af2014-08-09 17:10:26 +0000897 addNegOperand(TmpInst, Inst.getOperand(2), getContext());
Ulrich Weigand4069e242013-06-25 13:16:48 +0000898 Inst = TmpInst;
899 break;
900 }
901 case PPC::SUBICo: {
902 MCInst TmpInst;
Ulrich Weigand4069e242013-06-25 13:16:48 +0000903 TmpInst.setOpcode(PPC::ADDICo);
904 TmpInst.addOperand(Inst.getOperand(0));
905 TmpInst.addOperand(Inst.getOperand(1));
Joerg Sonnenberger5aab5af2014-08-09 17:10:26 +0000906 addNegOperand(TmpInst, Inst.getOperand(2), getContext());
Ulrich Weigand4069e242013-06-25 13:16:48 +0000907 Inst = TmpInst;
908 break;
909 }
Ulrich Weigandad873cd2013-06-25 13:17:41 +0000910 case PPC::EXTLWI:
911 case PPC::EXTLWIo: {
Ulrich Weigandd8394902013-05-03 19:50:27 +0000912 MCInst TmpInst;
913 int64_t N = Inst.getOperand(2).getImm();
Ulrich Weigandad873cd2013-06-25 13:17:41 +0000914 int64_t B = Inst.getOperand(3).getImm();
915 TmpInst.setOpcode(Opcode == PPC::EXTLWI? PPC::RLWINM : PPC::RLWINMo);
916 TmpInst.addOperand(Inst.getOperand(0));
917 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +0000918 TmpInst.addOperand(MCOperand::createImm(B));
919 TmpInst.addOperand(MCOperand::createImm(0));
920 TmpInst.addOperand(MCOperand::createImm(N - 1));
Ulrich Weigandad873cd2013-06-25 13:17:41 +0000921 Inst = TmpInst;
922 break;
923 }
924 case PPC::EXTRWI:
925 case PPC::EXTRWIo: {
926 MCInst TmpInst;
927 int64_t N = Inst.getOperand(2).getImm();
928 int64_t B = Inst.getOperand(3).getImm();
929 TmpInst.setOpcode(Opcode == PPC::EXTRWI? PPC::RLWINM : PPC::RLWINMo);
930 TmpInst.addOperand(Inst.getOperand(0));
931 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +0000932 TmpInst.addOperand(MCOperand::createImm(B + N));
933 TmpInst.addOperand(MCOperand::createImm(32 - N));
934 TmpInst.addOperand(MCOperand::createImm(31));
Ulrich Weigandad873cd2013-06-25 13:17:41 +0000935 Inst = TmpInst;
936 break;
937 }
938 case PPC::INSLWI:
939 case PPC::INSLWIo: {
940 MCInst TmpInst;
941 int64_t N = Inst.getOperand(2).getImm();
942 int64_t B = Inst.getOperand(3).getImm();
943 TmpInst.setOpcode(Opcode == PPC::INSLWI? PPC::RLWIMI : PPC::RLWIMIo);
944 TmpInst.addOperand(Inst.getOperand(0));
945 TmpInst.addOperand(Inst.getOperand(0));
946 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +0000947 TmpInst.addOperand(MCOperand::createImm(32 - B));
948 TmpInst.addOperand(MCOperand::createImm(B));
949 TmpInst.addOperand(MCOperand::createImm((B + N) - 1));
Ulrich Weigandad873cd2013-06-25 13:17:41 +0000950 Inst = TmpInst;
951 break;
952 }
953 case PPC::INSRWI:
954 case PPC::INSRWIo: {
955 MCInst TmpInst;
956 int64_t N = Inst.getOperand(2).getImm();
957 int64_t B = Inst.getOperand(3).getImm();
958 TmpInst.setOpcode(Opcode == PPC::INSRWI? PPC::RLWIMI : PPC::RLWIMIo);
959 TmpInst.addOperand(Inst.getOperand(0));
960 TmpInst.addOperand(Inst.getOperand(0));
961 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +0000962 TmpInst.addOperand(MCOperand::createImm(32 - (B + N)));
963 TmpInst.addOperand(MCOperand::createImm(B));
964 TmpInst.addOperand(MCOperand::createImm((B + N) - 1));
Ulrich Weigandad873cd2013-06-25 13:17:41 +0000965 Inst = TmpInst;
966 break;
967 }
968 case PPC::ROTRWI:
969 case PPC::ROTRWIo: {
970 MCInst TmpInst;
971 int64_t N = Inst.getOperand(2).getImm();
972 TmpInst.setOpcode(Opcode == PPC::ROTRWI? PPC::RLWINM : PPC::RLWINMo);
973 TmpInst.addOperand(Inst.getOperand(0));
974 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +0000975 TmpInst.addOperand(MCOperand::createImm(32 - N));
976 TmpInst.addOperand(MCOperand::createImm(0));
977 TmpInst.addOperand(MCOperand::createImm(31));
Ulrich Weigandad873cd2013-06-25 13:17:41 +0000978 Inst = TmpInst;
979 break;
980 }
981 case PPC::SLWI:
982 case PPC::SLWIo: {
983 MCInst TmpInst;
984 int64_t N = Inst.getOperand(2).getImm();
985 TmpInst.setOpcode(Opcode == PPC::SLWI? PPC::RLWINM : PPC::RLWINMo);
Ulrich Weigandd8394902013-05-03 19:50:27 +0000986 TmpInst.addOperand(Inst.getOperand(0));
987 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +0000988 TmpInst.addOperand(MCOperand::createImm(N));
989 TmpInst.addOperand(MCOperand::createImm(0));
990 TmpInst.addOperand(MCOperand::createImm(31 - N));
Ulrich Weigandd8394902013-05-03 19:50:27 +0000991 Inst = TmpInst;
992 break;
993 }
Ulrich Weigandad873cd2013-06-25 13:17:41 +0000994 case PPC::SRWI:
995 case PPC::SRWIo: {
Ulrich Weigandd8394902013-05-03 19:50:27 +0000996 MCInst TmpInst;
997 int64_t N = Inst.getOperand(2).getImm();
Ulrich Weigandad873cd2013-06-25 13:17:41 +0000998 TmpInst.setOpcode(Opcode == PPC::SRWI? PPC::RLWINM : PPC::RLWINMo);
Ulrich Weigandd8394902013-05-03 19:50:27 +0000999 TmpInst.addOperand(Inst.getOperand(0));
1000 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +00001001 TmpInst.addOperand(MCOperand::createImm(32 - N));
1002 TmpInst.addOperand(MCOperand::createImm(N));
1003 TmpInst.addOperand(MCOperand::createImm(31));
Ulrich Weigandd8394902013-05-03 19:50:27 +00001004 Inst = TmpInst;
1005 break;
1006 }
Ulrich Weigandad873cd2013-06-25 13:17:41 +00001007 case PPC::CLRRWI:
1008 case PPC::CLRRWIo: {
Ulrich Weigandd8394902013-05-03 19:50:27 +00001009 MCInst TmpInst;
1010 int64_t N = Inst.getOperand(2).getImm();
Ulrich Weigandad873cd2013-06-25 13:17:41 +00001011 TmpInst.setOpcode(Opcode == PPC::CLRRWI? PPC::RLWINM : PPC::RLWINMo);
1012 TmpInst.addOperand(Inst.getOperand(0));
1013 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +00001014 TmpInst.addOperand(MCOperand::createImm(0));
1015 TmpInst.addOperand(MCOperand::createImm(0));
1016 TmpInst.addOperand(MCOperand::createImm(31 - N));
Ulrich Weigandad873cd2013-06-25 13:17:41 +00001017 Inst = TmpInst;
1018 break;
1019 }
1020 case PPC::CLRLSLWI:
1021 case PPC::CLRLSLWIo: {
1022 MCInst TmpInst;
1023 int64_t B = Inst.getOperand(2).getImm();
1024 int64_t N = Inst.getOperand(3).getImm();
1025 TmpInst.setOpcode(Opcode == PPC::CLRLSLWI? PPC::RLWINM : PPC::RLWINMo);
1026 TmpInst.addOperand(Inst.getOperand(0));
1027 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +00001028 TmpInst.addOperand(MCOperand::createImm(N));
1029 TmpInst.addOperand(MCOperand::createImm(B - N));
1030 TmpInst.addOperand(MCOperand::createImm(31 - N));
Ulrich Weigandad873cd2013-06-25 13:17:41 +00001031 Inst = TmpInst;
1032 break;
1033 }
1034 case PPC::EXTLDI:
1035 case PPC::EXTLDIo: {
1036 MCInst TmpInst;
1037 int64_t N = Inst.getOperand(2).getImm();
1038 int64_t B = Inst.getOperand(3).getImm();
1039 TmpInst.setOpcode(Opcode == PPC::EXTLDI? PPC::RLDICR : PPC::RLDICRo);
1040 TmpInst.addOperand(Inst.getOperand(0));
1041 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +00001042 TmpInst.addOperand(MCOperand::createImm(B));
1043 TmpInst.addOperand(MCOperand::createImm(N - 1));
Ulrich Weigandad873cd2013-06-25 13:17:41 +00001044 Inst = TmpInst;
1045 break;
1046 }
1047 case PPC::EXTRDI:
1048 case PPC::EXTRDIo: {
1049 MCInst TmpInst;
1050 int64_t N = Inst.getOperand(2).getImm();
1051 int64_t B = Inst.getOperand(3).getImm();
1052 TmpInst.setOpcode(Opcode == PPC::EXTRDI? PPC::RLDICL : PPC::RLDICLo);
1053 TmpInst.addOperand(Inst.getOperand(0));
1054 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +00001055 TmpInst.addOperand(MCOperand::createImm(B + N));
1056 TmpInst.addOperand(MCOperand::createImm(64 - N));
Ulrich Weigandad873cd2013-06-25 13:17:41 +00001057 Inst = TmpInst;
1058 break;
1059 }
1060 case PPC::INSRDI:
1061 case PPC::INSRDIo: {
1062 MCInst TmpInst;
1063 int64_t N = Inst.getOperand(2).getImm();
1064 int64_t B = Inst.getOperand(3).getImm();
1065 TmpInst.setOpcode(Opcode == PPC::INSRDI? PPC::RLDIMI : PPC::RLDIMIo);
1066 TmpInst.addOperand(Inst.getOperand(0));
1067 TmpInst.addOperand(Inst.getOperand(0));
1068 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +00001069 TmpInst.addOperand(MCOperand::createImm(64 - (B + N)));
1070 TmpInst.addOperand(MCOperand::createImm(B));
Ulrich Weigandad873cd2013-06-25 13:17:41 +00001071 Inst = TmpInst;
1072 break;
1073 }
1074 case PPC::ROTRDI:
1075 case PPC::ROTRDIo: {
1076 MCInst TmpInst;
1077 int64_t N = Inst.getOperand(2).getImm();
1078 TmpInst.setOpcode(Opcode == PPC::ROTRDI? PPC::RLDICL : PPC::RLDICLo);
1079 TmpInst.addOperand(Inst.getOperand(0));
1080 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +00001081 TmpInst.addOperand(MCOperand::createImm(64 - N));
1082 TmpInst.addOperand(MCOperand::createImm(0));
Ulrich Weigandad873cd2013-06-25 13:17:41 +00001083 Inst = TmpInst;
1084 break;
1085 }
1086 case PPC::SLDI:
1087 case PPC::SLDIo: {
1088 MCInst TmpInst;
1089 int64_t N = Inst.getOperand(2).getImm();
1090 TmpInst.setOpcode(Opcode == PPC::SLDI? PPC::RLDICR : PPC::RLDICRo);
Ulrich Weigandd8394902013-05-03 19:50:27 +00001091 TmpInst.addOperand(Inst.getOperand(0));
1092 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +00001093 TmpInst.addOperand(MCOperand::createImm(N));
1094 TmpInst.addOperand(MCOperand::createImm(63 - N));
Ulrich Weigandd8394902013-05-03 19:50:27 +00001095 Inst = TmpInst;
1096 break;
1097 }
Ulrich Weigandad873cd2013-06-25 13:17:41 +00001098 case PPC::SRDI:
1099 case PPC::SRDIo: {
Ulrich Weigandd8394902013-05-03 19:50:27 +00001100 MCInst TmpInst;
1101 int64_t N = Inst.getOperand(2).getImm();
Ulrich Weigandad873cd2013-06-25 13:17:41 +00001102 TmpInst.setOpcode(Opcode == PPC::SRDI? PPC::RLDICL : PPC::RLDICLo);
Ulrich Weigandd8394902013-05-03 19:50:27 +00001103 TmpInst.addOperand(Inst.getOperand(0));
1104 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +00001105 TmpInst.addOperand(MCOperand::createImm(64 - N));
1106 TmpInst.addOperand(MCOperand::createImm(N));
Ulrich Weigandd8394902013-05-03 19:50:27 +00001107 Inst = TmpInst;
1108 break;
1109 }
Ulrich Weigandad873cd2013-06-25 13:17:41 +00001110 case PPC::CLRRDI:
1111 case PPC::CLRRDIo: {
1112 MCInst TmpInst;
1113 int64_t N = Inst.getOperand(2).getImm();
1114 TmpInst.setOpcode(Opcode == PPC::CLRRDI? PPC::RLDICR : PPC::RLDICRo);
1115 TmpInst.addOperand(Inst.getOperand(0));
1116 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +00001117 TmpInst.addOperand(MCOperand::createImm(0));
1118 TmpInst.addOperand(MCOperand::createImm(63 - N));
Ulrich Weigandad873cd2013-06-25 13:17:41 +00001119 Inst = TmpInst;
1120 break;
1121 }
1122 case PPC::CLRLSLDI:
1123 case PPC::CLRLSLDIo: {
1124 MCInst TmpInst;
1125 int64_t B = Inst.getOperand(2).getImm();
1126 int64_t N = Inst.getOperand(3).getImm();
1127 TmpInst.setOpcode(Opcode == PPC::CLRLSLDI? PPC::RLDIC : PPC::RLDICo);
1128 TmpInst.addOperand(Inst.getOperand(0));
1129 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +00001130 TmpInst.addOperand(MCOperand::createImm(N));
1131 TmpInst.addOperand(MCOperand::createImm(B - N));
Ulrich Weigandad873cd2013-06-25 13:17:41 +00001132 Inst = TmpInst;
1133 break;
1134 }
Hal Finkel6e9110a2015-03-28 19:42:41 +00001135 case PPC::RLWINMbm:
1136 case PPC::RLWINMobm: {
1137 unsigned MB, ME;
1138 int64_t BM = Inst.getOperand(3).getImm();
1139 if (!isRunOfOnes(BM, MB, ME))
1140 break;
1141
1142 MCInst TmpInst;
1143 TmpInst.setOpcode(Opcode == PPC::RLWINMbm ? PPC::RLWINM : PPC::RLWINMo);
1144 TmpInst.addOperand(Inst.getOperand(0));
1145 TmpInst.addOperand(Inst.getOperand(1));
1146 TmpInst.addOperand(Inst.getOperand(2));
Jim Grosbache9119e42015-05-13 18:37:00 +00001147 TmpInst.addOperand(MCOperand::createImm(MB));
1148 TmpInst.addOperand(MCOperand::createImm(ME));
Hal Finkel6e9110a2015-03-28 19:42:41 +00001149 Inst = TmpInst;
1150 break;
1151 }
1152 case PPC::RLWIMIbm:
1153 case PPC::RLWIMIobm: {
1154 unsigned MB, ME;
1155 int64_t BM = Inst.getOperand(3).getImm();
1156 if (!isRunOfOnes(BM, MB, ME))
1157 break;
1158
1159 MCInst TmpInst;
1160 TmpInst.setOpcode(Opcode == PPC::RLWIMIbm ? PPC::RLWIMI : PPC::RLWIMIo);
1161 TmpInst.addOperand(Inst.getOperand(0));
1162 TmpInst.addOperand(Inst.getOperand(0)); // The tied operand.
1163 TmpInst.addOperand(Inst.getOperand(1));
1164 TmpInst.addOperand(Inst.getOperand(2));
Jim Grosbache9119e42015-05-13 18:37:00 +00001165 TmpInst.addOperand(MCOperand::createImm(MB));
1166 TmpInst.addOperand(MCOperand::createImm(ME));
Hal Finkel6e9110a2015-03-28 19:42:41 +00001167 Inst = TmpInst;
1168 break;
1169 }
1170 case PPC::RLWNMbm:
1171 case PPC::RLWNMobm: {
1172 unsigned MB, ME;
1173 int64_t BM = Inst.getOperand(3).getImm();
1174 if (!isRunOfOnes(BM, MB, ME))
1175 break;
1176
1177 MCInst TmpInst;
1178 TmpInst.setOpcode(Opcode == PPC::RLWNMbm ? PPC::RLWNM : PPC::RLWNMo);
1179 TmpInst.addOperand(Inst.getOperand(0));
1180 TmpInst.addOperand(Inst.getOperand(1));
1181 TmpInst.addOperand(Inst.getOperand(2));
Jim Grosbache9119e42015-05-13 18:37:00 +00001182 TmpInst.addOperand(MCOperand::createImm(MB));
1183 TmpInst.addOperand(MCOperand::createImm(ME));
Hal Finkel6e9110a2015-03-28 19:42:41 +00001184 Inst = TmpInst;
1185 break;
1186 }
Ulrich Weigandd8394902013-05-03 19:50:27 +00001187 }
1188}
1189
David Blaikie960ea3f2014-06-08 16:18:35 +00001190bool PPCAsmParser::MatchAndEmitInstruction(SMLoc IDLoc, unsigned &Opcode,
1191 OperandVector &Operands,
Tim Northover26bb14e2014-08-18 11:49:42 +00001192 MCStreamer &Out, uint64_t &ErrorInfo,
David Blaikie960ea3f2014-06-08 16:18:35 +00001193 bool MatchingInlineAsm) {
Ulrich Weigand640192d2013-05-03 19:49:39 +00001194 MCInst Inst;
1195
1196 switch (MatchInstructionImpl(Operands, Inst, ErrorInfo, MatchingInlineAsm)) {
Ulrich Weigand640192d2013-05-03 19:49:39 +00001197 case Match_Success:
Ulrich Weigandd8394902013-05-03 19:50:27 +00001198 // Post-process instructions (typically extended mnemonics)
1199 ProcessInstruction(Inst, Operands);
Ulrich Weigand640192d2013-05-03 19:49:39 +00001200 Inst.setLoc(IDLoc);
David Woodhousee6c13e42014-01-28 23:12:42 +00001201 Out.EmitInstruction(Inst, STI);
Ulrich Weigand640192d2013-05-03 19:49:39 +00001202 return false;
1203 case Match_MissingFeature:
1204 return Error(IDLoc, "instruction use requires an option to be enabled");
1205 case Match_MnemonicFail:
Craig Topper589ceee2015-01-03 08:16:34 +00001206 return Error(IDLoc, "unrecognized instruction mnemonic");
Ulrich Weigand640192d2013-05-03 19:49:39 +00001207 case Match_InvalidOperand: {
1208 SMLoc ErrorLoc = IDLoc;
Tim Northover26bb14e2014-08-18 11:49:42 +00001209 if (ErrorInfo != ~0ULL) {
Ulrich Weigand640192d2013-05-03 19:49:39 +00001210 if (ErrorInfo >= Operands.size())
1211 return Error(IDLoc, "too few operands for instruction");
1212
David Blaikie960ea3f2014-06-08 16:18:35 +00001213 ErrorLoc = ((PPCOperand &)*Operands[ErrorInfo]).getStartLoc();
Ulrich Weigand640192d2013-05-03 19:49:39 +00001214 if (ErrorLoc == SMLoc()) ErrorLoc = IDLoc;
1215 }
1216
1217 return Error(ErrorLoc, "invalid operand for instruction");
1218 }
1219 }
1220
1221 llvm_unreachable("Implement any new match types added!");
1222}
1223
1224bool PPCAsmParser::
1225MatchRegisterName(const AsmToken &Tok, unsigned &RegNo, int64_t &IntVal) {
1226 if (Tok.is(AsmToken::Identifier)) {
Ulrich Weigand509c2402013-05-06 11:16:57 +00001227 StringRef Name = Tok.getString();
Ulrich Weigand640192d2013-05-03 19:49:39 +00001228
Ulrich Weigand509c2402013-05-06 11:16:57 +00001229 if (Name.equals_lower("lr")) {
Ulrich Weigand640192d2013-05-03 19:49:39 +00001230 RegNo = isPPC64()? PPC::LR8 : PPC::LR;
1231 IntVal = 8;
1232 return false;
Ulrich Weigand509c2402013-05-06 11:16:57 +00001233 } else if (Name.equals_lower("ctr")) {
Ulrich Weigand640192d2013-05-03 19:49:39 +00001234 RegNo = isPPC64()? PPC::CTR8 : PPC::CTR;
1235 IntVal = 9;
1236 return false;
Hal Finkel52727c62013-07-02 03:39:34 +00001237 } else if (Name.equals_lower("vrsave")) {
1238 RegNo = PPC::VRSAVE;
1239 IntVal = 256;
1240 return false;
Rui Ueyama29d29102013-10-31 19:59:55 +00001241 } else if (Name.startswith_lower("r") &&
Ulrich Weigand640192d2013-05-03 19:49:39 +00001242 !Name.substr(1).getAsInteger(10, IntVal) && IntVal < 32) {
1243 RegNo = isPPC64()? XRegs[IntVal] : RRegs[IntVal];
1244 return false;
Rui Ueyama29d29102013-10-31 19:59:55 +00001245 } else if (Name.startswith_lower("f") &&
Ulrich Weigand640192d2013-05-03 19:49:39 +00001246 !Name.substr(1).getAsInteger(10, IntVal) && IntVal < 32) {
1247 RegNo = FRegs[IntVal];
1248 return false;
Hal Finkel4dc8fcc2015-04-23 23:16:22 +00001249 } else if (Name.startswith_lower("vs") &&
1250 !Name.substr(2).getAsInteger(10, IntVal) && IntVal < 64) {
1251 RegNo = VSRegs[IntVal];
1252 return false;
Rui Ueyama29d29102013-10-31 19:59:55 +00001253 } else if (Name.startswith_lower("v") &&
Ulrich Weigand640192d2013-05-03 19:49:39 +00001254 !Name.substr(1).getAsInteger(10, IntVal) && IntVal < 32) {
1255 RegNo = VRegs[IntVal];
1256 return false;
Hal Finkel4dc8fcc2015-04-23 23:16:22 +00001257 } else if (Name.startswith_lower("q") &&
1258 !Name.substr(1).getAsInteger(10, IntVal) && IntVal < 32) {
1259 RegNo = QFRegs[IntVal];
1260 return false;
Rui Ueyama29d29102013-10-31 19:59:55 +00001261 } else if (Name.startswith_lower("cr") &&
Ulrich Weigand640192d2013-05-03 19:49:39 +00001262 !Name.substr(2).getAsInteger(10, IntVal) && IntVal < 8) {
1263 RegNo = CRRegs[IntVal];
1264 return false;
1265 }
1266 }
1267
1268 return true;
1269}
1270
1271bool PPCAsmParser::
1272ParseRegister(unsigned &RegNo, SMLoc &StartLoc, SMLoc &EndLoc) {
Rafael Espindola961d4692014-11-11 05:18:41 +00001273 MCAsmParser &Parser = getParser();
Ulrich Weigand640192d2013-05-03 19:49:39 +00001274 const AsmToken &Tok = Parser.getTok();
1275 StartLoc = Tok.getLoc();
1276 EndLoc = Tok.getEndLoc();
1277 RegNo = 0;
1278 int64_t IntVal;
1279
1280 if (!MatchRegisterName(Tok, RegNo, IntVal)) {
1281 Parser.Lex(); // Eat identifier token.
1282 return false;
1283 }
1284
1285 return Error(StartLoc, "invalid register name");
1286}
1287
NAKAMURA Takumi36c17ee2013-06-25 01:14:20 +00001288/// Extract \code @l/@ha \endcode modifier from expression. Recursively scan
Ulrich Weigande67c5652013-06-21 14:42:49 +00001289/// the expression and check for VK_PPC_LO/HI/HA
Ulrich Weigand96e65782013-06-20 16:23:52 +00001290/// symbol variants. If all symbols with modifier use the same
1291/// variant, return the corresponding PPCMCExpr::VariantKind,
1292/// and a modified expression using the default symbol variant.
1293/// Otherwise, return NULL.
1294const MCExpr *PPCAsmParser::
1295ExtractModifierFromExpr(const MCExpr *E,
1296 PPCMCExpr::VariantKind &Variant) {
1297 MCContext &Context = getParser().getContext();
1298 Variant = PPCMCExpr::VK_PPC_None;
1299
1300 switch (E->getKind()) {
1301 case MCExpr::Target:
1302 case MCExpr::Constant:
Craig Topper062a2ba2014-04-25 05:30:21 +00001303 return nullptr;
Ulrich Weigand96e65782013-06-20 16:23:52 +00001304
1305 case MCExpr::SymbolRef: {
1306 const MCSymbolRefExpr *SRE = cast<MCSymbolRefExpr>(E);
1307
1308 switch (SRE->getKind()) {
Ulrich Weigandd51c09f2013-06-21 14:42:20 +00001309 case MCSymbolRefExpr::VK_PPC_LO:
1310 Variant = PPCMCExpr::VK_PPC_LO;
Ulrich Weigand96e65782013-06-20 16:23:52 +00001311 break;
Ulrich Weigande67c5652013-06-21 14:42:49 +00001312 case MCSymbolRefExpr::VK_PPC_HI:
1313 Variant = PPCMCExpr::VK_PPC_HI;
1314 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +00001315 case MCSymbolRefExpr::VK_PPC_HA:
1316 Variant = PPCMCExpr::VK_PPC_HA;
Ulrich Weigand96e65782013-06-20 16:23:52 +00001317 break;
Ulrich Weigande9126f52013-06-21 14:43:42 +00001318 case MCSymbolRefExpr::VK_PPC_HIGHER:
1319 Variant = PPCMCExpr::VK_PPC_HIGHER;
1320 break;
1321 case MCSymbolRefExpr::VK_PPC_HIGHERA:
1322 Variant = PPCMCExpr::VK_PPC_HIGHERA;
1323 break;
1324 case MCSymbolRefExpr::VK_PPC_HIGHEST:
1325 Variant = PPCMCExpr::VK_PPC_HIGHEST;
1326 break;
1327 case MCSymbolRefExpr::VK_PPC_HIGHESTA:
1328 Variant = PPCMCExpr::VK_PPC_HIGHESTA;
1329 break;
Ulrich Weigand96e65782013-06-20 16:23:52 +00001330 default:
Craig Topper062a2ba2014-04-25 05:30:21 +00001331 return nullptr;
Ulrich Weigand96e65782013-06-20 16:23:52 +00001332 }
1333
Jim Grosbach13760bd2015-05-30 01:25:56 +00001334 return MCSymbolRefExpr::create(&SRE->getSymbol(), Context);
Ulrich Weigand96e65782013-06-20 16:23:52 +00001335 }
1336
1337 case MCExpr::Unary: {
1338 const MCUnaryExpr *UE = cast<MCUnaryExpr>(E);
1339 const MCExpr *Sub = ExtractModifierFromExpr(UE->getSubExpr(), Variant);
1340 if (!Sub)
Craig Topper062a2ba2014-04-25 05:30:21 +00001341 return nullptr;
Jim Grosbach13760bd2015-05-30 01:25:56 +00001342 return MCUnaryExpr::create(UE->getOpcode(), Sub, Context);
Ulrich Weigand96e65782013-06-20 16:23:52 +00001343 }
1344
1345 case MCExpr::Binary: {
1346 const MCBinaryExpr *BE = cast<MCBinaryExpr>(E);
1347 PPCMCExpr::VariantKind LHSVariant, RHSVariant;
1348 const MCExpr *LHS = ExtractModifierFromExpr(BE->getLHS(), LHSVariant);
1349 const MCExpr *RHS = ExtractModifierFromExpr(BE->getRHS(), RHSVariant);
1350
1351 if (!LHS && !RHS)
Craig Topper062a2ba2014-04-25 05:30:21 +00001352 return nullptr;
Ulrich Weigand96e65782013-06-20 16:23:52 +00001353
1354 if (!LHS) LHS = BE->getLHS();
1355 if (!RHS) RHS = BE->getRHS();
1356
1357 if (LHSVariant == PPCMCExpr::VK_PPC_None)
1358 Variant = RHSVariant;
1359 else if (RHSVariant == PPCMCExpr::VK_PPC_None)
1360 Variant = LHSVariant;
1361 else if (LHSVariant == RHSVariant)
1362 Variant = LHSVariant;
1363 else
Craig Topper062a2ba2014-04-25 05:30:21 +00001364 return nullptr;
Ulrich Weigand96e65782013-06-20 16:23:52 +00001365
Jim Grosbach13760bd2015-05-30 01:25:56 +00001366 return MCBinaryExpr::create(BE->getOpcode(), LHS, RHS, Context);
Ulrich Weigand96e65782013-06-20 16:23:52 +00001367 }
1368 }
1369
1370 llvm_unreachable("Invalid expression kind!");
1371}
1372
Ulrich Weigand52cf8e42013-07-09 16:41:09 +00001373/// Find all VK_TLSGD/VK_TLSLD symbol references in expression and replace
1374/// them by VK_PPC_TLSGD/VK_PPC_TLSLD. This is necessary to avoid having
1375/// _GLOBAL_OFFSET_TABLE_ created via ELFObjectWriter::RelocNeedsGOT.
1376/// FIXME: This is a hack.
1377const MCExpr *PPCAsmParser::
1378FixupVariantKind(const MCExpr *E) {
1379 MCContext &Context = getParser().getContext();
1380
1381 switch (E->getKind()) {
1382 case MCExpr::Target:
1383 case MCExpr::Constant:
1384 return E;
1385
1386 case MCExpr::SymbolRef: {
1387 const MCSymbolRefExpr *SRE = cast<MCSymbolRefExpr>(E);
1388 MCSymbolRefExpr::VariantKind Variant = MCSymbolRefExpr::VK_None;
1389
1390 switch (SRE->getKind()) {
1391 case MCSymbolRefExpr::VK_TLSGD:
1392 Variant = MCSymbolRefExpr::VK_PPC_TLSGD;
1393 break;
1394 case MCSymbolRefExpr::VK_TLSLD:
1395 Variant = MCSymbolRefExpr::VK_PPC_TLSLD;
1396 break;
1397 default:
1398 return E;
1399 }
Jim Grosbach13760bd2015-05-30 01:25:56 +00001400 return MCSymbolRefExpr::create(&SRE->getSymbol(), Variant, Context);
Ulrich Weigand52cf8e42013-07-09 16:41:09 +00001401 }
1402
1403 case MCExpr::Unary: {
1404 const MCUnaryExpr *UE = cast<MCUnaryExpr>(E);
1405 const MCExpr *Sub = FixupVariantKind(UE->getSubExpr());
1406 if (Sub == UE->getSubExpr())
1407 return E;
Jim Grosbach13760bd2015-05-30 01:25:56 +00001408 return MCUnaryExpr::create(UE->getOpcode(), Sub, Context);
Ulrich Weigand52cf8e42013-07-09 16:41:09 +00001409 }
1410
1411 case MCExpr::Binary: {
1412 const MCBinaryExpr *BE = cast<MCBinaryExpr>(E);
1413 const MCExpr *LHS = FixupVariantKind(BE->getLHS());
1414 const MCExpr *RHS = FixupVariantKind(BE->getRHS());
1415 if (LHS == BE->getLHS() && RHS == BE->getRHS())
1416 return E;
Jim Grosbach13760bd2015-05-30 01:25:56 +00001417 return MCBinaryExpr::create(BE->getOpcode(), LHS, RHS, Context);
Ulrich Weigand52cf8e42013-07-09 16:41:09 +00001418 }
1419 }
1420
1421 llvm_unreachable("Invalid expression kind!");
1422}
1423
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001424/// ParseExpression. This differs from the default "parseExpression" in that
1425/// it handles modifiers.
Ulrich Weigand96e65782013-06-20 16:23:52 +00001426bool PPCAsmParser::
1427ParseExpression(const MCExpr *&EVal) {
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001428
1429 if (isDarwin())
1430 return ParseDarwinExpression(EVal);
1431
1432 // (ELF Platforms)
1433 // Handle \code @l/@ha \endcode
Ulrich Weigand96e65782013-06-20 16:23:52 +00001434 if (getParser().parseExpression(EVal))
1435 return true;
1436
Ulrich Weigand52cf8e42013-07-09 16:41:09 +00001437 EVal = FixupVariantKind(EVal);
1438
Ulrich Weigand96e65782013-06-20 16:23:52 +00001439 PPCMCExpr::VariantKind Variant;
1440 const MCExpr *E = ExtractModifierFromExpr(EVal, Variant);
1441 if (E)
Jim Grosbach13760bd2015-05-30 01:25:56 +00001442 EVal = PPCMCExpr::create(Variant, E, false, getParser().getContext());
Ulrich Weigand96e65782013-06-20 16:23:52 +00001443
1444 return false;
1445}
1446
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001447/// ParseDarwinExpression. (MachO Platforms)
1448/// This differs from the default "parseExpression" in that it handles detection
1449/// of the \code hi16(), ha16() and lo16() \endcode modifiers. At present,
1450/// parseExpression() doesn't recognise the modifiers when in the Darwin/MachO
1451/// syntax form so it is done here. TODO: Determine if there is merit in arranging
1452/// for this to be done at a higher level.
1453bool PPCAsmParser::
1454ParseDarwinExpression(const MCExpr *&EVal) {
Rafael Espindola961d4692014-11-11 05:18:41 +00001455 MCAsmParser &Parser = getParser();
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001456 PPCMCExpr::VariantKind Variant = PPCMCExpr::VK_PPC_None;
1457 switch (getLexer().getKind()) {
1458 default:
1459 break;
1460 case AsmToken::Identifier:
1461 // Compiler-generated Darwin identifiers begin with L,l,_ or "; thus
1462 // something starting with any other char should be part of the
1463 // asm syntax. If handwritten asm includes an identifier like lo16,
1464 // then all bets are off - but no-one would do that, right?
1465 StringRef poss = Parser.getTok().getString();
1466 if (poss.equals_lower("lo16")) {
1467 Variant = PPCMCExpr::VK_PPC_LO;
1468 } else if (poss.equals_lower("hi16")) {
1469 Variant = PPCMCExpr::VK_PPC_HI;
1470 } else if (poss.equals_lower("ha16")) {
1471 Variant = PPCMCExpr::VK_PPC_HA;
1472 }
1473 if (Variant != PPCMCExpr::VK_PPC_None) {
1474 Parser.Lex(); // Eat the xx16
1475 if (getLexer().isNot(AsmToken::LParen))
1476 return Error(Parser.getTok().getLoc(), "expected '('");
1477 Parser.Lex(); // Eat the '('
1478 }
1479 break;
1480 }
1481
1482 if (getParser().parseExpression(EVal))
1483 return true;
1484
1485 if (Variant != PPCMCExpr::VK_PPC_None) {
1486 if (getLexer().isNot(AsmToken::RParen))
1487 return Error(Parser.getTok().getLoc(), "expected ')'");
1488 Parser.Lex(); // Eat the ')'
Jim Grosbach13760bd2015-05-30 01:25:56 +00001489 EVal = PPCMCExpr::create(Variant, EVal, false, getParser().getContext());
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001490 }
1491 return false;
1492}
1493
1494/// ParseOperand
1495/// This handles registers in the form 'NN', '%rNN' for ELF platforms and
1496/// rNN for MachO.
David Blaikie960ea3f2014-06-08 16:18:35 +00001497bool PPCAsmParser::ParseOperand(OperandVector &Operands) {
Rafael Espindola961d4692014-11-11 05:18:41 +00001498 MCAsmParser &Parser = getParser();
Ulrich Weigand640192d2013-05-03 19:49:39 +00001499 SMLoc S = Parser.getTok().getLoc();
1500 SMLoc E = SMLoc::getFromPointer(Parser.getTok().getLoc().getPointer() - 1);
1501 const MCExpr *EVal;
Ulrich Weigand640192d2013-05-03 19:49:39 +00001502
1503 // Attempt to parse the next token as an immediate
1504 switch (getLexer().getKind()) {
1505 // Special handling for register names. These are interpreted
1506 // as immediates corresponding to the register number.
1507 case AsmToken::Percent:
1508 Parser.Lex(); // Eat the '%'.
1509 unsigned RegNo;
1510 int64_t IntVal;
1511 if (!MatchRegisterName(Parser.getTok(), RegNo, IntVal)) {
1512 Parser.Lex(); // Eat the identifier token.
David Blaikie960ea3f2014-06-08 16:18:35 +00001513 Operands.push_back(PPCOperand::CreateImm(IntVal, S, E, isPPC64()));
Ulrich Weigand640192d2013-05-03 19:49:39 +00001514 return false;
1515 }
1516 return Error(S, "invalid register name");
1517
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001518 case AsmToken::Identifier:
1519 // Note that non-register-name identifiers from the compiler will begin
1520 // with '_', 'L'/'l' or '"'. Of course, handwritten asm could include
1521 // identifiers like r31foo - so we fall through in the event that parsing
1522 // a register name fails.
1523 if (isDarwin()) {
1524 unsigned RegNo;
1525 int64_t IntVal;
1526 if (!MatchRegisterName(Parser.getTok(), RegNo, IntVal)) {
1527 Parser.Lex(); // Eat the identifier token.
David Blaikie960ea3f2014-06-08 16:18:35 +00001528 Operands.push_back(PPCOperand::CreateImm(IntVal, S, E, isPPC64()));
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001529 return false;
1530 }
1531 }
1532 // Fall-through to process non-register-name identifiers as expression.
Ulrich Weigand640192d2013-05-03 19:49:39 +00001533 // All other expressions
1534 case AsmToken::LParen:
1535 case AsmToken::Plus:
1536 case AsmToken::Minus:
1537 case AsmToken::Integer:
Ulrich Weigand640192d2013-05-03 19:49:39 +00001538 case AsmToken::Dot:
1539 case AsmToken::Dollar:
Roman Divackya26f9a62014-03-12 19:25:57 +00001540 case AsmToken::Exclaim:
1541 case AsmToken::Tilde:
Ulrich Weigand96e65782013-06-20 16:23:52 +00001542 if (!ParseExpression(EVal))
Ulrich Weigand640192d2013-05-03 19:49:39 +00001543 break;
1544 /* fall through */
1545 default:
1546 return Error(S, "unknown operand");
1547 }
1548
Ulrich Weigand640192d2013-05-03 19:49:39 +00001549 // Push the parsed operand into the list of operands
David Blaikie960ea3f2014-06-08 16:18:35 +00001550 Operands.push_back(PPCOperand::CreateFromMCExpr(EVal, S, E, isPPC64()));
Ulrich Weigand640192d2013-05-03 19:49:39 +00001551
Ulrich Weigand42a09dc2013-07-02 21:31:59 +00001552 // Check whether this is a TLS call expression
1553 bool TLSCall = false;
1554 if (const MCSymbolRefExpr *Ref = dyn_cast<MCSymbolRefExpr>(EVal))
1555 TLSCall = Ref->getSymbol().getName() == "__tls_get_addr";
1556
1557 if (TLSCall && getLexer().is(AsmToken::LParen)) {
1558 const MCExpr *TLSSym;
1559
1560 Parser.Lex(); // Eat the '('.
1561 S = Parser.getTok().getLoc();
1562 if (ParseExpression(TLSSym))
1563 return Error(S, "invalid TLS call expression");
1564 if (getLexer().isNot(AsmToken::RParen))
1565 return Error(Parser.getTok().getLoc(), "missing ')'");
1566 E = Parser.getTok().getLoc();
1567 Parser.Lex(); // Eat the ')'.
1568
David Blaikie960ea3f2014-06-08 16:18:35 +00001569 Operands.push_back(PPCOperand::CreateFromMCExpr(TLSSym, S, E, isPPC64()));
Ulrich Weigand42a09dc2013-07-02 21:31:59 +00001570 }
1571
1572 // Otherwise, check for D-form memory operands
1573 if (!TLSCall && getLexer().is(AsmToken::LParen)) {
Ulrich Weigand640192d2013-05-03 19:49:39 +00001574 Parser.Lex(); // Eat the '('.
1575 S = Parser.getTok().getLoc();
1576
1577 int64_t IntVal;
1578 switch (getLexer().getKind()) {
1579 case AsmToken::Percent:
1580 Parser.Lex(); // Eat the '%'.
1581 unsigned RegNo;
1582 if (MatchRegisterName(Parser.getTok(), RegNo, IntVal))
1583 return Error(S, "invalid register name");
1584 Parser.Lex(); // Eat the identifier token.
1585 break;
1586
1587 case AsmToken::Integer:
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001588 if (!isDarwin()) {
1589 if (getParser().parseAbsoluteExpression(IntVal) ||
Ulrich Weigand640192d2013-05-03 19:49:39 +00001590 IntVal < 0 || IntVal > 31)
1591 return Error(S, "invalid register number");
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001592 } else {
1593 return Error(S, "unexpected integer value");
1594 }
Ulrich Weigand640192d2013-05-03 19:49:39 +00001595 break;
1596
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001597 case AsmToken::Identifier:
1598 if (isDarwin()) {
1599 unsigned RegNo;
1600 if (!MatchRegisterName(Parser.getTok(), RegNo, IntVal)) {
1601 Parser.Lex(); // Eat the identifier token.
1602 break;
1603 }
1604 }
1605 // Fall-through..
1606
Ulrich Weigand640192d2013-05-03 19:49:39 +00001607 default:
1608 return Error(S, "invalid memory operand");
1609 }
1610
1611 if (getLexer().isNot(AsmToken::RParen))
1612 return Error(Parser.getTok().getLoc(), "missing ')'");
1613 E = Parser.getTok().getLoc();
1614 Parser.Lex(); // Eat the ')'.
1615
David Blaikie960ea3f2014-06-08 16:18:35 +00001616 Operands.push_back(PPCOperand::CreateImm(IntVal, S, E, isPPC64()));
Ulrich Weigand640192d2013-05-03 19:49:39 +00001617 }
1618
1619 return false;
1620}
1621
1622/// Parse an instruction mnemonic followed by its operands.
David Blaikie960ea3f2014-06-08 16:18:35 +00001623bool PPCAsmParser::ParseInstruction(ParseInstructionInfo &Info, StringRef Name,
1624 SMLoc NameLoc, OperandVector &Operands) {
Ulrich Weigand640192d2013-05-03 19:49:39 +00001625 // The first operand is the token for the instruction name.
Ulrich Weigand86247b62013-06-24 16:52:04 +00001626 // If the next character is a '+' or '-', we need to add it to the
1627 // instruction name, to match what TableGen is doing.
Benjamin Kramer72d45cc2013-08-03 22:43:29 +00001628 std::string NewOpcode;
Ulrich Weigand86247b62013-06-24 16:52:04 +00001629 if (getLexer().is(AsmToken::Plus)) {
1630 getLexer().Lex();
Benjamin Kramer72d45cc2013-08-03 22:43:29 +00001631 NewOpcode = Name;
1632 NewOpcode += '+';
1633 Name = NewOpcode;
Ulrich Weigand86247b62013-06-24 16:52:04 +00001634 }
1635 if (getLexer().is(AsmToken::Minus)) {
1636 getLexer().Lex();
Benjamin Kramer72d45cc2013-08-03 22:43:29 +00001637 NewOpcode = Name;
1638 NewOpcode += '-';
1639 Name = NewOpcode;
Ulrich Weigand86247b62013-06-24 16:52:04 +00001640 }
Ulrich Weigand640192d2013-05-03 19:49:39 +00001641 // If the instruction ends in a '.', we need to create a separate
1642 // token for it, to match what TableGen is doing.
1643 size_t Dot = Name.find('.');
1644 StringRef Mnemonic = Name.slice(0, Dot);
Benjamin Kramer72d45cc2013-08-03 22:43:29 +00001645 if (!NewOpcode.empty()) // Underlying memory for Name is volatile.
1646 Operands.push_back(
1647 PPCOperand::CreateTokenWithStringCopy(Mnemonic, NameLoc, isPPC64()));
1648 else
1649 Operands.push_back(PPCOperand::CreateToken(Mnemonic, NameLoc, isPPC64()));
Ulrich Weigand640192d2013-05-03 19:49:39 +00001650 if (Dot != StringRef::npos) {
1651 SMLoc DotLoc = SMLoc::getFromPointer(NameLoc.getPointer() + Dot);
1652 StringRef DotStr = Name.slice(Dot, StringRef::npos);
Benjamin Kramer72d45cc2013-08-03 22:43:29 +00001653 if (!NewOpcode.empty()) // Underlying memory for Name is volatile.
1654 Operands.push_back(
1655 PPCOperand::CreateTokenWithStringCopy(DotStr, DotLoc, isPPC64()));
1656 else
1657 Operands.push_back(PPCOperand::CreateToken(DotStr, DotLoc, isPPC64()));
Ulrich Weigand640192d2013-05-03 19:49:39 +00001658 }
1659
1660 // If there are no more operands then finish
1661 if (getLexer().is(AsmToken::EndOfStatement))
1662 return false;
1663
1664 // Parse the first operand
1665 if (ParseOperand(Operands))
1666 return true;
1667
1668 while (getLexer().isNot(AsmToken::EndOfStatement) &&
1669 getLexer().is(AsmToken::Comma)) {
1670 // Consume the comma token
1671 getLexer().Lex();
1672
1673 // Parse the next operand
1674 if (ParseOperand(Operands))
1675 return true;
1676 }
1677
Hal Finkelfefcfff2015-04-23 22:47:57 +00001678 // We'll now deal with an unfortunate special case: the syntax for the dcbt
1679 // and dcbtst instructions differs for server vs. embedded cores.
1680 // The syntax for dcbt is:
1681 // dcbt ra, rb, th [server]
1682 // dcbt th, ra, rb [embedded]
1683 // where th can be omitted when it is 0. dcbtst is the same. We take the
1684 // server form to be the default, so swap the operands if we're parsing for
1685 // an embedded core (they'll be swapped again upon printing).
Michael Kupersteindb0712f2015-05-26 10:47:10 +00001686 if (STI.getFeatureBits()[PPC::FeatureBookE] &&
Hal Finkelfefcfff2015-04-23 22:47:57 +00001687 Operands.size() == 4 &&
1688 (Name == "dcbt" || Name == "dcbtst")) {
1689 std::swap(Operands[1], Operands[3]);
1690 std::swap(Operands[2], Operands[1]);
1691 }
1692
Ulrich Weigand640192d2013-05-03 19:49:39 +00001693 return false;
1694}
1695
1696/// ParseDirective parses the PPC specific directives
1697bool PPCAsmParser::ParseDirective(AsmToken DirectiveID) {
1698 StringRef IDVal = DirectiveID.getIdentifier();
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001699 if (!isDarwin()) {
1700 if (IDVal == ".word")
1701 return ParseDirectiveWord(2, DirectiveID.getLoc());
1702 if (IDVal == ".llong")
1703 return ParseDirectiveWord(8, DirectiveID.getLoc());
1704 if (IDVal == ".tc")
1705 return ParseDirectiveTC(isPPC64()? 8 : 4, DirectiveID.getLoc());
1706 if (IDVal == ".machine")
1707 return ParseDirectiveMachine(DirectiveID.getLoc());
Ulrich Weigand0daa5162014-07-20 22:56:57 +00001708 if (IDVal == ".abiversion")
1709 return ParseDirectiveAbiVersion(DirectiveID.getLoc());
Ulrich Weigandbb686102014-07-20 23:06:03 +00001710 if (IDVal == ".localentry")
1711 return ParseDirectiveLocalEntry(DirectiveID.getLoc());
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001712 } else {
1713 if (IDVal == ".machine")
1714 return ParseDarwinDirectiveMachine(DirectiveID.getLoc());
1715 }
Ulrich Weigand640192d2013-05-03 19:49:39 +00001716 return true;
1717}
1718
1719/// ParseDirectiveWord
1720/// ::= .word [ expression (, expression)* ]
1721bool PPCAsmParser::ParseDirectiveWord(unsigned Size, SMLoc L) {
Rafael Espindola961d4692014-11-11 05:18:41 +00001722 MCAsmParser &Parser = getParser();
Ulrich Weigand640192d2013-05-03 19:49:39 +00001723 if (getLexer().isNot(AsmToken::EndOfStatement)) {
1724 for (;;) {
1725 const MCExpr *Value;
1726 if (getParser().parseExpression(Value))
Saleem Abdulrasoola6505ca2014-01-13 01:15:39 +00001727 return false;
Ulrich Weigand640192d2013-05-03 19:49:39 +00001728
1729 getParser().getStreamer().EmitValue(Value, Size);
1730
1731 if (getLexer().is(AsmToken::EndOfStatement))
1732 break;
1733
1734 if (getLexer().isNot(AsmToken::Comma))
1735 return Error(L, "unexpected token in directive");
1736 Parser.Lex();
1737 }
1738 }
1739
1740 Parser.Lex();
1741 return false;
1742}
1743
1744/// ParseDirectiveTC
1745/// ::= .tc [ symbol (, expression)* ]
1746bool PPCAsmParser::ParseDirectiveTC(unsigned Size, SMLoc L) {
Rafael Espindola961d4692014-11-11 05:18:41 +00001747 MCAsmParser &Parser = getParser();
Ulrich Weigand640192d2013-05-03 19:49:39 +00001748 // Skip TC symbol, which is only used with XCOFF.
1749 while (getLexer().isNot(AsmToken::EndOfStatement)
1750 && getLexer().isNot(AsmToken::Comma))
1751 Parser.Lex();
Saleem Abdulrasoola6505ca2014-01-13 01:15:39 +00001752 if (getLexer().isNot(AsmToken::Comma)) {
1753 Error(L, "unexpected token in directive");
1754 return false;
1755 }
Ulrich Weigand640192d2013-05-03 19:49:39 +00001756 Parser.Lex();
1757
1758 // Align to word size.
1759 getParser().getStreamer().EmitValueToAlignment(Size);
1760
1761 // Emit expressions.
1762 return ParseDirectiveWord(Size, L);
1763}
1764
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001765/// ParseDirectiveMachine (ELF platforms)
Ulrich Weigand55daa772013-07-09 10:00:34 +00001766/// ::= .machine [ cpu | "push" | "pop" ]
1767bool PPCAsmParser::ParseDirectiveMachine(SMLoc L) {
Rafael Espindola961d4692014-11-11 05:18:41 +00001768 MCAsmParser &Parser = getParser();
Ulrich Weigand55daa772013-07-09 10:00:34 +00001769 if (getLexer().isNot(AsmToken::Identifier) &&
Saleem Abdulrasoola6505ca2014-01-13 01:15:39 +00001770 getLexer().isNot(AsmToken::String)) {
1771 Error(L, "unexpected token in directive");
1772 return false;
1773 }
Ulrich Weigand55daa772013-07-09 10:00:34 +00001774
1775 StringRef CPU = Parser.getTok().getIdentifier();
1776 Parser.Lex();
1777
1778 // FIXME: Right now, the parser always allows any available
1779 // instruction, so the .machine directive is not useful.
1780 // Implement ".machine any" (by doing nothing) for the benefit
1781 // of existing assembler code. Likewise, we can then implement
1782 // ".machine push" and ".machine pop" as no-op.
Saleem Abdulrasoola6505ca2014-01-13 01:15:39 +00001783 if (CPU != "any" && CPU != "push" && CPU != "pop") {
1784 Error(L, "unrecognized machine type");
1785 return false;
1786 }
Ulrich Weigand55daa772013-07-09 10:00:34 +00001787
Saleem Abdulrasoola6505ca2014-01-13 01:15:39 +00001788 if (getLexer().isNot(AsmToken::EndOfStatement)) {
1789 Error(L, "unexpected token in directive");
1790 return false;
1791 }
Rafael Espindola6b9ee9b2014-01-25 02:35:56 +00001792 PPCTargetStreamer &TStreamer =
1793 *static_cast<PPCTargetStreamer *>(
1794 getParser().getStreamer().getTargetStreamer());
1795 TStreamer.emitMachine(CPU);
Ulrich Weigand55daa772013-07-09 10:00:34 +00001796
1797 return false;
1798}
1799
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001800/// ParseDarwinDirectiveMachine (Mach-o platforms)
1801/// ::= .machine cpu-identifier
1802bool PPCAsmParser::ParseDarwinDirectiveMachine(SMLoc L) {
Rafael Espindola961d4692014-11-11 05:18:41 +00001803 MCAsmParser &Parser = getParser();
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001804 if (getLexer().isNot(AsmToken::Identifier) &&
Saleem Abdulrasoola6505ca2014-01-13 01:15:39 +00001805 getLexer().isNot(AsmToken::String)) {
1806 Error(L, "unexpected token in directive");
1807 return false;
1808 }
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001809
1810 StringRef CPU = Parser.getTok().getIdentifier();
1811 Parser.Lex();
1812
1813 // FIXME: this is only the 'default' set of cpu variants.
1814 // However we don't act on this information at present, this is simply
1815 // allowing parsing to proceed with minimal sanity checking.
Saleem Abdulrasoola6505ca2014-01-13 01:15:39 +00001816 if (CPU != "ppc7400" && CPU != "ppc" && CPU != "ppc64") {
1817 Error(L, "unrecognized cpu type");
1818 return false;
1819 }
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001820
Saleem Abdulrasoola6505ca2014-01-13 01:15:39 +00001821 if (isPPC64() && (CPU == "ppc7400" || CPU == "ppc")) {
1822 Error(L, "wrong cpu type specified for 64bit");
1823 return false;
1824 }
1825 if (!isPPC64() && CPU == "ppc64") {
1826 Error(L, "wrong cpu type specified for 32bit");
1827 return false;
1828 }
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001829
Saleem Abdulrasoola6505ca2014-01-13 01:15:39 +00001830 if (getLexer().isNot(AsmToken::EndOfStatement)) {
1831 Error(L, "unexpected token in directive");
1832 return false;
1833 }
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001834
1835 return false;
1836}
1837
Ulrich Weigand0daa5162014-07-20 22:56:57 +00001838/// ParseDirectiveAbiVersion
1839/// ::= .abiversion constant-expression
1840bool PPCAsmParser::ParseDirectiveAbiVersion(SMLoc L) {
1841 int64_t AbiVersion;
1842 if (getParser().parseAbsoluteExpression(AbiVersion)){
1843 Error(L, "expected constant expression");
1844 return false;
1845 }
1846 if (getLexer().isNot(AsmToken::EndOfStatement)) {
1847 Error(L, "unexpected token in directive");
1848 return false;
1849 }
1850
1851 PPCTargetStreamer &TStreamer =
1852 *static_cast<PPCTargetStreamer *>(
1853 getParser().getStreamer().getTargetStreamer());
1854 TStreamer.emitAbiVersion(AbiVersion);
1855
1856 return false;
1857}
1858
Ulrich Weigandbb686102014-07-20 23:06:03 +00001859/// ParseDirectiveLocalEntry
1860/// ::= .localentry symbol, expression
1861bool PPCAsmParser::ParseDirectiveLocalEntry(SMLoc L) {
1862 StringRef Name;
1863 if (getParser().parseIdentifier(Name)) {
1864 Error(L, "expected identifier in directive");
1865 return false;
1866 }
Rafael Espindola95fb9b92015-06-02 20:38:46 +00001867 MCSymbolELF *Sym = cast<MCSymbolELF>(getContext().getOrCreateSymbol(Name));
Ulrich Weigandbb686102014-07-20 23:06:03 +00001868
1869 if (getLexer().isNot(AsmToken::Comma)) {
1870 Error(L, "unexpected token in directive");
1871 return false;
1872 }
1873 Lex();
1874
1875 const MCExpr *Expr;
1876 if (getParser().parseExpression(Expr)) {
1877 Error(L, "expected expression");
1878 return false;
1879 }
1880
1881 if (getLexer().isNot(AsmToken::EndOfStatement)) {
1882 Error(L, "unexpected token in directive");
1883 return false;
1884 }
1885
1886 PPCTargetStreamer &TStreamer =
1887 *static_cast<PPCTargetStreamer *>(
1888 getParser().getStreamer().getTargetStreamer());
1889 TStreamer.emitLocalEntry(Sym, Expr);
1890
1891 return false;
1892}
1893
1894
1895
Ulrich Weigand640192d2013-05-03 19:49:39 +00001896/// Force static initialization.
1897extern "C" void LLVMInitializePowerPCAsmParser() {
1898 RegisterMCAsmParser<PPCAsmParser> A(ThePPC32Target);
1899 RegisterMCAsmParser<PPCAsmParser> B(ThePPC64Target);
Bill Schmidt0a9170d2013-07-26 01:35:43 +00001900 RegisterMCAsmParser<PPCAsmParser> C(ThePPC64LETarget);
Ulrich Weigand640192d2013-05-03 19:49:39 +00001901}
1902
1903#define GET_REGISTER_MATCHER
1904#define GET_MATCHER_IMPLEMENTATION
1905#include "PPCGenAsmMatcher.inc"
Ulrich Weigandc0944b52013-07-08 14:49:37 +00001906
1907// Define this matcher function after the auto-generated include so we
1908// have the match class enum definitions.
David Blaikie960ea3f2014-06-08 16:18:35 +00001909unsigned PPCAsmParser::validateTargetOperandClass(MCParsedAsmOperand &AsmOp,
Ulrich Weigandc0944b52013-07-08 14:49:37 +00001910 unsigned Kind) {
1911 // If the kind is a token for a literal immediate, check if our asm
1912 // operand matches. This is for InstAliases which have a fixed-value
1913 // immediate in the syntax.
1914 int64_t ImmVal;
1915 switch (Kind) {
1916 case MCK_0: ImmVal = 0; break;
1917 case MCK_1: ImmVal = 1; break;
Roman Divacky62cb6352013-09-12 17:50:54 +00001918 case MCK_2: ImmVal = 2; break;
1919 case MCK_3: ImmVal = 3; break;
Joerg Sonnenbergerdda8e782014-07-30 09:24:37 +00001920 case MCK_4: ImmVal = 4; break;
1921 case MCK_5: ImmVal = 5; break;
1922 case MCK_6: ImmVal = 6; break;
1923 case MCK_7: ImmVal = 7; break;
Ulrich Weigandc0944b52013-07-08 14:49:37 +00001924 default: return Match_InvalidOperand;
1925 }
1926
David Blaikie960ea3f2014-06-08 16:18:35 +00001927 PPCOperand &Op = static_cast<PPCOperand &>(AsmOp);
1928 if (Op.isImm() && Op.getImm() == ImmVal)
Ulrich Weigandc0944b52013-07-08 14:49:37 +00001929 return Match_Success;
1930
1931 return Match_InvalidOperand;
1932}
1933
Joerg Sonnenbergerb822af42013-08-27 20:23:19 +00001934const MCExpr *
1935PPCAsmParser::applyModifierToExpr(const MCExpr *E,
1936 MCSymbolRefExpr::VariantKind Variant,
1937 MCContext &Ctx) {
1938 switch (Variant) {
1939 case MCSymbolRefExpr::VK_PPC_LO:
Jim Grosbach13760bd2015-05-30 01:25:56 +00001940 return PPCMCExpr::create(PPCMCExpr::VK_PPC_LO, E, false, Ctx);
Joerg Sonnenbergerb822af42013-08-27 20:23:19 +00001941 case MCSymbolRefExpr::VK_PPC_HI:
Jim Grosbach13760bd2015-05-30 01:25:56 +00001942 return PPCMCExpr::create(PPCMCExpr::VK_PPC_HI, E, false, Ctx);
Joerg Sonnenbergerb822af42013-08-27 20:23:19 +00001943 case MCSymbolRefExpr::VK_PPC_HA:
Jim Grosbach13760bd2015-05-30 01:25:56 +00001944 return PPCMCExpr::create(PPCMCExpr::VK_PPC_HA, E, false, Ctx);
Joerg Sonnenbergerb822af42013-08-27 20:23:19 +00001945 case MCSymbolRefExpr::VK_PPC_HIGHER:
Jim Grosbach13760bd2015-05-30 01:25:56 +00001946 return PPCMCExpr::create(PPCMCExpr::VK_PPC_HIGHER, E, false, Ctx);
Joerg Sonnenbergerb822af42013-08-27 20:23:19 +00001947 case MCSymbolRefExpr::VK_PPC_HIGHERA:
Jim Grosbach13760bd2015-05-30 01:25:56 +00001948 return PPCMCExpr::create(PPCMCExpr::VK_PPC_HIGHERA, E, false, Ctx);
Joerg Sonnenbergerb822af42013-08-27 20:23:19 +00001949 case MCSymbolRefExpr::VK_PPC_HIGHEST:
Jim Grosbach13760bd2015-05-30 01:25:56 +00001950 return PPCMCExpr::create(PPCMCExpr::VK_PPC_HIGHEST, E, false, Ctx);
Joerg Sonnenbergerb822af42013-08-27 20:23:19 +00001951 case MCSymbolRefExpr::VK_PPC_HIGHESTA:
Jim Grosbach13760bd2015-05-30 01:25:56 +00001952 return PPCMCExpr::create(PPCMCExpr::VK_PPC_HIGHESTA, E, false, Ctx);
Joerg Sonnenbergerb822af42013-08-27 20:23:19 +00001953 default:
Craig Topper062a2ba2014-04-25 05:30:21 +00001954 return nullptr;
Joerg Sonnenbergerb822af42013-08-27 20:23:19 +00001955 }
1956}