blob: ab29ee77963a7d71d926f8728f4a799f5cb6caf5 [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"
Ulrich Weigand640192d2013-05-03 19:49:39 +000012#include "llvm/MC/MCTargetAsmParser.h"
13#include "llvm/MC/MCStreamer.h"
14#include "llvm/MC/MCExpr.h"
15#include "llvm/MC/MCInst.h"
16#include "llvm/MC/MCRegisterInfo.h"
17#include "llvm/MC/MCSubtargetInfo.h"
18#include "llvm/MC/MCParser/MCAsmLexer.h"
19#include "llvm/MC/MCParser/MCAsmParser.h"
20#include "llvm/MC/MCParser/MCParsedAsmOperand.h"
21#include "llvm/ADT/SmallString.h"
22#include "llvm/ADT/SmallVector.h"
23#include "llvm/ADT/StringSwitch.h"
24#include "llvm/ADT/Twine.h"
25#include "llvm/Support/SourceMgr.h"
26#include "llvm/Support/TargetRegistry.h"
27#include "llvm/Support/raw_ostream.h"
28
29using namespace llvm;
30
31namespace {
32
33static unsigned RRegs[32] = {
34 PPC::R0, PPC::R1, PPC::R2, PPC::R3,
35 PPC::R4, PPC::R5, PPC::R6, PPC::R7,
36 PPC::R8, PPC::R9, PPC::R10, PPC::R11,
37 PPC::R12, PPC::R13, PPC::R14, PPC::R15,
38 PPC::R16, PPC::R17, PPC::R18, PPC::R19,
39 PPC::R20, PPC::R21, PPC::R22, PPC::R23,
40 PPC::R24, PPC::R25, PPC::R26, PPC::R27,
41 PPC::R28, PPC::R29, PPC::R30, PPC::R31
42};
43static unsigned RRegsNoR0[32] = {
44 PPC::ZERO,
45 PPC::R1, PPC::R2, PPC::R3,
46 PPC::R4, PPC::R5, PPC::R6, PPC::R7,
47 PPC::R8, PPC::R9, PPC::R10, PPC::R11,
48 PPC::R12, PPC::R13, PPC::R14, PPC::R15,
49 PPC::R16, PPC::R17, PPC::R18, PPC::R19,
50 PPC::R20, PPC::R21, PPC::R22, PPC::R23,
51 PPC::R24, PPC::R25, PPC::R26, PPC::R27,
52 PPC::R28, PPC::R29, PPC::R30, PPC::R31
53};
54static unsigned XRegs[32] = {
55 PPC::X0, PPC::X1, PPC::X2, PPC::X3,
56 PPC::X4, PPC::X5, PPC::X6, PPC::X7,
57 PPC::X8, PPC::X9, PPC::X10, PPC::X11,
58 PPC::X12, PPC::X13, PPC::X14, PPC::X15,
59 PPC::X16, PPC::X17, PPC::X18, PPC::X19,
60 PPC::X20, PPC::X21, PPC::X22, PPC::X23,
61 PPC::X24, PPC::X25, PPC::X26, PPC::X27,
62 PPC::X28, PPC::X29, PPC::X30, PPC::X31
63};
64static unsigned XRegsNoX0[32] = {
65 PPC::ZERO8,
66 PPC::X1, PPC::X2, PPC::X3,
67 PPC::X4, PPC::X5, PPC::X6, PPC::X7,
68 PPC::X8, PPC::X9, PPC::X10, PPC::X11,
69 PPC::X12, PPC::X13, PPC::X14, PPC::X15,
70 PPC::X16, PPC::X17, PPC::X18, PPC::X19,
71 PPC::X20, PPC::X21, PPC::X22, PPC::X23,
72 PPC::X24, PPC::X25, PPC::X26, PPC::X27,
73 PPC::X28, PPC::X29, PPC::X30, PPC::X31
74};
75static unsigned FRegs[32] = {
76 PPC::F0, PPC::F1, PPC::F2, PPC::F3,
77 PPC::F4, PPC::F5, PPC::F6, PPC::F7,
78 PPC::F8, PPC::F9, PPC::F10, PPC::F11,
79 PPC::F12, PPC::F13, PPC::F14, PPC::F15,
80 PPC::F16, PPC::F17, PPC::F18, PPC::F19,
81 PPC::F20, PPC::F21, PPC::F22, PPC::F23,
82 PPC::F24, PPC::F25, PPC::F26, PPC::F27,
83 PPC::F28, PPC::F29, PPC::F30, PPC::F31
84};
85static unsigned VRegs[32] = {
86 PPC::V0, PPC::V1, PPC::V2, PPC::V3,
87 PPC::V4, PPC::V5, PPC::V6, PPC::V7,
88 PPC::V8, PPC::V9, PPC::V10, PPC::V11,
89 PPC::V12, PPC::V13, PPC::V14, PPC::V15,
90 PPC::V16, PPC::V17, PPC::V18, PPC::V19,
91 PPC::V20, PPC::V21, PPC::V22, PPC::V23,
92 PPC::V24, PPC::V25, PPC::V26, PPC::V27,
93 PPC::V28, PPC::V29, PPC::V30, PPC::V31
94};
95static unsigned CRBITRegs[32] = {
96 PPC::CR0LT, PPC::CR0GT, PPC::CR0EQ, PPC::CR0UN,
97 PPC::CR1LT, PPC::CR1GT, PPC::CR1EQ, PPC::CR1UN,
98 PPC::CR2LT, PPC::CR2GT, PPC::CR2EQ, PPC::CR2UN,
99 PPC::CR3LT, PPC::CR3GT, PPC::CR3EQ, PPC::CR3UN,
100 PPC::CR4LT, PPC::CR4GT, PPC::CR4EQ, PPC::CR4UN,
101 PPC::CR5LT, PPC::CR5GT, PPC::CR5EQ, PPC::CR5UN,
102 PPC::CR6LT, PPC::CR6GT, PPC::CR6EQ, PPC::CR6UN,
103 PPC::CR7LT, PPC::CR7GT, PPC::CR7EQ, PPC::CR7UN
104};
105static unsigned CRRegs[8] = {
106 PPC::CR0, PPC::CR1, PPC::CR2, PPC::CR3,
107 PPC::CR4, PPC::CR5, PPC::CR6, PPC::CR7
108};
109
Ulrich Weigandb86cb7d2013-07-04 14:24:00 +0000110// Evaluate an expression containing condition register
111// or condition register field symbols. Returns positive
112// value on success, or -1 on error.
113static int64_t
114EvaluateCRExpr(const MCExpr *E) {
115 switch (E->getKind()) {
116 case MCExpr::Target:
117 return -1;
118
119 case MCExpr::Constant: {
120 int64_t Res = cast<MCConstantExpr>(E)->getValue();
121 return Res < 0 ? -1 : Res;
122 }
123
124 case MCExpr::SymbolRef: {
125 const MCSymbolRefExpr *SRE = cast<MCSymbolRefExpr>(E);
126 StringRef Name = SRE->getSymbol().getName();
127
128 if (Name == "lt") return 0;
129 if (Name == "gt") return 1;
130 if (Name == "eq") return 2;
131 if (Name == "so") return 3;
132 if (Name == "un") return 3;
133
134 if (Name == "cr0") return 0;
135 if (Name == "cr1") return 1;
136 if (Name == "cr2") return 2;
137 if (Name == "cr3") return 3;
138 if (Name == "cr4") return 4;
139 if (Name == "cr5") return 5;
140 if (Name == "cr6") return 6;
141 if (Name == "cr7") return 7;
142
143 return -1;
144 }
145
146 case MCExpr::Unary:
147 return -1;
148
149 case MCExpr::Binary: {
150 const MCBinaryExpr *BE = cast<MCBinaryExpr>(E);
151 int64_t LHSVal = EvaluateCRExpr(BE->getLHS());
152 int64_t RHSVal = EvaluateCRExpr(BE->getRHS());
153 int64_t Res;
154
155 if (LHSVal < 0 || RHSVal < 0)
156 return -1;
157
158 switch (BE->getOpcode()) {
159 default: return -1;
160 case MCBinaryExpr::Add: Res = LHSVal + RHSVal; break;
161 case MCBinaryExpr::Mul: Res = LHSVal * RHSVal; break;
162 }
163
164 return Res < 0 ? -1 : Res;
165 }
166 }
167
168 llvm_unreachable("Invalid expression kind!");
169}
170
Ulrich Weigand640192d2013-05-03 19:49:39 +0000171struct PPCOperand;
172
173class PPCAsmParser : public MCTargetAsmParser {
174 MCSubtargetInfo &STI;
175 MCAsmParser &Parser;
176 bool IsPPC64;
177
178 MCAsmParser &getParser() const { return Parser; }
179 MCAsmLexer &getLexer() const { return Parser.getLexer(); }
180
181 void Warning(SMLoc L, const Twine &Msg) { Parser.Warning(L, Msg); }
182 bool Error(SMLoc L, const Twine &Msg) { return Parser.Error(L, Msg); }
183
184 bool isPPC64() const { return IsPPC64; }
185
186 bool MatchRegisterName(const AsmToken &Tok,
187 unsigned &RegNo, int64_t &IntVal);
188
189 virtual bool ParseRegister(unsigned &RegNo, SMLoc &StartLoc, SMLoc &EndLoc);
190
Ulrich Weigand96e65782013-06-20 16:23:52 +0000191 const MCExpr *ExtractModifierFromExpr(const MCExpr *E,
192 PPCMCExpr::VariantKind &Variant);
193 bool ParseExpression(const MCExpr *&EVal);
194
Ulrich Weigand640192d2013-05-03 19:49:39 +0000195 bool ParseOperand(SmallVectorImpl<MCParsedAsmOperand*> &Operands);
196
197 bool ParseDirectiveWord(unsigned Size, SMLoc L);
198 bool ParseDirectiveTC(unsigned Size, SMLoc L);
Ulrich Weigand55daa772013-07-09 10:00:34 +0000199 bool ParseDirectiveMachine(SMLoc L);
Ulrich Weigand640192d2013-05-03 19:49:39 +0000200
201 bool MatchAndEmitInstruction(SMLoc IDLoc, unsigned &Opcode,
202 SmallVectorImpl<MCParsedAsmOperand*> &Operands,
203 MCStreamer &Out, unsigned &ErrorInfo,
204 bool MatchingInlineAsm);
205
Ulrich Weigandd8394902013-05-03 19:50:27 +0000206 void ProcessInstruction(MCInst &Inst,
207 const SmallVectorImpl<MCParsedAsmOperand*> &Ops);
208
Ulrich Weigand640192d2013-05-03 19:49:39 +0000209 /// @name Auto-generated Match Functions
210 /// {
211
212#define GET_ASSEMBLER_HEADER
213#include "PPCGenAsmMatcher.inc"
214
215 /// }
216
217
218public:
219 PPCAsmParser(MCSubtargetInfo &_STI, MCAsmParser &_Parser)
220 : MCTargetAsmParser(), STI(_STI), Parser(_Parser) {
221 // Check for 64-bit vs. 32-bit pointer mode.
222 Triple TheTriple(STI.getTargetTriple());
223 IsPPC64 = TheTriple.getArch() == Triple::ppc64;
224 // Initialize the set of available features.
225 setAvailableFeatures(ComputeAvailableFeatures(STI.getFeatureBits()));
226 }
227
228 virtual bool ParseInstruction(ParseInstructionInfo &Info,
229 StringRef Name, SMLoc NameLoc,
230 SmallVectorImpl<MCParsedAsmOperand*> &Operands);
231
232 virtual bool ParseDirective(AsmToken DirectiveID);
Ulrich Weigandc0944b52013-07-08 14:49:37 +0000233
234 unsigned validateTargetOperandClass(MCParsedAsmOperand *Op, unsigned Kind);
Ulrich Weigand640192d2013-05-03 19:49:39 +0000235};
236
237/// PPCOperand - Instances of this class represent a parsed PowerPC machine
238/// instruction.
239struct PPCOperand : public MCParsedAsmOperand {
240 enum KindTy {
241 Token,
242 Immediate,
Ulrich Weigand5b427592013-07-05 12:22:36 +0000243 Expression,
244 TLSRegister
Ulrich Weigand640192d2013-05-03 19:49:39 +0000245 } Kind;
246
247 SMLoc StartLoc, EndLoc;
248 bool IsPPC64;
249
250 struct TokOp {
251 const char *Data;
252 unsigned Length;
253 };
254
255 struct ImmOp {
256 int64_t Val;
257 };
258
259 struct ExprOp {
260 const MCExpr *Val;
Ulrich Weigandb86cb7d2013-07-04 14:24:00 +0000261 int64_t CRVal; // Cached result of EvaluateCRExpr(Val)
Ulrich Weigand640192d2013-05-03 19:49:39 +0000262 };
263
Ulrich Weigand5b427592013-07-05 12:22:36 +0000264 struct TLSRegOp {
265 const MCSymbolRefExpr *Sym;
266 };
267
Ulrich Weigand640192d2013-05-03 19:49:39 +0000268 union {
269 struct TokOp Tok;
270 struct ImmOp Imm;
271 struct ExprOp Expr;
Ulrich Weigand5b427592013-07-05 12:22:36 +0000272 struct TLSRegOp TLSReg;
Ulrich Weigand640192d2013-05-03 19:49:39 +0000273 };
274
275 PPCOperand(KindTy K) : MCParsedAsmOperand(), Kind(K) {}
276public:
277 PPCOperand(const PPCOperand &o) : MCParsedAsmOperand() {
278 Kind = o.Kind;
279 StartLoc = o.StartLoc;
280 EndLoc = o.EndLoc;
281 IsPPC64 = o.IsPPC64;
282 switch (Kind) {
283 case Token:
284 Tok = o.Tok;
285 break;
286 case Immediate:
287 Imm = o.Imm;
288 break;
289 case Expression:
290 Expr = o.Expr;
291 break;
Ulrich Weigand5b427592013-07-05 12:22:36 +0000292 case TLSRegister:
293 TLSReg = o.TLSReg;
294 break;
Ulrich Weigand640192d2013-05-03 19:49:39 +0000295 }
296 }
297
298 /// getStartLoc - Get the location of the first token of this operand.
299 SMLoc getStartLoc() const { return StartLoc; }
300
301 /// getEndLoc - Get the location of the last token of this operand.
302 SMLoc getEndLoc() const { return EndLoc; }
303
304 /// isPPC64 - True if this operand is for an instruction in 64-bit mode.
305 bool isPPC64() const { return IsPPC64; }
306
307 int64_t getImm() const {
308 assert(Kind == Immediate && "Invalid access!");
309 return Imm.Val;
310 }
311
312 const MCExpr *getExpr() const {
313 assert(Kind == Expression && "Invalid access!");
314 return Expr.Val;
315 }
316
Ulrich Weigandb86cb7d2013-07-04 14:24:00 +0000317 int64_t getExprCRVal() const {
318 assert(Kind == Expression && "Invalid access!");
319 return Expr.CRVal;
320 }
321
Ulrich Weigand5b427592013-07-05 12:22:36 +0000322 const MCExpr *getTLSReg() const {
323 assert(Kind == TLSRegister && "Invalid access!");
324 return TLSReg.Sym;
325 }
326
Ulrich Weigand640192d2013-05-03 19:49:39 +0000327 unsigned getReg() const {
328 assert(isRegNumber() && "Invalid access!");
329 return (unsigned) Imm.Val;
330 }
331
332 unsigned getCCReg() const {
333 assert(isCCRegNumber() && "Invalid access!");
Ulrich Weigandb86cb7d2013-07-04 14:24:00 +0000334 return (unsigned) (Kind == Immediate ? Imm.Val : Expr.CRVal);
335 }
336
337 unsigned getCRBit() const {
338 assert(isCRBitNumber() && "Invalid access!");
339 return (unsigned) (Kind == Immediate ? Imm.Val : Expr.CRVal);
Ulrich Weigand640192d2013-05-03 19:49:39 +0000340 }
341
342 unsigned getCRBitMask() const {
343 assert(isCRBitMask() && "Invalid access!");
Michael J. Spencerdf1ecbd72013-05-24 22:23:49 +0000344 return 7 - countTrailingZeros<uint64_t>(Imm.Val);
Ulrich Weigand640192d2013-05-03 19:49:39 +0000345 }
346
347 bool isToken() const { return Kind == Token; }
348 bool isImm() const { return Kind == Immediate || Kind == Expression; }
349 bool isU5Imm() const { return Kind == Immediate && isUInt<5>(getImm()); }
350 bool isS5Imm() const { return Kind == Immediate && isInt<5>(getImm()); }
351 bool isU6Imm() const { return Kind == Immediate && isUInt<6>(getImm()); }
352 bool isU16Imm() const { return Kind == Expression ||
353 (Kind == Immediate && isUInt<16>(getImm())); }
354 bool isS16Imm() const { return Kind == Expression ||
355 (Kind == Immediate && isInt<16>(getImm())); }
356 bool isS16ImmX4() const { return Kind == Expression ||
357 (Kind == Immediate && isInt<16>(getImm()) &&
358 (getImm() & 3) == 0); }
Ulrich Weigand5a02a022013-06-26 13:49:53 +0000359 bool isS17Imm() const { return Kind == Expression ||
360 (Kind == Immediate && isInt<17>(getImm())); }
Ulrich Weigand5b427592013-07-05 12:22:36 +0000361 bool isTLSReg() const { return Kind == TLSRegister; }
Ulrich Weigandb6a30d12013-06-24 11:03:33 +0000362 bool isDirectBr() const { return Kind == Expression ||
363 (Kind == Immediate && isInt<26>(getImm()) &&
364 (getImm() & 3) == 0); }
365 bool isCondBr() const { return Kind == Expression ||
366 (Kind == Immediate && isInt<16>(getImm()) &&
367 (getImm() & 3) == 0); }
Ulrich Weigand640192d2013-05-03 19:49:39 +0000368 bool isRegNumber() const { return Kind == Immediate && isUInt<5>(getImm()); }
Ulrich Weigandb86cb7d2013-07-04 14:24:00 +0000369 bool isCCRegNumber() const { return (Kind == Expression
370 && isUInt<3>(getExprCRVal())) ||
371 (Kind == Immediate
372 && isUInt<3>(getImm())); }
373 bool isCRBitNumber() const { return (Kind == Expression
374 && isUInt<5>(getExprCRVal())) ||
375 (Kind == Immediate
376 && isUInt<5>(getImm())); }
Ulrich Weigand640192d2013-05-03 19:49:39 +0000377 bool isCRBitMask() const { return Kind == Immediate && isUInt<8>(getImm()) &&
378 isPowerOf2_32(getImm()); }
379 bool isMem() const { return false; }
380 bool isReg() const { return false; }
381
382 void addRegOperands(MCInst &Inst, unsigned N) const {
383 llvm_unreachable("addRegOperands");
384 }
385
386 void addRegGPRCOperands(MCInst &Inst, unsigned N) const {
387 assert(N == 1 && "Invalid number of operands!");
388 Inst.addOperand(MCOperand::CreateReg(RRegs[getReg()]));
389 }
390
391 void addRegGPRCNoR0Operands(MCInst &Inst, unsigned N) const {
392 assert(N == 1 && "Invalid number of operands!");
393 Inst.addOperand(MCOperand::CreateReg(RRegsNoR0[getReg()]));
394 }
395
396 void addRegG8RCOperands(MCInst &Inst, unsigned N) const {
397 assert(N == 1 && "Invalid number of operands!");
398 Inst.addOperand(MCOperand::CreateReg(XRegs[getReg()]));
399 }
400
401 void addRegG8RCNoX0Operands(MCInst &Inst, unsigned N) const {
402 assert(N == 1 && "Invalid number of operands!");
403 Inst.addOperand(MCOperand::CreateReg(XRegsNoX0[getReg()]));
404 }
405
406 void addRegGxRCOperands(MCInst &Inst, unsigned N) const {
407 if (isPPC64())
408 addRegG8RCOperands(Inst, N);
409 else
410 addRegGPRCOperands(Inst, N);
411 }
412
413 void addRegGxRCNoR0Operands(MCInst &Inst, unsigned N) const {
414 if (isPPC64())
415 addRegG8RCNoX0Operands(Inst, N);
416 else
417 addRegGPRCNoR0Operands(Inst, N);
418 }
419
420 void addRegF4RCOperands(MCInst &Inst, unsigned N) const {
421 assert(N == 1 && "Invalid number of operands!");
422 Inst.addOperand(MCOperand::CreateReg(FRegs[getReg()]));
423 }
424
425 void addRegF8RCOperands(MCInst &Inst, unsigned N) const {
426 assert(N == 1 && "Invalid number of operands!");
427 Inst.addOperand(MCOperand::CreateReg(FRegs[getReg()]));
428 }
429
430 void addRegVRRCOperands(MCInst &Inst, unsigned N) const {
431 assert(N == 1 && "Invalid number of operands!");
432 Inst.addOperand(MCOperand::CreateReg(VRegs[getReg()]));
433 }
434
435 void addRegCRBITRCOperands(MCInst &Inst, unsigned N) const {
436 assert(N == 1 && "Invalid number of operands!");
Ulrich Weigandb86cb7d2013-07-04 14:24:00 +0000437 Inst.addOperand(MCOperand::CreateReg(CRBITRegs[getCRBit()]));
Ulrich Weigand640192d2013-05-03 19:49:39 +0000438 }
439
440 void addRegCRRCOperands(MCInst &Inst, unsigned N) const {
441 assert(N == 1 && "Invalid number of operands!");
442 Inst.addOperand(MCOperand::CreateReg(CRRegs[getCCReg()]));
443 }
444
445 void addCRBitMaskOperands(MCInst &Inst, unsigned N) const {
446 assert(N == 1 && "Invalid number of operands!");
447 Inst.addOperand(MCOperand::CreateReg(CRRegs[getCRBitMask()]));
448 }
449
450 void addImmOperands(MCInst &Inst, unsigned N) const {
451 assert(N == 1 && "Invalid number of operands!");
452 if (Kind == Immediate)
453 Inst.addOperand(MCOperand::CreateImm(getImm()));
454 else
455 Inst.addOperand(MCOperand::CreateExpr(getExpr()));
456 }
457
Ulrich Weigandb6a30d12013-06-24 11:03:33 +0000458 void addBranchTargetOperands(MCInst &Inst, unsigned N) const {
459 assert(N == 1 && "Invalid number of operands!");
460 if (Kind == Immediate)
461 Inst.addOperand(MCOperand::CreateImm(getImm() / 4));
462 else
463 Inst.addOperand(MCOperand::CreateExpr(getExpr()));
464 }
465
Ulrich Weigand5b427592013-07-05 12:22:36 +0000466 void addTLSRegOperands(MCInst &Inst, unsigned N) const {
467 assert(N == 1 && "Invalid number of operands!");
468 Inst.addOperand(MCOperand::CreateExpr(getTLSReg()));
469 }
470
Ulrich Weigand640192d2013-05-03 19:49:39 +0000471 StringRef getToken() const {
472 assert(Kind == Token && "Invalid access!");
473 return StringRef(Tok.Data, Tok.Length);
474 }
475
476 virtual void print(raw_ostream &OS) const;
477
478 static PPCOperand *CreateToken(StringRef Str, SMLoc S, bool IsPPC64) {
479 PPCOperand *Op = new PPCOperand(Token);
480 Op->Tok.Data = Str.data();
481 Op->Tok.Length = Str.size();
482 Op->StartLoc = S;
483 Op->EndLoc = S;
484 Op->IsPPC64 = IsPPC64;
485 return Op;
486 }
487
488 static PPCOperand *CreateImm(int64_t Val, SMLoc S, SMLoc E, bool IsPPC64) {
489 PPCOperand *Op = new PPCOperand(Immediate);
490 Op->Imm.Val = Val;
491 Op->StartLoc = S;
492 Op->EndLoc = E;
493 Op->IsPPC64 = IsPPC64;
494 return Op;
495 }
496
497 static PPCOperand *CreateExpr(const MCExpr *Val,
498 SMLoc S, SMLoc E, bool IsPPC64) {
499 PPCOperand *Op = new PPCOperand(Expression);
500 Op->Expr.Val = Val;
Ulrich Weigandb86cb7d2013-07-04 14:24:00 +0000501 Op->Expr.CRVal = EvaluateCRExpr(Val);
Ulrich Weigand640192d2013-05-03 19:49:39 +0000502 Op->StartLoc = S;
503 Op->EndLoc = E;
504 Op->IsPPC64 = IsPPC64;
505 return Op;
506 }
Ulrich Weigand5b427592013-07-05 12:22:36 +0000507
508 static PPCOperand *CreateTLSReg(const MCSymbolRefExpr *Sym,
509 SMLoc S, SMLoc E, bool IsPPC64) {
510 PPCOperand *Op = new PPCOperand(TLSRegister);
511 Op->TLSReg.Sym = Sym;
512 Op->StartLoc = S;
513 Op->EndLoc = E;
514 Op->IsPPC64 = IsPPC64;
515 return Op;
516 }
517
518 static PPCOperand *CreateFromMCExpr(const MCExpr *Val,
519 SMLoc S, SMLoc E, bool IsPPC64) {
520 if (const MCConstantExpr *CE = dyn_cast<MCConstantExpr>(Val))
521 return CreateImm(CE->getValue(), S, E, IsPPC64);
522
523 if (const MCSymbolRefExpr *SRE = dyn_cast<MCSymbolRefExpr>(Val))
524 if (SRE->getKind() == MCSymbolRefExpr::VK_PPC_TLS)
525 return CreateTLSReg(SRE, S, E, IsPPC64);
526
527 return CreateExpr(Val, S, E, IsPPC64);
528 }
Ulrich Weigand640192d2013-05-03 19:49:39 +0000529};
530
531} // end anonymous namespace.
532
533void PPCOperand::print(raw_ostream &OS) const {
534 switch (Kind) {
535 case Token:
536 OS << "'" << getToken() << "'";
537 break;
538 case Immediate:
539 OS << getImm();
540 break;
541 case Expression:
542 getExpr()->print(OS);
543 break;
Ulrich Weigand5b427592013-07-05 12:22:36 +0000544 case TLSRegister:
545 getTLSReg()->print(OS);
546 break;
Ulrich Weigand640192d2013-05-03 19:49:39 +0000547 }
548}
549
550
Ulrich Weigandd8394902013-05-03 19:50:27 +0000551void PPCAsmParser::
552ProcessInstruction(MCInst &Inst,
553 const SmallVectorImpl<MCParsedAsmOperand*> &Operands) {
Ulrich Weigandad873cd2013-06-25 13:17:41 +0000554 int Opcode = Inst.getOpcode();
555 switch (Opcode) {
Ulrich Weigand6ca71572013-06-24 18:08:03 +0000556 case PPC::LAx: {
557 MCInst TmpInst;
558 TmpInst.setOpcode(PPC::LA);
559 TmpInst.addOperand(Inst.getOperand(0));
560 TmpInst.addOperand(Inst.getOperand(2));
561 TmpInst.addOperand(Inst.getOperand(1));
562 Inst = TmpInst;
563 break;
564 }
Ulrich Weigand4069e242013-06-25 13:16:48 +0000565 case PPC::SUBI: {
566 MCInst TmpInst;
567 int64_t N = Inst.getOperand(2).getImm();
568 TmpInst.setOpcode(PPC::ADDI);
569 TmpInst.addOperand(Inst.getOperand(0));
570 TmpInst.addOperand(Inst.getOperand(1));
571 TmpInst.addOperand(MCOperand::CreateImm(-N));
572 Inst = TmpInst;
573 break;
574 }
575 case PPC::SUBIS: {
576 MCInst TmpInst;
577 int64_t N = Inst.getOperand(2).getImm();
578 TmpInst.setOpcode(PPC::ADDIS);
579 TmpInst.addOperand(Inst.getOperand(0));
580 TmpInst.addOperand(Inst.getOperand(1));
581 TmpInst.addOperand(MCOperand::CreateImm(-N));
582 Inst = TmpInst;
583 break;
584 }
585 case PPC::SUBIC: {
586 MCInst TmpInst;
587 int64_t N = Inst.getOperand(2).getImm();
588 TmpInst.setOpcode(PPC::ADDIC);
589 TmpInst.addOperand(Inst.getOperand(0));
590 TmpInst.addOperand(Inst.getOperand(1));
591 TmpInst.addOperand(MCOperand::CreateImm(-N));
592 Inst = TmpInst;
593 break;
594 }
595 case PPC::SUBICo: {
596 MCInst TmpInst;
597 int64_t N = Inst.getOperand(2).getImm();
598 TmpInst.setOpcode(PPC::ADDICo);
599 TmpInst.addOperand(Inst.getOperand(0));
600 TmpInst.addOperand(Inst.getOperand(1));
601 TmpInst.addOperand(MCOperand::CreateImm(-N));
602 Inst = TmpInst;
603 break;
604 }
Ulrich Weigandad873cd2013-06-25 13:17:41 +0000605 case PPC::EXTLWI:
606 case PPC::EXTLWIo: {
Ulrich Weigandd8394902013-05-03 19:50:27 +0000607 MCInst TmpInst;
608 int64_t N = Inst.getOperand(2).getImm();
Ulrich Weigandad873cd2013-06-25 13:17:41 +0000609 int64_t B = Inst.getOperand(3).getImm();
610 TmpInst.setOpcode(Opcode == PPC::EXTLWI? PPC::RLWINM : PPC::RLWINMo);
611 TmpInst.addOperand(Inst.getOperand(0));
612 TmpInst.addOperand(Inst.getOperand(1));
613 TmpInst.addOperand(MCOperand::CreateImm(B));
614 TmpInst.addOperand(MCOperand::CreateImm(0));
615 TmpInst.addOperand(MCOperand::CreateImm(N - 1));
616 Inst = TmpInst;
617 break;
618 }
619 case PPC::EXTRWI:
620 case PPC::EXTRWIo: {
621 MCInst TmpInst;
622 int64_t N = Inst.getOperand(2).getImm();
623 int64_t B = Inst.getOperand(3).getImm();
624 TmpInst.setOpcode(Opcode == PPC::EXTRWI? PPC::RLWINM : PPC::RLWINMo);
625 TmpInst.addOperand(Inst.getOperand(0));
626 TmpInst.addOperand(Inst.getOperand(1));
627 TmpInst.addOperand(MCOperand::CreateImm(B + N));
628 TmpInst.addOperand(MCOperand::CreateImm(32 - N));
629 TmpInst.addOperand(MCOperand::CreateImm(31));
630 Inst = TmpInst;
631 break;
632 }
633 case PPC::INSLWI:
634 case PPC::INSLWIo: {
635 MCInst TmpInst;
636 int64_t N = Inst.getOperand(2).getImm();
637 int64_t B = Inst.getOperand(3).getImm();
638 TmpInst.setOpcode(Opcode == PPC::INSLWI? PPC::RLWIMI : PPC::RLWIMIo);
639 TmpInst.addOperand(Inst.getOperand(0));
640 TmpInst.addOperand(Inst.getOperand(0));
641 TmpInst.addOperand(Inst.getOperand(1));
642 TmpInst.addOperand(MCOperand::CreateImm(32 - B));
643 TmpInst.addOperand(MCOperand::CreateImm(B));
644 TmpInst.addOperand(MCOperand::CreateImm((B + N) - 1));
645 Inst = TmpInst;
646 break;
647 }
648 case PPC::INSRWI:
649 case PPC::INSRWIo: {
650 MCInst TmpInst;
651 int64_t N = Inst.getOperand(2).getImm();
652 int64_t B = Inst.getOperand(3).getImm();
653 TmpInst.setOpcode(Opcode == PPC::INSRWI? PPC::RLWIMI : PPC::RLWIMIo);
654 TmpInst.addOperand(Inst.getOperand(0));
655 TmpInst.addOperand(Inst.getOperand(0));
656 TmpInst.addOperand(Inst.getOperand(1));
657 TmpInst.addOperand(MCOperand::CreateImm(32 - (B + N)));
658 TmpInst.addOperand(MCOperand::CreateImm(B));
659 TmpInst.addOperand(MCOperand::CreateImm((B + N) - 1));
660 Inst = TmpInst;
661 break;
662 }
663 case PPC::ROTRWI:
664 case PPC::ROTRWIo: {
665 MCInst TmpInst;
666 int64_t N = Inst.getOperand(2).getImm();
667 TmpInst.setOpcode(Opcode == PPC::ROTRWI? PPC::RLWINM : PPC::RLWINMo);
668 TmpInst.addOperand(Inst.getOperand(0));
669 TmpInst.addOperand(Inst.getOperand(1));
670 TmpInst.addOperand(MCOperand::CreateImm(32 - N));
671 TmpInst.addOperand(MCOperand::CreateImm(0));
672 TmpInst.addOperand(MCOperand::CreateImm(31));
673 Inst = TmpInst;
674 break;
675 }
676 case PPC::SLWI:
677 case PPC::SLWIo: {
678 MCInst TmpInst;
679 int64_t N = Inst.getOperand(2).getImm();
680 TmpInst.setOpcode(Opcode == PPC::SLWI? PPC::RLWINM : PPC::RLWINMo);
Ulrich Weigandd8394902013-05-03 19:50:27 +0000681 TmpInst.addOperand(Inst.getOperand(0));
682 TmpInst.addOperand(Inst.getOperand(1));
683 TmpInst.addOperand(MCOperand::CreateImm(N));
684 TmpInst.addOperand(MCOperand::CreateImm(0));
685 TmpInst.addOperand(MCOperand::CreateImm(31 - N));
686 Inst = TmpInst;
687 break;
688 }
Ulrich Weigandad873cd2013-06-25 13:17:41 +0000689 case PPC::SRWI:
690 case PPC::SRWIo: {
Ulrich Weigandd8394902013-05-03 19:50:27 +0000691 MCInst TmpInst;
692 int64_t N = Inst.getOperand(2).getImm();
Ulrich Weigandad873cd2013-06-25 13:17:41 +0000693 TmpInst.setOpcode(Opcode == PPC::SRWI? PPC::RLWINM : PPC::RLWINMo);
Ulrich Weigandd8394902013-05-03 19:50:27 +0000694 TmpInst.addOperand(Inst.getOperand(0));
695 TmpInst.addOperand(Inst.getOperand(1));
696 TmpInst.addOperand(MCOperand::CreateImm(32 - N));
697 TmpInst.addOperand(MCOperand::CreateImm(N));
698 TmpInst.addOperand(MCOperand::CreateImm(31));
699 Inst = TmpInst;
700 break;
701 }
Ulrich Weigandad873cd2013-06-25 13:17:41 +0000702 case PPC::CLRRWI:
703 case PPC::CLRRWIo: {
Ulrich Weigandd8394902013-05-03 19:50:27 +0000704 MCInst TmpInst;
705 int64_t N = Inst.getOperand(2).getImm();
Ulrich Weigandad873cd2013-06-25 13:17:41 +0000706 TmpInst.setOpcode(Opcode == PPC::CLRRWI? PPC::RLWINM : PPC::RLWINMo);
707 TmpInst.addOperand(Inst.getOperand(0));
708 TmpInst.addOperand(Inst.getOperand(1));
709 TmpInst.addOperand(MCOperand::CreateImm(0));
710 TmpInst.addOperand(MCOperand::CreateImm(0));
711 TmpInst.addOperand(MCOperand::CreateImm(31 - N));
712 Inst = TmpInst;
713 break;
714 }
715 case PPC::CLRLSLWI:
716 case PPC::CLRLSLWIo: {
717 MCInst TmpInst;
718 int64_t B = Inst.getOperand(2).getImm();
719 int64_t N = Inst.getOperand(3).getImm();
720 TmpInst.setOpcode(Opcode == PPC::CLRLSLWI? PPC::RLWINM : PPC::RLWINMo);
721 TmpInst.addOperand(Inst.getOperand(0));
722 TmpInst.addOperand(Inst.getOperand(1));
723 TmpInst.addOperand(MCOperand::CreateImm(N));
724 TmpInst.addOperand(MCOperand::CreateImm(B - N));
725 TmpInst.addOperand(MCOperand::CreateImm(31 - N));
726 Inst = TmpInst;
727 break;
728 }
729 case PPC::EXTLDI:
730 case PPC::EXTLDIo: {
731 MCInst TmpInst;
732 int64_t N = Inst.getOperand(2).getImm();
733 int64_t B = Inst.getOperand(3).getImm();
734 TmpInst.setOpcode(Opcode == PPC::EXTLDI? PPC::RLDICR : PPC::RLDICRo);
735 TmpInst.addOperand(Inst.getOperand(0));
736 TmpInst.addOperand(Inst.getOperand(1));
737 TmpInst.addOperand(MCOperand::CreateImm(B));
738 TmpInst.addOperand(MCOperand::CreateImm(N - 1));
739 Inst = TmpInst;
740 break;
741 }
742 case PPC::EXTRDI:
743 case PPC::EXTRDIo: {
744 MCInst TmpInst;
745 int64_t N = Inst.getOperand(2).getImm();
746 int64_t B = Inst.getOperand(3).getImm();
747 TmpInst.setOpcode(Opcode == PPC::EXTRDI? PPC::RLDICL : PPC::RLDICLo);
748 TmpInst.addOperand(Inst.getOperand(0));
749 TmpInst.addOperand(Inst.getOperand(1));
750 TmpInst.addOperand(MCOperand::CreateImm(B + N));
751 TmpInst.addOperand(MCOperand::CreateImm(64 - N));
752 Inst = TmpInst;
753 break;
754 }
755 case PPC::INSRDI:
756 case PPC::INSRDIo: {
757 MCInst TmpInst;
758 int64_t N = Inst.getOperand(2).getImm();
759 int64_t B = Inst.getOperand(3).getImm();
760 TmpInst.setOpcode(Opcode == PPC::INSRDI? PPC::RLDIMI : PPC::RLDIMIo);
761 TmpInst.addOperand(Inst.getOperand(0));
762 TmpInst.addOperand(Inst.getOperand(0));
763 TmpInst.addOperand(Inst.getOperand(1));
764 TmpInst.addOperand(MCOperand::CreateImm(64 - (B + N)));
765 TmpInst.addOperand(MCOperand::CreateImm(B));
766 Inst = TmpInst;
767 break;
768 }
769 case PPC::ROTRDI:
770 case PPC::ROTRDIo: {
771 MCInst TmpInst;
772 int64_t N = Inst.getOperand(2).getImm();
773 TmpInst.setOpcode(Opcode == PPC::ROTRDI? PPC::RLDICL : PPC::RLDICLo);
774 TmpInst.addOperand(Inst.getOperand(0));
775 TmpInst.addOperand(Inst.getOperand(1));
776 TmpInst.addOperand(MCOperand::CreateImm(64 - N));
777 TmpInst.addOperand(MCOperand::CreateImm(0));
778 Inst = TmpInst;
779 break;
780 }
781 case PPC::SLDI:
782 case PPC::SLDIo: {
783 MCInst TmpInst;
784 int64_t N = Inst.getOperand(2).getImm();
785 TmpInst.setOpcode(Opcode == PPC::SLDI? PPC::RLDICR : PPC::RLDICRo);
Ulrich Weigandd8394902013-05-03 19:50:27 +0000786 TmpInst.addOperand(Inst.getOperand(0));
787 TmpInst.addOperand(Inst.getOperand(1));
788 TmpInst.addOperand(MCOperand::CreateImm(N));
789 TmpInst.addOperand(MCOperand::CreateImm(63 - N));
790 Inst = TmpInst;
791 break;
792 }
Ulrich Weigandad873cd2013-06-25 13:17:41 +0000793 case PPC::SRDI:
794 case PPC::SRDIo: {
Ulrich Weigandd8394902013-05-03 19:50:27 +0000795 MCInst TmpInst;
796 int64_t N = Inst.getOperand(2).getImm();
Ulrich Weigandad873cd2013-06-25 13:17:41 +0000797 TmpInst.setOpcode(Opcode == PPC::SRDI? PPC::RLDICL : PPC::RLDICLo);
Ulrich Weigandd8394902013-05-03 19:50:27 +0000798 TmpInst.addOperand(Inst.getOperand(0));
799 TmpInst.addOperand(Inst.getOperand(1));
800 TmpInst.addOperand(MCOperand::CreateImm(64 - N));
801 TmpInst.addOperand(MCOperand::CreateImm(N));
802 Inst = TmpInst;
803 break;
804 }
Ulrich Weigandad873cd2013-06-25 13:17:41 +0000805 case PPC::CLRRDI:
806 case PPC::CLRRDIo: {
807 MCInst TmpInst;
808 int64_t N = Inst.getOperand(2).getImm();
809 TmpInst.setOpcode(Opcode == PPC::CLRRDI? PPC::RLDICR : PPC::RLDICRo);
810 TmpInst.addOperand(Inst.getOperand(0));
811 TmpInst.addOperand(Inst.getOperand(1));
812 TmpInst.addOperand(MCOperand::CreateImm(0));
813 TmpInst.addOperand(MCOperand::CreateImm(63 - N));
814 Inst = TmpInst;
815 break;
816 }
817 case PPC::CLRLSLDI:
818 case PPC::CLRLSLDIo: {
819 MCInst TmpInst;
820 int64_t B = Inst.getOperand(2).getImm();
821 int64_t N = Inst.getOperand(3).getImm();
822 TmpInst.setOpcode(Opcode == PPC::CLRLSLDI? PPC::RLDIC : PPC::RLDICo);
823 TmpInst.addOperand(Inst.getOperand(0));
824 TmpInst.addOperand(Inst.getOperand(1));
825 TmpInst.addOperand(MCOperand::CreateImm(N));
826 TmpInst.addOperand(MCOperand::CreateImm(B - N));
827 Inst = TmpInst;
828 break;
829 }
Ulrich Weigandd8394902013-05-03 19:50:27 +0000830 }
831}
832
Ulrich Weigand640192d2013-05-03 19:49:39 +0000833bool PPCAsmParser::
834MatchAndEmitInstruction(SMLoc IDLoc, unsigned &Opcode,
835 SmallVectorImpl<MCParsedAsmOperand*> &Operands,
836 MCStreamer &Out, unsigned &ErrorInfo,
837 bool MatchingInlineAsm) {
838 MCInst Inst;
839
840 switch (MatchInstructionImpl(Operands, Inst, ErrorInfo, MatchingInlineAsm)) {
841 default: break;
842 case Match_Success:
Ulrich Weigandd8394902013-05-03 19:50:27 +0000843 // Post-process instructions (typically extended mnemonics)
844 ProcessInstruction(Inst, Operands);
Ulrich Weigand640192d2013-05-03 19:49:39 +0000845 Inst.setLoc(IDLoc);
846 Out.EmitInstruction(Inst);
847 return false;
848 case Match_MissingFeature:
849 return Error(IDLoc, "instruction use requires an option to be enabled");
850 case Match_MnemonicFail:
851 return Error(IDLoc, "unrecognized instruction mnemonic");
852 case Match_InvalidOperand: {
853 SMLoc ErrorLoc = IDLoc;
854 if (ErrorInfo != ~0U) {
855 if (ErrorInfo >= Operands.size())
856 return Error(IDLoc, "too few operands for instruction");
857
858 ErrorLoc = ((PPCOperand*)Operands[ErrorInfo])->getStartLoc();
859 if (ErrorLoc == SMLoc()) ErrorLoc = IDLoc;
860 }
861
862 return Error(ErrorLoc, "invalid operand for instruction");
863 }
864 }
865
866 llvm_unreachable("Implement any new match types added!");
867}
868
869bool PPCAsmParser::
870MatchRegisterName(const AsmToken &Tok, unsigned &RegNo, int64_t &IntVal) {
871 if (Tok.is(AsmToken::Identifier)) {
Ulrich Weigand509c2402013-05-06 11:16:57 +0000872 StringRef Name = Tok.getString();
Ulrich Weigand640192d2013-05-03 19:49:39 +0000873
Ulrich Weigand509c2402013-05-06 11:16:57 +0000874 if (Name.equals_lower("lr")) {
Ulrich Weigand640192d2013-05-03 19:49:39 +0000875 RegNo = isPPC64()? PPC::LR8 : PPC::LR;
876 IntVal = 8;
877 return false;
Ulrich Weigand509c2402013-05-06 11:16:57 +0000878 } else if (Name.equals_lower("ctr")) {
Ulrich Weigand640192d2013-05-03 19:49:39 +0000879 RegNo = isPPC64()? PPC::CTR8 : PPC::CTR;
880 IntVal = 9;
881 return false;
Hal Finkel52727c62013-07-02 03:39:34 +0000882 } else if (Name.equals_lower("vrsave")) {
883 RegNo = PPC::VRSAVE;
884 IntVal = 256;
885 return false;
Ulrich Weigand509c2402013-05-06 11:16:57 +0000886 } else if (Name.substr(0, 1).equals_lower("r") &&
Ulrich Weigand640192d2013-05-03 19:49:39 +0000887 !Name.substr(1).getAsInteger(10, IntVal) && IntVal < 32) {
888 RegNo = isPPC64()? XRegs[IntVal] : RRegs[IntVal];
889 return false;
Ulrich Weigand509c2402013-05-06 11:16:57 +0000890 } else if (Name.substr(0, 1).equals_lower("f") &&
Ulrich Weigand640192d2013-05-03 19:49:39 +0000891 !Name.substr(1).getAsInteger(10, IntVal) && IntVal < 32) {
892 RegNo = FRegs[IntVal];
893 return false;
Ulrich Weigand509c2402013-05-06 11:16:57 +0000894 } else if (Name.substr(0, 1).equals_lower("v") &&
Ulrich Weigand640192d2013-05-03 19:49:39 +0000895 !Name.substr(1).getAsInteger(10, IntVal) && IntVal < 32) {
896 RegNo = VRegs[IntVal];
897 return false;
Ulrich Weigand509c2402013-05-06 11:16:57 +0000898 } else if (Name.substr(0, 2).equals_lower("cr") &&
Ulrich Weigand640192d2013-05-03 19:49:39 +0000899 !Name.substr(2).getAsInteger(10, IntVal) && IntVal < 8) {
900 RegNo = CRRegs[IntVal];
901 return false;
902 }
903 }
904
905 return true;
906}
907
908bool PPCAsmParser::
909ParseRegister(unsigned &RegNo, SMLoc &StartLoc, SMLoc &EndLoc) {
910 const AsmToken &Tok = Parser.getTok();
911 StartLoc = Tok.getLoc();
912 EndLoc = Tok.getEndLoc();
913 RegNo = 0;
914 int64_t IntVal;
915
916 if (!MatchRegisterName(Tok, RegNo, IntVal)) {
917 Parser.Lex(); // Eat identifier token.
918 return false;
919 }
920
921 return Error(StartLoc, "invalid register name");
922}
923
NAKAMURA Takumi36c17ee2013-06-25 01:14:20 +0000924/// Extract \code @l/@ha \endcode modifier from expression. Recursively scan
Ulrich Weigande67c5652013-06-21 14:42:49 +0000925/// the expression and check for VK_PPC_LO/HI/HA
Ulrich Weigand96e65782013-06-20 16:23:52 +0000926/// symbol variants. If all symbols with modifier use the same
927/// variant, return the corresponding PPCMCExpr::VariantKind,
928/// and a modified expression using the default symbol variant.
929/// Otherwise, return NULL.
930const MCExpr *PPCAsmParser::
931ExtractModifierFromExpr(const MCExpr *E,
932 PPCMCExpr::VariantKind &Variant) {
933 MCContext &Context = getParser().getContext();
934 Variant = PPCMCExpr::VK_PPC_None;
935
936 switch (E->getKind()) {
937 case MCExpr::Target:
938 case MCExpr::Constant:
939 return 0;
940
941 case MCExpr::SymbolRef: {
942 const MCSymbolRefExpr *SRE = cast<MCSymbolRefExpr>(E);
943
944 switch (SRE->getKind()) {
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000945 case MCSymbolRefExpr::VK_PPC_LO:
946 Variant = PPCMCExpr::VK_PPC_LO;
Ulrich Weigand96e65782013-06-20 16:23:52 +0000947 break;
Ulrich Weigande67c5652013-06-21 14:42:49 +0000948 case MCSymbolRefExpr::VK_PPC_HI:
949 Variant = PPCMCExpr::VK_PPC_HI;
950 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000951 case MCSymbolRefExpr::VK_PPC_HA:
952 Variant = PPCMCExpr::VK_PPC_HA;
Ulrich Weigand96e65782013-06-20 16:23:52 +0000953 break;
Ulrich Weigande9126f52013-06-21 14:43:42 +0000954 case MCSymbolRefExpr::VK_PPC_HIGHER:
955 Variant = PPCMCExpr::VK_PPC_HIGHER;
956 break;
957 case MCSymbolRefExpr::VK_PPC_HIGHERA:
958 Variant = PPCMCExpr::VK_PPC_HIGHERA;
959 break;
960 case MCSymbolRefExpr::VK_PPC_HIGHEST:
961 Variant = PPCMCExpr::VK_PPC_HIGHEST;
962 break;
963 case MCSymbolRefExpr::VK_PPC_HIGHESTA:
964 Variant = PPCMCExpr::VK_PPC_HIGHESTA;
965 break;
Ulrich Weigand96e65782013-06-20 16:23:52 +0000966 default:
967 return 0;
968 }
969
970 return MCSymbolRefExpr::Create(&SRE->getSymbol(), Context);
971 }
972
973 case MCExpr::Unary: {
974 const MCUnaryExpr *UE = cast<MCUnaryExpr>(E);
975 const MCExpr *Sub = ExtractModifierFromExpr(UE->getSubExpr(), Variant);
976 if (!Sub)
977 return 0;
978 return MCUnaryExpr::Create(UE->getOpcode(), Sub, Context);
979 }
980
981 case MCExpr::Binary: {
982 const MCBinaryExpr *BE = cast<MCBinaryExpr>(E);
983 PPCMCExpr::VariantKind LHSVariant, RHSVariant;
984 const MCExpr *LHS = ExtractModifierFromExpr(BE->getLHS(), LHSVariant);
985 const MCExpr *RHS = ExtractModifierFromExpr(BE->getRHS(), RHSVariant);
986
987 if (!LHS && !RHS)
988 return 0;
989
990 if (!LHS) LHS = BE->getLHS();
991 if (!RHS) RHS = BE->getRHS();
992
993 if (LHSVariant == PPCMCExpr::VK_PPC_None)
994 Variant = RHSVariant;
995 else if (RHSVariant == PPCMCExpr::VK_PPC_None)
996 Variant = LHSVariant;
997 else if (LHSVariant == RHSVariant)
998 Variant = LHSVariant;
999 else
1000 return 0;
1001
1002 return MCBinaryExpr::Create(BE->getOpcode(), LHS, RHS, Context);
1003 }
1004 }
1005
1006 llvm_unreachable("Invalid expression kind!");
1007}
1008
1009/// Parse an expression. This differs from the default "parseExpression"
NAKAMURA Takumi36c17ee2013-06-25 01:14:20 +00001010/// in that it handles complex \code @l/@ha \endcode modifiers.
Ulrich Weigand96e65782013-06-20 16:23:52 +00001011bool PPCAsmParser::
1012ParseExpression(const MCExpr *&EVal) {
1013 if (getParser().parseExpression(EVal))
1014 return true;
1015
1016 PPCMCExpr::VariantKind Variant;
1017 const MCExpr *E = ExtractModifierFromExpr(EVal, Variant);
1018 if (E)
Ulrich Weigand266db7f2013-07-08 20:20:51 +00001019 EVal = PPCMCExpr::Create(Variant, E, false, getParser().getContext());
Ulrich Weigand96e65782013-06-20 16:23:52 +00001020
1021 return false;
1022}
1023
Ulrich Weigand640192d2013-05-03 19:49:39 +00001024bool PPCAsmParser::
1025ParseOperand(SmallVectorImpl<MCParsedAsmOperand*> &Operands) {
1026 SMLoc S = Parser.getTok().getLoc();
1027 SMLoc E = SMLoc::getFromPointer(Parser.getTok().getLoc().getPointer() - 1);
1028 const MCExpr *EVal;
1029 PPCOperand *Op;
1030
1031 // Attempt to parse the next token as an immediate
1032 switch (getLexer().getKind()) {
1033 // Special handling for register names. These are interpreted
1034 // as immediates corresponding to the register number.
1035 case AsmToken::Percent:
1036 Parser.Lex(); // Eat the '%'.
1037 unsigned RegNo;
1038 int64_t IntVal;
1039 if (!MatchRegisterName(Parser.getTok(), RegNo, IntVal)) {
1040 Parser.Lex(); // Eat the identifier token.
1041 Op = PPCOperand::CreateImm(IntVal, S, E, isPPC64());
1042 Operands.push_back(Op);
1043 return false;
1044 }
1045 return Error(S, "invalid register name");
1046
1047 // All other expressions
1048 case AsmToken::LParen:
1049 case AsmToken::Plus:
1050 case AsmToken::Minus:
1051 case AsmToken::Integer:
1052 case AsmToken::Identifier:
1053 case AsmToken::Dot:
1054 case AsmToken::Dollar:
Ulrich Weigand96e65782013-06-20 16:23:52 +00001055 if (!ParseExpression(EVal))
Ulrich Weigand640192d2013-05-03 19:49:39 +00001056 break;
1057 /* fall through */
1058 default:
1059 return Error(S, "unknown operand");
1060 }
1061
Ulrich Weigand640192d2013-05-03 19:49:39 +00001062 // Push the parsed operand into the list of operands
Ulrich Weigand5b427592013-07-05 12:22:36 +00001063 Op = PPCOperand::CreateFromMCExpr(EVal, S, E, isPPC64());
Ulrich Weigand640192d2013-05-03 19:49:39 +00001064 Operands.push_back(Op);
1065
Ulrich Weigand42a09dc2013-07-02 21:31:59 +00001066 // Check whether this is a TLS call expression
1067 bool TLSCall = false;
1068 if (const MCSymbolRefExpr *Ref = dyn_cast<MCSymbolRefExpr>(EVal))
1069 TLSCall = Ref->getSymbol().getName() == "__tls_get_addr";
1070
1071 if (TLSCall && getLexer().is(AsmToken::LParen)) {
1072 const MCExpr *TLSSym;
1073
1074 Parser.Lex(); // Eat the '('.
1075 S = Parser.getTok().getLoc();
1076 if (ParseExpression(TLSSym))
1077 return Error(S, "invalid TLS call expression");
1078 if (getLexer().isNot(AsmToken::RParen))
1079 return Error(Parser.getTok().getLoc(), "missing ')'");
1080 E = Parser.getTok().getLoc();
1081 Parser.Lex(); // Eat the ')'.
1082
Ulrich Weigand5b427592013-07-05 12:22:36 +00001083 Op = PPCOperand::CreateFromMCExpr(TLSSym, S, E, isPPC64());
Ulrich Weigand42a09dc2013-07-02 21:31:59 +00001084 Operands.push_back(Op);
1085 }
1086
1087 // Otherwise, check for D-form memory operands
1088 if (!TLSCall && getLexer().is(AsmToken::LParen)) {
Ulrich Weigand640192d2013-05-03 19:49:39 +00001089 Parser.Lex(); // Eat the '('.
1090 S = Parser.getTok().getLoc();
1091
1092 int64_t IntVal;
1093 switch (getLexer().getKind()) {
1094 case AsmToken::Percent:
1095 Parser.Lex(); // Eat the '%'.
1096 unsigned RegNo;
1097 if (MatchRegisterName(Parser.getTok(), RegNo, IntVal))
1098 return Error(S, "invalid register name");
1099 Parser.Lex(); // Eat the identifier token.
1100 break;
1101
1102 case AsmToken::Integer:
1103 if (getParser().parseAbsoluteExpression(IntVal) ||
1104 IntVal < 0 || IntVal > 31)
1105 return Error(S, "invalid register number");
1106 break;
1107
1108 default:
1109 return Error(S, "invalid memory operand");
1110 }
1111
1112 if (getLexer().isNot(AsmToken::RParen))
1113 return Error(Parser.getTok().getLoc(), "missing ')'");
1114 E = Parser.getTok().getLoc();
1115 Parser.Lex(); // Eat the ')'.
1116
1117 Op = PPCOperand::CreateImm(IntVal, S, E, isPPC64());
1118 Operands.push_back(Op);
1119 }
1120
1121 return false;
1122}
1123
1124/// Parse an instruction mnemonic followed by its operands.
1125bool PPCAsmParser::
1126ParseInstruction(ParseInstructionInfo &Info, StringRef Name, SMLoc NameLoc,
1127 SmallVectorImpl<MCParsedAsmOperand*> &Operands) {
1128 // The first operand is the token for the instruction name.
Ulrich Weigand86247b62013-06-24 16:52:04 +00001129 // If the next character is a '+' or '-', we need to add it to the
1130 // instruction name, to match what TableGen is doing.
1131 if (getLexer().is(AsmToken::Plus)) {
1132 getLexer().Lex();
1133 char *NewOpcode = new char[Name.size() + 1];
1134 memcpy(NewOpcode, Name.data(), Name.size());
1135 NewOpcode[Name.size()] = '+';
1136 Name = StringRef(NewOpcode, Name.size() + 1);
1137 }
1138 if (getLexer().is(AsmToken::Minus)) {
1139 getLexer().Lex();
1140 char *NewOpcode = new char[Name.size() + 1];
1141 memcpy(NewOpcode, Name.data(), Name.size());
1142 NewOpcode[Name.size()] = '-';
1143 Name = StringRef(NewOpcode, Name.size() + 1);
1144 }
Ulrich Weigand640192d2013-05-03 19:49:39 +00001145 // If the instruction ends in a '.', we need to create a separate
1146 // token for it, to match what TableGen is doing.
1147 size_t Dot = Name.find('.');
1148 StringRef Mnemonic = Name.slice(0, Dot);
1149 Operands.push_back(PPCOperand::CreateToken(Mnemonic, NameLoc, isPPC64()));
1150 if (Dot != StringRef::npos) {
1151 SMLoc DotLoc = SMLoc::getFromPointer(NameLoc.getPointer() + Dot);
1152 StringRef DotStr = Name.slice(Dot, StringRef::npos);
1153 Operands.push_back(PPCOperand::CreateToken(DotStr, DotLoc, isPPC64()));
1154 }
1155
1156 // If there are no more operands then finish
1157 if (getLexer().is(AsmToken::EndOfStatement))
1158 return false;
1159
1160 // Parse the first operand
1161 if (ParseOperand(Operands))
1162 return true;
1163
1164 while (getLexer().isNot(AsmToken::EndOfStatement) &&
1165 getLexer().is(AsmToken::Comma)) {
1166 // Consume the comma token
1167 getLexer().Lex();
1168
1169 // Parse the next operand
1170 if (ParseOperand(Operands))
1171 return true;
1172 }
1173
1174 return false;
1175}
1176
1177/// ParseDirective parses the PPC specific directives
1178bool PPCAsmParser::ParseDirective(AsmToken DirectiveID) {
1179 StringRef IDVal = DirectiveID.getIdentifier();
1180 if (IDVal == ".word")
Ulrich Weigand78a5a112013-07-09 07:59:25 +00001181 return ParseDirectiveWord(2, DirectiveID.getLoc());
1182 if (IDVal == ".llong")
1183 return ParseDirectiveWord(8, DirectiveID.getLoc());
Ulrich Weigand640192d2013-05-03 19:49:39 +00001184 if (IDVal == ".tc")
1185 return ParseDirectiveTC(isPPC64()? 8 : 4, DirectiveID.getLoc());
Ulrich Weigand55daa772013-07-09 10:00:34 +00001186 if (IDVal == ".machine")
1187 return ParseDirectiveMachine(DirectiveID.getLoc());
Ulrich Weigand640192d2013-05-03 19:49:39 +00001188 return true;
1189}
1190
1191/// ParseDirectiveWord
1192/// ::= .word [ expression (, expression)* ]
1193bool PPCAsmParser::ParseDirectiveWord(unsigned Size, SMLoc L) {
1194 if (getLexer().isNot(AsmToken::EndOfStatement)) {
1195 for (;;) {
1196 const MCExpr *Value;
1197 if (getParser().parseExpression(Value))
1198 return true;
1199
1200 getParser().getStreamer().EmitValue(Value, Size);
1201
1202 if (getLexer().is(AsmToken::EndOfStatement))
1203 break;
1204
1205 if (getLexer().isNot(AsmToken::Comma))
1206 return Error(L, "unexpected token in directive");
1207 Parser.Lex();
1208 }
1209 }
1210
1211 Parser.Lex();
1212 return false;
1213}
1214
1215/// ParseDirectiveTC
1216/// ::= .tc [ symbol (, expression)* ]
1217bool PPCAsmParser::ParseDirectiveTC(unsigned Size, SMLoc L) {
1218 // Skip TC symbol, which is only used with XCOFF.
1219 while (getLexer().isNot(AsmToken::EndOfStatement)
1220 && getLexer().isNot(AsmToken::Comma))
1221 Parser.Lex();
1222 if (getLexer().isNot(AsmToken::Comma))
1223 return Error(L, "unexpected token in directive");
1224 Parser.Lex();
1225
1226 // Align to word size.
1227 getParser().getStreamer().EmitValueToAlignment(Size);
1228
1229 // Emit expressions.
1230 return ParseDirectiveWord(Size, L);
1231}
1232
Ulrich Weigand55daa772013-07-09 10:00:34 +00001233/// ParseDirectiveMachine
1234/// ::= .machine [ cpu | "push" | "pop" ]
1235bool PPCAsmParser::ParseDirectiveMachine(SMLoc L) {
1236 if (getLexer().isNot(AsmToken::Identifier) &&
1237 getLexer().isNot(AsmToken::String))
1238 return Error(L, "unexpected token in directive");
1239
1240 StringRef CPU = Parser.getTok().getIdentifier();
1241 Parser.Lex();
1242
1243 // FIXME: Right now, the parser always allows any available
1244 // instruction, so the .machine directive is not useful.
1245 // Implement ".machine any" (by doing nothing) for the benefit
1246 // of existing assembler code. Likewise, we can then implement
1247 // ".machine push" and ".machine pop" as no-op.
1248 if (CPU != "any" && CPU != "push" && CPU != "pop")
1249 return Error(L, "unrecognized machine type");
1250
1251 if (getLexer().isNot(AsmToken::EndOfStatement))
1252 return Error(L, "unexpected token in directive");
1253
1254 return false;
1255}
1256
Ulrich Weigand640192d2013-05-03 19:49:39 +00001257/// Force static initialization.
1258extern "C" void LLVMInitializePowerPCAsmParser() {
1259 RegisterMCAsmParser<PPCAsmParser> A(ThePPC32Target);
1260 RegisterMCAsmParser<PPCAsmParser> B(ThePPC64Target);
1261}
1262
1263#define GET_REGISTER_MATCHER
1264#define GET_MATCHER_IMPLEMENTATION
1265#include "PPCGenAsmMatcher.inc"
Ulrich Weigandc0944b52013-07-08 14:49:37 +00001266
1267// Define this matcher function after the auto-generated include so we
1268// have the match class enum definitions.
1269unsigned PPCAsmParser::validateTargetOperandClass(MCParsedAsmOperand *AsmOp,
1270 unsigned Kind) {
1271 // If the kind is a token for a literal immediate, check if our asm
1272 // operand matches. This is for InstAliases which have a fixed-value
1273 // immediate in the syntax.
1274 int64_t ImmVal;
1275 switch (Kind) {
1276 case MCK_0: ImmVal = 0; break;
1277 case MCK_1: ImmVal = 1; break;
1278 default: return Match_InvalidOperand;
1279 }
1280
1281 PPCOperand *Op = static_cast<PPCOperand*>(AsmOp);
1282 if (Op->isImm() && Op->getImm() == ImmVal)
1283 return Match_Success;
1284
1285 return Match_InvalidOperand;
1286}
1287