blob: cf8ee1d6a16f715f9892f5525f6aaf3a3961bded [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
Ulrich Weigand96e65782013-06-20 16:23:52 +000010#include "MCTargetDesc/PPCMCExpr.h"
Benjamin Kramerb3e8a6d2016-01-27 10:01:28 +000011#include "MCTargetDesc/PPCMCTargetDesc.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/StringSwitch.h"
15#include "llvm/ADT/Twine.h"
Ulrich Weigandbb686102014-07-20 23:06:03 +000016#include "llvm/MC/MCContext.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000017#include "llvm/MC/MCExpr.h"
18#include "llvm/MC/MCInst.h"
19#include "llvm/MC/MCInstrInfo.h"
20#include "llvm/MC/MCParser/MCAsmLexer.h"
21#include "llvm/MC/MCParser/MCAsmParser.h"
22#include "llvm/MC/MCParser/MCParsedAsmOperand.h"
Benjamin Kramerb3e8a6d2016-01-27 10:01:28 +000023#include "llvm/MC/MCParser/MCTargetAsmParser.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000024#include "llvm/MC/MCRegisterInfo.h"
25#include "llvm/MC/MCStreamer.h"
26#include "llvm/MC/MCSubtargetInfo.h"
Benjamin Kramerb3e8a6d2016-01-27 10:01:28 +000027#include "llvm/MC/MCSymbolELF.h"
Ulrich Weigand640192d2013-05-03 19:49:39 +000028#include "llvm/Support/SourceMgr.h"
29#include "llvm/Support/TargetRegistry.h"
30#include "llvm/Support/raw_ostream.h"
31
32using namespace llvm;
33
Craig Topperf7df7222014-12-18 05:02:14 +000034static const MCPhysReg RRegs[32] = {
Ulrich Weigand640192d2013-05-03 19:49:39 +000035 PPC::R0, PPC::R1, PPC::R2, PPC::R3,
36 PPC::R4, PPC::R5, PPC::R6, PPC::R7,
37 PPC::R8, PPC::R9, PPC::R10, PPC::R11,
38 PPC::R12, PPC::R13, PPC::R14, PPC::R15,
39 PPC::R16, PPC::R17, PPC::R18, PPC::R19,
40 PPC::R20, PPC::R21, PPC::R22, PPC::R23,
41 PPC::R24, PPC::R25, PPC::R26, PPC::R27,
42 PPC::R28, PPC::R29, PPC::R30, PPC::R31
43};
Craig Topperf7df7222014-12-18 05:02:14 +000044static const MCPhysReg RRegsNoR0[32] = {
Ulrich Weigand640192d2013-05-03 19:49:39 +000045 PPC::ZERO,
46 PPC::R1, PPC::R2, PPC::R3,
47 PPC::R4, PPC::R5, PPC::R6, PPC::R7,
48 PPC::R8, PPC::R9, PPC::R10, PPC::R11,
49 PPC::R12, PPC::R13, PPC::R14, PPC::R15,
50 PPC::R16, PPC::R17, PPC::R18, PPC::R19,
51 PPC::R20, PPC::R21, PPC::R22, PPC::R23,
52 PPC::R24, PPC::R25, PPC::R26, PPC::R27,
53 PPC::R28, PPC::R29, PPC::R30, PPC::R31
54};
Craig Topperf7df7222014-12-18 05:02:14 +000055static const MCPhysReg XRegs[32] = {
Ulrich Weigand640192d2013-05-03 19:49:39 +000056 PPC::X0, PPC::X1, PPC::X2, PPC::X3,
57 PPC::X4, PPC::X5, PPC::X6, PPC::X7,
58 PPC::X8, PPC::X9, PPC::X10, PPC::X11,
59 PPC::X12, PPC::X13, PPC::X14, PPC::X15,
60 PPC::X16, PPC::X17, PPC::X18, PPC::X19,
61 PPC::X20, PPC::X21, PPC::X22, PPC::X23,
62 PPC::X24, PPC::X25, PPC::X26, PPC::X27,
63 PPC::X28, PPC::X29, PPC::X30, PPC::X31
64};
Craig Topperf7df7222014-12-18 05:02:14 +000065static const MCPhysReg XRegsNoX0[32] = {
Ulrich Weigand640192d2013-05-03 19:49:39 +000066 PPC::ZERO8,
67 PPC::X1, PPC::X2, PPC::X3,
68 PPC::X4, PPC::X5, PPC::X6, PPC::X7,
69 PPC::X8, PPC::X9, PPC::X10, PPC::X11,
70 PPC::X12, PPC::X13, PPC::X14, PPC::X15,
71 PPC::X16, PPC::X17, PPC::X18, PPC::X19,
72 PPC::X20, PPC::X21, PPC::X22, PPC::X23,
73 PPC::X24, PPC::X25, PPC::X26, PPC::X27,
74 PPC::X28, PPC::X29, PPC::X30, PPC::X31
75};
Craig Topperf7df7222014-12-18 05:02:14 +000076static const MCPhysReg FRegs[32] = {
Ulrich Weigand640192d2013-05-03 19:49:39 +000077 PPC::F0, PPC::F1, PPC::F2, PPC::F3,
78 PPC::F4, PPC::F5, PPC::F6, PPC::F7,
79 PPC::F8, PPC::F9, PPC::F10, PPC::F11,
80 PPC::F12, PPC::F13, PPC::F14, PPC::F15,
81 PPC::F16, PPC::F17, PPC::F18, PPC::F19,
82 PPC::F20, PPC::F21, PPC::F22, PPC::F23,
83 PPC::F24, PPC::F25, PPC::F26, PPC::F27,
84 PPC::F28, PPC::F29, PPC::F30, PPC::F31
85};
Craig Topperf7df7222014-12-18 05:02:14 +000086static const MCPhysReg VRegs[32] = {
Ulrich Weigand640192d2013-05-03 19:49:39 +000087 PPC::V0, PPC::V1, PPC::V2, PPC::V3,
88 PPC::V4, PPC::V5, PPC::V6, PPC::V7,
89 PPC::V8, PPC::V9, PPC::V10, PPC::V11,
90 PPC::V12, PPC::V13, PPC::V14, PPC::V15,
91 PPC::V16, PPC::V17, PPC::V18, PPC::V19,
92 PPC::V20, PPC::V21, PPC::V22, PPC::V23,
93 PPC::V24, PPC::V25, PPC::V26, PPC::V27,
94 PPC::V28, PPC::V29, PPC::V30, PPC::V31
95};
Craig Topperf7df7222014-12-18 05:02:14 +000096static const MCPhysReg VSRegs[64] = {
Hal Finkel27774d92014-03-13 07:58:58 +000097 PPC::VSL0, PPC::VSL1, PPC::VSL2, PPC::VSL3,
98 PPC::VSL4, PPC::VSL5, PPC::VSL6, PPC::VSL7,
99 PPC::VSL8, PPC::VSL9, PPC::VSL10, PPC::VSL11,
100 PPC::VSL12, PPC::VSL13, PPC::VSL14, PPC::VSL15,
101 PPC::VSL16, PPC::VSL17, PPC::VSL18, PPC::VSL19,
102 PPC::VSL20, PPC::VSL21, PPC::VSL22, PPC::VSL23,
103 PPC::VSL24, PPC::VSL25, PPC::VSL26, PPC::VSL27,
104 PPC::VSL28, PPC::VSL29, PPC::VSL30, PPC::VSL31,
105
106 PPC::VSH0, PPC::VSH1, PPC::VSH2, PPC::VSH3,
107 PPC::VSH4, PPC::VSH5, PPC::VSH6, PPC::VSH7,
108 PPC::VSH8, PPC::VSH9, PPC::VSH10, PPC::VSH11,
109 PPC::VSH12, PPC::VSH13, PPC::VSH14, PPC::VSH15,
110 PPC::VSH16, PPC::VSH17, PPC::VSH18, PPC::VSH19,
111 PPC::VSH20, PPC::VSH21, PPC::VSH22, PPC::VSH23,
112 PPC::VSH24, PPC::VSH25, PPC::VSH26, PPC::VSH27,
113 PPC::VSH28, PPC::VSH29, PPC::VSH30, PPC::VSH31
114};
Craig Topperf7df7222014-12-18 05:02:14 +0000115static const MCPhysReg VSFRegs[64] = {
Hal Finkel19be5062014-03-29 05:29:01 +0000116 PPC::F0, PPC::F1, PPC::F2, PPC::F3,
117 PPC::F4, PPC::F5, PPC::F6, PPC::F7,
118 PPC::F8, PPC::F9, PPC::F10, PPC::F11,
119 PPC::F12, PPC::F13, PPC::F14, PPC::F15,
120 PPC::F16, PPC::F17, PPC::F18, PPC::F19,
121 PPC::F20, PPC::F21, PPC::F22, PPC::F23,
122 PPC::F24, PPC::F25, PPC::F26, PPC::F27,
123 PPC::F28, PPC::F29, PPC::F30, PPC::F31,
124
125 PPC::VF0, PPC::VF1, PPC::VF2, PPC::VF3,
126 PPC::VF4, PPC::VF5, PPC::VF6, PPC::VF7,
127 PPC::VF8, PPC::VF9, PPC::VF10, PPC::VF11,
128 PPC::VF12, PPC::VF13, PPC::VF14, PPC::VF15,
129 PPC::VF16, PPC::VF17, PPC::VF18, PPC::VF19,
130 PPC::VF20, PPC::VF21, PPC::VF22, PPC::VF23,
131 PPC::VF24, PPC::VF25, PPC::VF26, PPC::VF27,
132 PPC::VF28, PPC::VF29, PPC::VF30, PPC::VF31
133};
Nemanja Ivanovicf3c94b12015-05-07 18:24:05 +0000134static const MCPhysReg VSSRegs[64] = {
135 PPC::F0, PPC::F1, PPC::F2, PPC::F3,
136 PPC::F4, PPC::F5, PPC::F6, PPC::F7,
137 PPC::F8, PPC::F9, PPC::F10, PPC::F11,
138 PPC::F12, PPC::F13, PPC::F14, PPC::F15,
139 PPC::F16, PPC::F17, PPC::F18, PPC::F19,
140 PPC::F20, PPC::F21, PPC::F22, PPC::F23,
141 PPC::F24, PPC::F25, PPC::F26, PPC::F27,
142 PPC::F28, PPC::F29, PPC::F30, PPC::F31,
143
144 PPC::VF0, PPC::VF1, PPC::VF2, PPC::VF3,
145 PPC::VF4, PPC::VF5, PPC::VF6, PPC::VF7,
146 PPC::VF8, PPC::VF9, PPC::VF10, PPC::VF11,
147 PPC::VF12, PPC::VF13, PPC::VF14, PPC::VF15,
148 PPC::VF16, PPC::VF17, PPC::VF18, PPC::VF19,
149 PPC::VF20, PPC::VF21, PPC::VF22, PPC::VF23,
150 PPC::VF24, PPC::VF25, PPC::VF26, PPC::VF27,
151 PPC::VF28, PPC::VF29, PPC::VF30, PPC::VF31
152};
Hal Finkelc93a9a22015-02-25 01:06:45 +0000153static unsigned QFRegs[32] = {
154 PPC::QF0, PPC::QF1, PPC::QF2, PPC::QF3,
155 PPC::QF4, PPC::QF5, PPC::QF6, PPC::QF7,
156 PPC::QF8, PPC::QF9, PPC::QF10, PPC::QF11,
157 PPC::QF12, PPC::QF13, PPC::QF14, PPC::QF15,
158 PPC::QF16, PPC::QF17, PPC::QF18, PPC::QF19,
159 PPC::QF20, PPC::QF21, PPC::QF22, PPC::QF23,
160 PPC::QF24, PPC::QF25, PPC::QF26, PPC::QF27,
161 PPC::QF28, PPC::QF29, PPC::QF30, PPC::QF31
162};
Craig Topperf7df7222014-12-18 05:02:14 +0000163static const MCPhysReg CRBITRegs[32] = {
Ulrich Weigand640192d2013-05-03 19:49:39 +0000164 PPC::CR0LT, PPC::CR0GT, PPC::CR0EQ, PPC::CR0UN,
165 PPC::CR1LT, PPC::CR1GT, PPC::CR1EQ, PPC::CR1UN,
166 PPC::CR2LT, PPC::CR2GT, PPC::CR2EQ, PPC::CR2UN,
167 PPC::CR3LT, PPC::CR3GT, PPC::CR3EQ, PPC::CR3UN,
168 PPC::CR4LT, PPC::CR4GT, PPC::CR4EQ, PPC::CR4UN,
169 PPC::CR5LT, PPC::CR5GT, PPC::CR5EQ, PPC::CR5UN,
170 PPC::CR6LT, PPC::CR6GT, PPC::CR6EQ, PPC::CR6UN,
171 PPC::CR7LT, PPC::CR7GT, PPC::CR7EQ, PPC::CR7UN
172};
Craig Topperf7df7222014-12-18 05:02:14 +0000173static const MCPhysReg CRRegs[8] = {
Ulrich Weigand640192d2013-05-03 19:49:39 +0000174 PPC::CR0, PPC::CR1, PPC::CR2, PPC::CR3,
175 PPC::CR4, PPC::CR5, PPC::CR6, PPC::CR7
176};
177
Ulrich Weigandb86cb7d2013-07-04 14:24:00 +0000178// Evaluate an expression containing condition register
179// or condition register field symbols. Returns positive
180// value on success, or -1 on error.
181static int64_t
182EvaluateCRExpr(const MCExpr *E) {
183 switch (E->getKind()) {
184 case MCExpr::Target:
185 return -1;
186
187 case MCExpr::Constant: {
188 int64_t Res = cast<MCConstantExpr>(E)->getValue();
189 return Res < 0 ? -1 : Res;
190 }
191
192 case MCExpr::SymbolRef: {
193 const MCSymbolRefExpr *SRE = cast<MCSymbolRefExpr>(E);
194 StringRef Name = SRE->getSymbol().getName();
195
196 if (Name == "lt") return 0;
197 if (Name == "gt") return 1;
198 if (Name == "eq") return 2;
199 if (Name == "so") return 3;
200 if (Name == "un") return 3;
201
202 if (Name == "cr0") return 0;
203 if (Name == "cr1") return 1;
204 if (Name == "cr2") return 2;
205 if (Name == "cr3") return 3;
206 if (Name == "cr4") return 4;
207 if (Name == "cr5") return 5;
208 if (Name == "cr6") return 6;
209 if (Name == "cr7") return 7;
210
211 return -1;
212 }
213
214 case MCExpr::Unary:
215 return -1;
216
217 case MCExpr::Binary: {
218 const MCBinaryExpr *BE = cast<MCBinaryExpr>(E);
219 int64_t LHSVal = EvaluateCRExpr(BE->getLHS());
220 int64_t RHSVal = EvaluateCRExpr(BE->getRHS());
221 int64_t Res;
222
223 if (LHSVal < 0 || RHSVal < 0)
224 return -1;
225
226 switch (BE->getOpcode()) {
227 default: return -1;
228 case MCBinaryExpr::Add: Res = LHSVal + RHSVal; break;
229 case MCBinaryExpr::Mul: Res = LHSVal * RHSVal; break;
230 }
231
232 return Res < 0 ? -1 : Res;
233 }
234 }
235
236 llvm_unreachable("Invalid expression kind!");
237}
238
Craig Topperf7df7222014-12-18 05:02:14 +0000239namespace {
240
Ulrich Weigand640192d2013-05-03 19:49:39 +0000241struct PPCOperand;
242
243class PPCAsmParser : public MCTargetAsmParser {
Hal Finkel0096dbd2013-09-12 14:40:06 +0000244 const MCInstrInfo &MII;
Ulrich Weigand640192d2013-05-03 19:49:39 +0000245 bool IsPPC64;
Iain Sandoee0b4cb62013-12-14 13:34:02 +0000246 bool IsDarwin;
Ulrich Weigand640192d2013-05-03 19:49:39 +0000247
Rafael Espindola961d4692014-11-11 05:18:41 +0000248 void Warning(SMLoc L, const Twine &Msg) { getParser().Warning(L, Msg); }
249 bool Error(SMLoc L, const Twine &Msg) { return getParser().Error(L, Msg); }
Ulrich Weigand640192d2013-05-03 19:49:39 +0000250
251 bool isPPC64() const { return IsPPC64; }
Iain Sandoee0b4cb62013-12-14 13:34:02 +0000252 bool isDarwin() const { return IsDarwin; }
Ulrich Weigand640192d2013-05-03 19:49:39 +0000253
254 bool MatchRegisterName(const AsmToken &Tok,
255 unsigned &RegNo, int64_t &IntVal);
256
Craig Topper0d3fa922014-04-29 07:57:37 +0000257 bool ParseRegister(unsigned &RegNo, SMLoc &StartLoc, SMLoc &EndLoc) override;
Ulrich Weigand640192d2013-05-03 19:49:39 +0000258
Ulrich Weigand96e65782013-06-20 16:23:52 +0000259 const MCExpr *ExtractModifierFromExpr(const MCExpr *E,
260 PPCMCExpr::VariantKind &Variant);
Ulrich Weigand52cf8e42013-07-09 16:41:09 +0000261 const MCExpr *FixupVariantKind(const MCExpr *E);
Ulrich Weigand96e65782013-06-20 16:23:52 +0000262 bool ParseExpression(const MCExpr *&EVal);
Iain Sandoee0b4cb62013-12-14 13:34:02 +0000263 bool ParseDarwinExpression(const MCExpr *&EVal);
Ulrich Weigand96e65782013-06-20 16:23:52 +0000264
David Blaikie960ea3f2014-06-08 16:18:35 +0000265 bool ParseOperand(OperandVector &Operands);
Ulrich Weigand640192d2013-05-03 19:49:39 +0000266
267 bool ParseDirectiveWord(unsigned Size, SMLoc L);
268 bool ParseDirectiveTC(unsigned Size, SMLoc L);
Ulrich Weigand55daa772013-07-09 10:00:34 +0000269 bool ParseDirectiveMachine(SMLoc L);
Iain Sandoee0b4cb62013-12-14 13:34:02 +0000270 bool ParseDarwinDirectiveMachine(SMLoc L);
Ulrich Weigand0daa5162014-07-20 22:56:57 +0000271 bool ParseDirectiveAbiVersion(SMLoc L);
Ulrich Weigandbb686102014-07-20 23:06:03 +0000272 bool ParseDirectiveLocalEntry(SMLoc L);
Ulrich Weigand640192d2013-05-03 19:49:39 +0000273
274 bool MatchAndEmitInstruction(SMLoc IDLoc, unsigned &Opcode,
David Blaikie960ea3f2014-06-08 16:18:35 +0000275 OperandVector &Operands, MCStreamer &Out,
Tim Northover26bb14e2014-08-18 11:49:42 +0000276 uint64_t &ErrorInfo,
Craig Topper0d3fa922014-04-29 07:57:37 +0000277 bool MatchingInlineAsm) override;
Ulrich Weigand640192d2013-05-03 19:49:39 +0000278
David Blaikie960ea3f2014-06-08 16:18:35 +0000279 void ProcessInstruction(MCInst &Inst, const OperandVector &Ops);
Ulrich Weigandd8394902013-05-03 19:50:27 +0000280
Ulrich Weigand640192d2013-05-03 19:49:39 +0000281 /// @name Auto-generated Match Functions
282 /// {
283
284#define GET_ASSEMBLER_HEADER
285#include "PPCGenAsmMatcher.inc"
286
287 /// }
288
289
290public:
Akira Hatanakab11ef082015-11-14 06:35:56 +0000291 PPCAsmParser(const MCSubtargetInfo &STI, MCAsmParser &,
Akira Hatanakabd9fc282015-11-14 05:20:05 +0000292 const MCInstrInfo &MII, const MCTargetOptions &Options)
293 : MCTargetAsmParser(Options, STI), MII(MII) {
Ulrich Weigand640192d2013-05-03 19:49:39 +0000294 // Check for 64-bit vs. 32-bit pointer mode.
Benjamin Kramer4fed9282016-05-27 12:30:51 +0000295 const Triple &TheTriple = STI.getTargetTriple();
Daniel Sanders50f17232015-09-15 16:17:27 +0000296 IsPPC64 = (TheTriple.getArch() == Triple::ppc64 ||
297 TheTriple.getArch() == Triple::ppc64le);
298 IsDarwin = TheTriple.isMacOSX();
Ulrich Weigand640192d2013-05-03 19:49:39 +0000299 // Initialize the set of available features.
300 setAvailableFeatures(ComputeAvailableFeatures(STI.getFeatureBits()));
301 }
302
David Blaikie960ea3f2014-06-08 16:18:35 +0000303 bool ParseInstruction(ParseInstructionInfo &Info, StringRef Name,
304 SMLoc NameLoc, OperandVector &Operands) override;
Ulrich Weigand640192d2013-05-03 19:49:39 +0000305
Craig Topper0d3fa922014-04-29 07:57:37 +0000306 bool ParseDirective(AsmToken DirectiveID) override;
Ulrich Weigandc0944b52013-07-08 14:49:37 +0000307
David Blaikie960ea3f2014-06-08 16:18:35 +0000308 unsigned validateTargetOperandClass(MCParsedAsmOperand &Op,
Craig Topper0d3fa922014-04-29 07:57:37 +0000309 unsigned Kind) override;
Joerg Sonnenbergerb822af42013-08-27 20:23:19 +0000310
Craig Topper0d3fa922014-04-29 07:57:37 +0000311 const MCExpr *applyModifierToExpr(const MCExpr *E,
312 MCSymbolRefExpr::VariantKind,
313 MCContext &Ctx) override;
Ulrich Weigand640192d2013-05-03 19:49:39 +0000314};
315
316/// PPCOperand - Instances of this class represent a parsed PowerPC machine
317/// instruction.
318struct PPCOperand : public MCParsedAsmOperand {
319 enum KindTy {
320 Token,
321 Immediate,
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000322 ContextImmediate,
Ulrich Weigand5b427592013-07-05 12:22:36 +0000323 Expression,
324 TLSRegister
Ulrich Weigand640192d2013-05-03 19:49:39 +0000325 } Kind;
326
327 SMLoc StartLoc, EndLoc;
328 bool IsPPC64;
329
330 struct TokOp {
331 const char *Data;
332 unsigned Length;
333 };
334
335 struct ImmOp {
336 int64_t Val;
337 };
338
339 struct ExprOp {
340 const MCExpr *Val;
Ulrich Weigandb86cb7d2013-07-04 14:24:00 +0000341 int64_t CRVal; // Cached result of EvaluateCRExpr(Val)
Ulrich Weigand640192d2013-05-03 19:49:39 +0000342 };
343
Ulrich Weigand5b427592013-07-05 12:22:36 +0000344 struct TLSRegOp {
345 const MCSymbolRefExpr *Sym;
346 };
347
Ulrich Weigand640192d2013-05-03 19:49:39 +0000348 union {
349 struct TokOp Tok;
350 struct ImmOp Imm;
351 struct ExprOp Expr;
Ulrich Weigand5b427592013-07-05 12:22:36 +0000352 struct TLSRegOp TLSReg;
Ulrich Weigand640192d2013-05-03 19:49:39 +0000353 };
354
355 PPCOperand(KindTy K) : MCParsedAsmOperand(), Kind(K) {}
356public:
357 PPCOperand(const PPCOperand &o) : MCParsedAsmOperand() {
358 Kind = o.Kind;
359 StartLoc = o.StartLoc;
360 EndLoc = o.EndLoc;
361 IsPPC64 = o.IsPPC64;
362 switch (Kind) {
363 case Token:
364 Tok = o.Tok;
365 break;
366 case Immediate:
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000367 case ContextImmediate:
Ulrich Weigand640192d2013-05-03 19:49:39 +0000368 Imm = o.Imm;
369 break;
370 case Expression:
371 Expr = o.Expr;
372 break;
Ulrich Weigand5b427592013-07-05 12:22:36 +0000373 case TLSRegister:
374 TLSReg = o.TLSReg;
375 break;
Ulrich Weigand640192d2013-05-03 19:49:39 +0000376 }
377 }
378
Richard Smithc2a28302016-03-08 00:59:44 +0000379 // Disable use of sized deallocation due to overallocation of PPCOperand
380 // objects in CreateTokenWithStringCopy.
381 void operator delete(void *p) { ::operator delete(p); }
382
Ulrich Weigand640192d2013-05-03 19:49:39 +0000383 /// getStartLoc - Get the location of the first token of this operand.
Craig Topper0d3fa922014-04-29 07:57:37 +0000384 SMLoc getStartLoc() const override { return StartLoc; }
Ulrich Weigand640192d2013-05-03 19:49:39 +0000385
386 /// getEndLoc - Get the location of the last token of this operand.
Craig Topper0d3fa922014-04-29 07:57:37 +0000387 SMLoc getEndLoc() const override { return EndLoc; }
Ulrich Weigand640192d2013-05-03 19:49:39 +0000388
389 /// isPPC64 - True if this operand is for an instruction in 64-bit mode.
390 bool isPPC64() const { return IsPPC64; }
391
392 int64_t getImm() const {
393 assert(Kind == Immediate && "Invalid access!");
394 return Imm.Val;
395 }
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000396 int64_t getImmS16Context() const {
397 assert((Kind == Immediate || Kind == ContextImmediate) && "Invalid access!");
398 if (Kind == Immediate)
399 return Imm.Val;
400 return static_cast<int16_t>(Imm.Val);
401 }
402 int64_t getImmU16Context() const {
403 assert((Kind == Immediate || Kind == ContextImmediate) && "Invalid access!");
404 return Imm.Val;
405 }
Ulrich Weigand640192d2013-05-03 19:49:39 +0000406
407 const MCExpr *getExpr() const {
408 assert(Kind == Expression && "Invalid access!");
409 return Expr.Val;
410 }
411
Ulrich Weigandb86cb7d2013-07-04 14:24:00 +0000412 int64_t getExprCRVal() const {
413 assert(Kind == Expression && "Invalid access!");
414 return Expr.CRVal;
415 }
416
Ulrich Weigand5b427592013-07-05 12:22:36 +0000417 const MCExpr *getTLSReg() const {
418 assert(Kind == TLSRegister && "Invalid access!");
419 return TLSReg.Sym;
420 }
421
Craig Topper0d3fa922014-04-29 07:57:37 +0000422 unsigned getReg() const override {
Ulrich Weigand640192d2013-05-03 19:49:39 +0000423 assert(isRegNumber() && "Invalid access!");
424 return (unsigned) Imm.Val;
425 }
426
Hal Finkel27774d92014-03-13 07:58:58 +0000427 unsigned getVSReg() const {
428 assert(isVSRegNumber() && "Invalid access!");
429 return (unsigned) Imm.Val;
430 }
431
Ulrich Weigand640192d2013-05-03 19:49:39 +0000432 unsigned getCCReg() const {
433 assert(isCCRegNumber() && "Invalid access!");
Ulrich Weigandb86cb7d2013-07-04 14:24:00 +0000434 return (unsigned) (Kind == Immediate ? Imm.Val : Expr.CRVal);
435 }
436
437 unsigned getCRBit() const {
438 assert(isCRBitNumber() && "Invalid access!");
439 return (unsigned) (Kind == Immediate ? Imm.Val : Expr.CRVal);
Ulrich Weigand640192d2013-05-03 19:49:39 +0000440 }
441
442 unsigned getCRBitMask() const {
443 assert(isCRBitMask() && "Invalid access!");
Michael J. Spencerdf1ecbd72013-05-24 22:23:49 +0000444 return 7 - countTrailingZeros<uint64_t>(Imm.Val);
Ulrich Weigand640192d2013-05-03 19:49:39 +0000445 }
446
Craig Topper0d3fa922014-04-29 07:57:37 +0000447 bool isToken() const override { return Kind == Token; }
448 bool isImm() const override { return Kind == Immediate || Kind == Expression; }
Nemanja Ivanovice8effe12015-03-04 20:44:33 +0000449 bool isU1Imm() const { return Kind == Immediate && isUInt<1>(getImm()); }
Hal Finkel27774d92014-03-13 07:58:58 +0000450 bool isU2Imm() const { return Kind == Immediate && isUInt<2>(getImm()); }
Kit Barton535e69d2015-03-25 19:36:23 +0000451 bool isU3Imm() const { return Kind == Immediate && isUInt<3>(getImm()); }
Joerg Sonnenberger9e9623c2014-07-29 22:21:57 +0000452 bool isU4Imm() const { return Kind == Immediate && isUInt<4>(getImm()); }
Ulrich Weigand640192d2013-05-03 19:49:39 +0000453 bool isU5Imm() const { return Kind == Immediate && isUInt<5>(getImm()); }
454 bool isS5Imm() const { return Kind == Immediate && isInt<5>(getImm()); }
455 bool isU6Imm() const { return Kind == Immediate && isUInt<6>(getImm()); }
Joerg Sonnenberger0013b922014-08-08 16:43:49 +0000456 bool isU6ImmX2() const { return Kind == Immediate &&
457 isUInt<6>(getImm()) &&
458 (getImm() & 1) == 0; }
Chuang-Yu Cheng80722712016-03-28 08:34:28 +0000459 bool isU7Imm() const { return Kind == Immediate && isUInt<7>(getImm()); }
Joerg Sonnenberger0013b922014-08-08 16:43:49 +0000460 bool isU7ImmX4() const { return Kind == Immediate &&
461 isUInt<7>(getImm()) &&
462 (getImm() & 3) == 0; }
Chuang-Yu Cheng80722712016-03-28 08:34:28 +0000463 bool isU8Imm() const { return Kind == Immediate && isUInt<8>(getImm()); }
Joerg Sonnenberger0013b922014-08-08 16:43:49 +0000464 bool isU8ImmX8() const { return Kind == Immediate &&
465 isUInt<8>(getImm()) &&
466 (getImm() & 7) == 0; }
Bill Schmidte26236e2015-05-22 16:44:10 +0000467
468 bool isU10Imm() const { return Kind == Immediate && isUInt<10>(getImm()); }
Hal Finkelc93a9a22015-02-25 01:06:45 +0000469 bool isU12Imm() const { return Kind == Immediate && isUInt<12>(getImm()); }
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000470 bool isU16Imm() const {
471 switch (Kind) {
472 case Expression:
473 return true;
474 case Immediate:
475 case ContextImmediate:
476 return isUInt<16>(getImmU16Context());
477 default:
478 return false;
479 }
480 }
481 bool isS16Imm() const {
482 switch (Kind) {
483 case Expression:
484 return true;
485 case Immediate:
486 case ContextImmediate:
487 return isInt<16>(getImmS16Context());
488 default:
489 return false;
490 }
491 }
Ulrich Weigand640192d2013-05-03 19:49:39 +0000492 bool isS16ImmX4() const { return Kind == Expression ||
493 (Kind == Immediate && isInt<16>(getImm()) &&
494 (getImm() & 3) == 0); }
Kit Bartonba532dc2016-03-08 03:49:13 +0000495 bool isS16ImmX16() const { return Kind == Expression ||
496 (Kind == Immediate && isInt<16>(getImm()) &&
497 (getImm() & 15) == 0); }
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000498 bool isS17Imm() const {
499 switch (Kind) {
500 case Expression:
501 return true;
502 case Immediate:
503 case ContextImmediate:
504 return isInt<17>(getImmS16Context());
505 default:
506 return false;
507 }
508 }
Ulrich Weigand5b427592013-07-05 12:22:36 +0000509 bool isTLSReg() const { return Kind == TLSRegister; }
Joerg Sonnenbergereb9d13f2014-08-08 20:57:58 +0000510 bool isDirectBr() const {
511 if (Kind == Expression)
512 return true;
513 if (Kind != Immediate)
514 return false;
515 // Operand must be 64-bit aligned, signed 27-bit immediate.
516 if ((getImm() & 3) != 0)
517 return false;
518 if (isInt<26>(getImm()))
519 return true;
520 if (!IsPPC64) {
521 // In 32-bit mode, large 32-bit quantities wrap around.
522 if (isUInt<32>(getImm()) && isInt<26>(static_cast<int32_t>(getImm())))
523 return true;
524 }
525 return false;
526 }
Ulrich Weigandb6a30d12013-06-24 11:03:33 +0000527 bool isCondBr() const { return Kind == Expression ||
528 (Kind == Immediate && isInt<16>(getImm()) &&
529 (getImm() & 3) == 0); }
Ulrich Weigand640192d2013-05-03 19:49:39 +0000530 bool isRegNumber() const { return Kind == Immediate && isUInt<5>(getImm()); }
Hal Finkel27774d92014-03-13 07:58:58 +0000531 bool isVSRegNumber() const { return Kind == Immediate && isUInt<6>(getImm()); }
Ulrich Weigandb86cb7d2013-07-04 14:24:00 +0000532 bool isCCRegNumber() const { return (Kind == Expression
533 && isUInt<3>(getExprCRVal())) ||
534 (Kind == Immediate
535 && isUInt<3>(getImm())); }
536 bool isCRBitNumber() const { return (Kind == Expression
537 && isUInt<5>(getExprCRVal())) ||
538 (Kind == Immediate
539 && isUInt<5>(getImm())); }
Ulrich Weigand640192d2013-05-03 19:49:39 +0000540 bool isCRBitMask() const { return Kind == Immediate && isUInt<8>(getImm()) &&
541 isPowerOf2_32(getImm()); }
Craig Topper0d3fa922014-04-29 07:57:37 +0000542 bool isMem() const override { return false; }
543 bool isReg() const override { return false; }
Ulrich Weigand640192d2013-05-03 19:49:39 +0000544
545 void addRegOperands(MCInst &Inst, unsigned N) const {
546 llvm_unreachable("addRegOperands");
547 }
548
549 void addRegGPRCOperands(MCInst &Inst, unsigned N) const {
550 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000551 Inst.addOperand(MCOperand::createReg(RRegs[getReg()]));
Ulrich Weigand640192d2013-05-03 19:49:39 +0000552 }
553
554 void addRegGPRCNoR0Operands(MCInst &Inst, unsigned N) const {
555 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000556 Inst.addOperand(MCOperand::createReg(RRegsNoR0[getReg()]));
Ulrich Weigand640192d2013-05-03 19:49:39 +0000557 }
558
559 void addRegG8RCOperands(MCInst &Inst, unsigned N) const {
560 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000561 Inst.addOperand(MCOperand::createReg(XRegs[getReg()]));
Ulrich Weigand640192d2013-05-03 19:49:39 +0000562 }
563
564 void addRegG8RCNoX0Operands(MCInst &Inst, unsigned N) const {
565 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000566 Inst.addOperand(MCOperand::createReg(XRegsNoX0[getReg()]));
Ulrich Weigand640192d2013-05-03 19:49:39 +0000567 }
568
569 void addRegGxRCOperands(MCInst &Inst, unsigned N) const {
570 if (isPPC64())
571 addRegG8RCOperands(Inst, N);
572 else
573 addRegGPRCOperands(Inst, N);
574 }
575
576 void addRegGxRCNoR0Operands(MCInst &Inst, unsigned N) const {
577 if (isPPC64())
578 addRegG8RCNoX0Operands(Inst, N);
579 else
580 addRegGPRCNoR0Operands(Inst, N);
581 }
582
583 void addRegF4RCOperands(MCInst &Inst, unsigned N) const {
584 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000585 Inst.addOperand(MCOperand::createReg(FRegs[getReg()]));
Ulrich Weigand640192d2013-05-03 19:49:39 +0000586 }
587
588 void addRegF8RCOperands(MCInst &Inst, unsigned N) const {
589 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000590 Inst.addOperand(MCOperand::createReg(FRegs[getReg()]));
Ulrich Weigand640192d2013-05-03 19:49:39 +0000591 }
592
593 void addRegVRRCOperands(MCInst &Inst, unsigned N) const {
594 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000595 Inst.addOperand(MCOperand::createReg(VRegs[getReg()]));
Ulrich Weigand640192d2013-05-03 19:49:39 +0000596 }
597
Hal Finkel27774d92014-03-13 07:58:58 +0000598 void addRegVSRCOperands(MCInst &Inst, unsigned N) const {
599 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000600 Inst.addOperand(MCOperand::createReg(VSRegs[getVSReg()]));
Hal Finkel27774d92014-03-13 07:58:58 +0000601 }
602
Hal Finkel19be5062014-03-29 05:29:01 +0000603 void addRegVSFRCOperands(MCInst &Inst, unsigned N) const {
604 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000605 Inst.addOperand(MCOperand::createReg(VSFRegs[getVSReg()]));
Hal Finkel19be5062014-03-29 05:29:01 +0000606 }
607
Nemanja Ivanovicf3c94b12015-05-07 18:24:05 +0000608 void addRegVSSRCOperands(MCInst &Inst, unsigned N) const {
609 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000610 Inst.addOperand(MCOperand::createReg(VSSRegs[getVSReg()]));
Nemanja Ivanovicf3c94b12015-05-07 18:24:05 +0000611 }
612
Hal Finkelc93a9a22015-02-25 01:06:45 +0000613 void addRegQFRCOperands(MCInst &Inst, unsigned N) const {
614 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000615 Inst.addOperand(MCOperand::createReg(QFRegs[getReg()]));
Hal Finkelc93a9a22015-02-25 01:06:45 +0000616 }
617
618 void addRegQSRCOperands(MCInst &Inst, unsigned N) const {
619 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000620 Inst.addOperand(MCOperand::createReg(QFRegs[getReg()]));
Hal Finkelc93a9a22015-02-25 01:06:45 +0000621 }
622
623 void addRegQBRCOperands(MCInst &Inst, unsigned N) const {
624 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000625 Inst.addOperand(MCOperand::createReg(QFRegs[getReg()]));
Hal Finkelc93a9a22015-02-25 01:06:45 +0000626 }
627
Ulrich Weigand640192d2013-05-03 19:49:39 +0000628 void addRegCRBITRCOperands(MCInst &Inst, unsigned N) const {
629 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000630 Inst.addOperand(MCOperand::createReg(CRBITRegs[getCRBit()]));
Ulrich Weigand640192d2013-05-03 19:49:39 +0000631 }
632
633 void addRegCRRCOperands(MCInst &Inst, unsigned N) const {
634 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000635 Inst.addOperand(MCOperand::createReg(CRRegs[getCCReg()]));
Ulrich Weigand640192d2013-05-03 19:49:39 +0000636 }
637
638 void addCRBitMaskOperands(MCInst &Inst, unsigned N) const {
639 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000640 Inst.addOperand(MCOperand::createReg(CRRegs[getCRBitMask()]));
Ulrich Weigand640192d2013-05-03 19:49:39 +0000641 }
642
643 void addImmOperands(MCInst &Inst, unsigned N) const {
644 assert(N == 1 && "Invalid number of operands!");
645 if (Kind == Immediate)
Jim Grosbache9119e42015-05-13 18:37:00 +0000646 Inst.addOperand(MCOperand::createImm(getImm()));
Ulrich Weigand640192d2013-05-03 19:49:39 +0000647 else
Jim Grosbache9119e42015-05-13 18:37:00 +0000648 Inst.addOperand(MCOperand::createExpr(getExpr()));
Ulrich Weigand640192d2013-05-03 19:49:39 +0000649 }
650
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000651 void addS16ImmOperands(MCInst &Inst, unsigned N) const {
652 assert(N == 1 && "Invalid number of operands!");
653 switch (Kind) {
654 case Immediate:
Jim Grosbache9119e42015-05-13 18:37:00 +0000655 Inst.addOperand(MCOperand::createImm(getImm()));
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000656 break;
657 case ContextImmediate:
Jim Grosbache9119e42015-05-13 18:37:00 +0000658 Inst.addOperand(MCOperand::createImm(getImmS16Context()));
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000659 break;
660 default:
Jim Grosbache9119e42015-05-13 18:37:00 +0000661 Inst.addOperand(MCOperand::createExpr(getExpr()));
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000662 break;
663 }
664 }
665
666 void addU16ImmOperands(MCInst &Inst, unsigned N) const {
667 assert(N == 1 && "Invalid number of operands!");
668 switch (Kind) {
669 case Immediate:
Jim Grosbache9119e42015-05-13 18:37:00 +0000670 Inst.addOperand(MCOperand::createImm(getImm()));
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000671 break;
672 case ContextImmediate:
Jim Grosbache9119e42015-05-13 18:37:00 +0000673 Inst.addOperand(MCOperand::createImm(getImmU16Context()));
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000674 break;
675 default:
Jim Grosbache9119e42015-05-13 18:37:00 +0000676 Inst.addOperand(MCOperand::createExpr(getExpr()));
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000677 break;
678 }
679 }
680
Ulrich Weigandb6a30d12013-06-24 11:03:33 +0000681 void addBranchTargetOperands(MCInst &Inst, unsigned N) const {
682 assert(N == 1 && "Invalid number of operands!");
683 if (Kind == Immediate)
Jim Grosbache9119e42015-05-13 18:37:00 +0000684 Inst.addOperand(MCOperand::createImm(getImm() / 4));
Ulrich Weigandb6a30d12013-06-24 11:03:33 +0000685 else
Jim Grosbache9119e42015-05-13 18:37:00 +0000686 Inst.addOperand(MCOperand::createExpr(getExpr()));
Ulrich Weigandb6a30d12013-06-24 11:03:33 +0000687 }
688
Ulrich Weigand5b427592013-07-05 12:22:36 +0000689 void addTLSRegOperands(MCInst &Inst, unsigned N) const {
690 assert(N == 1 && "Invalid number of operands!");
Jim Grosbache9119e42015-05-13 18:37:00 +0000691 Inst.addOperand(MCOperand::createExpr(getTLSReg()));
Ulrich Weigand5b427592013-07-05 12:22:36 +0000692 }
693
Ulrich Weigand640192d2013-05-03 19:49:39 +0000694 StringRef getToken() const {
695 assert(Kind == Token && "Invalid access!");
696 return StringRef(Tok.Data, Tok.Length);
697 }
698
Craig Topper0d3fa922014-04-29 07:57:37 +0000699 void print(raw_ostream &OS) const override;
Ulrich Weigand640192d2013-05-03 19:49:39 +0000700
David Blaikie960ea3f2014-06-08 16:18:35 +0000701 static std::unique_ptr<PPCOperand> CreateToken(StringRef Str, SMLoc S,
702 bool IsPPC64) {
703 auto Op = make_unique<PPCOperand>(Token);
Ulrich Weigand640192d2013-05-03 19:49:39 +0000704 Op->Tok.Data = Str.data();
705 Op->Tok.Length = Str.size();
706 Op->StartLoc = S;
707 Op->EndLoc = S;
708 Op->IsPPC64 = IsPPC64;
709 return Op;
710 }
711
David Blaikie960ea3f2014-06-08 16:18:35 +0000712 static std::unique_ptr<PPCOperand>
713 CreateTokenWithStringCopy(StringRef Str, SMLoc S, bool IsPPC64) {
Benjamin Kramer72d45cc2013-08-03 22:43:29 +0000714 // Allocate extra memory for the string and copy it.
David Blaikie960ea3f2014-06-08 16:18:35 +0000715 // FIXME: This is incorrect, Operands are owned by unique_ptr with a default
716 // deleter which will destroy them by simply using "delete", not correctly
717 // calling operator delete on this extra memory after calling the dtor
718 // explicitly.
Benjamin Kramer72d45cc2013-08-03 22:43:29 +0000719 void *Mem = ::operator new(sizeof(PPCOperand) + Str.size());
David Blaikie960ea3f2014-06-08 16:18:35 +0000720 std::unique_ptr<PPCOperand> Op(new (Mem) PPCOperand(Token));
Benjamin Kramer769989c2014-08-15 11:05:45 +0000721 Op->Tok.Data = reinterpret_cast<const char *>(Op.get() + 1);
Benjamin Kramer72d45cc2013-08-03 22:43:29 +0000722 Op->Tok.Length = Str.size();
Benjamin Kramer769989c2014-08-15 11:05:45 +0000723 std::memcpy(const_cast<char *>(Op->Tok.Data), Str.data(), Str.size());
Benjamin Kramer72d45cc2013-08-03 22:43:29 +0000724 Op->StartLoc = S;
725 Op->EndLoc = S;
726 Op->IsPPC64 = IsPPC64;
727 return Op;
728 }
729
David Blaikie960ea3f2014-06-08 16:18:35 +0000730 static std::unique_ptr<PPCOperand> CreateImm(int64_t Val, SMLoc S, SMLoc E,
731 bool IsPPC64) {
732 auto Op = make_unique<PPCOperand>(Immediate);
Ulrich Weigand640192d2013-05-03 19:49:39 +0000733 Op->Imm.Val = Val;
734 Op->StartLoc = S;
735 Op->EndLoc = E;
736 Op->IsPPC64 = IsPPC64;
737 return Op;
738 }
739
David Blaikie960ea3f2014-06-08 16:18:35 +0000740 static std::unique_ptr<PPCOperand> CreateExpr(const MCExpr *Val, SMLoc S,
741 SMLoc E, bool IsPPC64) {
742 auto Op = make_unique<PPCOperand>(Expression);
Ulrich Weigand640192d2013-05-03 19:49:39 +0000743 Op->Expr.Val = Val;
Ulrich Weigandb86cb7d2013-07-04 14:24:00 +0000744 Op->Expr.CRVal = EvaluateCRExpr(Val);
Ulrich Weigand640192d2013-05-03 19:49:39 +0000745 Op->StartLoc = S;
746 Op->EndLoc = E;
747 Op->IsPPC64 = IsPPC64;
748 return Op;
749 }
Ulrich Weigand5b427592013-07-05 12:22:36 +0000750
David Blaikie960ea3f2014-06-08 16:18:35 +0000751 static std::unique_ptr<PPCOperand>
752 CreateTLSReg(const MCSymbolRefExpr *Sym, SMLoc S, SMLoc E, bool IsPPC64) {
753 auto Op = make_unique<PPCOperand>(TLSRegister);
Ulrich Weigand5b427592013-07-05 12:22:36 +0000754 Op->TLSReg.Sym = Sym;
755 Op->StartLoc = S;
756 Op->EndLoc = E;
757 Op->IsPPC64 = IsPPC64;
758 return Op;
759 }
760
David Blaikie960ea3f2014-06-08 16:18:35 +0000761 static std::unique_ptr<PPCOperand>
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000762 CreateContextImm(int64_t Val, SMLoc S, SMLoc E, bool IsPPC64) {
763 auto Op = make_unique<PPCOperand>(ContextImmediate);
764 Op->Imm.Val = Val;
765 Op->StartLoc = S;
766 Op->EndLoc = E;
767 Op->IsPPC64 = IsPPC64;
768 return Op;
769 }
770
771 static std::unique_ptr<PPCOperand>
David Blaikie960ea3f2014-06-08 16:18:35 +0000772 CreateFromMCExpr(const MCExpr *Val, SMLoc S, SMLoc E, bool IsPPC64) {
Ulrich Weigand5b427592013-07-05 12:22:36 +0000773 if (const MCConstantExpr *CE = dyn_cast<MCConstantExpr>(Val))
774 return CreateImm(CE->getValue(), S, E, IsPPC64);
775
776 if (const MCSymbolRefExpr *SRE = dyn_cast<MCSymbolRefExpr>(Val))
777 if (SRE->getKind() == MCSymbolRefExpr::VK_PPC_TLS)
778 return CreateTLSReg(SRE, S, E, IsPPC64);
779
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000780 if (const PPCMCExpr *TE = dyn_cast<PPCMCExpr>(Val)) {
781 int64_t Res;
Jim Grosbach13760bd2015-05-30 01:25:56 +0000782 if (TE->evaluateAsConstant(Res))
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000783 return CreateContextImm(Res, S, E, IsPPC64);
784 }
785
Ulrich Weigand5b427592013-07-05 12:22:36 +0000786 return CreateExpr(Val, S, E, IsPPC64);
787 }
Ulrich Weigand640192d2013-05-03 19:49:39 +0000788};
789
790} // end anonymous namespace.
791
792void PPCOperand::print(raw_ostream &OS) const {
793 switch (Kind) {
794 case Token:
795 OS << "'" << getToken() << "'";
796 break;
797 case Immediate:
Joerg Sonnenbergerbfef1dd2014-08-10 12:41:50 +0000798 case ContextImmediate:
Ulrich Weigand640192d2013-05-03 19:49:39 +0000799 OS << getImm();
800 break;
801 case Expression:
Rafael Espindolaf4a13652015-05-27 13:05:42 +0000802 OS << *getExpr();
Ulrich Weigand640192d2013-05-03 19:49:39 +0000803 break;
Ulrich Weigand5b427592013-07-05 12:22:36 +0000804 case TLSRegister:
Rafael Espindolaf4a13652015-05-27 13:05:42 +0000805 OS << *getTLSReg();
Ulrich Weigand5b427592013-07-05 12:22:36 +0000806 break;
Ulrich Weigand640192d2013-05-03 19:49:39 +0000807 }
808}
809
Joerg Sonnenberger5aab5af2014-08-09 17:10:26 +0000810static void
811addNegOperand(MCInst &Inst, MCOperand &Op, MCContext &Ctx) {
812 if (Op.isImm()) {
Jim Grosbache9119e42015-05-13 18:37:00 +0000813 Inst.addOperand(MCOperand::createImm(-Op.getImm()));
Joerg Sonnenberger5aab5af2014-08-09 17:10:26 +0000814 return;
815 }
816 const MCExpr *Expr = Op.getExpr();
817 if (const MCUnaryExpr *UnExpr = dyn_cast<MCUnaryExpr>(Expr)) {
818 if (UnExpr->getOpcode() == MCUnaryExpr::Minus) {
Jim Grosbache9119e42015-05-13 18:37:00 +0000819 Inst.addOperand(MCOperand::createExpr(UnExpr->getSubExpr()));
Joerg Sonnenberger5aab5af2014-08-09 17:10:26 +0000820 return;
821 }
822 } else if (const MCBinaryExpr *BinExpr = dyn_cast<MCBinaryExpr>(Expr)) {
823 if (BinExpr->getOpcode() == MCBinaryExpr::Sub) {
Jim Grosbach13760bd2015-05-30 01:25:56 +0000824 const MCExpr *NE = MCBinaryExpr::createSub(BinExpr->getRHS(),
Joerg Sonnenberger5aab5af2014-08-09 17:10:26 +0000825 BinExpr->getLHS(), Ctx);
Jim Grosbache9119e42015-05-13 18:37:00 +0000826 Inst.addOperand(MCOperand::createExpr(NE));
Joerg Sonnenberger5aab5af2014-08-09 17:10:26 +0000827 return;
828 }
829 }
Jim Grosbach13760bd2015-05-30 01:25:56 +0000830 Inst.addOperand(MCOperand::createExpr(MCUnaryExpr::createMinus(Expr, Ctx)));
Joerg Sonnenberger5aab5af2014-08-09 17:10:26 +0000831}
832
David Blaikie960ea3f2014-06-08 16:18:35 +0000833void PPCAsmParser::ProcessInstruction(MCInst &Inst,
834 const OperandVector &Operands) {
Ulrich Weigandad873cd2013-06-25 13:17:41 +0000835 int Opcode = Inst.getOpcode();
836 switch (Opcode) {
Hal Finkelfefcfff2015-04-23 22:47:57 +0000837 case PPC::DCBTx:
838 case PPC::DCBTT:
839 case PPC::DCBTSTx:
840 case PPC::DCBTSTT: {
841 MCInst TmpInst;
842 TmpInst.setOpcode((Opcode == PPC::DCBTx || Opcode == PPC::DCBTT) ?
843 PPC::DCBT : PPC::DCBTST);
Jim Grosbache9119e42015-05-13 18:37:00 +0000844 TmpInst.addOperand(MCOperand::createImm(
Hal Finkelfefcfff2015-04-23 22:47:57 +0000845 (Opcode == PPC::DCBTx || Opcode == PPC::DCBTSTx) ? 0 : 16));
846 TmpInst.addOperand(Inst.getOperand(0));
847 TmpInst.addOperand(Inst.getOperand(1));
848 Inst = TmpInst;
849 break;
850 }
851 case PPC::DCBTCT:
852 case PPC::DCBTDS: {
853 MCInst TmpInst;
854 TmpInst.setOpcode(PPC::DCBT);
855 TmpInst.addOperand(Inst.getOperand(2));
856 TmpInst.addOperand(Inst.getOperand(0));
857 TmpInst.addOperand(Inst.getOperand(1));
858 Inst = TmpInst;
859 break;
860 }
861 case PPC::DCBTSTCT:
862 case PPC::DCBTSTDS: {
863 MCInst TmpInst;
864 TmpInst.setOpcode(PPC::DCBTST);
865 TmpInst.addOperand(Inst.getOperand(2));
866 TmpInst.addOperand(Inst.getOperand(0));
867 TmpInst.addOperand(Inst.getOperand(1));
868 Inst = TmpInst;
869 break;
870 }
Ulrich Weigand6ca71572013-06-24 18:08:03 +0000871 case PPC::LAx: {
872 MCInst TmpInst;
873 TmpInst.setOpcode(PPC::LA);
874 TmpInst.addOperand(Inst.getOperand(0));
875 TmpInst.addOperand(Inst.getOperand(2));
876 TmpInst.addOperand(Inst.getOperand(1));
877 Inst = TmpInst;
878 break;
879 }
Ulrich Weigand4069e242013-06-25 13:16:48 +0000880 case PPC::SUBI: {
881 MCInst TmpInst;
Ulrich Weigand4069e242013-06-25 13:16:48 +0000882 TmpInst.setOpcode(PPC::ADDI);
883 TmpInst.addOperand(Inst.getOperand(0));
884 TmpInst.addOperand(Inst.getOperand(1));
Joerg Sonnenberger5aab5af2014-08-09 17:10:26 +0000885 addNegOperand(TmpInst, Inst.getOperand(2), getContext());
Ulrich Weigand4069e242013-06-25 13:16:48 +0000886 Inst = TmpInst;
887 break;
888 }
889 case PPC::SUBIS: {
890 MCInst TmpInst;
Ulrich Weigand4069e242013-06-25 13:16:48 +0000891 TmpInst.setOpcode(PPC::ADDIS);
892 TmpInst.addOperand(Inst.getOperand(0));
893 TmpInst.addOperand(Inst.getOperand(1));
Joerg Sonnenberger5aab5af2014-08-09 17:10:26 +0000894 addNegOperand(TmpInst, Inst.getOperand(2), getContext());
Ulrich Weigand4069e242013-06-25 13:16:48 +0000895 Inst = TmpInst;
896 break;
897 }
898 case PPC::SUBIC: {
899 MCInst TmpInst;
Ulrich Weigand4069e242013-06-25 13:16:48 +0000900 TmpInst.setOpcode(PPC::ADDIC);
901 TmpInst.addOperand(Inst.getOperand(0));
902 TmpInst.addOperand(Inst.getOperand(1));
Joerg Sonnenberger5aab5af2014-08-09 17:10:26 +0000903 addNegOperand(TmpInst, Inst.getOperand(2), getContext());
Ulrich Weigand4069e242013-06-25 13:16:48 +0000904 Inst = TmpInst;
905 break;
906 }
907 case PPC::SUBICo: {
908 MCInst TmpInst;
Ulrich Weigand4069e242013-06-25 13:16:48 +0000909 TmpInst.setOpcode(PPC::ADDICo);
910 TmpInst.addOperand(Inst.getOperand(0));
911 TmpInst.addOperand(Inst.getOperand(1));
Joerg Sonnenberger5aab5af2014-08-09 17:10:26 +0000912 addNegOperand(TmpInst, Inst.getOperand(2), getContext());
Ulrich Weigand4069e242013-06-25 13:16:48 +0000913 Inst = TmpInst;
914 break;
915 }
Ulrich Weigandad873cd2013-06-25 13:17:41 +0000916 case PPC::EXTLWI:
917 case PPC::EXTLWIo: {
Ulrich Weigandd8394902013-05-03 19:50:27 +0000918 MCInst TmpInst;
919 int64_t N = Inst.getOperand(2).getImm();
Ulrich Weigandad873cd2013-06-25 13:17:41 +0000920 int64_t B = Inst.getOperand(3).getImm();
921 TmpInst.setOpcode(Opcode == PPC::EXTLWI? PPC::RLWINM : PPC::RLWINMo);
922 TmpInst.addOperand(Inst.getOperand(0));
923 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +0000924 TmpInst.addOperand(MCOperand::createImm(B));
925 TmpInst.addOperand(MCOperand::createImm(0));
926 TmpInst.addOperand(MCOperand::createImm(N - 1));
Ulrich Weigandad873cd2013-06-25 13:17:41 +0000927 Inst = TmpInst;
928 break;
929 }
930 case PPC::EXTRWI:
931 case PPC::EXTRWIo: {
932 MCInst TmpInst;
933 int64_t N = Inst.getOperand(2).getImm();
934 int64_t B = Inst.getOperand(3).getImm();
935 TmpInst.setOpcode(Opcode == PPC::EXTRWI? PPC::RLWINM : PPC::RLWINMo);
936 TmpInst.addOperand(Inst.getOperand(0));
937 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +0000938 TmpInst.addOperand(MCOperand::createImm(B + N));
939 TmpInst.addOperand(MCOperand::createImm(32 - N));
940 TmpInst.addOperand(MCOperand::createImm(31));
Ulrich Weigandad873cd2013-06-25 13:17:41 +0000941 Inst = TmpInst;
942 break;
943 }
944 case PPC::INSLWI:
945 case PPC::INSLWIo: {
946 MCInst TmpInst;
947 int64_t N = Inst.getOperand(2).getImm();
948 int64_t B = Inst.getOperand(3).getImm();
949 TmpInst.setOpcode(Opcode == PPC::INSLWI? PPC::RLWIMI : PPC::RLWIMIo);
950 TmpInst.addOperand(Inst.getOperand(0));
951 TmpInst.addOperand(Inst.getOperand(0));
952 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +0000953 TmpInst.addOperand(MCOperand::createImm(32 - B));
954 TmpInst.addOperand(MCOperand::createImm(B));
955 TmpInst.addOperand(MCOperand::createImm((B + N) - 1));
Ulrich Weigandad873cd2013-06-25 13:17:41 +0000956 Inst = TmpInst;
957 break;
958 }
959 case PPC::INSRWI:
960 case PPC::INSRWIo: {
961 MCInst TmpInst;
962 int64_t N = Inst.getOperand(2).getImm();
963 int64_t B = Inst.getOperand(3).getImm();
964 TmpInst.setOpcode(Opcode == PPC::INSRWI? PPC::RLWIMI : PPC::RLWIMIo);
965 TmpInst.addOperand(Inst.getOperand(0));
966 TmpInst.addOperand(Inst.getOperand(0));
967 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +0000968 TmpInst.addOperand(MCOperand::createImm(32 - (B + N)));
969 TmpInst.addOperand(MCOperand::createImm(B));
970 TmpInst.addOperand(MCOperand::createImm((B + N) - 1));
Ulrich Weigandad873cd2013-06-25 13:17:41 +0000971 Inst = TmpInst;
972 break;
973 }
974 case PPC::ROTRWI:
975 case PPC::ROTRWIo: {
976 MCInst TmpInst;
977 int64_t N = Inst.getOperand(2).getImm();
978 TmpInst.setOpcode(Opcode == PPC::ROTRWI? PPC::RLWINM : PPC::RLWINMo);
979 TmpInst.addOperand(Inst.getOperand(0));
980 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +0000981 TmpInst.addOperand(MCOperand::createImm(32 - N));
982 TmpInst.addOperand(MCOperand::createImm(0));
983 TmpInst.addOperand(MCOperand::createImm(31));
Ulrich Weigandad873cd2013-06-25 13:17:41 +0000984 Inst = TmpInst;
985 break;
986 }
987 case PPC::SLWI:
988 case PPC::SLWIo: {
989 MCInst TmpInst;
990 int64_t N = Inst.getOperand(2).getImm();
991 TmpInst.setOpcode(Opcode == PPC::SLWI? PPC::RLWINM : PPC::RLWINMo);
Ulrich Weigandd8394902013-05-03 19:50:27 +0000992 TmpInst.addOperand(Inst.getOperand(0));
993 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +0000994 TmpInst.addOperand(MCOperand::createImm(N));
995 TmpInst.addOperand(MCOperand::createImm(0));
996 TmpInst.addOperand(MCOperand::createImm(31 - N));
Ulrich Weigandd8394902013-05-03 19:50:27 +0000997 Inst = TmpInst;
998 break;
999 }
Ulrich Weigandad873cd2013-06-25 13:17:41 +00001000 case PPC::SRWI:
1001 case PPC::SRWIo: {
Ulrich Weigandd8394902013-05-03 19:50:27 +00001002 MCInst TmpInst;
1003 int64_t N = Inst.getOperand(2).getImm();
Ulrich Weigandad873cd2013-06-25 13:17:41 +00001004 TmpInst.setOpcode(Opcode == PPC::SRWI? PPC::RLWINM : PPC::RLWINMo);
Ulrich Weigandd8394902013-05-03 19:50:27 +00001005 TmpInst.addOperand(Inst.getOperand(0));
1006 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +00001007 TmpInst.addOperand(MCOperand::createImm(32 - N));
1008 TmpInst.addOperand(MCOperand::createImm(N));
1009 TmpInst.addOperand(MCOperand::createImm(31));
Ulrich Weigandd8394902013-05-03 19:50:27 +00001010 Inst = TmpInst;
1011 break;
1012 }
Ulrich Weigandad873cd2013-06-25 13:17:41 +00001013 case PPC::CLRRWI:
1014 case PPC::CLRRWIo: {
Ulrich Weigandd8394902013-05-03 19:50:27 +00001015 MCInst TmpInst;
1016 int64_t N = Inst.getOperand(2).getImm();
Ulrich Weigandad873cd2013-06-25 13:17:41 +00001017 TmpInst.setOpcode(Opcode == PPC::CLRRWI? PPC::RLWINM : PPC::RLWINMo);
1018 TmpInst.addOperand(Inst.getOperand(0));
1019 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +00001020 TmpInst.addOperand(MCOperand::createImm(0));
1021 TmpInst.addOperand(MCOperand::createImm(0));
1022 TmpInst.addOperand(MCOperand::createImm(31 - N));
Ulrich Weigandad873cd2013-06-25 13:17:41 +00001023 Inst = TmpInst;
1024 break;
1025 }
1026 case PPC::CLRLSLWI:
1027 case PPC::CLRLSLWIo: {
1028 MCInst TmpInst;
1029 int64_t B = Inst.getOperand(2).getImm();
1030 int64_t N = Inst.getOperand(3).getImm();
1031 TmpInst.setOpcode(Opcode == PPC::CLRLSLWI? PPC::RLWINM : PPC::RLWINMo);
1032 TmpInst.addOperand(Inst.getOperand(0));
1033 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +00001034 TmpInst.addOperand(MCOperand::createImm(N));
1035 TmpInst.addOperand(MCOperand::createImm(B - N));
1036 TmpInst.addOperand(MCOperand::createImm(31 - N));
Ulrich Weigandad873cd2013-06-25 13:17:41 +00001037 Inst = TmpInst;
1038 break;
1039 }
1040 case PPC::EXTLDI:
1041 case PPC::EXTLDIo: {
1042 MCInst TmpInst;
1043 int64_t N = Inst.getOperand(2).getImm();
1044 int64_t B = Inst.getOperand(3).getImm();
1045 TmpInst.setOpcode(Opcode == PPC::EXTLDI? PPC::RLDICR : PPC::RLDICRo);
1046 TmpInst.addOperand(Inst.getOperand(0));
1047 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +00001048 TmpInst.addOperand(MCOperand::createImm(B));
1049 TmpInst.addOperand(MCOperand::createImm(N - 1));
Ulrich Weigandad873cd2013-06-25 13:17:41 +00001050 Inst = TmpInst;
1051 break;
1052 }
1053 case PPC::EXTRDI:
1054 case PPC::EXTRDIo: {
1055 MCInst TmpInst;
1056 int64_t N = Inst.getOperand(2).getImm();
1057 int64_t B = Inst.getOperand(3).getImm();
1058 TmpInst.setOpcode(Opcode == PPC::EXTRDI? PPC::RLDICL : PPC::RLDICLo);
1059 TmpInst.addOperand(Inst.getOperand(0));
1060 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +00001061 TmpInst.addOperand(MCOperand::createImm(B + N));
1062 TmpInst.addOperand(MCOperand::createImm(64 - N));
Ulrich Weigandad873cd2013-06-25 13:17:41 +00001063 Inst = TmpInst;
1064 break;
1065 }
1066 case PPC::INSRDI:
1067 case PPC::INSRDIo: {
1068 MCInst TmpInst;
1069 int64_t N = Inst.getOperand(2).getImm();
1070 int64_t B = Inst.getOperand(3).getImm();
1071 TmpInst.setOpcode(Opcode == PPC::INSRDI? PPC::RLDIMI : PPC::RLDIMIo);
1072 TmpInst.addOperand(Inst.getOperand(0));
1073 TmpInst.addOperand(Inst.getOperand(0));
1074 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +00001075 TmpInst.addOperand(MCOperand::createImm(64 - (B + N)));
1076 TmpInst.addOperand(MCOperand::createImm(B));
Ulrich Weigandad873cd2013-06-25 13:17:41 +00001077 Inst = TmpInst;
1078 break;
1079 }
1080 case PPC::ROTRDI:
1081 case PPC::ROTRDIo: {
1082 MCInst TmpInst;
1083 int64_t N = Inst.getOperand(2).getImm();
1084 TmpInst.setOpcode(Opcode == PPC::ROTRDI? PPC::RLDICL : PPC::RLDICLo);
1085 TmpInst.addOperand(Inst.getOperand(0));
1086 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +00001087 TmpInst.addOperand(MCOperand::createImm(64 - N));
1088 TmpInst.addOperand(MCOperand::createImm(0));
Ulrich Weigandad873cd2013-06-25 13:17:41 +00001089 Inst = TmpInst;
1090 break;
1091 }
1092 case PPC::SLDI:
1093 case PPC::SLDIo: {
1094 MCInst TmpInst;
1095 int64_t N = Inst.getOperand(2).getImm();
1096 TmpInst.setOpcode(Opcode == PPC::SLDI? PPC::RLDICR : PPC::RLDICRo);
Ulrich Weigandd8394902013-05-03 19:50:27 +00001097 TmpInst.addOperand(Inst.getOperand(0));
1098 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +00001099 TmpInst.addOperand(MCOperand::createImm(N));
1100 TmpInst.addOperand(MCOperand::createImm(63 - N));
Ulrich Weigandd8394902013-05-03 19:50:27 +00001101 Inst = TmpInst;
1102 break;
1103 }
Ulrich Weigandad873cd2013-06-25 13:17:41 +00001104 case PPC::SRDI:
1105 case PPC::SRDIo: {
Ulrich Weigandd8394902013-05-03 19:50:27 +00001106 MCInst TmpInst;
1107 int64_t N = Inst.getOperand(2).getImm();
Ulrich Weigandad873cd2013-06-25 13:17:41 +00001108 TmpInst.setOpcode(Opcode == PPC::SRDI? PPC::RLDICL : PPC::RLDICLo);
Ulrich Weigandd8394902013-05-03 19:50:27 +00001109 TmpInst.addOperand(Inst.getOperand(0));
1110 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +00001111 TmpInst.addOperand(MCOperand::createImm(64 - N));
1112 TmpInst.addOperand(MCOperand::createImm(N));
Ulrich Weigandd8394902013-05-03 19:50:27 +00001113 Inst = TmpInst;
1114 break;
1115 }
Ulrich Weigandad873cd2013-06-25 13:17:41 +00001116 case PPC::CLRRDI:
1117 case PPC::CLRRDIo: {
1118 MCInst TmpInst;
1119 int64_t N = Inst.getOperand(2).getImm();
1120 TmpInst.setOpcode(Opcode == PPC::CLRRDI? PPC::RLDICR : PPC::RLDICRo);
1121 TmpInst.addOperand(Inst.getOperand(0));
1122 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +00001123 TmpInst.addOperand(MCOperand::createImm(0));
1124 TmpInst.addOperand(MCOperand::createImm(63 - N));
Ulrich Weigandad873cd2013-06-25 13:17:41 +00001125 Inst = TmpInst;
1126 break;
1127 }
1128 case PPC::CLRLSLDI:
1129 case PPC::CLRLSLDIo: {
1130 MCInst TmpInst;
1131 int64_t B = Inst.getOperand(2).getImm();
1132 int64_t N = Inst.getOperand(3).getImm();
1133 TmpInst.setOpcode(Opcode == PPC::CLRLSLDI? PPC::RLDIC : PPC::RLDICo);
1134 TmpInst.addOperand(Inst.getOperand(0));
1135 TmpInst.addOperand(Inst.getOperand(1));
Jim Grosbache9119e42015-05-13 18:37:00 +00001136 TmpInst.addOperand(MCOperand::createImm(N));
1137 TmpInst.addOperand(MCOperand::createImm(B - N));
Ulrich Weigandad873cd2013-06-25 13:17:41 +00001138 Inst = TmpInst;
1139 break;
1140 }
Hal Finkel6e9110a2015-03-28 19:42:41 +00001141 case PPC::RLWINMbm:
1142 case PPC::RLWINMobm: {
1143 unsigned MB, ME;
1144 int64_t BM = Inst.getOperand(3).getImm();
1145 if (!isRunOfOnes(BM, MB, ME))
1146 break;
1147
1148 MCInst TmpInst;
1149 TmpInst.setOpcode(Opcode == PPC::RLWINMbm ? PPC::RLWINM : PPC::RLWINMo);
1150 TmpInst.addOperand(Inst.getOperand(0));
1151 TmpInst.addOperand(Inst.getOperand(1));
1152 TmpInst.addOperand(Inst.getOperand(2));
Jim Grosbache9119e42015-05-13 18:37:00 +00001153 TmpInst.addOperand(MCOperand::createImm(MB));
1154 TmpInst.addOperand(MCOperand::createImm(ME));
Hal Finkel6e9110a2015-03-28 19:42:41 +00001155 Inst = TmpInst;
1156 break;
1157 }
1158 case PPC::RLWIMIbm:
1159 case PPC::RLWIMIobm: {
1160 unsigned MB, ME;
1161 int64_t BM = Inst.getOperand(3).getImm();
1162 if (!isRunOfOnes(BM, MB, ME))
1163 break;
1164
1165 MCInst TmpInst;
1166 TmpInst.setOpcode(Opcode == PPC::RLWIMIbm ? PPC::RLWIMI : PPC::RLWIMIo);
1167 TmpInst.addOperand(Inst.getOperand(0));
1168 TmpInst.addOperand(Inst.getOperand(0)); // The tied operand.
1169 TmpInst.addOperand(Inst.getOperand(1));
1170 TmpInst.addOperand(Inst.getOperand(2));
Jim Grosbache9119e42015-05-13 18:37:00 +00001171 TmpInst.addOperand(MCOperand::createImm(MB));
1172 TmpInst.addOperand(MCOperand::createImm(ME));
Hal Finkel6e9110a2015-03-28 19:42:41 +00001173 Inst = TmpInst;
1174 break;
1175 }
1176 case PPC::RLWNMbm:
1177 case PPC::RLWNMobm: {
1178 unsigned MB, ME;
1179 int64_t BM = Inst.getOperand(3).getImm();
1180 if (!isRunOfOnes(BM, MB, ME))
1181 break;
1182
1183 MCInst TmpInst;
1184 TmpInst.setOpcode(Opcode == PPC::RLWNMbm ? PPC::RLWNM : PPC::RLWNMo);
1185 TmpInst.addOperand(Inst.getOperand(0));
1186 TmpInst.addOperand(Inst.getOperand(1));
1187 TmpInst.addOperand(Inst.getOperand(2));
Jim Grosbache9119e42015-05-13 18:37:00 +00001188 TmpInst.addOperand(MCOperand::createImm(MB));
1189 TmpInst.addOperand(MCOperand::createImm(ME));
Hal Finkel6e9110a2015-03-28 19:42:41 +00001190 Inst = TmpInst;
1191 break;
1192 }
Kit Barton4f79f962015-06-16 16:01:15 +00001193 case PPC::MFTB: {
Akira Hatanakabd9fc282015-11-14 05:20:05 +00001194 if (getSTI().getFeatureBits()[PPC::FeatureMFTB]) {
Kit Barton4f79f962015-06-16 16:01:15 +00001195 assert(Inst.getNumOperands() == 2 && "Expecting two operands");
1196 Inst.setOpcode(PPC::MFSPR);
1197 }
1198 break;
1199 }
Chuang-Yu Chengeaf4b3d2016-04-06 01:46:45 +00001200 case PPC::CP_COPYx:
1201 case PPC::CP_COPY_FIRST: {
1202 MCInst TmpInst;
1203 TmpInst.setOpcode(PPC::CP_COPY);
1204 TmpInst.addOperand(Inst.getOperand(0));
1205 TmpInst.addOperand(Inst.getOperand(1));
1206 TmpInst.addOperand(MCOperand::createImm(Opcode == PPC::CP_COPYx ? 0 : 1));
1207
1208 Inst = TmpInst;
1209 break;
1210 }
1211 case PPC::CP_PASTEx :
1212 case PPC::CP_PASTE_LAST: {
1213 MCInst TmpInst;
1214 TmpInst.setOpcode(Opcode == PPC::CP_PASTEx ?
1215 PPC::CP_PASTE : PPC::CP_PASTEo);
1216 TmpInst.addOperand(Inst.getOperand(0));
1217 TmpInst.addOperand(Inst.getOperand(1));
1218 TmpInst.addOperand(MCOperand::createImm(Opcode == PPC::CP_PASTEx ? 0 : 1));
1219
1220 Inst = TmpInst;
1221 break;
1222 }
Ulrich Weigandd8394902013-05-03 19:50:27 +00001223 }
1224}
1225
David Blaikie960ea3f2014-06-08 16:18:35 +00001226bool PPCAsmParser::MatchAndEmitInstruction(SMLoc IDLoc, unsigned &Opcode,
1227 OperandVector &Operands,
Tim Northover26bb14e2014-08-18 11:49:42 +00001228 MCStreamer &Out, uint64_t &ErrorInfo,
David Blaikie960ea3f2014-06-08 16:18:35 +00001229 bool MatchingInlineAsm) {
Ulrich Weigand640192d2013-05-03 19:49:39 +00001230 MCInst Inst;
1231
Ranjeet Singh86ecbb72015-06-30 12:32:53 +00001232 switch (MatchInstructionImpl(Operands, Inst, ErrorInfo, MatchingInlineAsm)) {
Ulrich Weigand640192d2013-05-03 19:49:39 +00001233 case Match_Success:
Ulrich Weigandd8394902013-05-03 19:50:27 +00001234 // Post-process instructions (typically extended mnemonics)
1235 ProcessInstruction(Inst, Operands);
Ulrich Weigand640192d2013-05-03 19:49:39 +00001236 Inst.setLoc(IDLoc);
Akira Hatanakabd9fc282015-11-14 05:20:05 +00001237 Out.EmitInstruction(Inst, getSTI());
Ulrich Weigand640192d2013-05-03 19:49:39 +00001238 return false;
1239 case Match_MissingFeature:
1240 return Error(IDLoc, "instruction use requires an option to be enabled");
1241 case Match_MnemonicFail:
Craig Topper589ceee2015-01-03 08:16:34 +00001242 return Error(IDLoc, "unrecognized instruction mnemonic");
Ulrich Weigand640192d2013-05-03 19:49:39 +00001243 case Match_InvalidOperand: {
1244 SMLoc ErrorLoc = IDLoc;
Tim Northover26bb14e2014-08-18 11:49:42 +00001245 if (ErrorInfo != ~0ULL) {
Ulrich Weigand640192d2013-05-03 19:49:39 +00001246 if (ErrorInfo >= Operands.size())
1247 return Error(IDLoc, "too few operands for instruction");
1248
David Blaikie960ea3f2014-06-08 16:18:35 +00001249 ErrorLoc = ((PPCOperand &)*Operands[ErrorInfo]).getStartLoc();
Ulrich Weigand640192d2013-05-03 19:49:39 +00001250 if (ErrorLoc == SMLoc()) ErrorLoc = IDLoc;
1251 }
1252
1253 return Error(ErrorLoc, "invalid operand for instruction");
1254 }
1255 }
1256
1257 llvm_unreachable("Implement any new match types added!");
1258}
1259
1260bool PPCAsmParser::
1261MatchRegisterName(const AsmToken &Tok, unsigned &RegNo, int64_t &IntVal) {
1262 if (Tok.is(AsmToken::Identifier)) {
Ulrich Weigand509c2402013-05-06 11:16:57 +00001263 StringRef Name = Tok.getString();
Ulrich Weigand640192d2013-05-03 19:49:39 +00001264
Ulrich Weigand509c2402013-05-06 11:16:57 +00001265 if (Name.equals_lower("lr")) {
Ulrich Weigand640192d2013-05-03 19:49:39 +00001266 RegNo = isPPC64()? PPC::LR8 : PPC::LR;
1267 IntVal = 8;
1268 return false;
Ulrich Weigand509c2402013-05-06 11:16:57 +00001269 } else if (Name.equals_lower("ctr")) {
Ulrich Weigand640192d2013-05-03 19:49:39 +00001270 RegNo = isPPC64()? PPC::CTR8 : PPC::CTR;
1271 IntVal = 9;
1272 return false;
Hal Finkel52727c62013-07-02 03:39:34 +00001273 } else if (Name.equals_lower("vrsave")) {
1274 RegNo = PPC::VRSAVE;
1275 IntVal = 256;
1276 return false;
Rui Ueyama29d29102013-10-31 19:59:55 +00001277 } else if (Name.startswith_lower("r") &&
Ulrich Weigand640192d2013-05-03 19:49:39 +00001278 !Name.substr(1).getAsInteger(10, IntVal) && IntVal < 32) {
1279 RegNo = isPPC64()? XRegs[IntVal] : RRegs[IntVal];
1280 return false;
Rui Ueyama29d29102013-10-31 19:59:55 +00001281 } else if (Name.startswith_lower("f") &&
Ulrich Weigand640192d2013-05-03 19:49:39 +00001282 !Name.substr(1).getAsInteger(10, IntVal) && IntVal < 32) {
1283 RegNo = FRegs[IntVal];
1284 return false;
Hal Finkel4dc8fcc2015-04-23 23:16:22 +00001285 } else if (Name.startswith_lower("vs") &&
1286 !Name.substr(2).getAsInteger(10, IntVal) && IntVal < 64) {
1287 RegNo = VSRegs[IntVal];
1288 return false;
Rui Ueyama29d29102013-10-31 19:59:55 +00001289 } else if (Name.startswith_lower("v") &&
Ulrich Weigand640192d2013-05-03 19:49:39 +00001290 !Name.substr(1).getAsInteger(10, IntVal) && IntVal < 32) {
1291 RegNo = VRegs[IntVal];
1292 return false;
Hal Finkel4dc8fcc2015-04-23 23:16:22 +00001293 } else if (Name.startswith_lower("q") &&
1294 !Name.substr(1).getAsInteger(10, IntVal) && IntVal < 32) {
1295 RegNo = QFRegs[IntVal];
1296 return false;
Rui Ueyama29d29102013-10-31 19:59:55 +00001297 } else if (Name.startswith_lower("cr") &&
Ulrich Weigand640192d2013-05-03 19:49:39 +00001298 !Name.substr(2).getAsInteger(10, IntVal) && IntVal < 8) {
1299 RegNo = CRRegs[IntVal];
1300 return false;
1301 }
1302 }
1303
1304 return true;
1305}
1306
1307bool PPCAsmParser::
1308ParseRegister(unsigned &RegNo, SMLoc &StartLoc, SMLoc &EndLoc) {
Rafael Espindola961d4692014-11-11 05:18:41 +00001309 MCAsmParser &Parser = getParser();
Ulrich Weigand640192d2013-05-03 19:49:39 +00001310 const AsmToken &Tok = Parser.getTok();
1311 StartLoc = Tok.getLoc();
1312 EndLoc = Tok.getEndLoc();
1313 RegNo = 0;
1314 int64_t IntVal;
1315
1316 if (!MatchRegisterName(Tok, RegNo, IntVal)) {
1317 Parser.Lex(); // Eat identifier token.
1318 return false;
1319 }
1320
1321 return Error(StartLoc, "invalid register name");
1322}
1323
NAKAMURA Takumi36c17ee2013-06-25 01:14:20 +00001324/// Extract \code @l/@ha \endcode modifier from expression. Recursively scan
Ulrich Weigande67c5652013-06-21 14:42:49 +00001325/// the expression and check for VK_PPC_LO/HI/HA
Ulrich Weigand96e65782013-06-20 16:23:52 +00001326/// symbol variants. If all symbols with modifier use the same
1327/// variant, return the corresponding PPCMCExpr::VariantKind,
1328/// and a modified expression using the default symbol variant.
1329/// Otherwise, return NULL.
1330const MCExpr *PPCAsmParser::
1331ExtractModifierFromExpr(const MCExpr *E,
1332 PPCMCExpr::VariantKind &Variant) {
1333 MCContext &Context = getParser().getContext();
1334 Variant = PPCMCExpr::VK_PPC_None;
1335
1336 switch (E->getKind()) {
1337 case MCExpr::Target:
1338 case MCExpr::Constant:
Craig Topper062a2ba2014-04-25 05:30:21 +00001339 return nullptr;
Ulrich Weigand96e65782013-06-20 16:23:52 +00001340
1341 case MCExpr::SymbolRef: {
1342 const MCSymbolRefExpr *SRE = cast<MCSymbolRefExpr>(E);
1343
1344 switch (SRE->getKind()) {
Ulrich Weigandd51c09f2013-06-21 14:42:20 +00001345 case MCSymbolRefExpr::VK_PPC_LO:
1346 Variant = PPCMCExpr::VK_PPC_LO;
Ulrich Weigand96e65782013-06-20 16:23:52 +00001347 break;
Ulrich Weigande67c5652013-06-21 14:42:49 +00001348 case MCSymbolRefExpr::VK_PPC_HI:
1349 Variant = PPCMCExpr::VK_PPC_HI;
1350 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +00001351 case MCSymbolRefExpr::VK_PPC_HA:
1352 Variant = PPCMCExpr::VK_PPC_HA;
Ulrich Weigand96e65782013-06-20 16:23:52 +00001353 break;
Ulrich Weigande9126f52013-06-21 14:43:42 +00001354 case MCSymbolRefExpr::VK_PPC_HIGHER:
1355 Variant = PPCMCExpr::VK_PPC_HIGHER;
1356 break;
1357 case MCSymbolRefExpr::VK_PPC_HIGHERA:
1358 Variant = PPCMCExpr::VK_PPC_HIGHERA;
1359 break;
1360 case MCSymbolRefExpr::VK_PPC_HIGHEST:
1361 Variant = PPCMCExpr::VK_PPC_HIGHEST;
1362 break;
1363 case MCSymbolRefExpr::VK_PPC_HIGHESTA:
1364 Variant = PPCMCExpr::VK_PPC_HIGHESTA;
1365 break;
Ulrich Weigand96e65782013-06-20 16:23:52 +00001366 default:
Craig Topper062a2ba2014-04-25 05:30:21 +00001367 return nullptr;
Ulrich Weigand96e65782013-06-20 16:23:52 +00001368 }
1369
Jim Grosbach13760bd2015-05-30 01:25:56 +00001370 return MCSymbolRefExpr::create(&SRE->getSymbol(), Context);
Ulrich Weigand96e65782013-06-20 16:23:52 +00001371 }
1372
1373 case MCExpr::Unary: {
1374 const MCUnaryExpr *UE = cast<MCUnaryExpr>(E);
1375 const MCExpr *Sub = ExtractModifierFromExpr(UE->getSubExpr(), Variant);
1376 if (!Sub)
Craig Topper062a2ba2014-04-25 05:30:21 +00001377 return nullptr;
Jim Grosbach13760bd2015-05-30 01:25:56 +00001378 return MCUnaryExpr::create(UE->getOpcode(), Sub, Context);
Ulrich Weigand96e65782013-06-20 16:23:52 +00001379 }
1380
1381 case MCExpr::Binary: {
1382 const MCBinaryExpr *BE = cast<MCBinaryExpr>(E);
1383 PPCMCExpr::VariantKind LHSVariant, RHSVariant;
1384 const MCExpr *LHS = ExtractModifierFromExpr(BE->getLHS(), LHSVariant);
1385 const MCExpr *RHS = ExtractModifierFromExpr(BE->getRHS(), RHSVariant);
1386
1387 if (!LHS && !RHS)
Craig Topper062a2ba2014-04-25 05:30:21 +00001388 return nullptr;
Ulrich Weigand96e65782013-06-20 16:23:52 +00001389
1390 if (!LHS) LHS = BE->getLHS();
1391 if (!RHS) RHS = BE->getRHS();
1392
1393 if (LHSVariant == PPCMCExpr::VK_PPC_None)
1394 Variant = RHSVariant;
1395 else if (RHSVariant == PPCMCExpr::VK_PPC_None)
1396 Variant = LHSVariant;
1397 else if (LHSVariant == RHSVariant)
1398 Variant = LHSVariant;
1399 else
Craig Topper062a2ba2014-04-25 05:30:21 +00001400 return nullptr;
Ulrich Weigand96e65782013-06-20 16:23:52 +00001401
Jim Grosbach13760bd2015-05-30 01:25:56 +00001402 return MCBinaryExpr::create(BE->getOpcode(), LHS, RHS, Context);
Ulrich Weigand96e65782013-06-20 16:23:52 +00001403 }
1404 }
1405
1406 llvm_unreachable("Invalid expression kind!");
1407}
1408
Ulrich Weigand52cf8e42013-07-09 16:41:09 +00001409/// Find all VK_TLSGD/VK_TLSLD symbol references in expression and replace
1410/// them by VK_PPC_TLSGD/VK_PPC_TLSLD. This is necessary to avoid having
1411/// _GLOBAL_OFFSET_TABLE_ created via ELFObjectWriter::RelocNeedsGOT.
1412/// FIXME: This is a hack.
1413const MCExpr *PPCAsmParser::
1414FixupVariantKind(const MCExpr *E) {
1415 MCContext &Context = getParser().getContext();
1416
1417 switch (E->getKind()) {
1418 case MCExpr::Target:
1419 case MCExpr::Constant:
1420 return E;
1421
1422 case MCExpr::SymbolRef: {
1423 const MCSymbolRefExpr *SRE = cast<MCSymbolRefExpr>(E);
1424 MCSymbolRefExpr::VariantKind Variant = MCSymbolRefExpr::VK_None;
1425
1426 switch (SRE->getKind()) {
1427 case MCSymbolRefExpr::VK_TLSGD:
1428 Variant = MCSymbolRefExpr::VK_PPC_TLSGD;
1429 break;
1430 case MCSymbolRefExpr::VK_TLSLD:
1431 Variant = MCSymbolRefExpr::VK_PPC_TLSLD;
1432 break;
1433 default:
1434 return E;
1435 }
Jim Grosbach13760bd2015-05-30 01:25:56 +00001436 return MCSymbolRefExpr::create(&SRE->getSymbol(), Variant, Context);
Ulrich Weigand52cf8e42013-07-09 16:41:09 +00001437 }
1438
1439 case MCExpr::Unary: {
1440 const MCUnaryExpr *UE = cast<MCUnaryExpr>(E);
1441 const MCExpr *Sub = FixupVariantKind(UE->getSubExpr());
1442 if (Sub == UE->getSubExpr())
1443 return E;
Jim Grosbach13760bd2015-05-30 01:25:56 +00001444 return MCUnaryExpr::create(UE->getOpcode(), Sub, Context);
Ulrich Weigand52cf8e42013-07-09 16:41:09 +00001445 }
1446
1447 case MCExpr::Binary: {
1448 const MCBinaryExpr *BE = cast<MCBinaryExpr>(E);
1449 const MCExpr *LHS = FixupVariantKind(BE->getLHS());
1450 const MCExpr *RHS = FixupVariantKind(BE->getRHS());
1451 if (LHS == BE->getLHS() && RHS == BE->getRHS())
1452 return E;
Jim Grosbach13760bd2015-05-30 01:25:56 +00001453 return MCBinaryExpr::create(BE->getOpcode(), LHS, RHS, Context);
Ulrich Weigand52cf8e42013-07-09 16:41:09 +00001454 }
1455 }
1456
1457 llvm_unreachable("Invalid expression kind!");
1458}
1459
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001460/// ParseExpression. This differs from the default "parseExpression" in that
1461/// it handles modifiers.
Ulrich Weigand96e65782013-06-20 16:23:52 +00001462bool PPCAsmParser::
1463ParseExpression(const MCExpr *&EVal) {
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001464
1465 if (isDarwin())
1466 return ParseDarwinExpression(EVal);
1467
1468 // (ELF Platforms)
1469 // Handle \code @l/@ha \endcode
Ulrich Weigand96e65782013-06-20 16:23:52 +00001470 if (getParser().parseExpression(EVal))
1471 return true;
1472
Ulrich Weigand52cf8e42013-07-09 16:41:09 +00001473 EVal = FixupVariantKind(EVal);
1474
Ulrich Weigand96e65782013-06-20 16:23:52 +00001475 PPCMCExpr::VariantKind Variant;
1476 const MCExpr *E = ExtractModifierFromExpr(EVal, Variant);
1477 if (E)
Jim Grosbach13760bd2015-05-30 01:25:56 +00001478 EVal = PPCMCExpr::create(Variant, E, false, getParser().getContext());
Ulrich Weigand96e65782013-06-20 16:23:52 +00001479
1480 return false;
1481}
1482
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001483/// ParseDarwinExpression. (MachO Platforms)
1484/// This differs from the default "parseExpression" in that it handles detection
1485/// of the \code hi16(), ha16() and lo16() \endcode modifiers. At present,
1486/// parseExpression() doesn't recognise the modifiers when in the Darwin/MachO
1487/// syntax form so it is done here. TODO: Determine if there is merit in arranging
1488/// for this to be done at a higher level.
1489bool PPCAsmParser::
1490ParseDarwinExpression(const MCExpr *&EVal) {
Rafael Espindola961d4692014-11-11 05:18:41 +00001491 MCAsmParser &Parser = getParser();
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001492 PPCMCExpr::VariantKind Variant = PPCMCExpr::VK_PPC_None;
1493 switch (getLexer().getKind()) {
1494 default:
1495 break;
1496 case AsmToken::Identifier:
1497 // Compiler-generated Darwin identifiers begin with L,l,_ or "; thus
1498 // something starting with any other char should be part of the
1499 // asm syntax. If handwritten asm includes an identifier like lo16,
1500 // then all bets are off - but no-one would do that, right?
1501 StringRef poss = Parser.getTok().getString();
1502 if (poss.equals_lower("lo16")) {
1503 Variant = PPCMCExpr::VK_PPC_LO;
1504 } else if (poss.equals_lower("hi16")) {
1505 Variant = PPCMCExpr::VK_PPC_HI;
1506 } else if (poss.equals_lower("ha16")) {
1507 Variant = PPCMCExpr::VK_PPC_HA;
1508 }
1509 if (Variant != PPCMCExpr::VK_PPC_None) {
1510 Parser.Lex(); // Eat the xx16
1511 if (getLexer().isNot(AsmToken::LParen))
1512 return Error(Parser.getTok().getLoc(), "expected '('");
1513 Parser.Lex(); // Eat the '('
1514 }
1515 break;
1516 }
1517
1518 if (getParser().parseExpression(EVal))
1519 return true;
1520
1521 if (Variant != PPCMCExpr::VK_PPC_None) {
1522 if (getLexer().isNot(AsmToken::RParen))
1523 return Error(Parser.getTok().getLoc(), "expected ')'");
1524 Parser.Lex(); // Eat the ')'
Jim Grosbach13760bd2015-05-30 01:25:56 +00001525 EVal = PPCMCExpr::create(Variant, EVal, false, getParser().getContext());
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001526 }
1527 return false;
1528}
1529
1530/// ParseOperand
1531/// This handles registers in the form 'NN', '%rNN' for ELF platforms and
1532/// rNN for MachO.
David Blaikie960ea3f2014-06-08 16:18:35 +00001533bool PPCAsmParser::ParseOperand(OperandVector &Operands) {
Rafael Espindola961d4692014-11-11 05:18:41 +00001534 MCAsmParser &Parser = getParser();
Ulrich Weigand640192d2013-05-03 19:49:39 +00001535 SMLoc S = Parser.getTok().getLoc();
1536 SMLoc E = SMLoc::getFromPointer(Parser.getTok().getLoc().getPointer() - 1);
1537 const MCExpr *EVal;
Ulrich Weigand640192d2013-05-03 19:49:39 +00001538
1539 // Attempt to parse the next token as an immediate
1540 switch (getLexer().getKind()) {
1541 // Special handling for register names. These are interpreted
1542 // as immediates corresponding to the register number.
1543 case AsmToken::Percent:
1544 Parser.Lex(); // Eat the '%'.
1545 unsigned RegNo;
1546 int64_t IntVal;
1547 if (!MatchRegisterName(Parser.getTok(), RegNo, IntVal)) {
1548 Parser.Lex(); // Eat the identifier token.
David Blaikie960ea3f2014-06-08 16:18:35 +00001549 Operands.push_back(PPCOperand::CreateImm(IntVal, S, E, isPPC64()));
Ulrich Weigand640192d2013-05-03 19:49:39 +00001550 return false;
1551 }
1552 return Error(S, "invalid register name");
1553
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001554 case AsmToken::Identifier:
1555 // Note that non-register-name identifiers from the compiler will begin
1556 // with '_', 'L'/'l' or '"'. Of course, handwritten asm could include
1557 // identifiers like r31foo - so we fall through in the event that parsing
1558 // a register name fails.
1559 if (isDarwin()) {
1560 unsigned RegNo;
1561 int64_t IntVal;
1562 if (!MatchRegisterName(Parser.getTok(), RegNo, IntVal)) {
1563 Parser.Lex(); // Eat the identifier token.
David Blaikie960ea3f2014-06-08 16:18:35 +00001564 Operands.push_back(PPCOperand::CreateImm(IntVal, S, E, isPPC64()));
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001565 return false;
1566 }
1567 }
1568 // Fall-through to process non-register-name identifiers as expression.
Ulrich Weigand640192d2013-05-03 19:49:39 +00001569 // All other expressions
1570 case AsmToken::LParen:
1571 case AsmToken::Plus:
1572 case AsmToken::Minus:
1573 case AsmToken::Integer:
Ulrich Weigand640192d2013-05-03 19:49:39 +00001574 case AsmToken::Dot:
1575 case AsmToken::Dollar:
Roman Divackya26f9a62014-03-12 19:25:57 +00001576 case AsmToken::Exclaim:
1577 case AsmToken::Tilde:
Ulrich Weigand96e65782013-06-20 16:23:52 +00001578 if (!ParseExpression(EVal))
Ulrich Weigand640192d2013-05-03 19:49:39 +00001579 break;
1580 /* fall through */
1581 default:
1582 return Error(S, "unknown operand");
1583 }
1584
Ulrich Weigand640192d2013-05-03 19:49:39 +00001585 // Push the parsed operand into the list of operands
David Blaikie960ea3f2014-06-08 16:18:35 +00001586 Operands.push_back(PPCOperand::CreateFromMCExpr(EVal, S, E, isPPC64()));
Ulrich Weigand640192d2013-05-03 19:49:39 +00001587
Ulrich Weigand42a09dc2013-07-02 21:31:59 +00001588 // Check whether this is a TLS call expression
1589 bool TLSCall = false;
1590 if (const MCSymbolRefExpr *Ref = dyn_cast<MCSymbolRefExpr>(EVal))
1591 TLSCall = Ref->getSymbol().getName() == "__tls_get_addr";
1592
1593 if (TLSCall && getLexer().is(AsmToken::LParen)) {
1594 const MCExpr *TLSSym;
1595
1596 Parser.Lex(); // Eat the '('.
1597 S = Parser.getTok().getLoc();
1598 if (ParseExpression(TLSSym))
1599 return Error(S, "invalid TLS call expression");
1600 if (getLexer().isNot(AsmToken::RParen))
1601 return Error(Parser.getTok().getLoc(), "missing ')'");
1602 E = Parser.getTok().getLoc();
1603 Parser.Lex(); // Eat the ')'.
1604
David Blaikie960ea3f2014-06-08 16:18:35 +00001605 Operands.push_back(PPCOperand::CreateFromMCExpr(TLSSym, S, E, isPPC64()));
Ulrich Weigand42a09dc2013-07-02 21:31:59 +00001606 }
1607
1608 // Otherwise, check for D-form memory operands
1609 if (!TLSCall && getLexer().is(AsmToken::LParen)) {
Ulrich Weigand640192d2013-05-03 19:49:39 +00001610 Parser.Lex(); // Eat the '('.
1611 S = Parser.getTok().getLoc();
1612
1613 int64_t IntVal;
1614 switch (getLexer().getKind()) {
1615 case AsmToken::Percent:
1616 Parser.Lex(); // Eat the '%'.
1617 unsigned RegNo;
1618 if (MatchRegisterName(Parser.getTok(), RegNo, IntVal))
1619 return Error(S, "invalid register name");
1620 Parser.Lex(); // Eat the identifier token.
1621 break;
1622
1623 case AsmToken::Integer:
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001624 if (!isDarwin()) {
1625 if (getParser().parseAbsoluteExpression(IntVal) ||
Ulrich Weigand640192d2013-05-03 19:49:39 +00001626 IntVal < 0 || IntVal > 31)
1627 return Error(S, "invalid register number");
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001628 } else {
1629 return Error(S, "unexpected integer value");
1630 }
Ulrich Weigand640192d2013-05-03 19:49:39 +00001631 break;
1632
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001633 case AsmToken::Identifier:
1634 if (isDarwin()) {
1635 unsigned RegNo;
1636 if (!MatchRegisterName(Parser.getTok(), RegNo, IntVal)) {
1637 Parser.Lex(); // Eat the identifier token.
1638 break;
1639 }
1640 }
1641 // Fall-through..
1642
Ulrich Weigand640192d2013-05-03 19:49:39 +00001643 default:
1644 return Error(S, "invalid memory operand");
1645 }
1646
1647 if (getLexer().isNot(AsmToken::RParen))
1648 return Error(Parser.getTok().getLoc(), "missing ')'");
1649 E = Parser.getTok().getLoc();
1650 Parser.Lex(); // Eat the ')'.
1651
David Blaikie960ea3f2014-06-08 16:18:35 +00001652 Operands.push_back(PPCOperand::CreateImm(IntVal, S, E, isPPC64()));
Ulrich Weigand640192d2013-05-03 19:49:39 +00001653 }
1654
1655 return false;
1656}
1657
1658/// Parse an instruction mnemonic followed by its operands.
David Blaikie960ea3f2014-06-08 16:18:35 +00001659bool PPCAsmParser::ParseInstruction(ParseInstructionInfo &Info, StringRef Name,
1660 SMLoc NameLoc, OperandVector &Operands) {
Ulrich Weigand640192d2013-05-03 19:49:39 +00001661 // The first operand is the token for the instruction name.
Ulrich Weigand86247b62013-06-24 16:52:04 +00001662 // If the next character is a '+' or '-', we need to add it to the
1663 // instruction name, to match what TableGen is doing.
Benjamin Kramer72d45cc2013-08-03 22:43:29 +00001664 std::string NewOpcode;
Ulrich Weigand86247b62013-06-24 16:52:04 +00001665 if (getLexer().is(AsmToken::Plus)) {
1666 getLexer().Lex();
Benjamin Kramer72d45cc2013-08-03 22:43:29 +00001667 NewOpcode = Name;
1668 NewOpcode += '+';
1669 Name = NewOpcode;
Ulrich Weigand86247b62013-06-24 16:52:04 +00001670 }
1671 if (getLexer().is(AsmToken::Minus)) {
1672 getLexer().Lex();
Benjamin Kramer72d45cc2013-08-03 22:43:29 +00001673 NewOpcode = Name;
1674 NewOpcode += '-';
1675 Name = NewOpcode;
Ulrich Weigand86247b62013-06-24 16:52:04 +00001676 }
Ulrich Weigand640192d2013-05-03 19:49:39 +00001677 // If the instruction ends in a '.', we need to create a separate
1678 // token for it, to match what TableGen is doing.
1679 size_t Dot = Name.find('.');
1680 StringRef Mnemonic = Name.slice(0, Dot);
Benjamin Kramer72d45cc2013-08-03 22:43:29 +00001681 if (!NewOpcode.empty()) // Underlying memory for Name is volatile.
1682 Operands.push_back(
1683 PPCOperand::CreateTokenWithStringCopy(Mnemonic, NameLoc, isPPC64()));
1684 else
1685 Operands.push_back(PPCOperand::CreateToken(Mnemonic, NameLoc, isPPC64()));
Ulrich Weigand640192d2013-05-03 19:49:39 +00001686 if (Dot != StringRef::npos) {
1687 SMLoc DotLoc = SMLoc::getFromPointer(NameLoc.getPointer() + Dot);
1688 StringRef DotStr = Name.slice(Dot, StringRef::npos);
Benjamin Kramer72d45cc2013-08-03 22:43:29 +00001689 if (!NewOpcode.empty()) // Underlying memory for Name is volatile.
1690 Operands.push_back(
1691 PPCOperand::CreateTokenWithStringCopy(DotStr, DotLoc, isPPC64()));
1692 else
1693 Operands.push_back(PPCOperand::CreateToken(DotStr, DotLoc, isPPC64()));
Ulrich Weigand640192d2013-05-03 19:49:39 +00001694 }
1695
1696 // If there are no more operands then finish
1697 if (getLexer().is(AsmToken::EndOfStatement))
1698 return false;
1699
1700 // Parse the first operand
1701 if (ParseOperand(Operands))
1702 return true;
1703
1704 while (getLexer().isNot(AsmToken::EndOfStatement) &&
1705 getLexer().is(AsmToken::Comma)) {
1706 // Consume the comma token
1707 getLexer().Lex();
1708
1709 // Parse the next operand
1710 if (ParseOperand(Operands))
1711 return true;
1712 }
1713
Hal Finkelfefcfff2015-04-23 22:47:57 +00001714 // We'll now deal with an unfortunate special case: the syntax for the dcbt
1715 // and dcbtst instructions differs for server vs. embedded cores.
1716 // The syntax for dcbt is:
1717 // dcbt ra, rb, th [server]
1718 // dcbt th, ra, rb [embedded]
1719 // where th can be omitted when it is 0. dcbtst is the same. We take the
1720 // server form to be the default, so swap the operands if we're parsing for
1721 // an embedded core (they'll be swapped again upon printing).
Akira Hatanakabd9fc282015-11-14 05:20:05 +00001722 if (getSTI().getFeatureBits()[PPC::FeatureBookE] &&
Hal Finkelfefcfff2015-04-23 22:47:57 +00001723 Operands.size() == 4 &&
1724 (Name == "dcbt" || Name == "dcbtst")) {
1725 std::swap(Operands[1], Operands[3]);
1726 std::swap(Operands[2], Operands[1]);
1727 }
1728
Ulrich Weigand640192d2013-05-03 19:49:39 +00001729 return false;
1730}
1731
1732/// ParseDirective parses the PPC specific directives
1733bool PPCAsmParser::ParseDirective(AsmToken DirectiveID) {
1734 StringRef IDVal = DirectiveID.getIdentifier();
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001735 if (!isDarwin()) {
1736 if (IDVal == ".word")
1737 return ParseDirectiveWord(2, DirectiveID.getLoc());
1738 if (IDVal == ".llong")
1739 return ParseDirectiveWord(8, DirectiveID.getLoc());
1740 if (IDVal == ".tc")
1741 return ParseDirectiveTC(isPPC64()? 8 : 4, DirectiveID.getLoc());
1742 if (IDVal == ".machine")
1743 return ParseDirectiveMachine(DirectiveID.getLoc());
Ulrich Weigand0daa5162014-07-20 22:56:57 +00001744 if (IDVal == ".abiversion")
1745 return ParseDirectiveAbiVersion(DirectiveID.getLoc());
Ulrich Weigandbb686102014-07-20 23:06:03 +00001746 if (IDVal == ".localentry")
1747 return ParseDirectiveLocalEntry(DirectiveID.getLoc());
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001748 } else {
1749 if (IDVal == ".machine")
1750 return ParseDarwinDirectiveMachine(DirectiveID.getLoc());
1751 }
Ulrich Weigand640192d2013-05-03 19:49:39 +00001752 return true;
1753}
1754
1755/// ParseDirectiveWord
1756/// ::= .word [ expression (, expression)* ]
1757bool PPCAsmParser::ParseDirectiveWord(unsigned Size, SMLoc L) {
Rafael Espindola961d4692014-11-11 05:18:41 +00001758 MCAsmParser &Parser = getParser();
Ulrich Weigand640192d2013-05-03 19:49:39 +00001759 if (getLexer().isNot(AsmToken::EndOfStatement)) {
1760 for (;;) {
1761 const MCExpr *Value;
David Majnemera375b262015-10-26 02:45:50 +00001762 SMLoc ExprLoc = getLexer().getLoc();
Ulrich Weigand640192d2013-05-03 19:49:39 +00001763 if (getParser().parseExpression(Value))
Saleem Abdulrasoola6505ca2014-01-13 01:15:39 +00001764 return false;
Ulrich Weigand640192d2013-05-03 19:49:39 +00001765
David Majnemera375b262015-10-26 02:45:50 +00001766 if (const auto *MCE = dyn_cast<MCConstantExpr>(Value)) {
1767 assert(Size <= 8 && "Invalid size");
1768 uint64_t IntValue = MCE->getValue();
1769 if (!isUIntN(8 * Size, IntValue) && !isIntN(8 * Size, IntValue))
1770 return Error(ExprLoc, "literal value out of range for directive");
1771 getStreamer().EmitIntValue(IntValue, Size);
1772 } else {
1773 getStreamer().EmitValue(Value, Size, ExprLoc);
1774 }
Ulrich Weigand640192d2013-05-03 19:49:39 +00001775
1776 if (getLexer().is(AsmToken::EndOfStatement))
1777 break;
1778
1779 if (getLexer().isNot(AsmToken::Comma))
1780 return Error(L, "unexpected token in directive");
1781 Parser.Lex();
1782 }
1783 }
1784
1785 Parser.Lex();
1786 return false;
1787}
1788
1789/// ParseDirectiveTC
1790/// ::= .tc [ symbol (, expression)* ]
1791bool PPCAsmParser::ParseDirectiveTC(unsigned Size, SMLoc L) {
Rafael Espindola961d4692014-11-11 05:18:41 +00001792 MCAsmParser &Parser = getParser();
Ulrich Weigand640192d2013-05-03 19:49:39 +00001793 // Skip TC symbol, which is only used with XCOFF.
1794 while (getLexer().isNot(AsmToken::EndOfStatement)
1795 && getLexer().isNot(AsmToken::Comma))
1796 Parser.Lex();
Saleem Abdulrasoola6505ca2014-01-13 01:15:39 +00001797 if (getLexer().isNot(AsmToken::Comma)) {
1798 Error(L, "unexpected token in directive");
1799 return false;
1800 }
Ulrich Weigand640192d2013-05-03 19:49:39 +00001801 Parser.Lex();
1802
1803 // Align to word size.
1804 getParser().getStreamer().EmitValueToAlignment(Size);
1805
1806 // Emit expressions.
1807 return ParseDirectiveWord(Size, L);
1808}
1809
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001810/// ParseDirectiveMachine (ELF platforms)
Ulrich Weigand55daa772013-07-09 10:00:34 +00001811/// ::= .machine [ cpu | "push" | "pop" ]
1812bool PPCAsmParser::ParseDirectiveMachine(SMLoc L) {
Rafael Espindola961d4692014-11-11 05:18:41 +00001813 MCAsmParser &Parser = getParser();
Ulrich Weigand55daa772013-07-09 10:00:34 +00001814 if (getLexer().isNot(AsmToken::Identifier) &&
Saleem Abdulrasoola6505ca2014-01-13 01:15:39 +00001815 getLexer().isNot(AsmToken::String)) {
1816 Error(L, "unexpected token in directive");
1817 return false;
1818 }
Ulrich Weigand55daa772013-07-09 10:00:34 +00001819
1820 StringRef CPU = Parser.getTok().getIdentifier();
1821 Parser.Lex();
1822
1823 // FIXME: Right now, the parser always allows any available
1824 // instruction, so the .machine directive is not useful.
1825 // Implement ".machine any" (by doing nothing) for the benefit
1826 // of existing assembler code. Likewise, we can then implement
1827 // ".machine push" and ".machine pop" as no-op.
Saleem Abdulrasoola6505ca2014-01-13 01:15:39 +00001828 if (CPU != "any" && CPU != "push" && CPU != "pop") {
1829 Error(L, "unrecognized machine type");
1830 return false;
1831 }
Ulrich Weigand55daa772013-07-09 10:00:34 +00001832
Saleem Abdulrasoola6505ca2014-01-13 01:15:39 +00001833 if (getLexer().isNot(AsmToken::EndOfStatement)) {
1834 Error(L, "unexpected token in directive");
1835 return false;
1836 }
Rafael Espindola6b9ee9b2014-01-25 02:35:56 +00001837 PPCTargetStreamer &TStreamer =
1838 *static_cast<PPCTargetStreamer *>(
1839 getParser().getStreamer().getTargetStreamer());
1840 TStreamer.emitMachine(CPU);
Ulrich Weigand55daa772013-07-09 10:00:34 +00001841
1842 return false;
1843}
1844
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001845/// ParseDarwinDirectiveMachine (Mach-o platforms)
1846/// ::= .machine cpu-identifier
1847bool PPCAsmParser::ParseDarwinDirectiveMachine(SMLoc L) {
Rafael Espindola961d4692014-11-11 05:18:41 +00001848 MCAsmParser &Parser = getParser();
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001849 if (getLexer().isNot(AsmToken::Identifier) &&
Saleem Abdulrasoola6505ca2014-01-13 01:15:39 +00001850 getLexer().isNot(AsmToken::String)) {
1851 Error(L, "unexpected token in directive");
1852 return false;
1853 }
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001854
1855 StringRef CPU = Parser.getTok().getIdentifier();
1856 Parser.Lex();
1857
1858 // FIXME: this is only the 'default' set of cpu variants.
1859 // However we don't act on this information at present, this is simply
1860 // allowing parsing to proceed with minimal sanity checking.
Saleem Abdulrasoola6505ca2014-01-13 01:15:39 +00001861 if (CPU != "ppc7400" && CPU != "ppc" && CPU != "ppc64") {
1862 Error(L, "unrecognized cpu type");
1863 return false;
1864 }
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001865
Saleem Abdulrasoola6505ca2014-01-13 01:15:39 +00001866 if (isPPC64() && (CPU == "ppc7400" || CPU == "ppc")) {
1867 Error(L, "wrong cpu type specified for 64bit");
1868 return false;
1869 }
1870 if (!isPPC64() && CPU == "ppc64") {
1871 Error(L, "wrong cpu type specified for 32bit");
1872 return false;
1873 }
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001874
Saleem Abdulrasoola6505ca2014-01-13 01:15:39 +00001875 if (getLexer().isNot(AsmToken::EndOfStatement)) {
1876 Error(L, "unexpected token in directive");
1877 return false;
1878 }
Iain Sandoee0b4cb62013-12-14 13:34:02 +00001879
1880 return false;
1881}
1882
Ulrich Weigand0daa5162014-07-20 22:56:57 +00001883/// ParseDirectiveAbiVersion
1884/// ::= .abiversion constant-expression
1885bool PPCAsmParser::ParseDirectiveAbiVersion(SMLoc L) {
1886 int64_t AbiVersion;
1887 if (getParser().parseAbsoluteExpression(AbiVersion)){
1888 Error(L, "expected constant expression");
1889 return false;
1890 }
1891 if (getLexer().isNot(AsmToken::EndOfStatement)) {
1892 Error(L, "unexpected token in directive");
1893 return false;
1894 }
1895
1896 PPCTargetStreamer &TStreamer =
1897 *static_cast<PPCTargetStreamer *>(
1898 getParser().getStreamer().getTargetStreamer());
1899 TStreamer.emitAbiVersion(AbiVersion);
1900
1901 return false;
1902}
1903
Ulrich Weigandbb686102014-07-20 23:06:03 +00001904/// ParseDirectiveLocalEntry
1905/// ::= .localentry symbol, expression
1906bool PPCAsmParser::ParseDirectiveLocalEntry(SMLoc L) {
1907 StringRef Name;
1908 if (getParser().parseIdentifier(Name)) {
1909 Error(L, "expected identifier in directive");
1910 return false;
1911 }
Rafael Espindola95fb9b92015-06-02 20:38:46 +00001912 MCSymbolELF *Sym = cast<MCSymbolELF>(getContext().getOrCreateSymbol(Name));
Ulrich Weigandbb686102014-07-20 23:06:03 +00001913
1914 if (getLexer().isNot(AsmToken::Comma)) {
1915 Error(L, "unexpected token in directive");
1916 return false;
1917 }
1918 Lex();
1919
1920 const MCExpr *Expr;
1921 if (getParser().parseExpression(Expr)) {
1922 Error(L, "expected expression");
1923 return false;
1924 }
1925
1926 if (getLexer().isNot(AsmToken::EndOfStatement)) {
1927 Error(L, "unexpected token in directive");
1928 return false;
1929 }
1930
1931 PPCTargetStreamer &TStreamer =
1932 *static_cast<PPCTargetStreamer *>(
1933 getParser().getStreamer().getTargetStreamer());
1934 TStreamer.emitLocalEntry(Sym, Expr);
1935
1936 return false;
1937}
1938
1939
1940
Ulrich Weigand640192d2013-05-03 19:49:39 +00001941/// Force static initialization.
1942extern "C" void LLVMInitializePowerPCAsmParser() {
1943 RegisterMCAsmParser<PPCAsmParser> A(ThePPC32Target);
1944 RegisterMCAsmParser<PPCAsmParser> B(ThePPC64Target);
Bill Schmidt0a9170d2013-07-26 01:35:43 +00001945 RegisterMCAsmParser<PPCAsmParser> C(ThePPC64LETarget);
Ulrich Weigand640192d2013-05-03 19:49:39 +00001946}
1947
1948#define GET_REGISTER_MATCHER
1949#define GET_MATCHER_IMPLEMENTATION
1950#include "PPCGenAsmMatcher.inc"
Ulrich Weigandc0944b52013-07-08 14:49:37 +00001951
1952// Define this matcher function after the auto-generated include so we
1953// have the match class enum definitions.
David Blaikie960ea3f2014-06-08 16:18:35 +00001954unsigned PPCAsmParser::validateTargetOperandClass(MCParsedAsmOperand &AsmOp,
Ulrich Weigandc0944b52013-07-08 14:49:37 +00001955 unsigned Kind) {
1956 // If the kind is a token for a literal immediate, check if our asm
1957 // operand matches. This is for InstAliases which have a fixed-value
1958 // immediate in the syntax.
1959 int64_t ImmVal;
1960 switch (Kind) {
1961 case MCK_0: ImmVal = 0; break;
1962 case MCK_1: ImmVal = 1; break;
Roman Divacky62cb6352013-09-12 17:50:54 +00001963 case MCK_2: ImmVal = 2; break;
1964 case MCK_3: ImmVal = 3; break;
Joerg Sonnenbergerdda8e782014-07-30 09:24:37 +00001965 case MCK_4: ImmVal = 4; break;
1966 case MCK_5: ImmVal = 5; break;
1967 case MCK_6: ImmVal = 6; break;
1968 case MCK_7: ImmVal = 7; break;
Ulrich Weigandc0944b52013-07-08 14:49:37 +00001969 default: return Match_InvalidOperand;
1970 }
1971
David Blaikie960ea3f2014-06-08 16:18:35 +00001972 PPCOperand &Op = static_cast<PPCOperand &>(AsmOp);
1973 if (Op.isImm() && Op.getImm() == ImmVal)
Ulrich Weigandc0944b52013-07-08 14:49:37 +00001974 return Match_Success;
1975
1976 return Match_InvalidOperand;
1977}
1978
Joerg Sonnenbergerb822af42013-08-27 20:23:19 +00001979const MCExpr *
1980PPCAsmParser::applyModifierToExpr(const MCExpr *E,
1981 MCSymbolRefExpr::VariantKind Variant,
1982 MCContext &Ctx) {
1983 switch (Variant) {
1984 case MCSymbolRefExpr::VK_PPC_LO:
Jim Grosbach13760bd2015-05-30 01:25:56 +00001985 return PPCMCExpr::create(PPCMCExpr::VK_PPC_LO, E, false, Ctx);
Joerg Sonnenbergerb822af42013-08-27 20:23:19 +00001986 case MCSymbolRefExpr::VK_PPC_HI:
Jim Grosbach13760bd2015-05-30 01:25:56 +00001987 return PPCMCExpr::create(PPCMCExpr::VK_PPC_HI, E, false, Ctx);
Joerg Sonnenbergerb822af42013-08-27 20:23:19 +00001988 case MCSymbolRefExpr::VK_PPC_HA:
Jim Grosbach13760bd2015-05-30 01:25:56 +00001989 return PPCMCExpr::create(PPCMCExpr::VK_PPC_HA, E, false, Ctx);
Joerg Sonnenbergerb822af42013-08-27 20:23:19 +00001990 case MCSymbolRefExpr::VK_PPC_HIGHER:
Jim Grosbach13760bd2015-05-30 01:25:56 +00001991 return PPCMCExpr::create(PPCMCExpr::VK_PPC_HIGHER, E, false, Ctx);
Joerg Sonnenbergerb822af42013-08-27 20:23:19 +00001992 case MCSymbolRefExpr::VK_PPC_HIGHERA:
Jim Grosbach13760bd2015-05-30 01:25:56 +00001993 return PPCMCExpr::create(PPCMCExpr::VK_PPC_HIGHERA, E, false, Ctx);
Joerg Sonnenbergerb822af42013-08-27 20:23:19 +00001994 case MCSymbolRefExpr::VK_PPC_HIGHEST:
Jim Grosbach13760bd2015-05-30 01:25:56 +00001995 return PPCMCExpr::create(PPCMCExpr::VK_PPC_HIGHEST, E, false, Ctx);
Joerg Sonnenbergerb822af42013-08-27 20:23:19 +00001996 case MCSymbolRefExpr::VK_PPC_HIGHESTA:
Jim Grosbach13760bd2015-05-30 01:25:56 +00001997 return PPCMCExpr::create(PPCMCExpr::VK_PPC_HIGHESTA, E, false, Ctx);
Joerg Sonnenbergerb822af42013-08-27 20:23:19 +00001998 default:
Craig Topper062a2ba2014-04-25 05:30:21 +00001999 return nullptr;
Joerg Sonnenbergerb822af42013-08-27 20:23:19 +00002000 }
2001}