blob: 6c384ffc60dff8be883c30e4d1944b4396882751 [file] [log] [blame]
Daniel Dunbar71475772009-07-17 20:42:00 +00001//===-- X86AsmParser.cpp - Parse X86 assembly 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
Evan Cheng11424442011-07-26 00:24:13 +000010#include "MCTargetDesc/X86BaseInfo.h"
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000011#include "X86AsmInstrumentation.h"
Evgeniy Stepanove3804d42014-02-28 12:28:07 +000012#include "X86AsmParserCommon.h"
13#include "X86Operand.h"
Elena Demikhovsky18fd4962015-03-02 15:00:34 +000014#include "X86ISelLowering.h"
Chad Rosier6844ea02012-10-24 22:13:37 +000015#include "llvm/ADT/APFloat.h"
Craig Topper690d8ea2013-07-24 07:33:14 +000016#include "llvm/ADT/STLExtras.h"
Chris Lattner1261b812010-09-22 04:11:10 +000017#include "llvm/ADT/SmallString.h"
18#include "llvm/ADT/SmallVector.h"
Chris Lattner1261b812010-09-22 04:11:10 +000019#include "llvm/ADT/StringSwitch.h"
20#include "llvm/ADT/Twine.h"
Chad Rosier8a244662013-04-02 20:02:33 +000021#include "llvm/MC/MCContext.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000022#include "llvm/MC/MCExpr.h"
23#include "llvm/MC/MCInst.h"
Evgeniy Stepanovf4a36992014-04-24 13:29:34 +000024#include "llvm/MC/MCInstrInfo.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000025#include "llvm/MC/MCParser/MCAsmLexer.h"
26#include "llvm/MC/MCParser/MCAsmParser.h"
27#include "llvm/MC/MCParser/MCParsedAsmOperand.h"
28#include "llvm/MC/MCRegisterInfo.h"
29#include "llvm/MC/MCStreamer.h"
30#include "llvm/MC/MCSubtargetInfo.h"
31#include "llvm/MC/MCSymbol.h"
32#include "llvm/MC/MCTargetAsmParser.h"
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +000033#include "llvm/Support/SourceMgr.h"
Evan Cheng2bb40352011-08-24 18:08:43 +000034#include "llvm/Support/TargetRegistry.h"
Daniel Dunbar7d7b4d12010-08-12 00:55:42 +000035#include "llvm/Support/raw_ostream.h"
Reid Kleckner7b1e1a02014-07-30 22:23:11 +000036#include <algorithm>
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000037#include <memory>
Evan Cheng4d1ca962011-07-08 01:53:10 +000038
Daniel Dunbar71475772009-07-17 20:42:00 +000039using namespace llvm;
40
41namespace {
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +000042
Chad Rosier5362af92013-04-16 18:15:40 +000043static const char OpPrecedence[] = {
Kevin Enderby2e13b1c2014-01-15 19:05:24 +000044 0, // IC_OR
45 1, // IC_AND
Kevin Enderbyd6b10712014-02-06 01:21:15 +000046 2, // IC_LSHIFT
47 2, // IC_RSHIFT
48 3, // IC_PLUS
49 3, // IC_MINUS
50 4, // IC_MULTIPLY
51 4, // IC_DIVIDE
52 5, // IC_RPAREN
53 6, // IC_LPAREN
Chad Rosier5362af92013-04-16 18:15:40 +000054 0, // IC_IMM
55 0 // IC_REGISTER
56};
57
Devang Patel4a6e7782012-01-12 18:03:40 +000058class X86AsmParser : public MCTargetAsmParser {
Evan Cheng91111d22011-07-09 05:47:46 +000059 MCSubtargetInfo &STI;
Evgeniy Stepanovf4a36992014-04-24 13:29:34 +000060 const MCInstrInfo &MII;
Chad Rosierf0e87202012-10-25 20:41:34 +000061 ParseInstructionInfo *InstInfo;
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000062 std::unique_ptr<X86AsmInstrumentation> Instrumentation;
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +000063private:
Alp Tokera5b88a52013-12-02 16:06:06 +000064 SMLoc consumeToken() {
Rafael Espindola961d4692014-11-11 05:18:41 +000065 MCAsmParser &Parser = getParser();
Alp Tokera5b88a52013-12-02 16:06:06 +000066 SMLoc Result = Parser.getTok().getLoc();
67 Parser.Lex();
68 return Result;
69 }
70
Chad Rosier5362af92013-04-16 18:15:40 +000071 enum InfixCalculatorTok {
Kevin Enderby2e13b1c2014-01-15 19:05:24 +000072 IC_OR = 0,
73 IC_AND,
Kevin Enderbyd6b10712014-02-06 01:21:15 +000074 IC_LSHIFT,
75 IC_RSHIFT,
Kevin Enderby2e13b1c2014-01-15 19:05:24 +000076 IC_PLUS,
Chad Rosier5362af92013-04-16 18:15:40 +000077 IC_MINUS,
78 IC_MULTIPLY,
79 IC_DIVIDE,
80 IC_RPAREN,
81 IC_LPAREN,
82 IC_IMM,
83 IC_REGISTER
84 };
85
86 class InfixCalculator {
87 typedef std::pair< InfixCalculatorTok, int64_t > ICToken;
88 SmallVector<InfixCalculatorTok, 4> InfixOperatorStack;
89 SmallVector<ICToken, 4> PostfixStack;
Michael Liao5bf95782014-12-04 05:20:33 +000090
Chad Rosier5362af92013-04-16 18:15:40 +000091 public:
92 int64_t popOperand() {
93 assert (!PostfixStack.empty() && "Poped an empty stack!");
94 ICToken Op = PostfixStack.pop_back_val();
95 assert ((Op.first == IC_IMM || Op.first == IC_REGISTER)
96 && "Expected and immediate or register!");
97 return Op.second;
98 }
99 void pushOperand(InfixCalculatorTok Op, int64_t Val = 0) {
100 assert ((Op == IC_IMM || Op == IC_REGISTER) &&
101 "Unexpected operand!");
102 PostfixStack.push_back(std::make_pair(Op, Val));
103 }
Michael Liao5bf95782014-12-04 05:20:33 +0000104
Jakub Staszak9c349222013-08-08 15:48:46 +0000105 void popOperator() { InfixOperatorStack.pop_back(); }
Chad Rosier5362af92013-04-16 18:15:40 +0000106 void pushOperator(InfixCalculatorTok Op) {
107 // Push the new operator if the stack is empty.
108 if (InfixOperatorStack.empty()) {
109 InfixOperatorStack.push_back(Op);
110 return;
111 }
Michael Liao5bf95782014-12-04 05:20:33 +0000112
Chad Rosier5362af92013-04-16 18:15:40 +0000113 // Push the new operator if it has a higher precedence than the operator
114 // on the top of the stack or the operator on the top of the stack is a
115 // left parentheses.
116 unsigned Idx = InfixOperatorStack.size() - 1;
117 InfixCalculatorTok StackOp = InfixOperatorStack[Idx];
118 if (OpPrecedence[Op] > OpPrecedence[StackOp] || StackOp == IC_LPAREN) {
119 InfixOperatorStack.push_back(Op);
120 return;
121 }
Michael Liao5bf95782014-12-04 05:20:33 +0000122
Chad Rosier5362af92013-04-16 18:15:40 +0000123 // The operator on the top of the stack has higher precedence than the
124 // new operator.
125 unsigned ParenCount = 0;
126 while (1) {
127 // Nothing to process.
128 if (InfixOperatorStack.empty())
129 break;
Michael Liao5bf95782014-12-04 05:20:33 +0000130
Chad Rosier5362af92013-04-16 18:15:40 +0000131 Idx = InfixOperatorStack.size() - 1;
132 StackOp = InfixOperatorStack[Idx];
133 if (!(OpPrecedence[StackOp] >= OpPrecedence[Op] || ParenCount))
134 break;
Michael Liao5bf95782014-12-04 05:20:33 +0000135
Chad Rosier5362af92013-04-16 18:15:40 +0000136 // If we have an even parentheses count and we see a left parentheses,
137 // then stop processing.
138 if (!ParenCount && StackOp == IC_LPAREN)
139 break;
Michael Liao5bf95782014-12-04 05:20:33 +0000140
Chad Rosier5362af92013-04-16 18:15:40 +0000141 if (StackOp == IC_RPAREN) {
142 ++ParenCount;
Jakub Staszak9c349222013-08-08 15:48:46 +0000143 InfixOperatorStack.pop_back();
Chad Rosier5362af92013-04-16 18:15:40 +0000144 } else if (StackOp == IC_LPAREN) {
145 --ParenCount;
Jakub Staszak9c349222013-08-08 15:48:46 +0000146 InfixOperatorStack.pop_back();
Chad Rosier5362af92013-04-16 18:15:40 +0000147 } else {
Jakub Staszak9c349222013-08-08 15:48:46 +0000148 InfixOperatorStack.pop_back();
Chad Rosier5362af92013-04-16 18:15:40 +0000149 PostfixStack.push_back(std::make_pair(StackOp, 0));
150 }
151 }
152 // Push the new operator.
153 InfixOperatorStack.push_back(Op);
154 }
155 int64_t execute() {
156 // Push any remaining operators onto the postfix stack.
157 while (!InfixOperatorStack.empty()) {
158 InfixCalculatorTok StackOp = InfixOperatorStack.pop_back_val();
159 if (StackOp != IC_LPAREN && StackOp != IC_RPAREN)
160 PostfixStack.push_back(std::make_pair(StackOp, 0));
161 }
Michael Liao5bf95782014-12-04 05:20:33 +0000162
Chad Rosier5362af92013-04-16 18:15:40 +0000163 if (PostfixStack.empty())
164 return 0;
Michael Liao5bf95782014-12-04 05:20:33 +0000165
Chad Rosier5362af92013-04-16 18:15:40 +0000166 SmallVector<ICToken, 16> OperandStack;
167 for (unsigned i = 0, e = PostfixStack.size(); i != e; ++i) {
168 ICToken Op = PostfixStack[i];
169 if (Op.first == IC_IMM || Op.first == IC_REGISTER) {
170 OperandStack.push_back(Op);
171 } else {
172 assert (OperandStack.size() > 1 && "Too few operands.");
173 int64_t Val;
174 ICToken Op2 = OperandStack.pop_back_val();
175 ICToken Op1 = OperandStack.pop_back_val();
176 switch (Op.first) {
177 default:
178 report_fatal_error("Unexpected operator!");
179 break;
180 case IC_PLUS:
181 Val = Op1.second + Op2.second;
182 OperandStack.push_back(std::make_pair(IC_IMM, Val));
183 break;
184 case IC_MINUS:
185 Val = Op1.second - Op2.second;
186 OperandStack.push_back(std::make_pair(IC_IMM, Val));
187 break;
188 case IC_MULTIPLY:
189 assert (Op1.first == IC_IMM && Op2.first == IC_IMM &&
190 "Multiply operation with an immediate and a register!");
191 Val = Op1.second * Op2.second;
192 OperandStack.push_back(std::make_pair(IC_IMM, Val));
193 break;
194 case IC_DIVIDE:
195 assert (Op1.first == IC_IMM && Op2.first == IC_IMM &&
196 "Divide operation with an immediate and a register!");
197 assert (Op2.second != 0 && "Division by zero!");
198 Val = Op1.second / Op2.second;
199 OperandStack.push_back(std::make_pair(IC_IMM, Val));
200 break;
Kevin Enderby2e13b1c2014-01-15 19:05:24 +0000201 case IC_OR:
202 assert (Op1.first == IC_IMM && Op2.first == IC_IMM &&
203 "Or operation with an immediate and a register!");
204 Val = Op1.second | Op2.second;
205 OperandStack.push_back(std::make_pair(IC_IMM, Val));
206 break;
207 case IC_AND:
208 assert (Op1.first == IC_IMM && Op2.first == IC_IMM &&
209 "And operation with an immediate and a register!");
210 Val = Op1.second & Op2.second;
211 OperandStack.push_back(std::make_pair(IC_IMM, Val));
212 break;
Kevin Enderbyd6b10712014-02-06 01:21:15 +0000213 case IC_LSHIFT:
214 assert (Op1.first == IC_IMM && Op2.first == IC_IMM &&
215 "Left shift operation with an immediate and a register!");
216 Val = Op1.second << Op2.second;
217 OperandStack.push_back(std::make_pair(IC_IMM, Val));
218 break;
219 case IC_RSHIFT:
220 assert (Op1.first == IC_IMM && Op2.first == IC_IMM &&
221 "Right shift operation with an immediate and a register!");
222 Val = Op1.second >> Op2.second;
223 OperandStack.push_back(std::make_pair(IC_IMM, Val));
224 break;
Chad Rosier5362af92013-04-16 18:15:40 +0000225 }
226 }
227 }
228 assert (OperandStack.size() == 1 && "Expected a single result.");
229 return OperandStack.pop_back_val().second;
230 }
231 };
232
233 enum IntelExprState {
Kevin Enderby2e13b1c2014-01-15 19:05:24 +0000234 IES_OR,
235 IES_AND,
Kevin Enderbyd6b10712014-02-06 01:21:15 +0000236 IES_LSHIFT,
237 IES_RSHIFT,
Chad Rosier5362af92013-04-16 18:15:40 +0000238 IES_PLUS,
239 IES_MINUS,
Ehsan Akhgari4103da62014-07-04 19:13:05 +0000240 IES_NOT,
Chad Rosier5362af92013-04-16 18:15:40 +0000241 IES_MULTIPLY,
242 IES_DIVIDE,
243 IES_LBRAC,
244 IES_RBRAC,
245 IES_LPAREN,
246 IES_RPAREN,
247 IES_REGISTER,
Chad Rosier5362af92013-04-16 18:15:40 +0000248 IES_INTEGER,
Chad Rosier5362af92013-04-16 18:15:40 +0000249 IES_IDENTIFIER,
250 IES_ERROR
251 };
252
253 class IntelExprStateMachine {
Chad Rosier31246272013-04-17 21:01:45 +0000254 IntelExprState State, PrevState;
Chad Rosier5362af92013-04-16 18:15:40 +0000255 unsigned BaseReg, IndexReg, TmpReg, Scale;
Chad Rosierbfb70992013-04-17 00:11:46 +0000256 int64_t Imm;
Chad Rosier5362af92013-04-16 18:15:40 +0000257 const MCExpr *Sym;
258 StringRef SymName;
Chad Rosierbfb70992013-04-17 00:11:46 +0000259 bool StopOnLBrac, AddImmPrefix;
Chad Rosier5362af92013-04-16 18:15:40 +0000260 InfixCalculator IC;
Chad Rosiercb78f0d2013-04-22 19:42:15 +0000261 InlineAsmIdentifierInfo Info;
Chad Rosier5362af92013-04-16 18:15:40 +0000262 public:
Chad Rosierbfb70992013-04-17 00:11:46 +0000263 IntelExprStateMachine(int64_t imm, bool stoponlbrac, bool addimmprefix) :
Chad Rosier31246272013-04-17 21:01:45 +0000264 State(IES_PLUS), PrevState(IES_ERROR), BaseReg(0), IndexReg(0), TmpReg(0),
Craig Topper062a2ba2014-04-25 05:30:21 +0000265 Scale(1), Imm(imm), Sym(nullptr), StopOnLBrac(stoponlbrac),
Chad Rosiercb78f0d2013-04-22 19:42:15 +0000266 AddImmPrefix(addimmprefix) { Info.clear(); }
Michael Liao5bf95782014-12-04 05:20:33 +0000267
Chad Rosier5362af92013-04-16 18:15:40 +0000268 unsigned getBaseReg() { return BaseReg; }
269 unsigned getIndexReg() { return IndexReg; }
270 unsigned getScale() { return Scale; }
271 const MCExpr *getSym() { return Sym; }
272 StringRef getSymName() { return SymName; }
Chad Rosierbfb70992013-04-17 00:11:46 +0000273 int64_t getImm() { return Imm + IC.execute(); }
Chad Rosieredb1dc82013-05-09 23:48:53 +0000274 bool isValidEndState() {
275 return State == IES_RBRAC || State == IES_INTEGER;
276 }
Chad Rosierbfb70992013-04-17 00:11:46 +0000277 bool getStopOnLBrac() { return StopOnLBrac; }
278 bool getAddImmPrefix() { return AddImmPrefix; }
Chad Rosier31246272013-04-17 21:01:45 +0000279 bool hadError() { return State == IES_ERROR; }
Chad Rosierbfb70992013-04-17 00:11:46 +0000280
Chad Rosiercb78f0d2013-04-22 19:42:15 +0000281 InlineAsmIdentifierInfo &getIdentifierInfo() {
282 return Info;
283 }
284
Kevin Enderby2e13b1c2014-01-15 19:05:24 +0000285 void onOr() {
286 IntelExprState CurrState = State;
287 switch (State) {
288 default:
289 State = IES_ERROR;
290 break;
291 case IES_INTEGER:
292 case IES_RPAREN:
293 case IES_REGISTER:
294 State = IES_OR;
295 IC.pushOperator(IC_OR);
296 break;
297 }
298 PrevState = CurrState;
299 }
300 void onAnd() {
301 IntelExprState CurrState = State;
302 switch (State) {
303 default:
304 State = IES_ERROR;
305 break;
306 case IES_INTEGER:
307 case IES_RPAREN:
308 case IES_REGISTER:
309 State = IES_AND;
310 IC.pushOperator(IC_AND);
311 break;
312 }
313 PrevState = CurrState;
314 }
Kevin Enderbyd6b10712014-02-06 01:21:15 +0000315 void onLShift() {
316 IntelExprState CurrState = State;
317 switch (State) {
318 default:
319 State = IES_ERROR;
320 break;
321 case IES_INTEGER:
322 case IES_RPAREN:
323 case IES_REGISTER:
324 State = IES_LSHIFT;
325 IC.pushOperator(IC_LSHIFT);
326 break;
327 }
328 PrevState = CurrState;
329 }
330 void onRShift() {
331 IntelExprState CurrState = State;
332 switch (State) {
333 default:
334 State = IES_ERROR;
335 break;
336 case IES_INTEGER:
337 case IES_RPAREN:
338 case IES_REGISTER:
339 State = IES_RSHIFT;
340 IC.pushOperator(IC_RSHIFT);
341 break;
342 }
343 PrevState = CurrState;
344 }
Chad Rosier5362af92013-04-16 18:15:40 +0000345 void onPlus() {
Chad Rosier31246272013-04-17 21:01:45 +0000346 IntelExprState CurrState = State;
Chad Rosier5362af92013-04-16 18:15:40 +0000347 switch (State) {
348 default:
349 State = IES_ERROR;
350 break;
351 case IES_INTEGER:
352 case IES_RPAREN:
Chad Rosier5362af92013-04-16 18:15:40 +0000353 case IES_REGISTER:
354 State = IES_PLUS;
Chad Rosier5362af92013-04-16 18:15:40 +0000355 IC.pushOperator(IC_PLUS);
Chad Rosier31246272013-04-17 21:01:45 +0000356 if (CurrState == IES_REGISTER && PrevState != IES_MULTIPLY) {
357 // If we already have a BaseReg, then assume this is the IndexReg with
358 // a scale of 1.
359 if (!BaseReg) {
360 BaseReg = TmpReg;
361 } else {
362 assert (!IndexReg && "BaseReg/IndexReg already set!");
363 IndexReg = TmpReg;
364 Scale = 1;
365 }
366 }
Chad Rosier5362af92013-04-16 18:15:40 +0000367 break;
368 }
Chad Rosier31246272013-04-17 21:01:45 +0000369 PrevState = CurrState;
Chad Rosier5362af92013-04-16 18:15:40 +0000370 }
371 void onMinus() {
Chad Rosier31246272013-04-17 21:01:45 +0000372 IntelExprState CurrState = State;
Chad Rosier5362af92013-04-16 18:15:40 +0000373 switch (State) {
374 default:
375 State = IES_ERROR;
376 break;
377 case IES_PLUS:
Ehsan Akhgari4103da62014-07-04 19:13:05 +0000378 case IES_NOT:
Chad Rosier31246272013-04-17 21:01:45 +0000379 case IES_MULTIPLY:
380 case IES_DIVIDE:
Chad Rosier5362af92013-04-16 18:15:40 +0000381 case IES_LPAREN:
Chad Rosier5362af92013-04-16 18:15:40 +0000382 case IES_RPAREN:
Chad Rosier31246272013-04-17 21:01:45 +0000383 case IES_LBRAC:
384 case IES_RBRAC:
385 case IES_INTEGER:
Chad Rosier5362af92013-04-16 18:15:40 +0000386 case IES_REGISTER:
387 State = IES_MINUS;
Chad Rosier31246272013-04-17 21:01:45 +0000388 // Only push the minus operator if it is not a unary operator.
389 if (!(CurrState == IES_PLUS || CurrState == IES_MINUS ||
390 CurrState == IES_MULTIPLY || CurrState == IES_DIVIDE ||
391 CurrState == IES_LPAREN || CurrState == IES_LBRAC))
392 IC.pushOperator(IC_MINUS);
393 if (CurrState == IES_REGISTER && PrevState != IES_MULTIPLY) {
394 // If we already have a BaseReg, then assume this is the IndexReg with
395 // a scale of 1.
396 if (!BaseReg) {
397 BaseReg = TmpReg;
398 } else {
399 assert (!IndexReg && "BaseReg/IndexReg already set!");
400 IndexReg = TmpReg;
401 Scale = 1;
402 }
Chad Rosier5362af92013-04-16 18:15:40 +0000403 }
Chad Rosier5362af92013-04-16 18:15:40 +0000404 break;
405 }
Chad Rosier31246272013-04-17 21:01:45 +0000406 PrevState = CurrState;
Chad Rosier5362af92013-04-16 18:15:40 +0000407 }
Ehsan Akhgari4103da62014-07-04 19:13:05 +0000408 void onNot() {
409 IntelExprState CurrState = State;
410 switch (State) {
411 default:
412 State = IES_ERROR;
413 break;
414 case IES_PLUS:
415 case IES_NOT:
416 State = IES_NOT;
417 break;
418 }
419 PrevState = CurrState;
420 }
Chad Rosier5362af92013-04-16 18:15:40 +0000421 void onRegister(unsigned Reg) {
Chad Rosier31246272013-04-17 21:01:45 +0000422 IntelExprState CurrState = State;
Chad Rosier5362af92013-04-16 18:15:40 +0000423 switch (State) {
424 default:
425 State = IES_ERROR;
426 break;
427 case IES_PLUS:
428 case IES_LPAREN:
429 State = IES_REGISTER;
430 TmpReg = Reg;
431 IC.pushOperand(IC_REGISTER);
432 break;
Chad Rosier31246272013-04-17 21:01:45 +0000433 case IES_MULTIPLY:
434 // Index Register - Scale * Register
435 if (PrevState == IES_INTEGER) {
436 assert (!IndexReg && "IndexReg already set!");
437 State = IES_REGISTER;
438 IndexReg = Reg;
439 // Get the scale and replace the 'Scale * Register' with '0'.
440 Scale = IC.popOperand();
441 IC.pushOperand(IC_IMM);
442 IC.popOperator();
443 } else {
444 State = IES_ERROR;
445 }
Chad Rosier5362af92013-04-16 18:15:40 +0000446 break;
447 }
Chad Rosier31246272013-04-17 21:01:45 +0000448 PrevState = CurrState;
Chad Rosier5362af92013-04-16 18:15:40 +0000449 }
Chad Rosier95ce8892013-04-19 18:39:50 +0000450 void onIdentifierExpr(const MCExpr *SymRef, StringRef SymRefName) {
Chad Rosierdb003992013-04-18 16:28:19 +0000451 PrevState = State;
Chad Rosier5362af92013-04-16 18:15:40 +0000452 switch (State) {
453 default:
454 State = IES_ERROR;
455 break;
456 case IES_PLUS:
457 case IES_MINUS:
Ehsan Akhgari4103da62014-07-04 19:13:05 +0000458 case IES_NOT:
Chad Rosier5362af92013-04-16 18:15:40 +0000459 State = IES_INTEGER;
460 Sym = SymRef;
461 SymName = SymRefName;
462 IC.pushOperand(IC_IMM);
463 break;
464 }
465 }
Kevin Enderby9d117022014-01-23 21:52:41 +0000466 bool onInteger(int64_t TmpInt, StringRef &ErrMsg) {
Chad Rosier31246272013-04-17 21:01:45 +0000467 IntelExprState CurrState = State;
Chad Rosier5362af92013-04-16 18:15:40 +0000468 switch (State) {
469 default:
470 State = IES_ERROR;
471 break;
472 case IES_PLUS:
473 case IES_MINUS:
Ehsan Akhgari4103da62014-07-04 19:13:05 +0000474 case IES_NOT:
Kevin Enderby2e13b1c2014-01-15 19:05:24 +0000475 case IES_OR:
476 case IES_AND:
Kevin Enderbyd6b10712014-02-06 01:21:15 +0000477 case IES_LSHIFT:
478 case IES_RSHIFT:
Chad Rosier5362af92013-04-16 18:15:40 +0000479 case IES_DIVIDE:
Chad Rosier31246272013-04-17 21:01:45 +0000480 case IES_MULTIPLY:
Chad Rosier5362af92013-04-16 18:15:40 +0000481 case IES_LPAREN:
Chad Rosier5362af92013-04-16 18:15:40 +0000482 State = IES_INTEGER;
Chad Rosier31246272013-04-17 21:01:45 +0000483 if (PrevState == IES_REGISTER && CurrState == IES_MULTIPLY) {
484 // Index Register - Register * Scale
485 assert (!IndexReg && "IndexReg already set!");
486 IndexReg = TmpReg;
487 Scale = TmpInt;
Kevin Enderby9d117022014-01-23 21:52:41 +0000488 if(Scale != 1 && Scale != 2 && Scale != 4 && Scale != 8) {
489 ErrMsg = "scale factor in address must be 1, 2, 4 or 8";
490 return true;
491 }
Chad Rosier31246272013-04-17 21:01:45 +0000492 // Get the scale and replace the 'Register * Scale' with '0'.
493 IC.popOperator();
494 } else if ((PrevState == IES_PLUS || PrevState == IES_MINUS ||
Kevin Enderby2e13b1c2014-01-15 19:05:24 +0000495 PrevState == IES_OR || PrevState == IES_AND ||
Kevin Enderbyd6b10712014-02-06 01:21:15 +0000496 PrevState == IES_LSHIFT || PrevState == IES_RSHIFT ||
Chad Rosier31246272013-04-17 21:01:45 +0000497 PrevState == IES_MULTIPLY || PrevState == IES_DIVIDE ||
Ehsan Akhgari4103da62014-07-04 19:13:05 +0000498 PrevState == IES_LPAREN || PrevState == IES_LBRAC ||
499 PrevState == IES_NOT) &&
Chad Rosier31246272013-04-17 21:01:45 +0000500 CurrState == IES_MINUS) {
501 // Unary minus. No need to pop the minus operand because it was never
502 // pushed.
503 IC.pushOperand(IC_IMM, -TmpInt); // Push -Imm.
Ehsan Akhgari4103da62014-07-04 19:13:05 +0000504 } else if ((PrevState == IES_PLUS || PrevState == IES_MINUS ||
505 PrevState == IES_OR || PrevState == IES_AND ||
506 PrevState == IES_LSHIFT || PrevState == IES_RSHIFT ||
507 PrevState == IES_MULTIPLY || PrevState == IES_DIVIDE ||
508 PrevState == IES_LPAREN || PrevState == IES_LBRAC ||
509 PrevState == IES_NOT) &&
510 CurrState == IES_NOT) {
511 // Unary not. No need to pop the not operand because it was never
512 // pushed.
513 IC.pushOperand(IC_IMM, ~TmpInt); // Push ~Imm.
Chad Rosier31246272013-04-17 21:01:45 +0000514 } else {
515 IC.pushOperand(IC_IMM, TmpInt);
516 }
Chad Rosier5362af92013-04-16 18:15:40 +0000517 break;
518 }
Chad Rosier31246272013-04-17 21:01:45 +0000519 PrevState = CurrState;
Kevin Enderby9d117022014-01-23 21:52:41 +0000520 return false;
Chad Rosier5362af92013-04-16 18:15:40 +0000521 }
522 void onStar() {
Chad Rosierdb003992013-04-18 16:28:19 +0000523 PrevState = State;
Chad Rosier5362af92013-04-16 18:15:40 +0000524 switch (State) {
525 default:
526 State = IES_ERROR;
527 break;
528 case IES_INTEGER:
Chad Rosier5362af92013-04-16 18:15:40 +0000529 case IES_REGISTER:
Chad Rosier5362af92013-04-16 18:15:40 +0000530 case IES_RPAREN:
531 State = IES_MULTIPLY;
532 IC.pushOperator(IC_MULTIPLY);
533 break;
534 }
535 }
536 void onDivide() {
Chad Rosierdb003992013-04-18 16:28:19 +0000537 PrevState = State;
Chad Rosier5362af92013-04-16 18:15:40 +0000538 switch (State) {
539 default:
540 State = IES_ERROR;
541 break;
542 case IES_INTEGER:
Chad Rosier31246272013-04-17 21:01:45 +0000543 case IES_RPAREN:
Chad Rosier5362af92013-04-16 18:15:40 +0000544 State = IES_DIVIDE;
545 IC.pushOperator(IC_DIVIDE);
546 break;
547 }
548 }
549 void onLBrac() {
Chad Rosierdb003992013-04-18 16:28:19 +0000550 PrevState = State;
Chad Rosier5362af92013-04-16 18:15:40 +0000551 switch (State) {
552 default:
553 State = IES_ERROR;
554 break;
555 case IES_RBRAC:
556 State = IES_PLUS;
557 IC.pushOperator(IC_PLUS);
558 break;
559 }
560 }
561 void onRBrac() {
Chad Rosier31246272013-04-17 21:01:45 +0000562 IntelExprState CurrState = State;
Chad Rosier5362af92013-04-16 18:15:40 +0000563 switch (State) {
564 default:
565 State = IES_ERROR;
566 break;
Chad Rosier5362af92013-04-16 18:15:40 +0000567 case IES_INTEGER:
Chad Rosier5362af92013-04-16 18:15:40 +0000568 case IES_REGISTER:
Chad Rosier31246272013-04-17 21:01:45 +0000569 case IES_RPAREN:
Chad Rosier5362af92013-04-16 18:15:40 +0000570 State = IES_RBRAC;
Chad Rosier31246272013-04-17 21:01:45 +0000571 if (CurrState == IES_REGISTER && PrevState != IES_MULTIPLY) {
572 // If we already have a BaseReg, then assume this is the IndexReg with
573 // a scale of 1.
574 if (!BaseReg) {
575 BaseReg = TmpReg;
576 } else {
577 assert (!IndexReg && "BaseReg/IndexReg already set!");
578 IndexReg = TmpReg;
579 Scale = 1;
580 }
Chad Rosier5362af92013-04-16 18:15:40 +0000581 }
582 break;
583 }
Chad Rosier31246272013-04-17 21:01:45 +0000584 PrevState = CurrState;
Chad Rosier5362af92013-04-16 18:15:40 +0000585 }
586 void onLParen() {
Chad Rosier31246272013-04-17 21:01:45 +0000587 IntelExprState CurrState = State;
Chad Rosier5362af92013-04-16 18:15:40 +0000588 switch (State) {
589 default:
590 State = IES_ERROR;
591 break;
592 case IES_PLUS:
593 case IES_MINUS:
Ehsan Akhgari4103da62014-07-04 19:13:05 +0000594 case IES_NOT:
Kevin Enderby2e13b1c2014-01-15 19:05:24 +0000595 case IES_OR:
596 case IES_AND:
Kevin Enderbyd6b10712014-02-06 01:21:15 +0000597 case IES_LSHIFT:
598 case IES_RSHIFT:
Chad Rosier5362af92013-04-16 18:15:40 +0000599 case IES_MULTIPLY:
600 case IES_DIVIDE:
Chad Rosier5362af92013-04-16 18:15:40 +0000601 case IES_LPAREN:
Ehsan Akhgari4103da62014-07-04 19:13:05 +0000602 // FIXME: We don't handle this type of unary minus or not, yet.
Chad Rosierdb003992013-04-18 16:28:19 +0000603 if ((PrevState == IES_PLUS || PrevState == IES_MINUS ||
Kevin Enderby2e13b1c2014-01-15 19:05:24 +0000604 PrevState == IES_OR || PrevState == IES_AND ||
Kevin Enderbyd6b10712014-02-06 01:21:15 +0000605 PrevState == IES_LSHIFT || PrevState == IES_RSHIFT ||
Chad Rosierdb003992013-04-18 16:28:19 +0000606 PrevState == IES_MULTIPLY || PrevState == IES_DIVIDE ||
Ehsan Akhgari4103da62014-07-04 19:13:05 +0000607 PrevState == IES_LPAREN || PrevState == IES_LBRAC ||
608 PrevState == IES_NOT) &&
609 (CurrState == IES_MINUS || CurrState == IES_NOT)) {
Chad Rosierdb003992013-04-18 16:28:19 +0000610 State = IES_ERROR;
611 break;
612 }
Chad Rosier5362af92013-04-16 18:15:40 +0000613 State = IES_LPAREN;
614 IC.pushOperator(IC_LPAREN);
615 break;
616 }
Chad Rosier31246272013-04-17 21:01:45 +0000617 PrevState = CurrState;
Chad Rosier5362af92013-04-16 18:15:40 +0000618 }
619 void onRParen() {
Chad Rosierdb003992013-04-18 16:28:19 +0000620 PrevState = State;
Chad Rosier5362af92013-04-16 18:15:40 +0000621 switch (State) {
622 default:
623 State = IES_ERROR;
624 break;
Chad Rosier5362af92013-04-16 18:15:40 +0000625 case IES_INTEGER:
Chad Rosier31246272013-04-17 21:01:45 +0000626 case IES_REGISTER:
Chad Rosier5362af92013-04-16 18:15:40 +0000627 case IES_RPAREN:
628 State = IES_RPAREN;
629 IC.pushOperator(IC_RPAREN);
630 break;
631 }
632 }
633 };
634
Chris Lattnera3a06812011-10-16 04:47:35 +0000635 bool Error(SMLoc L, const Twine &Msg,
Dmitri Gribenko3238fb72013-05-05 00:40:33 +0000636 ArrayRef<SMRange> Ranges = None,
Chad Rosier4453e842012-10-12 23:09:25 +0000637 bool MatchingInlineAsm = false) {
Rafael Espindola961d4692014-11-11 05:18:41 +0000638 MCAsmParser &Parser = getParser();
Chad Rosier4453e842012-10-12 23:09:25 +0000639 if (MatchingInlineAsm) return true;
Chris Lattnera3a06812011-10-16 04:47:35 +0000640 return Parser.Error(L, Msg, Ranges);
641 }
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +0000642
Elena Demikhovskyc9657012014-02-20 06:34:39 +0000643 bool ErrorAndEatStatement(SMLoc L, const Twine &Msg,
644 ArrayRef<SMRange> Ranges = None,
645 bool MatchingInlineAsm = false) {
Rafael Espindola961d4692014-11-11 05:18:41 +0000646 MCAsmParser &Parser = getParser();
647 Parser.eatToEndOfStatement();
648 return Error(L, Msg, Ranges, MatchingInlineAsm);
Elena Demikhovskyc9657012014-02-20 06:34:39 +0000649 }
650
David Blaikie960ea3f2014-06-08 16:18:35 +0000651 std::nullptr_t ErrorOperand(SMLoc Loc, StringRef Msg) {
Devang Patel41b9dde2012-01-17 18:00:18 +0000652 Error(Loc, Msg);
Craig Topper062a2ba2014-04-25 05:30:21 +0000653 return nullptr;
Devang Patel41b9dde2012-01-17 18:00:18 +0000654 }
655
David Blaikie960ea3f2014-06-08 16:18:35 +0000656 std::unique_ptr<X86Operand> DefaultMemSIOperand(SMLoc Loc);
657 std::unique_ptr<X86Operand> DefaultMemDIOperand(SMLoc Loc);
658 std::unique_ptr<X86Operand> ParseOperand();
659 std::unique_ptr<X86Operand> ParseATTOperand();
660 std::unique_ptr<X86Operand> ParseIntelOperand();
661 std::unique_ptr<X86Operand> ParseIntelOffsetOfOperator();
Benjamin Kramer951b15e2013-12-01 11:47:42 +0000662 bool ParseIntelDotOperator(const MCExpr *Disp, const MCExpr *&NewDisp);
David Blaikie960ea3f2014-06-08 16:18:35 +0000663 std::unique_ptr<X86Operand> ParseIntelOperator(unsigned OpKind);
664 std::unique_ptr<X86Operand>
665 ParseIntelSegmentOverride(unsigned SegReg, SMLoc Start, unsigned Size);
666 std::unique_ptr<X86Operand>
667 ParseIntelMemOperand(int64_t ImmDisp, SMLoc StartLoc, unsigned Size);
Elena Demikhovsky18fd4962015-03-02 15:00:34 +0000668 std::unique_ptr<X86Operand> ParseRoundingModeOp(SMLoc Start, SMLoc End);
Benjamin Kramer951b15e2013-12-01 11:47:42 +0000669 bool ParseIntelExpression(IntelExprStateMachine &SM, SMLoc &End);
David Blaikie960ea3f2014-06-08 16:18:35 +0000670 std::unique_ptr<X86Operand> ParseIntelBracExpression(unsigned SegReg,
671 SMLoc Start,
672 int64_t ImmDisp,
673 unsigned Size);
Benjamin Kramer951b15e2013-12-01 11:47:42 +0000674 bool ParseIntelIdentifier(const MCExpr *&Val, StringRef &Identifier,
675 InlineAsmIdentifierInfo &Info,
676 bool IsUnevaluatedOperand, SMLoc &End);
Chad Rosiercb78f0d2013-04-22 19:42:15 +0000677
David Blaikie960ea3f2014-06-08 16:18:35 +0000678 std::unique_ptr<X86Operand> ParseMemOperand(unsigned SegReg, SMLoc StartLoc);
Kevin Enderbyce4bec82009-09-10 20:51:44 +0000679
David Blaikie960ea3f2014-06-08 16:18:35 +0000680 std::unique_ptr<X86Operand>
681 CreateMemForInlineAsm(unsigned SegReg, const MCExpr *Disp, unsigned BaseReg,
682 unsigned IndexReg, unsigned Scale, SMLoc Start,
683 SMLoc End, unsigned Size, StringRef Identifier,
684 InlineAsmIdentifierInfo &Info);
Chad Rosier7ca135b2013-03-19 21:11:56 +0000685
Kevin Enderbyce4bec82009-09-10 20:51:44 +0000686 bool ParseDirectiveWord(unsigned Size, SMLoc L);
Evan Cheng481ebb02011-07-27 00:38:12 +0000687 bool ParseDirectiveCode(StringRef IDVal, SMLoc L);
Kevin Enderbyce4bec82009-09-10 20:51:44 +0000688
Saleem Abdulrasoolca24b1d2015-01-14 05:10:21 +0000689 bool validateInstruction(MCInst &Inst, const OperandVector &Ops);
David Blaikie960ea3f2014-06-08 16:18:35 +0000690 bool processInstruction(MCInst &Inst, const OperandVector &Ops);
Devang Patelde47cce2012-01-18 22:42:29 +0000691
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000692 /// Wrapper around MCStreamer::EmitInstruction(). Possibly adds
693 /// instrumentation around Inst.
David Blaikie960ea3f2014-06-08 16:18:35 +0000694 void EmitInstruction(MCInst &Inst, OperandVector &Operands, MCStreamer &Out);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000695
Chad Rosier49963552012-10-13 00:26:04 +0000696 bool MatchAndEmitInstruction(SMLoc IDLoc, unsigned &Opcode,
David Blaikie960ea3f2014-06-08 16:18:35 +0000697 OperandVector &Operands, MCStreamer &Out,
Tim Northover26bb14e2014-08-18 11:49:42 +0000698 uint64_t &ErrorInfo,
Craig Topper39012cc2014-03-09 18:03:14 +0000699 bool MatchingInlineAsm) override;
Chad Rosier9cb988f2012-08-09 22:04:55 +0000700
Reid Klecknerf6fb7802014-08-26 20:32:34 +0000701 void MatchFPUWaitAlias(SMLoc IDLoc, X86Operand &Op, OperandVector &Operands,
702 MCStreamer &Out, bool MatchingInlineAsm);
703
704 bool ErrorMissingFeature(SMLoc IDLoc, uint64_t ErrorInfo,
705 bool MatchingInlineAsm);
706
707 bool MatchAndEmitATTInstruction(SMLoc IDLoc, unsigned &Opcode,
708 OperandVector &Operands, MCStreamer &Out,
709 uint64_t &ErrorInfo,
710 bool MatchingInlineAsm);
711
712 bool MatchAndEmitIntelInstruction(SMLoc IDLoc, unsigned &Opcode,
713 OperandVector &Operands, MCStreamer &Out,
714 uint64_t &ErrorInfo,
715 bool MatchingInlineAsm);
716
Craig Topperfd38cbe2014-08-30 16:48:34 +0000717 bool OmitRegisterFromClobberLists(unsigned RegNo) override;
Nico Weber42f79db2014-07-17 20:24:55 +0000718
David Woodhouse9bbf7ca2014-01-22 15:08:36 +0000719 /// doSrcDstMatch - Returns true if operands are matching in their
720 /// word size (%si and %di, %esi and %edi, etc.). Order depends on
721 /// the parsing mode (Intel vs. AT&T).
722 bool doSrcDstMatch(X86Operand &Op1, X86Operand &Op2);
723
Elena Demikhovskyc9657012014-02-20 06:34:39 +0000724 /// Parses AVX512 specific operand primitives: masked registers ({%k<NUM>}, {z})
725 /// and memory broadcasting ({1to<NUM>}) primitives, updating Operands vector if required.
726 /// \return \c true if no parsing errors occurred, \c false otherwise.
David Blaikie960ea3f2014-06-08 16:18:35 +0000727 bool HandleAVX512Operand(OperandVector &Operands,
728 const MCParsedAsmOperand &Op);
Elena Demikhovskyc9657012014-02-20 06:34:39 +0000729
Evan Chengc5e6d2f2011-07-11 03:57:24 +0000730 bool is64BitMode() const {
Evan Cheng4d1ca962011-07-08 01:53:10 +0000731 // FIXME: Can tablegen auto-generate this?
Michael Kupersteinc3434b32015-05-13 10:28:46 +0000732 return (STI.getFeatureBits() & X86::Mode64Bit) != 0;
Evan Cheng4d1ca962011-07-08 01:53:10 +0000733 }
Craig Topper3c80d622014-01-06 04:55:54 +0000734 bool is32BitMode() const {
735 // FIXME: Can tablegen auto-generate this?
Michael Kupersteinc3434b32015-05-13 10:28:46 +0000736 return (STI.getFeatureBits() & X86::Mode32Bit) != 0;
Craig Topper3c80d622014-01-06 04:55:54 +0000737 }
738 bool is16BitMode() const {
739 // FIXME: Can tablegen auto-generate this?
Michael Kupersteinc3434b32015-05-13 10:28:46 +0000740 return (STI.getFeatureBits() & X86::Mode16Bit) != 0;
Craig Topper3c80d622014-01-06 04:55:54 +0000741 }
Michael Kupersteinc3434b32015-05-13 10:28:46 +0000742 void SwitchMode(uint64_t mode) {
743 uint64_t oldMode = STI.getFeatureBits() &
744 (X86::Mode64Bit | X86::Mode32Bit | X86::Mode16Bit);
745 unsigned FB = ComputeAvailableFeatures(STI.ToggleFeature(oldMode | mode));
Evan Cheng481ebb02011-07-27 00:38:12 +0000746 setAvailableFeatures(FB);
Michael Kupersteinc3434b32015-05-13 10:28:46 +0000747 assert(mode == (STI.getFeatureBits() &
748 (X86::Mode64Bit | X86::Mode32Bit | X86::Mode16Bit)));
Evan Cheng481ebb02011-07-27 00:38:12 +0000749 }
Evan Cheng4d1ca962011-07-08 01:53:10 +0000750
Reid Kleckner5b37c182014-08-01 20:21:24 +0000751 unsigned getPointerWidth() {
752 if (is16BitMode()) return 16;
753 if (is32BitMode()) return 32;
754 if (is64BitMode()) return 64;
755 llvm_unreachable("invalid mode");
756 }
757
Chad Rosierc2f055d2013-04-18 16:13:18 +0000758 bool isParsingIntelSyntax() {
759 return getParser().getAssemblerDialect();
760 }
761
Daniel Dunbareefe8612010-07-19 05:44:09 +0000762 /// @name Auto-generated Matcher Functions
763 /// {
Michael J. Spencer530ce852010-10-09 11:00:50 +0000764
Chris Lattner3e4582a2010-09-06 19:11:01 +0000765#define GET_ASSEMBLER_HEADER
766#include "X86GenAsmMatcher.inc"
Michael J. Spencer530ce852010-10-09 11:00:50 +0000767
Daniel Dunbar00331992009-07-29 00:02:19 +0000768 /// }
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +0000769
770public:
Rafael Espindola961d4692014-11-11 05:18:41 +0000771 X86AsmParser(MCSubtargetInfo &sti, MCAsmParser &Parser,
772 const MCInstrInfo &mii, const MCTargetOptions &Options)
773 : MCTargetAsmParser(), STI(sti), MII(mii), InstInfo(nullptr) {
Michael J. Spencer530ce852010-10-09 11:00:50 +0000774
Daniel Dunbareefe8612010-07-19 05:44:09 +0000775 // Initialize the set of available features.
Evan Cheng91111d22011-07-09 05:47:46 +0000776 setAvailableFeatures(ComputeAvailableFeatures(STI.getFeatureBits()));
Evgeniy Stepanov0a951b72014-04-23 11:16:03 +0000777 Instrumentation.reset(
778 CreateX86AsmInstrumentation(Options, Parser.getContext(), STI));
Daniel Dunbareefe8612010-07-19 05:44:09 +0000779 }
Evgeniy Stepanov0a951b72014-04-23 11:16:03 +0000780
Craig Topper39012cc2014-03-09 18:03:14 +0000781 bool ParseRegister(unsigned &RegNo, SMLoc &StartLoc, SMLoc &EndLoc) override;
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +0000782
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000783 void SetFrameRegister(unsigned RegNo) override;
784
David Blaikie960ea3f2014-06-08 16:18:35 +0000785 bool ParseInstruction(ParseInstructionInfo &Info, StringRef Name,
786 SMLoc NameLoc, OperandVector &Operands) override;
Kevin Enderbyce4bec82009-09-10 20:51:44 +0000787
Craig Topper39012cc2014-03-09 18:03:14 +0000788 bool ParseDirective(AsmToken DirectiveID) override;
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +0000789};
Chris Lattner4eb9df02009-07-29 06:33:53 +0000790} // end anonymous namespace
791
Sean Callanan86c11812010-01-23 00:40:33 +0000792/// @name Auto-generated Match Functions
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +0000793/// {
Sean Callanan86c11812010-01-23 00:40:33 +0000794
Chris Lattner60db0a62010-02-09 00:34:28 +0000795static unsigned MatchRegisterName(StringRef Name);
Sean Callanan86c11812010-01-23 00:40:33 +0000796
797/// }
Chris Lattner4eb9df02009-07-29 06:33:53 +0000798
Kevin Enderbybc570f22014-01-23 22:34:42 +0000799static bool CheckBaseRegAndIndexReg(unsigned BaseReg, unsigned IndexReg,
800 StringRef &ErrMsg) {
801 // If we have both a base register and an index register make sure they are
802 // both 64-bit or 32-bit registers.
803 // To support VSIB, IndexReg can be 128-bit or 256-bit registers.
804 if (BaseReg != 0 && IndexReg != 0) {
805 if (X86MCRegisterClasses[X86::GR64RegClassID].contains(BaseReg) &&
806 (X86MCRegisterClasses[X86::GR16RegClassID].contains(IndexReg) ||
807 X86MCRegisterClasses[X86::GR32RegClassID].contains(IndexReg)) &&
808 IndexReg != X86::RIZ) {
809 ErrMsg = "base register is 64-bit, but index register is not";
810 return true;
811 }
812 if (X86MCRegisterClasses[X86::GR32RegClassID].contains(BaseReg) &&
813 (X86MCRegisterClasses[X86::GR16RegClassID].contains(IndexReg) ||
814 X86MCRegisterClasses[X86::GR64RegClassID].contains(IndexReg)) &&
815 IndexReg != X86::EIZ){
816 ErrMsg = "base register is 32-bit, but index register is not";
817 return true;
818 }
819 if (X86MCRegisterClasses[X86::GR16RegClassID].contains(BaseReg)) {
820 if (X86MCRegisterClasses[X86::GR32RegClassID].contains(IndexReg) ||
821 X86MCRegisterClasses[X86::GR64RegClassID].contains(IndexReg)) {
822 ErrMsg = "base register is 16-bit, but index register is not";
823 return true;
824 }
825 if (((BaseReg == X86::BX || BaseReg == X86::BP) &&
826 IndexReg != X86::SI && IndexReg != X86::DI) ||
827 ((BaseReg == X86::SI || BaseReg == X86::DI) &&
828 IndexReg != X86::BX && IndexReg != X86::BP)) {
829 ErrMsg = "invalid 16-bit base/index register combination";
830 return true;
831 }
832 }
833 }
834 return false;
835}
836
David Woodhouse9bbf7ca2014-01-22 15:08:36 +0000837bool X86AsmParser::doSrcDstMatch(X86Operand &Op1, X86Operand &Op2)
838{
839 // Return true and let a normal complaint about bogus operands happen.
840 if (!Op1.isMem() || !Op2.isMem())
841 return true;
842
843 // Actually these might be the other way round if Intel syntax is
844 // being used. It doesn't matter.
845 unsigned diReg = Op1.Mem.BaseReg;
846 unsigned siReg = Op2.Mem.BaseReg;
847
848 if (X86MCRegisterClasses[X86::GR16RegClassID].contains(siReg))
849 return X86MCRegisterClasses[X86::GR16RegClassID].contains(diReg);
850 if (X86MCRegisterClasses[X86::GR32RegClassID].contains(siReg))
851 return X86MCRegisterClasses[X86::GR32RegClassID].contains(diReg);
852 if (X86MCRegisterClasses[X86::GR64RegClassID].contains(siReg))
853 return X86MCRegisterClasses[X86::GR64RegClassID].contains(diReg);
854 // Again, return true and let another error happen.
855 return true;
856}
857
Devang Patel4a6e7782012-01-12 18:03:40 +0000858bool X86AsmParser::ParseRegister(unsigned &RegNo,
859 SMLoc &StartLoc, SMLoc &EndLoc) {
Rafael Espindola961d4692014-11-11 05:18:41 +0000860 MCAsmParser &Parser = getParser();
Chris Lattnercc2ad082010-01-15 18:27:19 +0000861 RegNo = 0;
Benjamin Kramere3d658b2012-09-07 14:51:35 +0000862 const AsmToken &PercentTok = Parser.getTok();
863 StartLoc = PercentTok.getLoc();
864
865 // If we encounter a %, ignore it. This code handles registers with and
866 // without the prefix, unprefixed registers can occur in cfi directives.
867 if (!isParsingIntelSyntax() && PercentTok.is(AsmToken::Percent))
Devang Patel41b9dde2012-01-17 18:00:18 +0000868 Parser.Lex(); // Eat percent token.
Kevin Enderby7d912182009-09-03 17:15:07 +0000869
Sean Callanan936b0d32010-01-19 21:44:56 +0000870 const AsmToken &Tok = Parser.getTok();
Jordan Rosee8f1eae2013-01-07 19:00:49 +0000871 EndLoc = Tok.getEndLoc();
872
Devang Patelce6a2ca2012-01-20 22:32:05 +0000873 if (Tok.isNot(AsmToken::Identifier)) {
Devang Patel9a9bb5c2012-01-30 20:02:42 +0000874 if (isParsingIntelSyntax()) return true;
Benjamin Kramer1930b002011-10-16 12:10:27 +0000875 return Error(StartLoc, "invalid register name",
Jordan Rosee8f1eae2013-01-07 19:00:49 +0000876 SMRange(StartLoc, EndLoc));
Devang Patelce6a2ca2012-01-20 22:32:05 +0000877 }
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +0000878
Kevin Enderby7d912182009-09-03 17:15:07 +0000879 RegNo = MatchRegisterName(Tok.getString());
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +0000880
Chris Lattner1261b812010-09-22 04:11:10 +0000881 // If the match failed, try the register name as lowercase.
882 if (RegNo == 0)
Benjamin Kramer20baffb2011-11-06 20:37:06 +0000883 RegNo = MatchRegisterName(Tok.getString().lower());
Michael J. Spencer530ce852010-10-09 11:00:50 +0000884
Evan Chengeda1d4f2011-07-27 23:22:03 +0000885 if (!is64BitMode()) {
Eric Christopherc0a5aae2013-12-20 02:04:49 +0000886 // FIXME: This should be done using Requires<Not64BitMode> and
Evan Chengeda1d4f2011-07-27 23:22:03 +0000887 // Requires<In64BitMode> so "eiz" usage in 64-bit instructions can be also
888 // checked.
889 // FIXME: Check AH, CH, DH, BH cannot be used in an instruction requiring a
890 // REX prefix.
891 if (RegNo == X86::RIZ ||
892 X86MCRegisterClasses[X86::GR64RegClassID].contains(RegNo) ||
893 X86II::isX86_64NonExtLowByteReg(RegNo) ||
894 X86II::isX86_64ExtendedReg(RegNo))
Benjamin Kramer1930b002011-10-16 12:10:27 +0000895 return Error(StartLoc, "register %"
896 + Tok.getString() + " is only available in 64-bit mode",
Jordan Rosee8f1eae2013-01-07 19:00:49 +0000897 SMRange(StartLoc, EndLoc));
Evan Chengeda1d4f2011-07-27 23:22:03 +0000898 }
Bruno Cardoso Lopes306a1f92010-07-24 00:06:39 +0000899
Chris Lattner1261b812010-09-22 04:11:10 +0000900 // Parse "%st" as "%st(0)" and "%st(1)", which is multiple tokens.
901 if (RegNo == 0 && (Tok.getString() == "st" || Tok.getString() == "ST")) {
Chris Lattnerd00faaa2010-02-09 00:49:22 +0000902 RegNo = X86::ST0;
Chris Lattnerd00faaa2010-02-09 00:49:22 +0000903 Parser.Lex(); // Eat 'st'
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +0000904
Chris Lattnerd00faaa2010-02-09 00:49:22 +0000905 // Check to see if we have '(4)' after %st.
906 if (getLexer().isNot(AsmToken::LParen))
907 return false;
908 // Lex the paren.
909 getParser().Lex();
910
911 const AsmToken &IntTok = Parser.getTok();
912 if (IntTok.isNot(AsmToken::Integer))
913 return Error(IntTok.getLoc(), "expected stack index");
914 switch (IntTok.getIntVal()) {
915 case 0: RegNo = X86::ST0; break;
916 case 1: RegNo = X86::ST1; break;
917 case 2: RegNo = X86::ST2; break;
918 case 3: RegNo = X86::ST3; break;
919 case 4: RegNo = X86::ST4; break;
920 case 5: RegNo = X86::ST5; break;
921 case 6: RegNo = X86::ST6; break;
922 case 7: RegNo = X86::ST7; break;
923 default: return Error(IntTok.getLoc(), "invalid stack index");
924 }
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +0000925
Chris Lattnerd00faaa2010-02-09 00:49:22 +0000926 if (getParser().Lex().isNot(AsmToken::RParen))
927 return Error(Parser.getTok().getLoc(), "expected ')'");
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +0000928
Jordan Rosee8f1eae2013-01-07 19:00:49 +0000929 EndLoc = Parser.getTok().getEndLoc();
Chris Lattnerd00faaa2010-02-09 00:49:22 +0000930 Parser.Lex(); // Eat ')'
931 return false;
932 }
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +0000933
Jordan Rosee8f1eae2013-01-07 19:00:49 +0000934 EndLoc = Parser.getTok().getEndLoc();
935
Chris Lattner80486622010-06-24 07:29:18 +0000936 // If this is "db[0-7]", match it as an alias
937 // for dr[0-7].
938 if (RegNo == 0 && Tok.getString().size() == 3 &&
939 Tok.getString().startswith("db")) {
940 switch (Tok.getString()[2]) {
941 case '0': RegNo = X86::DR0; break;
942 case '1': RegNo = X86::DR1; break;
943 case '2': RegNo = X86::DR2; break;
944 case '3': RegNo = X86::DR3; break;
945 case '4': RegNo = X86::DR4; break;
946 case '5': RegNo = X86::DR5; break;
947 case '6': RegNo = X86::DR6; break;
948 case '7': RegNo = X86::DR7; break;
949 }
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +0000950
Chris Lattner80486622010-06-24 07:29:18 +0000951 if (RegNo != 0) {
Jordan Rosee8f1eae2013-01-07 19:00:49 +0000952 EndLoc = Parser.getTok().getEndLoc();
Chris Lattner80486622010-06-24 07:29:18 +0000953 Parser.Lex(); // Eat it.
954 return false;
955 }
956 }
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +0000957
Devang Patelce6a2ca2012-01-20 22:32:05 +0000958 if (RegNo == 0) {
Devang Patel9a9bb5c2012-01-30 20:02:42 +0000959 if (isParsingIntelSyntax()) return true;
Benjamin Kramer1930b002011-10-16 12:10:27 +0000960 return Error(StartLoc, "invalid register name",
Jordan Rosee8f1eae2013-01-07 19:00:49 +0000961 SMRange(StartLoc, EndLoc));
Devang Patelce6a2ca2012-01-20 22:32:05 +0000962 }
Daniel Dunbar00331992009-07-29 00:02:19 +0000963
Sean Callanana83fd7d2010-01-19 20:27:46 +0000964 Parser.Lex(); // Eat identifier token.
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +0000965 return false;
Daniel Dunbar71475772009-07-17 20:42:00 +0000966}
967
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000968void X86AsmParser::SetFrameRegister(unsigned RegNo) {
Yuri Gorshenine8c81fd2014-10-07 11:03:09 +0000969 Instrumentation->SetInitialFrameRegister(RegNo);
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000970}
971
David Blaikie960ea3f2014-06-08 16:18:35 +0000972std::unique_ptr<X86Operand> X86AsmParser::DefaultMemSIOperand(SMLoc Loc) {
David Woodhouse2ef8d9c2014-01-22 15:08:08 +0000973 unsigned basereg =
974 is64BitMode() ? X86::RSI : (is32BitMode() ? X86::ESI : X86::SI);
975 const MCExpr *Disp = MCConstantExpr::Create(0, getContext());
Craig Topper055845f2015-01-02 07:02:25 +0000976 return X86Operand::CreateMem(getPointerWidth(), /*SegReg=*/0, Disp,
977 /*BaseReg=*/basereg, /*IndexReg=*/0, /*Scale=*/1,
978 Loc, Loc, 0);
David Woodhouse2ef8d9c2014-01-22 15:08:08 +0000979}
980
David Blaikie960ea3f2014-06-08 16:18:35 +0000981std::unique_ptr<X86Operand> X86AsmParser::DefaultMemDIOperand(SMLoc Loc) {
David Woodhouseb33c2ef2014-01-22 15:08:21 +0000982 unsigned basereg =
983 is64BitMode() ? X86::RDI : (is32BitMode() ? X86::EDI : X86::DI);
984 const MCExpr *Disp = MCConstantExpr::Create(0, getContext());
Craig Topper055845f2015-01-02 07:02:25 +0000985 return X86Operand::CreateMem(getPointerWidth(), /*SegReg=*/0, Disp,
986 /*BaseReg=*/basereg, /*IndexReg=*/0, /*Scale=*/1,
987 Loc, Loc, 0);
David Woodhouseb33c2ef2014-01-22 15:08:21 +0000988}
989
David Blaikie960ea3f2014-06-08 16:18:35 +0000990std::unique_ptr<X86Operand> X86AsmParser::ParseOperand() {
Devang Patel9a9bb5c2012-01-30 20:02:42 +0000991 if (isParsingIntelSyntax())
Devang Patel46831de2012-01-12 01:36:43 +0000992 return ParseIntelOperand();
993 return ParseATTOperand();
994}
995
Devang Patel41b9dde2012-01-17 18:00:18 +0000996/// getIntelMemOperandSize - Return intel memory operand size.
997static unsigned getIntelMemOperandSize(StringRef OpStr) {
Chad Rosierb6b8e962012-09-11 21:10:25 +0000998 unsigned Size = StringSwitch<unsigned>(OpStr)
Chad Rosierab53b4f2012-09-12 18:24:26 +0000999 .Cases("BYTE", "byte", 8)
1000 .Cases("WORD", "word", 16)
1001 .Cases("DWORD", "dword", 32)
1002 .Cases("QWORD", "qword", 64)
1003 .Cases("XWORD", "xword", 80)
1004 .Cases("XMMWORD", "xmmword", 128)
1005 .Cases("YMMWORD", "ymmword", 256)
Craig Topper9ac290a2014-01-17 07:37:39 +00001006 .Cases("ZMMWORD", "zmmword", 512)
Craig Topper2d4b3c92014-01-17 07:44:10 +00001007 .Cases("OPAQUE", "opaque", -1U) // needs to be non-zero, but doesn't matter
Chad Rosierb6b8e962012-09-11 21:10:25 +00001008 .Default(0);
1009 return Size;
Devang Patel46831de2012-01-12 01:36:43 +00001010}
1011
David Blaikie960ea3f2014-06-08 16:18:35 +00001012std::unique_ptr<X86Operand> X86AsmParser::CreateMemForInlineAsm(
1013 unsigned SegReg, const MCExpr *Disp, unsigned BaseReg, unsigned IndexReg,
1014 unsigned Scale, SMLoc Start, SMLoc End, unsigned Size, StringRef Identifier,
1015 InlineAsmIdentifierInfo &Info) {
Reid Kleckner5b37c182014-08-01 20:21:24 +00001016 // If we found a decl other than a VarDecl, then assume it is a FuncDecl or
1017 // some other label reference.
1018 if (isa<MCSymbolRefExpr>(Disp) && Info.OpDecl && !Info.IsVarDecl) {
1019 // Insert an explicit size if the user didn't have one.
1020 if (!Size) {
1021 Size = getPointerWidth();
1022 InstInfo->AsmRewrites->push_back(AsmRewrite(AOK_SizeDirective, Start,
1023 /*Len=*/0, Size));
1024 }
1025
1026 // Create an absolute memory reference in order to match against
1027 // instructions taking a PC relative operand.
Craig Topper055845f2015-01-02 07:02:25 +00001028 return X86Operand::CreateMem(getPointerWidth(), Disp, Start, End, Size,
1029 Identifier, Info.OpDecl);
Reid Klecknerd84e70e2014-03-04 00:33:17 +00001030 }
1031
1032 // We either have a direct symbol reference, or an offset from a symbol. The
1033 // parser always puts the symbol on the LHS, so look there for size
1034 // calculation purposes.
1035 const MCBinaryExpr *BinOp = dyn_cast<MCBinaryExpr>(Disp);
1036 bool IsSymRef =
1037 isa<MCSymbolRefExpr>(BinOp ? BinOp->getLHS() : Disp);
1038 if (IsSymRef) {
Chad Rosiercb78f0d2013-04-22 19:42:15 +00001039 if (!Size) {
1040 Size = Info.Type * 8; // Size is in terms of bits in this context.
1041 if (Size)
1042 InstInfo->AsmRewrites->push_back(AsmRewrite(AOK_SizeDirective, Start,
1043 /*Len=*/0, Size));
1044 }
Chad Rosier7ca135b2013-03-19 21:11:56 +00001045 }
1046
Chad Rosier7ca135b2013-03-19 21:11:56 +00001047 // When parsing inline assembly we set the base register to a non-zero value
Chad Rosier175d0ae2013-04-12 18:21:18 +00001048 // if we don't know the actual value at this time. This is necessary to
Chad Rosier7ca135b2013-03-19 21:11:56 +00001049 // get the matching correct in some cases.
Chad Rosier175d0ae2013-04-12 18:21:18 +00001050 BaseReg = BaseReg ? BaseReg : 1;
Craig Topper055845f2015-01-02 07:02:25 +00001051 return X86Operand::CreateMem(getPointerWidth(), SegReg, Disp, BaseReg,
1052 IndexReg, Scale, Start, End, Size, Identifier,
1053 Info.OpDecl);
Chad Rosier7ca135b2013-03-19 21:11:56 +00001054}
1055
Chad Rosierd383db52013-04-12 20:20:54 +00001056static void
1057RewriteIntelBracExpression(SmallVectorImpl<AsmRewrite> *AsmRewrites,
1058 StringRef SymName, int64_t ImmDisp,
1059 int64_t FinalImmDisp, SMLoc &BracLoc,
1060 SMLoc &StartInBrac, SMLoc &End) {
1061 // Remove the '[' and ']' from the IR string.
1062 AsmRewrites->push_back(AsmRewrite(AOK_Skip, BracLoc, 1));
1063 AsmRewrites->push_back(AsmRewrite(AOK_Skip, End, 1));
1064
1065 // If ImmDisp is non-zero, then we parsed a displacement before the
1066 // bracketed expression (i.e., ImmDisp [ BaseReg + Scale*IndexReg + Disp])
1067 // If ImmDisp doesn't match the displacement computed by the state machine
1068 // then we have an additional displacement in the bracketed expression.
1069 if (ImmDisp != FinalImmDisp) {
1070 if (ImmDisp) {
1071 // We have an immediate displacement before the bracketed expression.
1072 // Adjust this to match the final immediate displacement.
1073 bool Found = false;
1074 for (SmallVectorImpl<AsmRewrite>::iterator I = AsmRewrites->begin(),
1075 E = AsmRewrites->end(); I != E; ++I) {
1076 if ((*I).Loc.getPointer() > BracLoc.getPointer())
1077 continue;
Chad Rosierbfb70992013-04-17 00:11:46 +00001078 if ((*I).Kind == AOK_ImmPrefix || (*I).Kind == AOK_Imm) {
1079 assert (!Found && "ImmDisp already rewritten.");
Chad Rosierd383db52013-04-12 20:20:54 +00001080 (*I).Kind = AOK_Imm;
1081 (*I).Len = BracLoc.getPointer() - (*I).Loc.getPointer();
1082 (*I).Val = FinalImmDisp;
1083 Found = true;
1084 break;
1085 }
1086 }
1087 assert (Found && "Unable to rewrite ImmDisp.");
Duncan Sands0480b9b2013-05-13 07:50:47 +00001088 (void)Found;
Chad Rosierd383db52013-04-12 20:20:54 +00001089 } else {
1090 // We have a symbolic and an immediate displacement, but no displacement
Chad Rosierbfb70992013-04-17 00:11:46 +00001091 // before the bracketed expression. Put the immediate displacement
Chad Rosierd383db52013-04-12 20:20:54 +00001092 // before the bracketed expression.
Chad Rosierbfb70992013-04-17 00:11:46 +00001093 AsmRewrites->push_back(AsmRewrite(AOK_Imm, BracLoc, 0, FinalImmDisp));
Chad Rosierd383db52013-04-12 20:20:54 +00001094 }
1095 }
1096 // Remove all the ImmPrefix rewrites within the brackets.
1097 for (SmallVectorImpl<AsmRewrite>::iterator I = AsmRewrites->begin(),
1098 E = AsmRewrites->end(); I != E; ++I) {
1099 if ((*I).Loc.getPointer() < StartInBrac.getPointer())
1100 continue;
1101 if ((*I).Kind == AOK_ImmPrefix)
1102 (*I).Kind = AOK_Delete;
1103 }
1104 const char *SymLocPtr = SymName.data();
Michael Liao5bf95782014-12-04 05:20:33 +00001105 // Skip everything before the symbol.
Chad Rosierd383db52013-04-12 20:20:54 +00001106 if (unsigned Len = SymLocPtr - StartInBrac.getPointer()) {
1107 assert(Len > 0 && "Expected a non-negative length.");
1108 AsmRewrites->push_back(AsmRewrite(AOK_Skip, StartInBrac, Len));
1109 }
1110 // Skip everything after the symbol.
1111 if (unsigned Len = End.getPointer() - (SymLocPtr + SymName.size())) {
1112 SMLoc Loc = SMLoc::getFromPointer(SymLocPtr + SymName.size());
1113 assert(Len > 0 && "Expected a non-negative length.");
1114 AsmRewrites->push_back(AsmRewrite(AOK_Skip, Loc, Len));
1115 }
1116}
1117
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001118bool X86AsmParser::ParseIntelExpression(IntelExprStateMachine &SM, SMLoc &End) {
Rafael Espindola961d4692014-11-11 05:18:41 +00001119 MCAsmParser &Parser = getParser();
Chad Rosier6844ea02012-10-24 22:13:37 +00001120 const AsmToken &Tok = Parser.getTok();
Chad Rosier51afe632012-06-27 22:34:28 +00001121
Chad Rosier5c118fd2013-01-14 22:31:35 +00001122 bool Done = false;
Chad Rosier5c118fd2013-01-14 22:31:35 +00001123 while (!Done) {
1124 bool UpdateLocLex = true;
1125
1126 // The period in the dot operator (e.g., [ebx].foo.bar) is parsed as an
1127 // identifier. Don't try an parse it as a register.
1128 if (Tok.getString().startswith("."))
1129 break;
Michael Liao5bf95782014-12-04 05:20:33 +00001130
Chad Rosierbfb70992013-04-17 00:11:46 +00001131 // If we're parsing an immediate expression, we don't expect a '['.
1132 if (SM.getStopOnLBrac() && getLexer().getKind() == AsmToken::LBrac)
1133 break;
Chad Rosier5c118fd2013-01-14 22:31:35 +00001134
David Majnemer6a5b8122014-06-19 01:25:43 +00001135 AsmToken::TokenKind TK = getLexer().getKind();
1136 switch (TK) {
Chad Rosier5c118fd2013-01-14 22:31:35 +00001137 default: {
1138 if (SM.isValidEndState()) {
1139 Done = true;
1140 break;
1141 }
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001142 return Error(Tok.getLoc(), "unknown token in expression");
Chad Rosier5c118fd2013-01-14 22:31:35 +00001143 }
Chad Rosierbfb70992013-04-17 00:11:46 +00001144 case AsmToken::EndOfStatement: {
1145 Done = true;
1146 break;
1147 }
David Majnemer6a5b8122014-06-19 01:25:43 +00001148 case AsmToken::String:
Chad Rosier5c118fd2013-01-14 22:31:35 +00001149 case AsmToken::Identifier: {
Chad Rosier175d0ae2013-04-12 18:21:18 +00001150 // This could be a register or a symbolic displacement.
1151 unsigned TmpReg;
Chad Rosier95ce8892013-04-19 18:39:50 +00001152 const MCExpr *Val;
Chad Rosier152749c2013-04-12 18:54:20 +00001153 SMLoc IdentLoc = Tok.getLoc();
1154 StringRef Identifier = Tok.getString();
David Majnemer6a5b8122014-06-19 01:25:43 +00001155 if (TK != AsmToken::String && !ParseRegister(TmpReg, IdentLoc, End)) {
Chad Rosier5c118fd2013-01-14 22:31:35 +00001156 SM.onRegister(TmpReg);
1157 UpdateLocLex = false;
1158 break;
Chad Rosier95ce8892013-04-19 18:39:50 +00001159 } else {
1160 if (!isParsingInlineAsm()) {
1161 if (getParser().parsePrimaryExpr(Val, End))
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001162 return Error(Tok.getLoc(), "Unexpected identifier!");
Chad Rosier95ce8892013-04-19 18:39:50 +00001163 } else {
Reid Kleckner94a1c4d2014-03-06 19:19:12 +00001164 // This is a dot operator, not an adjacent identifier.
1165 if (Identifier.find('.') != StringRef::npos) {
1166 return false;
1167 } else {
1168 InlineAsmIdentifierInfo &Info = SM.getIdentifierInfo();
1169 if (ParseIntelIdentifier(Val, Identifier, Info,
1170 /*Unevaluated=*/false, End))
1171 return true;
1172 }
Chad Rosier95ce8892013-04-19 18:39:50 +00001173 }
1174 SM.onIdentifierExpr(Val, Identifier);
Chad Rosier5c118fd2013-01-14 22:31:35 +00001175 UpdateLocLex = false;
1176 break;
1177 }
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001178 return Error(Tok.getLoc(), "Unexpected identifier!");
Chad Rosier5c118fd2013-01-14 22:31:35 +00001179 }
Kevin Enderby36eba252013-12-19 23:16:14 +00001180 case AsmToken::Integer: {
Kevin Enderby9d117022014-01-23 21:52:41 +00001181 StringRef ErrMsg;
Chad Rosierbfb70992013-04-17 00:11:46 +00001182 if (isParsingInlineAsm() && SM.getAddImmPrefix())
Chad Rosier4a7005e2013-04-05 16:28:55 +00001183 InstInfo->AsmRewrites->push_back(AsmRewrite(AOK_ImmPrefix,
1184 Tok.getLoc()));
Kevin Enderby36eba252013-12-19 23:16:14 +00001185 // Look for 'b' or 'f' following an Integer as a directional label
1186 SMLoc Loc = getTok().getLoc();
1187 int64_t IntVal = getTok().getIntVal();
1188 End = consumeToken();
1189 UpdateLocLex = false;
1190 if (getLexer().getKind() == AsmToken::Identifier) {
1191 StringRef IDVal = getTok().getString();
1192 if (IDVal == "f" || IDVal == "b") {
1193 MCSymbol *Sym =
Jim Grosbach6f482002015-05-18 18:43:14 +00001194 getContext().getDirectionalLocalSymbol(IntVal, IDVal == "b");
Kevin Enderby36eba252013-12-19 23:16:14 +00001195 MCSymbolRefExpr::VariantKind Variant = MCSymbolRefExpr::VK_None;
Michael Liao5bf95782014-12-04 05:20:33 +00001196 const MCExpr *Val =
Kevin Enderby36eba252013-12-19 23:16:14 +00001197 MCSymbolRefExpr::Create(Sym, Variant, getContext());
1198 if (IDVal == "b" && Sym->isUndefined())
1199 return Error(Loc, "invalid reference to undefined symbol");
1200 StringRef Identifier = Sym->getName();
1201 SM.onIdentifierExpr(Val, Identifier);
1202 End = consumeToken();
1203 } else {
Kevin Enderby9d117022014-01-23 21:52:41 +00001204 if (SM.onInteger(IntVal, ErrMsg))
1205 return Error(Loc, ErrMsg);
Kevin Enderby36eba252013-12-19 23:16:14 +00001206 }
1207 } else {
Kevin Enderby9d117022014-01-23 21:52:41 +00001208 if (SM.onInteger(IntVal, ErrMsg))
1209 return Error(Loc, ErrMsg);
Kevin Enderby36eba252013-12-19 23:16:14 +00001210 }
Chad Rosier5c118fd2013-01-14 22:31:35 +00001211 break;
Kevin Enderby36eba252013-12-19 23:16:14 +00001212 }
Chad Rosier5c118fd2013-01-14 22:31:35 +00001213 case AsmToken::Plus: SM.onPlus(); break;
1214 case AsmToken::Minus: SM.onMinus(); break;
Ehsan Akhgari4103da62014-07-04 19:13:05 +00001215 case AsmToken::Tilde: SM.onNot(); break;
Chad Rosier5c118fd2013-01-14 22:31:35 +00001216 case AsmToken::Star: SM.onStar(); break;
Chad Rosier4a7005e2013-04-05 16:28:55 +00001217 case AsmToken::Slash: SM.onDivide(); break;
Kevin Enderby2e13b1c2014-01-15 19:05:24 +00001218 case AsmToken::Pipe: SM.onOr(); break;
1219 case AsmToken::Amp: SM.onAnd(); break;
Kevin Enderbyd6b10712014-02-06 01:21:15 +00001220 case AsmToken::LessLess:
1221 SM.onLShift(); break;
1222 case AsmToken::GreaterGreater:
1223 SM.onRShift(); break;
Chad Rosier5c118fd2013-01-14 22:31:35 +00001224 case AsmToken::LBrac: SM.onLBrac(); break;
1225 case AsmToken::RBrac: SM.onRBrac(); break;
Chad Rosier4a7005e2013-04-05 16:28:55 +00001226 case AsmToken::LParen: SM.onLParen(); break;
1227 case AsmToken::RParen: SM.onRParen(); break;
Chad Rosier5c118fd2013-01-14 22:31:35 +00001228 }
Chad Rosier31246272013-04-17 21:01:45 +00001229 if (SM.hadError())
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001230 return Error(Tok.getLoc(), "unknown token in expression");
Chad Rosier31246272013-04-17 21:01:45 +00001231
Alp Tokera5b88a52013-12-02 16:06:06 +00001232 if (!Done && UpdateLocLex)
1233 End = consumeToken();
Devang Patel41b9dde2012-01-17 18:00:18 +00001234 }
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001235 return false;
Chad Rosier5362af92013-04-16 18:15:40 +00001236}
1237
David Blaikie960ea3f2014-06-08 16:18:35 +00001238std::unique_ptr<X86Operand>
1239X86AsmParser::ParseIntelBracExpression(unsigned SegReg, SMLoc Start,
1240 int64_t ImmDisp, unsigned Size) {
Rafael Espindola961d4692014-11-11 05:18:41 +00001241 MCAsmParser &Parser = getParser();
Chad Rosier5362af92013-04-16 18:15:40 +00001242 const AsmToken &Tok = Parser.getTok();
1243 SMLoc BracLoc = Tok.getLoc(), End = Tok.getEndLoc();
1244 if (getLexer().isNot(AsmToken::LBrac))
1245 return ErrorOperand(BracLoc, "Expected '[' token!");
1246 Parser.Lex(); // Eat '['
1247
1248 SMLoc StartInBrac = Tok.getLoc();
1249 // Parse [ Symbol + ImmDisp ] and [ BaseReg + Scale*IndexReg + ImmDisp ]. We
1250 // may have already parsed an immediate displacement before the bracketed
1251 // expression.
Chad Rosierbfb70992013-04-17 00:11:46 +00001252 IntelExprStateMachine SM(ImmDisp, /*StopOnLBrac=*/false, /*AddImmPrefix=*/true);
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001253 if (ParseIntelExpression(SM, End))
Craig Topper062a2ba2014-04-25 05:30:21 +00001254 return nullptr;
Devang Patel41b9dde2012-01-17 18:00:18 +00001255
Craig Topper062a2ba2014-04-25 05:30:21 +00001256 const MCExpr *Disp = nullptr;
Chad Rosier175d0ae2013-04-12 18:21:18 +00001257 if (const MCExpr *Sym = SM.getSym()) {
Chad Rosierd383db52013-04-12 20:20:54 +00001258 // A symbolic displacement.
Chad Rosier175d0ae2013-04-12 18:21:18 +00001259 Disp = Sym;
Chad Rosierd383db52013-04-12 20:20:54 +00001260 if (isParsingInlineAsm())
1261 RewriteIntelBracExpression(InstInfo->AsmRewrites, SM.getSymName(),
Chad Rosier5362af92013-04-16 18:15:40 +00001262 ImmDisp, SM.getImm(), BracLoc, StartInBrac,
Chad Rosierd383db52013-04-12 20:20:54 +00001263 End);
Reid Klecknerd84e70e2014-03-04 00:33:17 +00001264 }
1265
1266 if (SM.getImm() || !Disp) {
1267 const MCExpr *Imm = MCConstantExpr::Create(SM.getImm(), getContext());
1268 if (Disp)
1269 Disp = MCBinaryExpr::CreateAdd(Disp, Imm, getContext());
1270 else
1271 Disp = Imm; // An immediate displacement only.
Chad Rosier175d0ae2013-04-12 18:21:18 +00001272 }
Devang Pateld0930ff2012-01-20 21:21:01 +00001273
Reid Kleckner94a1c4d2014-03-06 19:19:12 +00001274 // Parse struct field access. Intel requires a dot, but MSVC doesn't. MSVC
1275 // will in fact do global lookup the field name inside all global typedefs,
1276 // but we don't emulate that.
1277 if (Tok.getString().find('.') != StringRef::npos) {
Chad Rosier911c1f32012-10-25 17:37:43 +00001278 const MCExpr *NewDisp;
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001279 if (ParseIntelDotOperator(Disp, NewDisp))
Craig Topper062a2ba2014-04-25 05:30:21 +00001280 return nullptr;
Michael Liao5bf95782014-12-04 05:20:33 +00001281
Chad Rosier70f47592013-04-10 20:07:47 +00001282 End = Tok.getEndLoc();
Chad Rosier911c1f32012-10-25 17:37:43 +00001283 Parser.Lex(); // Eat the field.
1284 Disp = NewDisp;
1285 }
Chad Rosier5dcb4662012-10-24 22:21:50 +00001286
Chad Rosier5c118fd2013-01-14 22:31:35 +00001287 int BaseReg = SM.getBaseReg();
1288 int IndexReg = SM.getIndexReg();
Chad Rosier175d0ae2013-04-12 18:21:18 +00001289 int Scale = SM.getScale();
Chad Rosiere8f9bfd2013-04-19 19:29:50 +00001290 if (!isParsingInlineAsm()) {
1291 // handle [-42]
1292 if (!BaseReg && !IndexReg) {
1293 if (!SegReg)
Craig Topper055845f2015-01-02 07:02:25 +00001294 return X86Operand::CreateMem(getPointerWidth(), Disp, Start, End, Size);
1295 return X86Operand::CreateMem(getPointerWidth(), SegReg, Disp, 0, 0, 1,
1296 Start, End, Size);
Chad Rosiere8f9bfd2013-04-19 19:29:50 +00001297 }
Kevin Enderbybc570f22014-01-23 22:34:42 +00001298 StringRef ErrMsg;
1299 if (CheckBaseRegAndIndexReg(BaseReg, IndexReg, ErrMsg)) {
1300 Error(StartInBrac, ErrMsg);
Craig Topper062a2ba2014-04-25 05:30:21 +00001301 return nullptr;
Kevin Enderbybc570f22014-01-23 22:34:42 +00001302 }
Craig Topper055845f2015-01-02 07:02:25 +00001303 return X86Operand::CreateMem(getPointerWidth(), SegReg, Disp, BaseReg,
1304 IndexReg, Scale, Start, End, Size);
Chad Rosier5c118fd2013-01-14 22:31:35 +00001305 }
Chad Rosiere8f9bfd2013-04-19 19:29:50 +00001306
Chad Rosiercb78f0d2013-04-22 19:42:15 +00001307 InlineAsmIdentifierInfo &Info = SM.getIdentifierInfo();
Chad Rosiere8f9bfd2013-04-19 19:29:50 +00001308 return CreateMemForInlineAsm(SegReg, Disp, BaseReg, IndexReg, Scale, Start,
Chad Rosiercb78f0d2013-04-22 19:42:15 +00001309 End, Size, SM.getSymName(), Info);
Devang Patel41b9dde2012-01-17 18:00:18 +00001310}
1311
Chad Rosier8a244662013-04-02 20:02:33 +00001312// Inline assembly may use variable names with namespace alias qualifiers.
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001313bool X86AsmParser::ParseIntelIdentifier(const MCExpr *&Val,
1314 StringRef &Identifier,
1315 InlineAsmIdentifierInfo &Info,
1316 bool IsUnevaluatedOperand, SMLoc &End) {
Rafael Espindola961d4692014-11-11 05:18:41 +00001317 MCAsmParser &Parser = getParser();
Chad Rosier95ce8892013-04-19 18:39:50 +00001318 assert (isParsingInlineAsm() && "Expected to be parsing inline assembly.");
Craig Topper062a2ba2014-04-25 05:30:21 +00001319 Val = nullptr;
Chad Rosier8a244662013-04-02 20:02:33 +00001320
Chad Rosiercb78f0d2013-04-22 19:42:15 +00001321 StringRef LineBuf(Identifier.data());
Ehsan Akhgaridb0e7062014-09-22 02:21:35 +00001322 void *Result =
1323 SemaCallback->LookupInlineAsmIdentifier(LineBuf, Info, IsUnevaluatedOperand);
Chad Rosiercb78f0d2013-04-22 19:42:15 +00001324
Chad Rosier8a244662013-04-02 20:02:33 +00001325 const AsmToken &Tok = Parser.getTok();
Ehsan Akhgaridb0e7062014-09-22 02:21:35 +00001326 SMLoc Loc = Tok.getLoc();
John McCallf73981b2013-05-03 00:15:41 +00001327
1328 // Advance the token stream until the end of the current token is
1329 // after the end of what the frontend claimed.
1330 const char *EndPtr = Tok.getLoc().getPointer() + LineBuf.size();
1331 while (true) {
1332 End = Tok.getEndLoc();
1333 getLexer().Lex();
1334
1335 assert(End.getPointer() <= EndPtr && "frontend claimed part of a token?");
1336 if (End.getPointer() == EndPtr) break;
Chad Rosier8a244662013-04-02 20:02:33 +00001337 }
Ehsan Akhgaridb0e7062014-09-22 02:21:35 +00001338 Identifier = LineBuf;
1339
1340 // If the identifier lookup was unsuccessful, assume that we are dealing with
1341 // a label.
1342 if (!Result) {
Ehsan Akhgaribb6bb072014-09-22 20:40:36 +00001343 StringRef InternalName =
1344 SemaCallback->LookupInlineAsmLabel(Identifier, getSourceManager(),
1345 Loc, false);
1346 assert(InternalName.size() && "We should have an internal name here.");
1347 // Push a rewrite for replacing the identifier name with the internal name.
1348 InstInfo->AsmRewrites->push_back(AsmRewrite(AOK_Label, Loc,
1349 Identifier.size(),
1350 InternalName));
Ehsan Akhgaridb0e7062014-09-22 02:21:35 +00001351 }
Chad Rosiercb78f0d2013-04-22 19:42:15 +00001352
1353 // Create the symbol reference.
Jim Grosbach6f482002015-05-18 18:43:14 +00001354 MCSymbol *Sym = getContext().getOrCreateSymbol(Identifier);
Chad Rosier8a244662013-04-02 20:02:33 +00001355 MCSymbolRefExpr::VariantKind Variant = MCSymbolRefExpr::VK_None;
Chad Rosier95ce8892013-04-19 18:39:50 +00001356 Val = MCSymbolRefExpr::Create(Sym, Variant, getParser().getContext());
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001357 return false;
Chad Rosier8a244662013-04-02 20:02:33 +00001358}
1359
David Majnemeraa34d792013-08-27 21:56:17 +00001360/// \brief Parse intel style segment override.
David Blaikie960ea3f2014-06-08 16:18:35 +00001361std::unique_ptr<X86Operand>
1362X86AsmParser::ParseIntelSegmentOverride(unsigned SegReg, SMLoc Start,
1363 unsigned Size) {
Rafael Espindola961d4692014-11-11 05:18:41 +00001364 MCAsmParser &Parser = getParser();
David Majnemeraa34d792013-08-27 21:56:17 +00001365 assert(SegReg != 0 && "Tried to parse a segment override without a segment!");
1366 const AsmToken &Tok = Parser.getTok(); // Eat colon.
1367 if (Tok.isNot(AsmToken::Colon))
1368 return ErrorOperand(Tok.getLoc(), "Expected ':' token!");
1369 Parser.Lex(); // Eat ':'
Devang Patel41b9dde2012-01-17 18:00:18 +00001370
David Majnemeraa34d792013-08-27 21:56:17 +00001371 int64_t ImmDisp = 0;
Chad Rosier1530ba52013-03-27 21:49:56 +00001372 if (getLexer().is(AsmToken::Integer)) {
David Majnemeraa34d792013-08-27 21:56:17 +00001373 ImmDisp = Tok.getIntVal();
1374 AsmToken ImmDispToken = Parser.Lex(); // Eat the integer.
1375
Chad Rosier1530ba52013-03-27 21:49:56 +00001376 if (isParsingInlineAsm())
David Majnemeraa34d792013-08-27 21:56:17 +00001377 InstInfo->AsmRewrites->push_back(
1378 AsmRewrite(AOK_ImmPrefix, ImmDispToken.getLoc()));
1379
1380 if (getLexer().isNot(AsmToken::LBrac)) {
1381 // An immediate following a 'segment register', 'colon' token sequence can
1382 // be followed by a bracketed expression. If it isn't we know we have our
1383 // final segment override.
1384 const MCExpr *Disp = MCConstantExpr::Create(ImmDisp, getContext());
Craig Topper055845f2015-01-02 07:02:25 +00001385 return X86Operand::CreateMem(getPointerWidth(), SegReg, Disp,
1386 /*BaseReg=*/0, /*IndexReg=*/0, /*Scale=*/1,
1387 Start, ImmDispToken.getEndLoc(), Size);
David Majnemeraa34d792013-08-27 21:56:17 +00001388 }
Chad Rosier1530ba52013-03-27 21:49:56 +00001389 }
1390
Chad Rosier91c82662012-10-24 17:22:29 +00001391 if (getLexer().is(AsmToken::LBrac))
Chad Rosierfce4fab2013-04-08 17:43:47 +00001392 return ParseIntelBracExpression(SegReg, Start, ImmDisp, Size);
Devang Patel880bc162012-01-23 18:31:58 +00001393
David Majnemeraa34d792013-08-27 21:56:17 +00001394 const MCExpr *Val;
1395 SMLoc End;
1396 if (!isParsingInlineAsm()) {
1397 if (getParser().parsePrimaryExpr(Val, End))
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001398 return ErrorOperand(Tok.getLoc(), "unknown token in expression");
David Majnemeraa34d792013-08-27 21:56:17 +00001399
Craig Topper055845f2015-01-02 07:02:25 +00001400 return X86Operand::CreateMem(getPointerWidth(), Val, Start, End, Size);
Devang Patel880bc162012-01-23 18:31:58 +00001401 }
Devang Patel41b9dde2012-01-17 18:00:18 +00001402
David Majnemeraa34d792013-08-27 21:56:17 +00001403 InlineAsmIdentifierInfo Info;
1404 StringRef Identifier = Tok.getString();
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001405 if (ParseIntelIdentifier(Val, Identifier, Info,
1406 /*Unevaluated=*/false, End))
Craig Topper062a2ba2014-04-25 05:30:21 +00001407 return nullptr;
David Majnemeraa34d792013-08-27 21:56:17 +00001408 return CreateMemForInlineAsm(/*SegReg=*/0, Val, /*BaseReg=*/0,/*IndexReg=*/0,
1409 /*Scale=*/1, Start, End, Size, Identifier, Info);
1410}
1411
Elena Demikhovsky18fd4962015-03-02 15:00:34 +00001412//ParseRoundingModeOp - Parse AVX-512 rounding mode operand
1413std::unique_ptr<X86Operand>
1414X86AsmParser::ParseRoundingModeOp(SMLoc Start, SMLoc End) {
1415 MCAsmParser &Parser = getParser();
1416 const AsmToken &Tok = Parser.getTok();
Elena Demikhovsky29792e92015-05-07 11:24:42 +00001417 // Eat "{" and mark the current place.
1418 const SMLoc consumedToken = consumeToken();
Elena Demikhovsky18fd4962015-03-02 15:00:34 +00001419 if (Tok.getIdentifier().startswith("r")){
1420 int rndMode = StringSwitch<int>(Tok.getIdentifier())
1421 .Case("rn", X86::STATIC_ROUNDING::TO_NEAREST_INT)
1422 .Case("rd", X86::STATIC_ROUNDING::TO_NEG_INF)
1423 .Case("ru", X86::STATIC_ROUNDING::TO_POS_INF)
1424 .Case("rz", X86::STATIC_ROUNDING::TO_ZERO)
1425 .Default(-1);
1426 if (-1 == rndMode)
1427 return ErrorOperand(Tok.getLoc(), "Invalid rounding mode.");
1428 Parser.Lex(); // Eat "r*" of r*-sae
1429 if (!getLexer().is(AsmToken::Minus))
1430 return ErrorOperand(Tok.getLoc(), "Expected - at this point");
1431 Parser.Lex(); // Eat "-"
1432 Parser.Lex(); // Eat the sae
1433 if (!getLexer().is(AsmToken::RCurly))
1434 return ErrorOperand(Tok.getLoc(), "Expected } at this point");
1435 Parser.Lex(); // Eat "}"
1436 const MCExpr *RndModeOp =
1437 MCConstantExpr::Create(rndMode, Parser.getContext());
1438 return X86Operand::CreateImm(RndModeOp, Start, End);
1439 }
Elena Demikhovsky29792e92015-05-07 11:24:42 +00001440 if(Tok.getIdentifier().equals("sae")){
1441 Parser.Lex(); // Eat the sae
1442 if (!getLexer().is(AsmToken::RCurly))
1443 return ErrorOperand(Tok.getLoc(), "Expected } at this point");
1444 Parser.Lex(); // Eat "}"
1445 return X86Operand::CreateToken("{sae}", consumedToken);
1446 }
Elena Demikhovsky18fd4962015-03-02 15:00:34 +00001447 return ErrorOperand(Tok.getLoc(), "unknown token in expression");
1448}
David Majnemeraa34d792013-08-27 21:56:17 +00001449/// ParseIntelMemOperand - Parse intel style memory operand.
David Blaikie960ea3f2014-06-08 16:18:35 +00001450std::unique_ptr<X86Operand> X86AsmParser::ParseIntelMemOperand(int64_t ImmDisp,
1451 SMLoc Start,
1452 unsigned Size) {
Rafael Espindola961d4692014-11-11 05:18:41 +00001453 MCAsmParser &Parser = getParser();
David Majnemeraa34d792013-08-27 21:56:17 +00001454 const AsmToken &Tok = Parser.getTok();
1455 SMLoc End;
1456
1457 // Parse ImmDisp [ BaseReg + Scale*IndexReg + Disp ].
1458 if (getLexer().is(AsmToken::LBrac))
1459 return ParseIntelBracExpression(/*SegReg=*/0, Start, ImmDisp, Size);
Reid Kleckner4e3bd512014-03-04 17:57:01 +00001460 assert(ImmDisp == 0);
David Majnemeraa34d792013-08-27 21:56:17 +00001461
Chad Rosier95ce8892013-04-19 18:39:50 +00001462 const MCExpr *Val;
1463 if (!isParsingInlineAsm()) {
1464 if (getParser().parsePrimaryExpr(Val, End))
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001465 return ErrorOperand(Tok.getLoc(), "unknown token in expression");
Chad Rosier95ce8892013-04-19 18:39:50 +00001466
Craig Topper055845f2015-01-02 07:02:25 +00001467 return X86Operand::CreateMem(getPointerWidth(), Val, Start, End, Size);
Chad Rosier95ce8892013-04-19 18:39:50 +00001468 }
1469
Chad Rosiercb78f0d2013-04-22 19:42:15 +00001470 InlineAsmIdentifierInfo Info;
Chad Rosierce031892013-04-11 23:24:15 +00001471 StringRef Identifier = Tok.getString();
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001472 if (ParseIntelIdentifier(Val, Identifier, Info,
1473 /*Unevaluated=*/false, End))
Craig Topper062a2ba2014-04-25 05:30:21 +00001474 return nullptr;
Reid Kleckner4e3bd512014-03-04 17:57:01 +00001475
1476 if (!getLexer().is(AsmToken::LBrac))
1477 return CreateMemForInlineAsm(/*SegReg=*/0, Val, /*BaseReg=*/0, /*IndexReg=*/0,
1478 /*Scale=*/1, Start, End, Size, Identifier, Info);
1479
1480 Parser.Lex(); // Eat '['
1481
1482 // Parse Identifier [ ImmDisp ]
1483 IntelExprStateMachine SM(/*ImmDisp=*/0, /*StopOnLBrac=*/true,
1484 /*AddImmPrefix=*/false);
1485 if (ParseIntelExpression(SM, End))
Craig Topper062a2ba2014-04-25 05:30:21 +00001486 return nullptr;
Reid Kleckner4e3bd512014-03-04 17:57:01 +00001487
1488 if (SM.getSym()) {
1489 Error(Start, "cannot use more than one symbol in memory operand");
Craig Topper062a2ba2014-04-25 05:30:21 +00001490 return nullptr;
Reid Kleckner4e3bd512014-03-04 17:57:01 +00001491 }
1492 if (SM.getBaseReg()) {
1493 Error(Start, "cannot use base register with variable reference");
Craig Topper062a2ba2014-04-25 05:30:21 +00001494 return nullptr;
Reid Kleckner4e3bd512014-03-04 17:57:01 +00001495 }
1496 if (SM.getIndexReg()) {
1497 Error(Start, "cannot use index register with variable reference");
Craig Topper062a2ba2014-04-25 05:30:21 +00001498 return nullptr;
Reid Kleckner4e3bd512014-03-04 17:57:01 +00001499 }
1500
1501 const MCExpr *Disp = MCConstantExpr::Create(SM.getImm(), getContext());
1502 // BaseReg is non-zero to avoid assertions. In the context of inline asm,
1503 // we're pointing to a local variable in memory, so the base register is
1504 // really the frame or stack pointer.
Craig Topper055845f2015-01-02 07:02:25 +00001505 return X86Operand::CreateMem(getPointerWidth(), /*SegReg=*/0, Disp,
1506 /*BaseReg=*/1, /*IndexReg=*/0, /*Scale=*/1,
1507 Start, End, Size, Identifier, Info.OpDecl);
Chad Rosier91c82662012-10-24 17:22:29 +00001508}
1509
Chad Rosier5dcb4662012-10-24 22:21:50 +00001510/// Parse the '.' operator.
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001511bool X86AsmParser::ParseIntelDotOperator(const MCExpr *Disp,
Chad Rosiercc541e82013-04-19 15:57:00 +00001512 const MCExpr *&NewDisp) {
Rafael Espindola961d4692014-11-11 05:18:41 +00001513 MCAsmParser &Parser = getParser();
Chad Rosier70f47592013-04-10 20:07:47 +00001514 const AsmToken &Tok = Parser.getTok();
Chad Rosier6241c1a2013-04-17 21:14:38 +00001515 int64_t OrigDispVal, DotDispVal;
Chad Rosier911c1f32012-10-25 17:37:43 +00001516
1517 // FIXME: Handle non-constant expressions.
Chad Rosiercc541e82013-04-19 15:57:00 +00001518 if (const MCConstantExpr *OrigDisp = dyn_cast<MCConstantExpr>(Disp))
Chad Rosier911c1f32012-10-25 17:37:43 +00001519 OrigDispVal = OrigDisp->getValue();
Chad Rosiercc541e82013-04-19 15:57:00 +00001520 else
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001521 return Error(Tok.getLoc(), "Non-constant offsets are not supported!");
Chad Rosier5dcb4662012-10-24 22:21:50 +00001522
Reid Kleckner94a1c4d2014-03-06 19:19:12 +00001523 // Drop the optional '.'.
1524 StringRef DotDispStr = Tok.getString();
1525 if (DotDispStr.startswith("."))
1526 DotDispStr = DotDispStr.drop_front(1);
Chad Rosier5dcb4662012-10-24 22:21:50 +00001527
Chad Rosier5dcb4662012-10-24 22:21:50 +00001528 // .Imm gets lexed as a real.
1529 if (Tok.is(AsmToken::Real)) {
1530 APInt DotDisp;
1531 DotDispStr.getAsInteger(10, DotDisp);
Chad Rosier911c1f32012-10-25 17:37:43 +00001532 DotDispVal = DotDisp.getZExtValue();
Chad Rosiercc541e82013-04-19 15:57:00 +00001533 } else if (isParsingInlineAsm() && Tok.is(AsmToken::Identifier)) {
Chad Rosier240b7b92012-10-25 21:51:10 +00001534 unsigned DotDisp;
1535 std::pair<StringRef, StringRef> BaseMember = DotDispStr.split('.');
1536 if (SemaCallback->LookupInlineAsmField(BaseMember.first, BaseMember.second,
Chad Rosiercc541e82013-04-19 15:57:00 +00001537 DotDisp))
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001538 return Error(Tok.getLoc(), "Unable to lookup field reference!");
Chad Rosier240b7b92012-10-25 21:51:10 +00001539 DotDispVal = DotDisp;
Chad Rosiercc541e82013-04-19 15:57:00 +00001540 } else
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001541 return Error(Tok.getLoc(), "Unexpected token type!");
Chad Rosier911c1f32012-10-25 17:37:43 +00001542
Chad Rosier240b7b92012-10-25 21:51:10 +00001543 if (isParsingInlineAsm() && Tok.is(AsmToken::Identifier)) {
1544 SMLoc Loc = SMLoc::getFromPointer(DotDispStr.data());
1545 unsigned Len = DotDispStr.size();
1546 unsigned Val = OrigDispVal + DotDispVal;
1547 InstInfo->AsmRewrites->push_back(AsmRewrite(AOK_DotOperator, Loc, Len,
1548 Val));
Chad Rosier911c1f32012-10-25 17:37:43 +00001549 }
1550
Chad Rosiercc541e82013-04-19 15:57:00 +00001551 NewDisp = MCConstantExpr::Create(OrigDispVal + DotDispVal, getContext());
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001552 return false;
Chad Rosier5dcb4662012-10-24 22:21:50 +00001553}
1554
Chad Rosier91c82662012-10-24 17:22:29 +00001555/// Parse the 'offset' operator. This operator is used to specify the
1556/// location rather then the content of a variable.
David Blaikie960ea3f2014-06-08 16:18:35 +00001557std::unique_ptr<X86Operand> X86AsmParser::ParseIntelOffsetOfOperator() {
Rafael Espindola961d4692014-11-11 05:18:41 +00001558 MCAsmParser &Parser = getParser();
Chad Rosier18785852013-04-09 20:58:48 +00001559 const AsmToken &Tok = Parser.getTok();
Chad Rosier10d1d1c2013-04-09 20:44:09 +00001560 SMLoc OffsetOfLoc = Tok.getLoc();
Chad Rosier91c82662012-10-24 17:22:29 +00001561 Parser.Lex(); // Eat offset.
Chad Rosier91c82662012-10-24 17:22:29 +00001562
Chad Rosier91c82662012-10-24 17:22:29 +00001563 const MCExpr *Val;
Chad Rosiercb78f0d2013-04-22 19:42:15 +00001564 InlineAsmIdentifierInfo Info;
Chad Rosier18785852013-04-09 20:58:48 +00001565 SMLoc Start = Tok.getLoc(), End;
Chad Rosierae7ecd62013-04-11 23:37:34 +00001566 StringRef Identifier = Tok.getString();
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001567 if (ParseIntelIdentifier(Val, Identifier, Info,
1568 /*Unevaluated=*/false, End))
Craig Topper062a2ba2014-04-25 05:30:21 +00001569 return nullptr;
Chad Rosierae7ecd62013-04-11 23:37:34 +00001570
Chad Rosiere2f03772012-10-26 16:09:20 +00001571 // Don't emit the offset operator.
1572 InstInfo->AsmRewrites->push_back(AsmRewrite(AOK_Skip, OffsetOfLoc, 7));
1573
Chad Rosier91c82662012-10-24 17:22:29 +00001574 // The offset operator will have an 'r' constraint, thus we need to create
1575 // register operand to ensure proper matching. Just pick a GPR based on
1576 // the size of a pointer.
Craig Topper3c80d622014-01-06 04:55:54 +00001577 unsigned RegNo =
1578 is64BitMode() ? X86::RBX : (is32BitMode() ? X86::EBX : X86::BX);
Chad Rosiera4bc9432013-01-10 22:10:27 +00001579 return X86Operand::CreateReg(RegNo, Start, End, /*GetAddress=*/true,
Chad Rosier732b8372013-04-22 22:04:25 +00001580 OffsetOfLoc, Identifier, Info.OpDecl);
Devang Patel41b9dde2012-01-17 18:00:18 +00001581}
1582
Chad Rosierd0ed73a2013-01-17 19:21:48 +00001583enum IntelOperatorKind {
1584 IOK_LENGTH,
1585 IOK_SIZE,
1586 IOK_TYPE
1587};
1588
1589/// Parse the 'LENGTH', 'TYPE' and 'SIZE' operators. The LENGTH operator
1590/// returns the number of elements in an array. It returns the value 1 for
1591/// non-array variables. The SIZE operator returns the size of a C or C++
1592/// variable. A variable's size is the product of its LENGTH and TYPE. The
1593/// TYPE operator returns the size of a C or C++ type or variable. If the
1594/// variable is an array, TYPE returns the size of a single element.
David Blaikie960ea3f2014-06-08 16:18:35 +00001595std::unique_ptr<X86Operand> X86AsmParser::ParseIntelOperator(unsigned OpKind) {
Rafael Espindola961d4692014-11-11 05:18:41 +00001596 MCAsmParser &Parser = getParser();
Chad Rosier18785852013-04-09 20:58:48 +00001597 const AsmToken &Tok = Parser.getTok();
Chad Rosier10d1d1c2013-04-09 20:44:09 +00001598 SMLoc TypeLoc = Tok.getLoc();
1599 Parser.Lex(); // Eat operator.
Chad Rosier11c42f22012-10-26 18:04:20 +00001600
Craig Topper062a2ba2014-04-25 05:30:21 +00001601 const MCExpr *Val = nullptr;
Chad Rosiercb78f0d2013-04-22 19:42:15 +00001602 InlineAsmIdentifierInfo Info;
Chad Rosier18785852013-04-09 20:58:48 +00001603 SMLoc Start = Tok.getLoc(), End;
Chad Rosierb67f8052013-04-11 23:57:04 +00001604 StringRef Identifier = Tok.getString();
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001605 if (ParseIntelIdentifier(Val, Identifier, Info,
1606 /*Unevaluated=*/true, End))
Craig Topper062a2ba2014-04-25 05:30:21 +00001607 return nullptr;
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001608
1609 if (!Info.OpDecl)
1610 return ErrorOperand(Start, "unable to lookup expression");
Chad Rosier11c42f22012-10-26 18:04:20 +00001611
Chad Rosierf6675c32013-04-22 17:01:46 +00001612 unsigned CVal = 0;
Chad Rosiercb78f0d2013-04-22 19:42:15 +00001613 switch(OpKind) {
1614 default: llvm_unreachable("Unexpected operand kind!");
1615 case IOK_LENGTH: CVal = Info.Length; break;
1616 case IOK_SIZE: CVal = Info.Size; break;
1617 case IOK_TYPE: CVal = Info.Type; break;
1618 }
Chad Rosier11c42f22012-10-26 18:04:20 +00001619
1620 // Rewrite the type operator and the C or C++ type or variable in terms of an
1621 // immediate. E.g. TYPE foo -> $$4
1622 unsigned Len = End.getPointer() - TypeLoc.getPointer();
Chad Rosierd0ed73a2013-01-17 19:21:48 +00001623 InstInfo->AsmRewrites->push_back(AsmRewrite(AOK_Imm, TypeLoc, Len, CVal));
Chad Rosier11c42f22012-10-26 18:04:20 +00001624
Chad Rosierd0ed73a2013-01-17 19:21:48 +00001625 const MCExpr *Imm = MCConstantExpr::Create(CVal, getContext());
Chad Rosierf3c04f62013-03-19 21:58:18 +00001626 return X86Operand::CreateImm(Imm, Start, End);
Chad Rosier11c42f22012-10-26 18:04:20 +00001627}
1628
David Blaikie960ea3f2014-06-08 16:18:35 +00001629std::unique_ptr<X86Operand> X86AsmParser::ParseIntelOperand() {
Rafael Espindola961d4692014-11-11 05:18:41 +00001630 MCAsmParser &Parser = getParser();
Chad Rosier70f47592013-04-10 20:07:47 +00001631 const AsmToken &Tok = Parser.getTok();
David Majnemeraa34d792013-08-27 21:56:17 +00001632 SMLoc Start, End;
Chad Rosier91c82662012-10-24 17:22:29 +00001633
Chad Rosierd0ed73a2013-01-17 19:21:48 +00001634 // Offset, length, type and size operators.
1635 if (isParsingInlineAsm()) {
Chad Rosier99e54642013-04-19 17:32:29 +00001636 StringRef AsmTokStr = Tok.getString();
Chad Rosierd0ed73a2013-01-17 19:21:48 +00001637 if (AsmTokStr == "offset" || AsmTokStr == "OFFSET")
Chad Rosier10d1d1c2013-04-09 20:44:09 +00001638 return ParseIntelOffsetOfOperator();
Chad Rosierd0ed73a2013-01-17 19:21:48 +00001639 if (AsmTokStr == "length" || AsmTokStr == "LENGTH")
Chad Rosier10d1d1c2013-04-09 20:44:09 +00001640 return ParseIntelOperator(IOK_LENGTH);
Chad Rosierd0ed73a2013-01-17 19:21:48 +00001641 if (AsmTokStr == "size" || AsmTokStr == "SIZE")
Chad Rosier10d1d1c2013-04-09 20:44:09 +00001642 return ParseIntelOperator(IOK_SIZE);
Chad Rosierd0ed73a2013-01-17 19:21:48 +00001643 if (AsmTokStr == "type" || AsmTokStr == "TYPE")
Chad Rosier10d1d1c2013-04-09 20:44:09 +00001644 return ParseIntelOperator(IOK_TYPE);
Chad Rosierd0ed73a2013-01-17 19:21:48 +00001645 }
Chad Rosier11c42f22012-10-26 18:04:20 +00001646
David Majnemeraa34d792013-08-27 21:56:17 +00001647 unsigned Size = getIntelMemOperandSize(Tok.getString());
1648 if (Size) {
1649 Parser.Lex(); // Eat operand size (e.g., byte, word).
1650 if (Tok.getString() != "PTR" && Tok.getString() != "ptr")
Reid Kleckner71ff3f22014-08-01 00:59:22 +00001651 return ErrorOperand(Tok.getLoc(), "Expected 'PTR' or 'ptr' token!");
David Majnemeraa34d792013-08-27 21:56:17 +00001652 Parser.Lex(); // Eat ptr.
1653 }
1654 Start = Tok.getLoc();
1655
Chad Rosierd0ed73a2013-01-17 19:21:48 +00001656 // Immediate.
Chad Rosierbfb70992013-04-17 00:11:46 +00001657 if (getLexer().is(AsmToken::Integer) || getLexer().is(AsmToken::Minus) ||
Ehsan Akhgari4103da62014-07-04 19:13:05 +00001658 getLexer().is(AsmToken::Tilde) || getLexer().is(AsmToken::LParen)) {
Chad Rosierbfb70992013-04-17 00:11:46 +00001659 AsmToken StartTok = Tok;
1660 IntelExprStateMachine SM(/*Imm=*/0, /*StopOnLBrac=*/true,
1661 /*AddImmPrefix=*/false);
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001662 if (ParseIntelExpression(SM, End))
Craig Topper062a2ba2014-04-25 05:30:21 +00001663 return nullptr;
Chad Rosierbfb70992013-04-17 00:11:46 +00001664
1665 int64_t Imm = SM.getImm();
1666 if (isParsingInlineAsm()) {
1667 unsigned Len = Tok.getLoc().getPointer() - Start.getPointer();
1668 if (StartTok.getString().size() == Len)
1669 // Just add a prefix if this wasn't a complex immediate expression.
Chad Rosierf3c04f62013-03-19 21:58:18 +00001670 InstInfo->AsmRewrites->push_back(AsmRewrite(AOK_ImmPrefix, Start));
Chad Rosierbfb70992013-04-17 00:11:46 +00001671 else
1672 // Otherwise, rewrite the complex expression as a single immediate.
1673 InstInfo->AsmRewrites->push_back(AsmRewrite(AOK_Imm, Start, Len, Imm));
Devang Patel41b9dde2012-01-17 18:00:18 +00001674 }
Chad Rosierbfb70992013-04-17 00:11:46 +00001675
1676 if (getLexer().isNot(AsmToken::LBrac)) {
Kevin Enderby36eba252013-12-19 23:16:14 +00001677 // If a directional label (ie. 1f or 2b) was parsed above from
1678 // ParseIntelExpression() then SM.getSym() was set to a pointer to
1679 // to the MCExpr with the directional local symbol and this is a
1680 // memory operand not an immediate operand.
1681 if (SM.getSym())
Craig Topper055845f2015-01-02 07:02:25 +00001682 return X86Operand::CreateMem(getPointerWidth(), SM.getSym(), Start, End,
1683 Size);
Kevin Enderby36eba252013-12-19 23:16:14 +00001684
Chad Rosierbfb70992013-04-17 00:11:46 +00001685 const MCExpr *ImmExpr = MCConstantExpr::Create(Imm, getContext());
1686 return X86Operand::CreateImm(ImmExpr, Start, End);
1687 }
1688
1689 // Only positive immediates are valid.
1690 if (Imm < 0)
1691 return ErrorOperand(Start, "expected a positive immediate displacement "
1692 "before bracketed expr.");
1693
1694 // Parse ImmDisp [ BaseReg + Scale*IndexReg + Disp ].
David Majnemeraa34d792013-08-27 21:56:17 +00001695 return ParseIntelMemOperand(Imm, Start, Size);
Devang Patel41b9dde2012-01-17 18:00:18 +00001696 }
1697
Elena Demikhovsky18fd4962015-03-02 15:00:34 +00001698 // rounding mode token
Michael Kupersteinc3434b32015-05-13 10:28:46 +00001699 if (STI.getFeatureBits() & X86::FeatureAVX512 &&
Elena Demikhovsky18fd4962015-03-02 15:00:34 +00001700 getLexer().is(AsmToken::LCurly))
1701 return ParseRoundingModeOp(Start, End);
1702
Chad Rosierd0ed73a2013-01-17 19:21:48 +00001703 // Register.
Devang Patelce6a2ca2012-01-20 22:32:05 +00001704 unsigned RegNo = 0;
1705 if (!ParseRegister(RegNo, Start, End)) {
Chad Rosier0397edd2012-10-04 23:59:38 +00001706 // If this is a segment register followed by a ':', then this is the start
David Majnemeraa34d792013-08-27 21:56:17 +00001707 // of a segment override, otherwise this is a normal register reference.
Chad Rosier0397edd2012-10-04 23:59:38 +00001708 if (getLexer().isNot(AsmToken::Colon))
Jordan Rosee8f1eae2013-01-07 19:00:49 +00001709 return X86Operand::CreateReg(RegNo, Start, End);
Chad Rosier0397edd2012-10-04 23:59:38 +00001710
David Majnemeraa34d792013-08-27 21:56:17 +00001711 return ParseIntelSegmentOverride(/*SegReg=*/RegNo, Start, Size);
Devang Patel46831de2012-01-12 01:36:43 +00001712 }
1713
Chad Rosierd0ed73a2013-01-17 19:21:48 +00001714 // Memory operand.
David Majnemeraa34d792013-08-27 21:56:17 +00001715 return ParseIntelMemOperand(/*Disp=*/0, Start, Size);
Devang Patel46831de2012-01-12 01:36:43 +00001716}
1717
David Blaikie960ea3f2014-06-08 16:18:35 +00001718std::unique_ptr<X86Operand> X86AsmParser::ParseATTOperand() {
Rafael Espindola961d4692014-11-11 05:18:41 +00001719 MCAsmParser &Parser = getParser();
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001720 switch (getLexer().getKind()) {
1721 default:
Chris Lattnerb9270732010-04-17 18:56:34 +00001722 // Parse a memory operand with no segment register.
1723 return ParseMemOperand(0, Parser.getTok().getLoc());
Chris Lattnercc2ad082010-01-15 18:27:19 +00001724 case AsmToken::Percent: {
Chris Lattnerb9270732010-04-17 18:56:34 +00001725 // Read the register.
Chris Lattnercc2ad082010-01-15 18:27:19 +00001726 unsigned RegNo;
Chris Lattner0c2538f2010-01-15 18:51:29 +00001727 SMLoc Start, End;
Craig Topper062a2ba2014-04-25 05:30:21 +00001728 if (ParseRegister(RegNo, Start, End)) return nullptr;
Bruno Cardoso Lopes306a1f92010-07-24 00:06:39 +00001729 if (RegNo == X86::EIZ || RegNo == X86::RIZ) {
Benjamin Kramer1930b002011-10-16 12:10:27 +00001730 Error(Start, "%eiz and %riz can only be used as index registers",
1731 SMRange(Start, End));
Craig Topper062a2ba2014-04-25 05:30:21 +00001732 return nullptr;
Bruno Cardoso Lopes306a1f92010-07-24 00:06:39 +00001733 }
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00001734
Chris Lattnerb9270732010-04-17 18:56:34 +00001735 // If this is a segment register followed by a ':', then this is the start
1736 // of a memory reference, otherwise this is a normal register reference.
1737 if (getLexer().isNot(AsmToken::Colon))
1738 return X86Operand::CreateReg(RegNo, Start, End);
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00001739
Reid Kleckner0c5da972014-07-31 23:03:22 +00001740 if (!X86MCRegisterClasses[X86::SEGMENT_REGRegClassID].contains(RegNo))
1741 return ErrorOperand(Start, "invalid segment register");
1742
Chris Lattnerb9270732010-04-17 18:56:34 +00001743 getParser().Lex(); // Eat the colon.
1744 return ParseMemOperand(RegNo, Start);
Chris Lattnercc2ad082010-01-15 18:27:19 +00001745 }
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001746 case AsmToken::Dollar: {
1747 // $42 -> immediate.
Sean Callanan936b0d32010-01-19 21:44:56 +00001748 SMLoc Start = Parser.getTok().getLoc(), End;
Sean Callanana83fd7d2010-01-19 20:27:46 +00001749 Parser.Lex();
Daniel Dunbar73da11e2009-08-31 08:08:38 +00001750 const MCExpr *Val;
Jim Grosbachd2037eb2013-02-20 22:21:35 +00001751 if (getParser().parseExpression(Val, End))
Craig Topper062a2ba2014-04-25 05:30:21 +00001752 return nullptr;
Chris Lattner528d00b2010-01-15 19:28:38 +00001753 return X86Operand::CreateImm(Val, Start, End);
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001754 }
Elena Demikhovsky18fd4962015-03-02 15:00:34 +00001755 case AsmToken::LCurly:{
1756 SMLoc Start = Parser.getTok().getLoc(), End;
Michael Kupersteinc3434b32015-05-13 10:28:46 +00001757 if (STI.getFeatureBits() & X86::FeatureAVX512)
Elena Demikhovsky18fd4962015-03-02 15:00:34 +00001758 return ParseRoundingModeOp(Start, End);
1759 return ErrorOperand(Start, "unknown token in expression");
1760 }
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001761 }
Daniel Dunbar2b11c7d2009-07-20 20:01:54 +00001762}
1763
David Blaikie960ea3f2014-06-08 16:18:35 +00001764bool X86AsmParser::HandleAVX512Operand(OperandVector &Operands,
1765 const MCParsedAsmOperand &Op) {
Rafael Espindola961d4692014-11-11 05:18:41 +00001766 MCAsmParser &Parser = getParser();
Michael Kupersteinc3434b32015-05-13 10:28:46 +00001767 if(STI.getFeatureBits() & X86::FeatureAVX512) {
Elena Demikhovskyc9657012014-02-20 06:34:39 +00001768 if (getLexer().is(AsmToken::LCurly)) {
1769 // Eat "{" and mark the current place.
1770 const SMLoc consumedToken = consumeToken();
1771 // Distinguish {1to<NUM>} from {%k<NUM>}.
1772 if(getLexer().is(AsmToken::Integer)) {
1773 // Parse memory broadcasting ({1to<NUM>}).
1774 if (getLexer().getTok().getIntVal() != 1)
1775 return !ErrorAndEatStatement(getLexer().getLoc(),
1776 "Expected 1to<NUM> at this point");
1777 Parser.Lex(); // Eat "1" of 1to8
1778 if (!getLexer().is(AsmToken::Identifier) ||
1779 !getLexer().getTok().getIdentifier().startswith("to"))
1780 return !ErrorAndEatStatement(getLexer().getLoc(),
1781 "Expected 1to<NUM> at this point");
1782 // Recognize only reasonable suffixes.
1783 const char *BroadcastPrimitive =
1784 StringSwitch<const char*>(getLexer().getTok().getIdentifier())
Robert Khasanovbfa01312014-07-21 14:54:21 +00001785 .Case("to2", "{1to2}")
1786 .Case("to4", "{1to4}")
Elena Demikhovskyc9657012014-02-20 06:34:39 +00001787 .Case("to8", "{1to8}")
1788 .Case("to16", "{1to16}")
Craig Topper062a2ba2014-04-25 05:30:21 +00001789 .Default(nullptr);
Elena Demikhovskyc9657012014-02-20 06:34:39 +00001790 if (!BroadcastPrimitive)
1791 return !ErrorAndEatStatement(getLexer().getLoc(),
1792 "Invalid memory broadcast primitive.");
1793 Parser.Lex(); // Eat "toN" of 1toN
1794 if (!getLexer().is(AsmToken::RCurly))
1795 return !ErrorAndEatStatement(getLexer().getLoc(),
1796 "Expected } at this point");
1797 Parser.Lex(); // Eat "}"
1798 Operands.push_back(X86Operand::CreateToken(BroadcastPrimitive,
1799 consumedToken));
1800 // No AVX512 specific primitives can pass
1801 // after memory broadcasting, so return.
1802 return true;
1803 } else {
1804 // Parse mask register {%k1}
1805 Operands.push_back(X86Operand::CreateToken("{", consumedToken));
David Blaikie960ea3f2014-06-08 16:18:35 +00001806 if (std::unique_ptr<X86Operand> Op = ParseOperand()) {
1807 Operands.push_back(std::move(Op));
Elena Demikhovskyc9657012014-02-20 06:34:39 +00001808 if (!getLexer().is(AsmToken::RCurly))
1809 return !ErrorAndEatStatement(getLexer().getLoc(),
1810 "Expected } at this point");
1811 Operands.push_back(X86Operand::CreateToken("}", consumeToken()));
1812
1813 // Parse "zeroing non-masked" semantic {z}
1814 if (getLexer().is(AsmToken::LCurly)) {
1815 Operands.push_back(X86Operand::CreateToken("{z}", consumeToken()));
1816 if (!getLexer().is(AsmToken::Identifier) ||
1817 getLexer().getTok().getIdentifier() != "z")
1818 return !ErrorAndEatStatement(getLexer().getLoc(),
1819 "Expected z at this point");
1820 Parser.Lex(); // Eat the z
1821 if (!getLexer().is(AsmToken::RCurly))
1822 return !ErrorAndEatStatement(getLexer().getLoc(),
1823 "Expected } at this point");
1824 Parser.Lex(); // Eat the }
1825 }
1826 }
1827 }
1828 }
1829 }
1830 return true;
1831}
1832
Chris Lattnerb9270732010-04-17 18:56:34 +00001833/// ParseMemOperand: segment: disp(basereg, indexreg, scale). The '%ds:' prefix
1834/// has already been parsed if present.
David Blaikie960ea3f2014-06-08 16:18:35 +00001835std::unique_ptr<X86Operand> X86AsmParser::ParseMemOperand(unsigned SegReg,
1836 SMLoc MemStart) {
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00001837
Rafael Espindola961d4692014-11-11 05:18:41 +00001838 MCAsmParser &Parser = getParser();
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001839 // We have to disambiguate a parenthesized expression "(4+5)" from the start
1840 // of a memory operand with a missing displacement "(%ebx)" or "(,%eax)". The
Chris Lattner807a3bc2010-01-24 01:07:33 +00001841 // only way to do this without lookahead is to eat the '(' and see what is
1842 // after it.
Daniel Dunbar73da11e2009-08-31 08:08:38 +00001843 const MCExpr *Disp = MCConstantExpr::Create(0, getParser().getContext());
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001844 if (getLexer().isNot(AsmToken::LParen)) {
Chris Lattnere17df0b2010-01-15 19:39:23 +00001845 SMLoc ExprEnd;
Craig Topper062a2ba2014-04-25 05:30:21 +00001846 if (getParser().parseExpression(Disp, ExprEnd)) return nullptr;
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00001847
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001848 // After parsing the base expression we could either have a parenthesized
1849 // memory address or not. If not, return now. If so, eat the (.
1850 if (getLexer().isNot(AsmToken::LParen)) {
Daniel Dunbara4fc8d92009-07-31 22:22:54 +00001851 // Unless we have a segment register, treat this as an immediate.
Chris Lattnera2bbb7c2010-01-15 18:44:13 +00001852 if (SegReg == 0)
Craig Topper055845f2015-01-02 07:02:25 +00001853 return X86Operand::CreateMem(getPointerWidth(), Disp, MemStart, ExprEnd);
1854 return X86Operand::CreateMem(getPointerWidth(), SegReg, Disp, 0, 0, 1,
1855 MemStart, ExprEnd);
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001856 }
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00001857
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001858 // Eat the '('.
Sean Callanana83fd7d2010-01-19 20:27:46 +00001859 Parser.Lex();
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001860 } else {
1861 // Okay, we have a '('. We don't know if this is an expression or not, but
1862 // so we have to eat the ( to see beyond it.
Sean Callanan936b0d32010-01-19 21:44:56 +00001863 SMLoc LParenLoc = Parser.getTok().getLoc();
Sean Callanana83fd7d2010-01-19 20:27:46 +00001864 Parser.Lex(); // Eat the '('.
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00001865
Kevin Enderby7d912182009-09-03 17:15:07 +00001866 if (getLexer().is(AsmToken::Percent) || getLexer().is(AsmToken::Comma)) {
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001867 // Nothing to do here, fall into the code below with the '(' part of the
1868 // memory operand consumed.
1869 } else {
Chris Lattner528d00b2010-01-15 19:28:38 +00001870 SMLoc ExprEnd;
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00001871
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001872 // It must be an parenthesized expression, parse it now.
Jim Grosbachd2037eb2013-02-20 22:21:35 +00001873 if (getParser().parseParenExpression(Disp, ExprEnd))
Craig Topper062a2ba2014-04-25 05:30:21 +00001874 return nullptr;
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00001875
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001876 // After parsing the base expression we could either have a parenthesized
1877 // memory address or not. If not, return now. If so, eat the (.
1878 if (getLexer().isNot(AsmToken::LParen)) {
Daniel Dunbara4fc8d92009-07-31 22:22:54 +00001879 // Unless we have a segment register, treat this as an immediate.
Chris Lattnera2bbb7c2010-01-15 18:44:13 +00001880 if (SegReg == 0)
Craig Topper055845f2015-01-02 07:02:25 +00001881 return X86Operand::CreateMem(getPointerWidth(), Disp, LParenLoc,
1882 ExprEnd);
1883 return X86Operand::CreateMem(getPointerWidth(), SegReg, Disp, 0, 0, 1,
1884 MemStart, ExprEnd);
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001885 }
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00001886
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001887 // Eat the '('.
Sean Callanana83fd7d2010-01-19 20:27:46 +00001888 Parser.Lex();
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001889 }
1890 }
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00001891
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001892 // If we reached here, then we just ate the ( of the memory operand. Process
1893 // the rest of the memory operand.
Daniel Dunbar3ebf8482009-07-31 20:53:16 +00001894 unsigned BaseReg = 0, IndexReg = 0, Scale = 1;
David Woodhouse6dbda442014-01-08 12:58:28 +00001895 SMLoc IndexLoc, BaseLoc;
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00001896
Chris Lattner0c2538f2010-01-15 18:51:29 +00001897 if (getLexer().is(AsmToken::Percent)) {
Benjamin Kramer1930b002011-10-16 12:10:27 +00001898 SMLoc StartLoc, EndLoc;
David Woodhouse6dbda442014-01-08 12:58:28 +00001899 BaseLoc = Parser.getTok().getLoc();
Craig Topper062a2ba2014-04-25 05:30:21 +00001900 if (ParseRegister(BaseReg, StartLoc, EndLoc)) return nullptr;
Bruno Cardoso Lopes306a1f92010-07-24 00:06:39 +00001901 if (BaseReg == X86::EIZ || BaseReg == X86::RIZ) {
Benjamin Kramer1930b002011-10-16 12:10:27 +00001902 Error(StartLoc, "eiz and riz can only be used as index registers",
1903 SMRange(StartLoc, EndLoc));
Craig Topper062a2ba2014-04-25 05:30:21 +00001904 return nullptr;
Bruno Cardoso Lopes306a1f92010-07-24 00:06:39 +00001905 }
Chris Lattner0c2538f2010-01-15 18:51:29 +00001906 }
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00001907
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001908 if (getLexer().is(AsmToken::Comma)) {
Sean Callanana83fd7d2010-01-19 20:27:46 +00001909 Parser.Lex(); // Eat the comma.
Kevin Enderbyfb3110b2012-03-12 21:32:09 +00001910 IndexLoc = Parser.getTok().getLoc();
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001911
1912 // Following the comma we should have either an index register, or a scale
1913 // value. We don't support the later form, but we want to parse it
1914 // correctly.
1915 //
1916 // Not that even though it would be completely consistent to support syntax
Bruno Cardoso Lopes306a1f92010-07-24 00:06:39 +00001917 // like "1(%eax,,1)", the assembler doesn't. Use "eiz" or "riz" for this.
Kevin Enderby7d912182009-09-03 17:15:07 +00001918 if (getLexer().is(AsmToken::Percent)) {
Chris Lattner0c2538f2010-01-15 18:51:29 +00001919 SMLoc L;
Craig Topper062a2ba2014-04-25 05:30:21 +00001920 if (ParseRegister(IndexReg, L, L)) return nullptr;
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00001921
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001922 if (getLexer().isNot(AsmToken::RParen)) {
1923 // Parse the scale amount:
1924 // ::= ',' [scale-expression]
Chris Lattnera2bbb7c2010-01-15 18:44:13 +00001925 if (getLexer().isNot(AsmToken::Comma)) {
Sean Callanan936b0d32010-01-19 21:44:56 +00001926 Error(Parser.getTok().getLoc(),
Chris Lattnera2bbb7c2010-01-15 18:44:13 +00001927 "expected comma in scale expression");
Craig Topper062a2ba2014-04-25 05:30:21 +00001928 return nullptr;
Chris Lattnera2bbb7c2010-01-15 18:44:13 +00001929 }
Sean Callanana83fd7d2010-01-19 20:27:46 +00001930 Parser.Lex(); // Eat the comma.
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001931
1932 if (getLexer().isNot(AsmToken::RParen)) {
Sean Callanan936b0d32010-01-19 21:44:56 +00001933 SMLoc Loc = Parser.getTok().getLoc();
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001934
1935 int64_t ScaleVal;
Jim Grosbachd2037eb2013-02-20 22:21:35 +00001936 if (getParser().parseAbsoluteExpression(ScaleVal)){
Kevin Enderbydeed5aa2012-03-09 22:24:10 +00001937 Error(Loc, "expected scale expression");
Craig Topper062a2ba2014-04-25 05:30:21 +00001938 return nullptr;
Craig Topper6bf3ed42012-07-18 04:59:16 +00001939 }
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00001940
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001941 // Validate the scale amount.
David Woodhouse6dbda442014-01-08 12:58:28 +00001942 if (X86MCRegisterClasses[X86::GR16RegClassID].contains(BaseReg) &&
1943 ScaleVal != 1) {
1944 Error(Loc, "scale factor in 16-bit address must be 1");
Craig Topper062a2ba2014-04-25 05:30:21 +00001945 return nullptr;
David Woodhouse6dbda442014-01-08 12:58:28 +00001946 }
Chris Lattnera2bbb7c2010-01-15 18:44:13 +00001947 if (ScaleVal != 1 && ScaleVal != 2 && ScaleVal != 4 && ScaleVal != 8){
1948 Error(Loc, "scale factor in address must be 1, 2, 4 or 8");
Craig Topper062a2ba2014-04-25 05:30:21 +00001949 return nullptr;
Chris Lattnera2bbb7c2010-01-15 18:44:13 +00001950 }
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001951 Scale = (unsigned)ScaleVal;
1952 }
1953 }
1954 } else if (getLexer().isNot(AsmToken::RParen)) {
Daniel Dunbar94b84a12010-08-24 19:13:38 +00001955 // A scale amount without an index is ignored.
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001956 // index.
Sean Callanan936b0d32010-01-19 21:44:56 +00001957 SMLoc Loc = Parser.getTok().getLoc();
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001958
1959 int64_t Value;
Jim Grosbachd2037eb2013-02-20 22:21:35 +00001960 if (getParser().parseAbsoluteExpression(Value))
Craig Topper062a2ba2014-04-25 05:30:21 +00001961 return nullptr;
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00001962
Daniel Dunbar94b84a12010-08-24 19:13:38 +00001963 if (Value != 1)
1964 Warning(Loc, "scale factor without index register is ignored");
1965 Scale = 1;
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001966 }
1967 }
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00001968
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001969 // Ok, we've eaten the memory operand, verify we have a ')' and eat it too.
Chris Lattnera2bbb7c2010-01-15 18:44:13 +00001970 if (getLexer().isNot(AsmToken::RParen)) {
Sean Callanan936b0d32010-01-19 21:44:56 +00001971 Error(Parser.getTok().getLoc(), "unexpected token in memory operand");
Craig Topper062a2ba2014-04-25 05:30:21 +00001972 return nullptr;
Chris Lattnera2bbb7c2010-01-15 18:44:13 +00001973 }
Jordan Rosee8f1eae2013-01-07 19:00:49 +00001974 SMLoc MemEnd = Parser.getTok().getEndLoc();
Sean Callanana83fd7d2010-01-19 20:27:46 +00001975 Parser.Lex(); // Eat the ')'.
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00001976
David Woodhouse6dbda442014-01-08 12:58:28 +00001977 // Check for use of invalid 16-bit registers. Only BX/BP/SI/DI are allowed,
1978 // and then only in non-64-bit modes. Except for DX, which is a special case
1979 // because an unofficial form of in/out instructions uses it.
1980 if (X86MCRegisterClasses[X86::GR16RegClassID].contains(BaseReg) &&
1981 (is64BitMode() || (BaseReg != X86::BX && BaseReg != X86::BP &&
1982 BaseReg != X86::SI && BaseReg != X86::DI)) &&
1983 BaseReg != X86::DX) {
1984 Error(BaseLoc, "invalid 16-bit base register");
Craig Topper062a2ba2014-04-25 05:30:21 +00001985 return nullptr;
David Woodhouse6dbda442014-01-08 12:58:28 +00001986 }
1987 if (BaseReg == 0 &&
1988 X86MCRegisterClasses[X86::GR16RegClassID].contains(IndexReg)) {
1989 Error(IndexLoc, "16-bit memory operand may not include only index register");
Craig Topper062a2ba2014-04-25 05:30:21 +00001990 return nullptr;
David Woodhouse6dbda442014-01-08 12:58:28 +00001991 }
Kevin Enderbybc570f22014-01-23 22:34:42 +00001992
1993 StringRef ErrMsg;
1994 if (CheckBaseRegAndIndexReg(BaseReg, IndexReg, ErrMsg)) {
1995 Error(BaseLoc, ErrMsg);
Craig Topper062a2ba2014-04-25 05:30:21 +00001996 return nullptr;
Kevin Enderbyfb3110b2012-03-12 21:32:09 +00001997 }
1998
Reid Klecknerb7e2f602014-07-31 23:26:35 +00001999 if (SegReg || BaseReg || IndexReg)
Craig Topper055845f2015-01-02 07:02:25 +00002000 return X86Operand::CreateMem(getPointerWidth(), SegReg, Disp, BaseReg,
2001 IndexReg, Scale, MemStart, MemEnd);
2002 return X86Operand::CreateMem(getPointerWidth(), Disp, MemStart, MemEnd);
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00002003}
2004
David Blaikie960ea3f2014-06-08 16:18:35 +00002005bool X86AsmParser::ParseInstruction(ParseInstructionInfo &Info, StringRef Name,
2006 SMLoc NameLoc, OperandVector &Operands) {
Rafael Espindola961d4692014-11-11 05:18:41 +00002007 MCAsmParser &Parser = getParser();
Chad Rosierf0e87202012-10-25 20:41:34 +00002008 InstInfo = &Info;
Chris Lattner2cb092d2010-10-30 19:23:13 +00002009 StringRef PatchedName = Name;
Daniel Dunbar0e767d72010-05-25 19:49:32 +00002010
Chris Lattner7e8a99b2010-11-28 20:23:50 +00002011 // FIXME: Hack to recognize setneb as setne.
2012 if (PatchedName.startswith("set") && PatchedName.endswith("b") &&
2013 PatchedName != "setb" && PatchedName != "setnb")
2014 PatchedName = PatchedName.substr(0, Name.size()-1);
Chad Rosier51afe632012-06-27 22:34:28 +00002015
Daniel Dunbar0e767d72010-05-25 19:49:32 +00002016 // FIXME: Hack to recognize cmp<comparison code>{ss,sd,ps,pd}.
Bruno Cardoso Lopes3183dd52010-06-23 21:10:57 +00002017 if ((PatchedName.startswith("cmp") || PatchedName.startswith("vcmp")) &&
Daniel Dunbar0e767d72010-05-25 19:49:32 +00002018 (PatchedName.endswith("ss") || PatchedName.endswith("sd") ||
2019 PatchedName.endswith("ps") || PatchedName.endswith("pd"))) {
Craig Toppera0a603e2012-03-29 07:11:23 +00002020 bool IsVCMP = PatchedName[0] == 'v';
Craig Topper78c424d2015-02-15 07:13:48 +00002021 unsigned CCIdx = IsVCMP ? 4 : 3;
2022 unsigned ComparisonCode = StringSwitch<unsigned>(
2023 PatchedName.slice(CCIdx, PatchedName.size() - 2))
Craig Toppera0a603e2012-03-29 07:11:23 +00002024 .Case("eq", 0x00)
2025 .Case("lt", 0x01)
2026 .Case("le", 0x02)
2027 .Case("unord", 0x03)
2028 .Case("neq", 0x04)
2029 .Case("nlt", 0x05)
2030 .Case("nle", 0x06)
2031 .Case("ord", 0x07)
2032 /* AVX only from here */
2033 .Case("eq_uq", 0x08)
2034 .Case("nge", 0x09)
Bruno Cardoso Lopes6c614512010-07-07 22:24:03 +00002035 .Case("ngt", 0x0A)
2036 .Case("false", 0x0B)
2037 .Case("neq_oq", 0x0C)
2038 .Case("ge", 0x0D)
2039 .Case("gt", 0x0E)
2040 .Case("true", 0x0F)
2041 .Case("eq_os", 0x10)
2042 .Case("lt_oq", 0x11)
2043 .Case("le_oq", 0x12)
2044 .Case("unord_s", 0x13)
2045 .Case("neq_us", 0x14)
2046 .Case("nlt_uq", 0x15)
2047 .Case("nle_uq", 0x16)
2048 .Case("ord_s", 0x17)
2049 .Case("eq_us", 0x18)
2050 .Case("nge_uq", 0x19)
2051 .Case("ngt_uq", 0x1A)
2052 .Case("false_os", 0x1B)
2053 .Case("neq_os", 0x1C)
2054 .Case("ge_oq", 0x1D)
2055 .Case("gt_oq", 0x1E)
2056 .Case("true_us", 0x1F)
Daniel Dunbar0e767d72010-05-25 19:49:32 +00002057 .Default(~0U);
Craig Topper78c424d2015-02-15 07:13:48 +00002058 if (ComparisonCode != ~0U && (IsVCMP || ComparisonCode < 8)) {
Craig Topper43860832015-02-14 21:54:03 +00002059
Craig Topper78c424d2015-02-15 07:13:48 +00002060 Operands.push_back(X86Operand::CreateToken(PatchedName.slice(0, CCIdx),
Craig Topper43860832015-02-14 21:54:03 +00002061 NameLoc));
2062
Craig Topper78c424d2015-02-15 07:13:48 +00002063 const MCExpr *ImmOp = MCConstantExpr::Create(ComparisonCode,
Craig Topper43860832015-02-14 21:54:03 +00002064 getParser().getContext());
2065 Operands.push_back(X86Operand::CreateImm(ImmOp, NameLoc, NameLoc));
2066
2067 PatchedName = PatchedName.substr(PatchedName.size() - 2);
Daniel Dunbar0e767d72010-05-25 19:49:32 +00002068 }
2069 }
Bruno Cardoso Lopesea0e05a2010-07-23 18:41:12 +00002070
Craig Topper78c424d2015-02-15 07:13:48 +00002071 // FIXME: Hack to recognize vpcmp<comparison code>{ub,uw,ud,uq,b,w,d,q}.
2072 if (PatchedName.startswith("vpcmp") &&
2073 (PatchedName.endswith("b") || PatchedName.endswith("w") ||
2074 PatchedName.endswith("d") || PatchedName.endswith("q"))) {
2075 unsigned CCIdx = PatchedName.drop_back().back() == 'u' ? 2 : 1;
2076 unsigned ComparisonCode = StringSwitch<unsigned>(
2077 PatchedName.slice(5, PatchedName.size() - CCIdx))
2078 .Case("eq", 0x0) // Only allowed on unsigned. Checked below.
2079 .Case("lt", 0x1)
2080 .Case("le", 0x2)
2081 //.Case("false", 0x3) // Not a documented alias.
2082 .Case("neq", 0x4)
2083 .Case("nlt", 0x5)
2084 .Case("nle", 0x6)
2085 //.Case("true", 0x7) // Not a documented alias.
2086 .Default(~0U);
2087 if (ComparisonCode != ~0U && (ComparisonCode != 0 || CCIdx == 2)) {
2088 Operands.push_back(X86Operand::CreateToken("vpcmp", NameLoc));
2089
2090 const MCExpr *ImmOp = MCConstantExpr::Create(ComparisonCode,
2091 getParser().getContext());
2092 Operands.push_back(X86Operand::CreateImm(ImmOp, NameLoc, NameLoc));
2093
2094 PatchedName = PatchedName.substr(PatchedName.size() - CCIdx);
2095 }
2096 }
2097
Craig Topper916708f2015-02-13 07:42:25 +00002098 // FIXME: Hack to recognize vpcom<comparison code>{ub,uw,ud,uq,b,w,d,q}.
2099 if (PatchedName.startswith("vpcom") &&
2100 (PatchedName.endswith("b") || PatchedName.endswith("w") ||
2101 PatchedName.endswith("d") || PatchedName.endswith("q"))) {
Craig Topper78c424d2015-02-15 07:13:48 +00002102 unsigned CCIdx = PatchedName.drop_back().back() == 'u' ? 2 : 1;
2103 unsigned ComparisonCode = StringSwitch<unsigned>(
2104 PatchedName.slice(5, PatchedName.size() - CCIdx))
Craig Topper916708f2015-02-13 07:42:25 +00002105 .Case("lt", 0x0)
2106 .Case("le", 0x1)
2107 .Case("gt", 0x2)
2108 .Case("ge", 0x3)
2109 .Case("eq", 0x4)
2110 .Case("neq", 0x5)
2111 .Case("false", 0x6)
2112 .Case("true", 0x7)
2113 .Default(~0U);
Craig Topper78c424d2015-02-15 07:13:48 +00002114 if (ComparisonCode != ~0U) {
Craig Topper916708f2015-02-13 07:42:25 +00002115 Operands.push_back(X86Operand::CreateToken("vpcom", NameLoc));
2116
Craig Topper78c424d2015-02-15 07:13:48 +00002117 const MCExpr *ImmOp = MCConstantExpr::Create(ComparisonCode,
Craig Topper916708f2015-02-13 07:42:25 +00002118 getParser().getContext());
2119 Operands.push_back(X86Operand::CreateImm(ImmOp, NameLoc, NameLoc));
2120
Craig Topper78c424d2015-02-15 07:13:48 +00002121 PatchedName = PatchedName.substr(PatchedName.size() - CCIdx);
Craig Topper916708f2015-02-13 07:42:25 +00002122 }
2123 }
2124
Daniel Dunbar3e0c9792010-02-10 21:19:28 +00002125 Operands.push_back(X86Operand::CreateToken(PatchedName, NameLoc));
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00002126
Chris Lattner086a83a2010-09-08 05:17:37 +00002127 // Determine whether this is an instruction prefix.
2128 bool isPrefix =
Chris Lattner2cb092d2010-10-30 19:23:13 +00002129 Name == "lock" || Name == "rep" ||
2130 Name == "repe" || Name == "repz" ||
Rafael Espindolaf6c05b12010-11-23 11:23:24 +00002131 Name == "repne" || Name == "repnz" ||
Rafael Espindolaeab08002010-11-27 20:29:45 +00002132 Name == "rex64" || Name == "data16";
Michael J. Spencer530ce852010-10-09 11:00:50 +00002133
2134
Chris Lattner086a83a2010-09-08 05:17:37 +00002135 // This does the actual operand parsing. Don't parse any more if we have a
2136 // prefix juxtaposed with an operation like "lock incl 4(%rax)", because we
2137 // just want to parse the "lock" as the first instruction and the "incl" as
2138 // the next one.
2139 if (getLexer().isNot(AsmToken::EndOfStatement) && !isPrefix) {
Daniel Dunbar71527c12009-08-11 05:00:25 +00002140
2141 // Parse '*' modifier.
Alp Tokera5b88a52013-12-02 16:06:06 +00002142 if (getLexer().is(AsmToken::Star))
2143 Operands.push_back(X86Operand::CreateToken("*", consumeToken()));
Daniel Dunbar71527c12009-08-11 05:00:25 +00002144
Elena Demikhovskyc9657012014-02-20 06:34:39 +00002145 // Read the operands.
2146 while(1) {
David Blaikie960ea3f2014-06-08 16:18:35 +00002147 if (std::unique_ptr<X86Operand> Op = ParseOperand()) {
2148 Operands.push_back(std::move(Op));
2149 if (!HandleAVX512Operand(Operands, *Operands.back()))
Elena Demikhovsky89529742013-09-12 08:55:00 +00002150 return true;
Elena Demikhovskyc9657012014-02-20 06:34:39 +00002151 } else {
2152 Parser.eatToEndOfStatement();
2153 return true;
Elena Demikhovsky89529742013-09-12 08:55:00 +00002154 }
Elena Demikhovskyc9657012014-02-20 06:34:39 +00002155 // check for comma and eat it
2156 if (getLexer().is(AsmToken::Comma))
2157 Parser.Lex();
2158 else
2159 break;
2160 }
Elena Demikhovsky89529742013-09-12 08:55:00 +00002161
Elena Demikhovskyc9657012014-02-20 06:34:39 +00002162 if (getLexer().isNot(AsmToken::EndOfStatement))
Elena Demikhovsky9f09b3e2014-02-20 07:00:10 +00002163 return ErrorAndEatStatement(getLexer().getLoc(),
2164 "unexpected token in argument list");
Elena Demikhovskyc9657012014-02-20 06:34:39 +00002165 }
Michael J. Spencer530ce852010-10-09 11:00:50 +00002166
Elena Demikhovskyc9657012014-02-20 06:34:39 +00002167 // Consume the EndOfStatement or the prefix separator Slash
Elena Demikhovsky9f09b3e2014-02-20 07:00:10 +00002168 if (getLexer().is(AsmToken::EndOfStatement) ||
2169 (isPrefix && getLexer().is(AsmToken::Slash)))
Elena Demikhovskyc9657012014-02-20 06:34:39 +00002170 Parser.Lex();
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00002171
Chris Lattnerb6f8e822010-11-06 19:25:43 +00002172 // This is a terrible hack to handle "out[bwl]? %al, (%dx)" ->
2173 // "outb %al, %dx". Out doesn't take a memory form, but this is a widely
2174 // documented form in various unofficial manuals, so a lot of code uses it.
2175 if ((Name == "outb" || Name == "outw" || Name == "outl" || Name == "out") &&
2176 Operands.size() == 3) {
David Blaikie960ea3f2014-06-08 16:18:35 +00002177 X86Operand &Op = (X86Operand &)*Operands.back();
Chris Lattnerb6f8e822010-11-06 19:25:43 +00002178 if (Op.isMem() && Op.Mem.SegReg == 0 &&
2179 isa<MCConstantExpr>(Op.Mem.Disp) &&
2180 cast<MCConstantExpr>(Op.Mem.Disp)->getValue() == 0 &&
2181 Op.Mem.BaseReg == MatchRegisterName("dx") && Op.Mem.IndexReg == 0) {
2182 SMLoc Loc = Op.getEndLoc();
2183 Operands.back() = X86Operand::CreateReg(Op.Mem.BaseReg, Loc, Loc);
Chris Lattnerb6f8e822010-11-06 19:25:43 +00002184 }
2185 }
Joerg Sonnenbergerb7e635d2011-02-22 20:40:09 +00002186 // Same hack for "in[bwl]? (%dx), %al" -> "inb %dx, %al".
2187 if ((Name == "inb" || Name == "inw" || Name == "inl" || Name == "in") &&
2188 Operands.size() == 3) {
David Blaikie960ea3f2014-06-08 16:18:35 +00002189 X86Operand &Op = (X86Operand &)*Operands[1];
Joerg Sonnenbergerb7e635d2011-02-22 20:40:09 +00002190 if (Op.isMem() && Op.Mem.SegReg == 0 &&
2191 isa<MCConstantExpr>(Op.Mem.Disp) &&
2192 cast<MCConstantExpr>(Op.Mem.Disp)->getValue() == 0 &&
2193 Op.Mem.BaseReg == MatchRegisterName("dx") && Op.Mem.IndexReg == 0) {
2194 SMLoc Loc = Op.getEndLoc();
David Blaikie960ea3f2014-06-08 16:18:35 +00002195 Operands[1] = X86Operand::CreateReg(Op.Mem.BaseReg, Loc, Loc);
Joerg Sonnenbergerb7e635d2011-02-22 20:40:09 +00002196 }
2197 }
David Woodhouse4ce66062014-01-22 15:08:55 +00002198
2199 // Append default arguments to "ins[bwld]"
2200 if (Name.startswith("ins") && Operands.size() == 1 &&
2201 (Name == "insb" || Name == "insw" || Name == "insl" ||
2202 Name == "insd" )) {
2203 if (isParsingIntelSyntax()) {
2204 Operands.push_back(X86Operand::CreateReg(X86::DX, NameLoc, NameLoc));
2205 Operands.push_back(DefaultMemDIOperand(NameLoc));
2206 } else {
2207 Operands.push_back(X86Operand::CreateReg(X86::DX, NameLoc, NameLoc));
2208 Operands.push_back(DefaultMemDIOperand(NameLoc));
Joerg Sonnenberger3fbfcc02011-03-18 11:59:40 +00002209 }
2210 }
2211
David Woodhousec472b812014-01-22 15:08:49 +00002212 // Append default arguments to "outs[bwld]"
2213 if (Name.startswith("outs") && Operands.size() == 1 &&
2214 (Name == "outsb" || Name == "outsw" || Name == "outsl" ||
2215 Name == "outsd" )) {
2216 if (isParsingIntelSyntax()) {
2217 Operands.push_back(DefaultMemSIOperand(NameLoc));
2218 Operands.push_back(X86Operand::CreateReg(X86::DX, NameLoc, NameLoc));
2219 } else {
2220 Operands.push_back(DefaultMemSIOperand(NameLoc));
2221 Operands.push_back(X86Operand::CreateReg(X86::DX, NameLoc, NameLoc));
Joerg Sonnenberger3fbfcc02011-03-18 11:59:40 +00002222 }
2223 }
2224
David Woodhouse2ef8d9c2014-01-22 15:08:08 +00002225 // Transform "lods[bwlq]" into "lods[bwlq] ($SIREG)" for appropriate
2226 // values of $SIREG according to the mode. It would be nice if this
2227 // could be achieved with InstAlias in the tables.
2228 if (Name.startswith("lods") && Operands.size() == 1 &&
Joerg Sonnenberger3fbfcc02011-03-18 11:59:40 +00002229 (Name == "lods" || Name == "lodsb" || Name == "lodsw" ||
David Woodhouse2ef8d9c2014-01-22 15:08:08 +00002230 Name == "lodsl" || Name == "lodsd" || Name == "lodsq"))
2231 Operands.push_back(DefaultMemSIOperand(NameLoc));
2232
David Woodhouseb33c2ef2014-01-22 15:08:21 +00002233 // Transform "stos[bwlq]" into "stos[bwlq] ($DIREG)" for appropriate
2234 // values of $DIREG according to the mode. It would be nice if this
2235 // could be achieved with InstAlias in the tables.
2236 if (Name.startswith("stos") && Operands.size() == 1 &&
Joerg Sonnenberger3fbfcc02011-03-18 11:59:40 +00002237 (Name == "stos" || Name == "stosb" || Name == "stosw" ||
David Woodhouseb33c2ef2014-01-22 15:08:21 +00002238 Name == "stosl" || Name == "stosd" || Name == "stosq"))
2239 Operands.push_back(DefaultMemDIOperand(NameLoc));
Joerg Sonnenberger3fbfcc02011-03-18 11:59:40 +00002240
David Woodhouse20fe4802014-01-22 15:08:27 +00002241 // Transform "scas[bwlq]" into "scas[bwlq] ($DIREG)" for appropriate
2242 // values of $DIREG according to the mode. It would be nice if this
2243 // could be achieved with InstAlias in the tables.
2244 if (Name.startswith("scas") && Operands.size() == 1 &&
2245 (Name == "scas" || Name == "scasb" || Name == "scasw" ||
2246 Name == "scasl" || Name == "scasd" || Name == "scasq"))
2247 Operands.push_back(DefaultMemDIOperand(NameLoc));
2248
David Woodhouse9bbf7ca2014-01-22 15:08:36 +00002249 // Add default SI and DI operands to "cmps[bwlq]".
2250 if (Name.startswith("cmps") &&
2251 (Name == "cmps" || Name == "cmpsb" || Name == "cmpsw" ||
2252 Name == "cmpsl" || Name == "cmpsd" || Name == "cmpsq")) {
2253 if (Operands.size() == 1) {
2254 if (isParsingIntelSyntax()) {
2255 Operands.push_back(DefaultMemSIOperand(NameLoc));
2256 Operands.push_back(DefaultMemDIOperand(NameLoc));
2257 } else {
2258 Operands.push_back(DefaultMemDIOperand(NameLoc));
2259 Operands.push_back(DefaultMemSIOperand(NameLoc));
2260 }
2261 } else if (Operands.size() == 3) {
David Blaikie960ea3f2014-06-08 16:18:35 +00002262 X86Operand &Op = (X86Operand &)*Operands[1];
2263 X86Operand &Op2 = (X86Operand &)*Operands[2];
David Woodhouse9bbf7ca2014-01-22 15:08:36 +00002264 if (!doSrcDstMatch(Op, Op2))
2265 return Error(Op.getStartLoc(),
2266 "mismatching source and destination index registers");
2267 }
2268 }
2269
David Woodhouse6f417de2014-01-22 15:08:42 +00002270 // Add default SI and DI operands to "movs[bwlq]".
2271 if ((Name.startswith("movs") &&
2272 (Name == "movs" || Name == "movsb" || Name == "movsw" ||
2273 Name == "movsl" || Name == "movsd" || Name == "movsq")) ||
2274 (Name.startswith("smov") &&
2275 (Name == "smov" || Name == "smovb" || Name == "smovw" ||
2276 Name == "smovl" || Name == "smovd" || Name == "smovq"))) {
2277 if (Operands.size() == 1) {
David Blaikie960ea3f2014-06-08 16:18:35 +00002278 if (Name == "movsd")
David Woodhouse6f417de2014-01-22 15:08:42 +00002279 Operands.back() = X86Operand::CreateToken("movsl", NameLoc);
2280 if (isParsingIntelSyntax()) {
2281 Operands.push_back(DefaultMemDIOperand(NameLoc));
2282 Operands.push_back(DefaultMemSIOperand(NameLoc));
2283 } else {
2284 Operands.push_back(DefaultMemSIOperand(NameLoc));
2285 Operands.push_back(DefaultMemDIOperand(NameLoc));
2286 }
2287 } else if (Operands.size() == 3) {
David Blaikie960ea3f2014-06-08 16:18:35 +00002288 X86Operand &Op = (X86Operand &)*Operands[1];
2289 X86Operand &Op2 = (X86Operand &)*Operands[2];
David Woodhouse6f417de2014-01-22 15:08:42 +00002290 if (!doSrcDstMatch(Op, Op2))
2291 return Error(Op.getStartLoc(),
2292 "mismatching source and destination index registers");
2293 }
2294 }
2295
Chris Lattner4bd21712010-09-15 04:33:27 +00002296 // FIXME: Hack to handle recognize s{hr,ar,hl} $1, <op>. Canonicalize to
Chris Lattner30561ab2010-09-11 16:32:12 +00002297 // "shift <op>".
Daniel Dunbar18fc3442010-03-13 00:47:29 +00002298 if ((Name.startswith("shr") || Name.startswith("sar") ||
Chris Lattner64f91b92010-11-06 21:23:40 +00002299 Name.startswith("shl") || Name.startswith("sal") ||
2300 Name.startswith("rcl") || Name.startswith("rcr") ||
2301 Name.startswith("rol") || Name.startswith("ror")) &&
Chris Lattner4cfbcdc2010-09-06 18:32:06 +00002302 Operands.size() == 3) {
Devang Patel9a9bb5c2012-01-30 20:02:42 +00002303 if (isParsingIntelSyntax()) {
Devang Patela410ed32012-01-24 21:43:36 +00002304 // Intel syntax
David Blaikie960ea3f2014-06-08 16:18:35 +00002305 X86Operand &Op1 = static_cast<X86Operand &>(*Operands[2]);
2306 if (Op1.isImm() && isa<MCConstantExpr>(Op1.getImm()) &&
2307 cast<MCConstantExpr>(Op1.getImm())->getValue() == 1)
Craig Topper6bf3ed42012-07-18 04:59:16 +00002308 Operands.pop_back();
Devang Patela410ed32012-01-24 21:43:36 +00002309 } else {
David Blaikie960ea3f2014-06-08 16:18:35 +00002310 X86Operand &Op1 = static_cast<X86Operand &>(*Operands[1]);
2311 if (Op1.isImm() && isa<MCConstantExpr>(Op1.getImm()) &&
2312 cast<MCConstantExpr>(Op1.getImm())->getValue() == 1)
Craig Topper6bf3ed42012-07-18 04:59:16 +00002313 Operands.erase(Operands.begin() + 1);
Chris Lattner4cfbcdc2010-09-06 18:32:06 +00002314 }
Daniel Dunbarfbd12cc2010-03-20 22:36:38 +00002315 }
Chad Rosier51afe632012-06-27 22:34:28 +00002316
Chris Lattnerfc4fe002011-04-09 19:41:05 +00002317 // Transforms "int $3" into "int3" as a size optimization. We can't write an
2318 // instalias with an immediate operand yet.
2319 if (Name == "int" && Operands.size() == 2) {
David Blaikie960ea3f2014-06-08 16:18:35 +00002320 X86Operand &Op1 = static_cast<X86Operand &>(*Operands[1]);
2321 if (Op1.isImm() && isa<MCConstantExpr>(Op1.getImm()) &&
2322 cast<MCConstantExpr>(Op1.getImm())->getValue() == 3) {
Chris Lattnerfc4fe002011-04-09 19:41:05 +00002323 Operands.erase(Operands.begin() + 1);
David Blaikie960ea3f2014-06-08 16:18:35 +00002324 static_cast<X86Operand &>(*Operands[0]).setTokenValue("int3");
Chris Lattnerfc4fe002011-04-09 19:41:05 +00002325 }
2326 }
Michael J. Spencer530ce852010-10-09 11:00:50 +00002327
Chris Lattnerf29c0b62010-01-14 22:21:20 +00002328 return false;
Daniel Dunbar3c2a8932009-07-20 18:55:04 +00002329}
2330
Craig Topper7e9a1cb2013-03-18 02:53:34 +00002331static bool convertToSExti8(MCInst &Inst, unsigned Opcode, unsigned Reg,
2332 bool isCmp) {
2333 MCInst TmpInst;
2334 TmpInst.setOpcode(Opcode);
2335 if (!isCmp)
Jim Grosbache9119e42015-05-13 18:37:00 +00002336 TmpInst.addOperand(MCOperand::createReg(Reg));
2337 TmpInst.addOperand(MCOperand::createReg(Reg));
Craig Topper7e9a1cb2013-03-18 02:53:34 +00002338 TmpInst.addOperand(Inst.getOperand(0));
2339 Inst = TmpInst;
2340 return true;
2341}
2342
2343static bool convert16i16to16ri8(MCInst &Inst, unsigned Opcode,
2344 bool isCmp = false) {
2345 if (!Inst.getOperand(0).isImm() ||
2346 !isImmSExti16i8Value(Inst.getOperand(0).getImm()))
2347 return false;
2348
2349 return convertToSExti8(Inst, Opcode, X86::AX, isCmp);
2350}
2351
2352static bool convert32i32to32ri8(MCInst &Inst, unsigned Opcode,
2353 bool isCmp = false) {
2354 if (!Inst.getOperand(0).isImm() ||
2355 !isImmSExti32i8Value(Inst.getOperand(0).getImm()))
2356 return false;
2357
2358 return convertToSExti8(Inst, Opcode, X86::EAX, isCmp);
2359}
2360
2361static bool convert64i32to64ri8(MCInst &Inst, unsigned Opcode,
2362 bool isCmp = false) {
2363 if (!Inst.getOperand(0).isImm() ||
2364 !isImmSExti64i8Value(Inst.getOperand(0).getImm()))
2365 return false;
2366
2367 return convertToSExti8(Inst, Opcode, X86::RAX, isCmp);
2368}
2369
Saleem Abdulrasoolca24b1d2015-01-14 05:10:21 +00002370bool X86AsmParser::validateInstruction(MCInst &Inst, const OperandVector &Ops) {
2371 switch (Inst.getOpcode()) {
2372 default: return true;
2373 case X86::INT:
David Majnemer7efc6132015-01-14 06:14:36 +00002374 X86Operand &Op = static_cast<X86Operand &>(*Ops[1]);
2375 assert(Op.isImm() && "expected immediate");
2376 int64_t Res;
2377 if (!Op.getImm()->EvaluateAsAbsolute(Res) || Res > 255) {
2378 Error(Op.getStartLoc(), "interrupt vector must be in range [0-255]");
Saleem Abdulrasoolca24b1d2015-01-14 05:10:21 +00002379 return false;
2380 }
2381 return true;
2382 }
2383 llvm_unreachable("handle the instruction appropriately");
2384}
2385
David Blaikie960ea3f2014-06-08 16:18:35 +00002386bool X86AsmParser::processInstruction(MCInst &Inst, const OperandVector &Ops) {
Devang Patelde47cce2012-01-18 22:42:29 +00002387 switch (Inst.getOpcode()) {
2388 default: return false;
Craig Topper7e9a1cb2013-03-18 02:53:34 +00002389 case X86::AND16i16: return convert16i16to16ri8(Inst, X86::AND16ri8);
2390 case X86::AND32i32: return convert32i32to32ri8(Inst, X86::AND32ri8);
2391 case X86::AND64i32: return convert64i32to64ri8(Inst, X86::AND64ri8);
2392 case X86::XOR16i16: return convert16i16to16ri8(Inst, X86::XOR16ri8);
2393 case X86::XOR32i32: return convert32i32to32ri8(Inst, X86::XOR32ri8);
2394 case X86::XOR64i32: return convert64i32to64ri8(Inst, X86::XOR64ri8);
2395 case X86::OR16i16: return convert16i16to16ri8(Inst, X86::OR16ri8);
2396 case X86::OR32i32: return convert32i32to32ri8(Inst, X86::OR32ri8);
2397 case X86::OR64i32: return convert64i32to64ri8(Inst, X86::OR64ri8);
2398 case X86::CMP16i16: return convert16i16to16ri8(Inst, X86::CMP16ri8, true);
2399 case X86::CMP32i32: return convert32i32to32ri8(Inst, X86::CMP32ri8, true);
2400 case X86::CMP64i32: return convert64i32to64ri8(Inst, X86::CMP64ri8, true);
2401 case X86::ADD16i16: return convert16i16to16ri8(Inst, X86::ADD16ri8);
2402 case X86::ADD32i32: return convert32i32to32ri8(Inst, X86::ADD32ri8);
2403 case X86::ADD64i32: return convert64i32to64ri8(Inst, X86::ADD64ri8);
2404 case X86::SUB16i16: return convert16i16to16ri8(Inst, X86::SUB16ri8);
2405 case X86::SUB32i32: return convert32i32to32ri8(Inst, X86::SUB32ri8);
2406 case X86::SUB64i32: return convert64i32to64ri8(Inst, X86::SUB64ri8);
Craig Topper0498b882013-03-18 03:34:55 +00002407 case X86::ADC16i16: return convert16i16to16ri8(Inst, X86::ADC16ri8);
2408 case X86::ADC32i32: return convert32i32to32ri8(Inst, X86::ADC32ri8);
2409 case X86::ADC64i32: return convert64i32to64ri8(Inst, X86::ADC64ri8);
2410 case X86::SBB16i16: return convert16i16to16ri8(Inst, X86::SBB16ri8);
2411 case X86::SBB32i32: return convert32i32to32ri8(Inst, X86::SBB32ri8);
2412 case X86::SBB64i32: return convert64i32to64ri8(Inst, X86::SBB64ri8);
Craig Toppera0e07352013-10-07 05:42:48 +00002413 case X86::VMOVAPDrr:
2414 case X86::VMOVAPDYrr:
2415 case X86::VMOVAPSrr:
2416 case X86::VMOVAPSYrr:
2417 case X86::VMOVDQArr:
2418 case X86::VMOVDQAYrr:
2419 case X86::VMOVDQUrr:
2420 case X86::VMOVDQUYrr:
2421 case X86::VMOVUPDrr:
2422 case X86::VMOVUPDYrr:
2423 case X86::VMOVUPSrr:
2424 case X86::VMOVUPSYrr: {
2425 if (X86II::isX86_64ExtendedReg(Inst.getOperand(0).getReg()) ||
2426 !X86II::isX86_64ExtendedReg(Inst.getOperand(1).getReg()))
2427 return false;
2428
2429 unsigned NewOpc;
2430 switch (Inst.getOpcode()) {
2431 default: llvm_unreachable("Invalid opcode");
2432 case X86::VMOVAPDrr: NewOpc = X86::VMOVAPDrr_REV; break;
2433 case X86::VMOVAPDYrr: NewOpc = X86::VMOVAPDYrr_REV; break;
2434 case X86::VMOVAPSrr: NewOpc = X86::VMOVAPSrr_REV; break;
2435 case X86::VMOVAPSYrr: NewOpc = X86::VMOVAPSYrr_REV; break;
2436 case X86::VMOVDQArr: NewOpc = X86::VMOVDQArr_REV; break;
2437 case X86::VMOVDQAYrr: NewOpc = X86::VMOVDQAYrr_REV; break;
2438 case X86::VMOVDQUrr: NewOpc = X86::VMOVDQUrr_REV; break;
2439 case X86::VMOVDQUYrr: NewOpc = X86::VMOVDQUYrr_REV; break;
2440 case X86::VMOVUPDrr: NewOpc = X86::VMOVUPDrr_REV; break;
2441 case X86::VMOVUPDYrr: NewOpc = X86::VMOVUPDYrr_REV; break;
2442 case X86::VMOVUPSrr: NewOpc = X86::VMOVUPSrr_REV; break;
2443 case X86::VMOVUPSYrr: NewOpc = X86::VMOVUPSYrr_REV; break;
2444 }
2445 Inst.setOpcode(NewOpc);
2446 return true;
2447 }
2448 case X86::VMOVSDrr:
2449 case X86::VMOVSSrr: {
2450 if (X86II::isX86_64ExtendedReg(Inst.getOperand(0).getReg()) ||
2451 !X86II::isX86_64ExtendedReg(Inst.getOperand(2).getReg()))
2452 return false;
2453 unsigned NewOpc;
2454 switch (Inst.getOpcode()) {
2455 default: llvm_unreachable("Invalid opcode");
2456 case X86::VMOVSDrr: NewOpc = X86::VMOVSDrr_REV; break;
2457 case X86::VMOVSSrr: NewOpc = X86::VMOVSSrr_REV; break;
2458 }
2459 Inst.setOpcode(NewOpc);
2460 return true;
2461 }
Devang Patelde47cce2012-01-18 22:42:29 +00002462 }
Devang Patelde47cce2012-01-18 22:42:29 +00002463}
2464
Tim Northover26bb14e2014-08-18 11:49:42 +00002465static const char *getSubtargetFeatureName(uint64_t Val);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +00002466
David Blaikie960ea3f2014-06-08 16:18:35 +00002467void X86AsmParser::EmitInstruction(MCInst &Inst, OperandVector &Operands,
2468 MCStreamer &Out) {
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +00002469 Instrumentation->InstrumentAndEmitInstruction(Inst, Operands, getContext(),
2470 MII, Out);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +00002471}
2472
David Blaikie960ea3f2014-06-08 16:18:35 +00002473bool X86AsmParser::MatchAndEmitInstruction(SMLoc IDLoc, unsigned &Opcode,
2474 OperandVector &Operands,
Tim Northover26bb14e2014-08-18 11:49:42 +00002475 MCStreamer &Out, uint64_t &ErrorInfo,
David Blaikie960ea3f2014-06-08 16:18:35 +00002476 bool MatchingInlineAsm) {
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002477 if (isParsingIntelSyntax())
2478 return MatchAndEmitIntelInstruction(IDLoc, Opcode, Operands, Out, ErrorInfo,
2479 MatchingInlineAsm);
2480 return MatchAndEmitATTInstruction(IDLoc, Opcode, Operands, Out, ErrorInfo,
2481 MatchingInlineAsm);
2482}
Daniel Dunbar2ecc3bb2010-08-12 00:55:38 +00002483
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002484void X86AsmParser::MatchFPUWaitAlias(SMLoc IDLoc, X86Operand &Op,
2485 OperandVector &Operands, MCStreamer &Out,
2486 bool MatchingInlineAsm) {
Chris Lattnera63292a2010-09-29 01:50:45 +00002487 // FIXME: This should be replaced with a real .td file alias mechanism.
Chad Rosier3b1336c2012-08-28 23:57:47 +00002488 // Also, MatchInstructionImpl should actually *do* the EmitInstruction
Chris Lattner4869d342010-11-06 19:57:21 +00002489 // call.
Reid Klecknerb1f2d2f2014-07-31 00:07:33 +00002490 const char *Repl = StringSwitch<const char *>(Op.getToken())
2491 .Case("finit", "fninit")
2492 .Case("fsave", "fnsave")
2493 .Case("fstcw", "fnstcw")
2494 .Case("fstcww", "fnstcw")
2495 .Case("fstenv", "fnstenv")
2496 .Case("fstsw", "fnstsw")
2497 .Case("fstsww", "fnstsw")
2498 .Case("fclex", "fnclex")
2499 .Default(nullptr);
2500 if (Repl) {
Chris Lattnera63292a2010-09-29 01:50:45 +00002501 MCInst Inst;
2502 Inst.setOpcode(X86::WAIT);
Jim Grosbach8f28dbd2012-01-27 00:51:27 +00002503 Inst.setLoc(IDLoc);
Chad Rosier4453e842012-10-12 23:09:25 +00002504 if (!MatchingInlineAsm)
Evgeniy Stepanov49e26252014-03-14 08:58:04 +00002505 EmitInstruction(Inst, Operands, Out);
Chris Lattneradc0dbe2010-09-30 16:39:29 +00002506 Operands[0] = X86Operand::CreateToken(Repl, IDLoc);
Chris Lattnera63292a2010-09-29 01:50:45 +00002507 }
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002508}
2509
2510bool X86AsmParser::ErrorMissingFeature(SMLoc IDLoc, uint64_t ErrorInfo,
2511 bool MatchingInlineAsm) {
2512 assert(ErrorInfo && "Unknown missing feature!");
2513 ArrayRef<SMRange> EmptyRanges = None;
2514 SmallString<126> Msg;
2515 raw_svector_ostream OS(Msg);
2516 OS << "instruction requires:";
2517 uint64_t Mask = 1;
2518 for (unsigned i = 0; i < (sizeof(ErrorInfo)*8-1); ++i) {
2519 if (ErrorInfo & Mask)
2520 OS << ' ' << getSubtargetFeatureName(ErrorInfo & Mask);
2521 Mask <<= 1;
2522 }
2523 return Error(IDLoc, OS.str(), EmptyRanges, MatchingInlineAsm);
2524}
2525
2526bool X86AsmParser::MatchAndEmitATTInstruction(SMLoc IDLoc, unsigned &Opcode,
2527 OperandVector &Operands,
2528 MCStreamer &Out,
2529 uint64_t &ErrorInfo,
2530 bool MatchingInlineAsm) {
2531 assert(!Operands.empty() && "Unexpect empty operand list!");
2532 X86Operand &Op = static_cast<X86Operand &>(*Operands[0]);
2533 assert(Op.isToken() && "Leading operand should always be a mnemonic!");
2534 ArrayRef<SMRange> EmptyRanges = None;
2535
2536 // First, handle aliases that expand to multiple instructions.
2537 MatchFPUWaitAlias(IDLoc, Op, Operands, Out, MatchingInlineAsm);
Michael J. Spencer530ce852010-10-09 11:00:50 +00002538
Chris Lattner628fbec2010-09-06 21:54:15 +00002539 bool WasOriginallyInvalidOperand = false;
Chris Lattnerb44fd242010-09-29 01:42:58 +00002540 MCInst Inst;
Michael J. Spencer530ce852010-10-09 11:00:50 +00002541
Daniel Dunbar9b816a12010-05-04 16:12:42 +00002542 // First, try a direct match.
Chad Rosier2f480a82012-10-12 22:53:36 +00002543 switch (MatchInstructionImpl(Operands, Inst,
Chad Rosier49963552012-10-13 00:26:04 +00002544 ErrorInfo, MatchingInlineAsm,
Devang Patel9a9bb5c2012-01-30 20:02:42 +00002545 isParsingIntelSyntax())) {
Craig Topper589ceee2015-01-03 08:16:34 +00002546 default: llvm_unreachable("Unexpected match result!");
Chris Lattnerb4be28f2010-09-06 20:08:02 +00002547 case Match_Success:
Saleem Abdulrasoolca24b1d2015-01-14 05:10:21 +00002548 if (!validateInstruction(Inst, Operands))
2549 return true;
2550
Devang Patelde47cce2012-01-18 22:42:29 +00002551 // Some instructions need post-processing to, for example, tweak which
2552 // encoding is selected. Loop on it while changes happen so the
Chad Rosier51afe632012-06-27 22:34:28 +00002553 // individual transformations can chain off each other.
Chad Rosier4453e842012-10-12 23:09:25 +00002554 if (!MatchingInlineAsm)
Chad Rosierf4e35dc2012-10-01 23:45:51 +00002555 while (processInstruction(Inst, Operands))
2556 ;
Devang Patelde47cce2012-01-18 22:42:29 +00002557
Jim Grosbach8f28dbd2012-01-27 00:51:27 +00002558 Inst.setLoc(IDLoc);
Chad Rosier4453e842012-10-12 23:09:25 +00002559 if (!MatchingInlineAsm)
Evgeniy Stepanov49e26252014-03-14 08:58:04 +00002560 EmitInstruction(Inst, Operands, Out);
Chad Rosierf4e35dc2012-10-01 23:45:51 +00002561 Opcode = Inst.getOpcode();
Daniel Dunbar9b816a12010-05-04 16:12:42 +00002562 return false;
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002563 case Match_MissingFeature:
2564 return ErrorMissingFeature(IDLoc, ErrorInfo, MatchingInlineAsm);
Chris Lattner628fbec2010-09-06 21:54:15 +00002565 case Match_InvalidOperand:
2566 WasOriginallyInvalidOperand = true;
2567 break;
2568 case Match_MnemonicFail:
Chris Lattnerb4be28f2010-09-06 20:08:02 +00002569 break;
2570 }
Daniel Dunbar9b816a12010-05-04 16:12:42 +00002571
Daniel Dunbar9b816a12010-05-04 16:12:42 +00002572 // FIXME: Ideally, we would only attempt suffix matches for things which are
2573 // valid prefixes, and we could just infer the right unambiguous
2574 // type. However, that requires substantially more matcher support than the
2575 // following hack.
Michael J. Spencer530ce852010-10-09 11:00:50 +00002576
Daniel Dunbar9b816a12010-05-04 16:12:42 +00002577 // Change the operand to point to a temporary token.
David Blaikie960ea3f2014-06-08 16:18:35 +00002578 StringRef Base = Op.getToken();
Daniel Dunbar2ecc3bb2010-08-12 00:55:38 +00002579 SmallString<16> Tmp;
2580 Tmp += Base;
2581 Tmp += ' ';
Yaron Keren075759a2015-03-30 15:42:36 +00002582 Op.setTokenValue(Tmp);
Daniel Dunbar9b816a12010-05-04 16:12:42 +00002583
Chris Lattnerfab94132010-11-06 18:28:02 +00002584 // If this instruction starts with an 'f', then it is a floating point stack
2585 // instruction. These come in up to three forms for 32-bit, 64-bit, and
2586 // 80-bit floating point, which use the suffixes s,l,t respectively.
2587 //
2588 // Otherwise, we assume that this may be an integer instruction, which comes
2589 // in 8/16/32/64-bit forms using the b,w,l,q suffixes respectively.
2590 const char *Suffixes = Base[0] != 'f' ? "bwlq" : "slt\0";
Chad Rosier51afe632012-06-27 22:34:28 +00002591
Daniel Dunbar9b816a12010-05-04 16:12:42 +00002592 // Check for the various suffix matches.
Tim Northover26bb14e2014-08-18 11:49:42 +00002593 uint64_t ErrorInfoIgnore;
2594 uint64_t ErrorInfoMissingFeature = 0; // Init suppresses compiler warnings.
Reid Kleckner7b1e1a02014-07-30 22:23:11 +00002595 unsigned Match[4];
Chad Rosier51afe632012-06-27 22:34:28 +00002596
Reid Kleckner7b1e1a02014-07-30 22:23:11 +00002597 for (unsigned I = 0, E = array_lengthof(Match); I != E; ++I) {
2598 Tmp.back() = Suffixes[I];
2599 Match[I] = MatchInstructionImpl(Operands, Inst, ErrorInfoIgnore,
2600 MatchingInlineAsm, isParsingIntelSyntax());
2601 // If this returned as a missing feature failure, remember that.
2602 if (Match[I] == Match_MissingFeature)
2603 ErrorInfoMissingFeature = ErrorInfoIgnore;
2604 }
Daniel Dunbar9b816a12010-05-04 16:12:42 +00002605
2606 // Restore the old token.
David Blaikie960ea3f2014-06-08 16:18:35 +00002607 Op.setTokenValue(Base);
Daniel Dunbar9b816a12010-05-04 16:12:42 +00002608
2609 // If exactly one matched, then we treat that as a successful match (and the
2610 // instruction will already have been filled in correctly, since the failing
2611 // matches won't have modified it).
Chris Lattnerb4be28f2010-09-06 20:08:02 +00002612 unsigned NumSuccessfulMatches =
Reid Kleckner7b1e1a02014-07-30 22:23:11 +00002613 std::count(std::begin(Match), std::end(Match), Match_Success);
Chris Lattnerb44fd242010-09-29 01:42:58 +00002614 if (NumSuccessfulMatches == 1) {
Jim Grosbach8f28dbd2012-01-27 00:51:27 +00002615 Inst.setLoc(IDLoc);
Chad Rosier4453e842012-10-12 23:09:25 +00002616 if (!MatchingInlineAsm)
Evgeniy Stepanov49e26252014-03-14 08:58:04 +00002617 EmitInstruction(Inst, Operands, Out);
Chad Rosierf4e35dc2012-10-01 23:45:51 +00002618 Opcode = Inst.getOpcode();
Daniel Dunbar9b816a12010-05-04 16:12:42 +00002619 return false;
Chris Lattnerb44fd242010-09-29 01:42:58 +00002620 }
Daniel Dunbar9b816a12010-05-04 16:12:42 +00002621
Chris Lattnerb4be28f2010-09-06 20:08:02 +00002622 // Otherwise, the match failed, try to produce a decent error message.
Daniel Dunbar2ecc3bb2010-08-12 00:55:38 +00002623
Daniel Dunbar7d7b4d12010-08-12 00:55:42 +00002624 // If we had multiple suffix matches, then identify this as an ambiguous
2625 // match.
Chris Lattnerb4be28f2010-09-06 20:08:02 +00002626 if (NumSuccessfulMatches > 1) {
Daniel Dunbar7d7b4d12010-08-12 00:55:42 +00002627 char MatchChars[4];
2628 unsigned NumMatches = 0;
Reid Kleckner7b1e1a02014-07-30 22:23:11 +00002629 for (unsigned I = 0, E = array_lengthof(Match); I != E; ++I)
2630 if (Match[I] == Match_Success)
2631 MatchChars[NumMatches++] = Suffixes[I];
Daniel Dunbar7d7b4d12010-08-12 00:55:42 +00002632
Alp Tokere69170a2014-06-26 22:52:05 +00002633 SmallString<126> Msg;
2634 raw_svector_ostream OS(Msg);
Daniel Dunbar7d7b4d12010-08-12 00:55:42 +00002635 OS << "ambiguous instructions require an explicit suffix (could be ";
2636 for (unsigned i = 0; i != NumMatches; ++i) {
2637 if (i != 0)
2638 OS << ", ";
2639 if (i + 1 == NumMatches)
2640 OS << "or ";
2641 OS << "'" << Base << MatchChars[i] << "'";
2642 }
2643 OS << ")";
Chad Rosier4453e842012-10-12 23:09:25 +00002644 Error(IDLoc, OS.str(), EmptyRanges, MatchingInlineAsm);
Chris Lattnerb4be28f2010-09-06 20:08:02 +00002645 return true;
Daniel Dunbar7d7b4d12010-08-12 00:55:42 +00002646 }
Michael J. Spencer530ce852010-10-09 11:00:50 +00002647
Chris Lattner628fbec2010-09-06 21:54:15 +00002648 // Okay, we know that none of the variants matched successfully.
Michael J. Spencer530ce852010-10-09 11:00:50 +00002649
Chris Lattner628fbec2010-09-06 21:54:15 +00002650 // If all of the instructions reported an invalid mnemonic, then the original
2651 // mnemonic was invalid.
Reid Kleckner7b1e1a02014-07-30 22:23:11 +00002652 if (std::count(std::begin(Match), std::end(Match), Match_MnemonicFail) == 4) {
Chris Lattner339cc7b2010-09-06 22:11:18 +00002653 if (!WasOriginallyInvalidOperand) {
David Blaikie960ea3f2014-06-08 16:18:35 +00002654 ArrayRef<SMRange> Ranges =
2655 MatchingInlineAsm ? EmptyRanges : Op.getLocRange();
Benjamin Kramerd416bae2011-10-16 11:28:29 +00002656 return Error(IDLoc, "invalid instruction mnemonic '" + Base + "'",
Chad Rosier4453e842012-10-12 23:09:25 +00002657 Ranges, MatchingInlineAsm);
Chris Lattner339cc7b2010-09-06 22:11:18 +00002658 }
2659
2660 // Recover location info for the operand if we know which was the problem.
Tim Northover26bb14e2014-08-18 11:49:42 +00002661 if (ErrorInfo != ~0ULL) {
Chad Rosier49963552012-10-13 00:26:04 +00002662 if (ErrorInfo >= Operands.size())
Chad Rosier3d4bc622012-08-21 19:36:59 +00002663 return Error(IDLoc, "too few operands for instruction",
Chad Rosier4453e842012-10-12 23:09:25 +00002664 EmptyRanges, MatchingInlineAsm);
Michael J. Spencer530ce852010-10-09 11:00:50 +00002665
David Blaikie960ea3f2014-06-08 16:18:35 +00002666 X86Operand &Operand = (X86Operand &)*Operands[ErrorInfo];
2667 if (Operand.getStartLoc().isValid()) {
2668 SMRange OperandRange = Operand.getLocRange();
2669 return Error(Operand.getStartLoc(), "invalid operand for instruction",
Chad Rosier4453e842012-10-12 23:09:25 +00002670 OperandRange, MatchingInlineAsm);
Chris Lattnera3a06812011-10-16 04:47:35 +00002671 }
Chris Lattner339cc7b2010-09-06 22:11:18 +00002672 }
2673
Chad Rosier3d4bc622012-08-21 19:36:59 +00002674 return Error(IDLoc, "invalid operand for instruction", EmptyRanges,
Chad Rosier4453e842012-10-12 23:09:25 +00002675 MatchingInlineAsm);
Chris Lattner628fbec2010-09-06 21:54:15 +00002676 }
Michael J. Spencer530ce852010-10-09 11:00:50 +00002677
Chris Lattnerb4be28f2010-09-06 20:08:02 +00002678 // If one instruction matched with a missing feature, report this as a
2679 // missing feature.
Reid Kleckner7b1e1a02014-07-30 22:23:11 +00002680 if (std::count(std::begin(Match), std::end(Match),
2681 Match_MissingFeature) == 1) {
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002682 ErrorInfo = ErrorInfoMissingFeature;
2683 return ErrorMissingFeature(IDLoc, ErrorInfoMissingFeature,
2684 MatchingInlineAsm);
Chris Lattnerb4be28f2010-09-06 20:08:02 +00002685 }
Michael J. Spencer530ce852010-10-09 11:00:50 +00002686
Chris Lattner628fbec2010-09-06 21:54:15 +00002687 // If one instruction matched with an invalid operand, report this as an
2688 // operand failure.
Reid Kleckner7b1e1a02014-07-30 22:23:11 +00002689 if (std::count(std::begin(Match), std::end(Match),
2690 Match_InvalidOperand) == 1) {
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002691 return Error(IDLoc, "invalid operand for instruction", EmptyRanges,
2692 MatchingInlineAsm);
Chris Lattner628fbec2010-09-06 21:54:15 +00002693 }
Michael J. Spencer530ce852010-10-09 11:00:50 +00002694
Chris Lattnerb4be28f2010-09-06 20:08:02 +00002695 // If all of these were an outright failure, report it in a useless way.
Chad Rosier3d4bc622012-08-21 19:36:59 +00002696 Error(IDLoc, "unknown use of instruction mnemonic without a size suffix",
Chad Rosier4453e842012-10-12 23:09:25 +00002697 EmptyRanges, MatchingInlineAsm);
Daniel Dunbar9b816a12010-05-04 16:12:42 +00002698 return true;
2699}
2700
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002701bool X86AsmParser::MatchAndEmitIntelInstruction(SMLoc IDLoc, unsigned &Opcode,
2702 OperandVector &Operands,
2703 MCStreamer &Out,
2704 uint64_t &ErrorInfo,
2705 bool MatchingInlineAsm) {
2706 assert(!Operands.empty() && "Unexpect empty operand list!");
2707 X86Operand &Op = static_cast<X86Operand &>(*Operands[0]);
2708 assert(Op.isToken() && "Leading operand should always be a mnemonic!");
2709 StringRef Mnemonic = Op.getToken();
2710 ArrayRef<SMRange> EmptyRanges = None;
2711
2712 // First, handle aliases that expand to multiple instructions.
2713 MatchFPUWaitAlias(IDLoc, Op, Operands, Out, MatchingInlineAsm);
2714
2715 MCInst Inst;
2716
2717 // Find one unsized memory operand, if present.
2718 X86Operand *UnsizedMemOp = nullptr;
2719 for (const auto &Op : Operands) {
2720 X86Operand *X86Op = static_cast<X86Operand *>(Op.get());
Reid Kleckner7b7a5992014-08-27 20:10:38 +00002721 if (X86Op->isMemUnsized())
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002722 UnsizedMemOp = X86Op;
2723 }
2724
2725 // Allow some instructions to have implicitly pointer-sized operands. This is
2726 // compatible with gas.
2727 if (UnsizedMemOp) {
2728 static const char *const PtrSizedInstrs[] = {"call", "jmp", "push"};
2729 for (const char *Instr : PtrSizedInstrs) {
2730 if (Mnemonic == Instr) {
Craig Topper055845f2015-01-02 07:02:25 +00002731 UnsizedMemOp->Mem.Size = getPointerWidth();
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002732 break;
2733 }
2734 }
2735 }
2736
2737 // If an unsized memory operand is present, try to match with each memory
2738 // operand size. In Intel assembly, the size is not part of the instruction
2739 // mnemonic.
2740 SmallVector<unsigned, 8> Match;
2741 uint64_t ErrorInfoMissingFeature = 0;
2742 if (UnsizedMemOp && UnsizedMemOp->isMemUnsized()) {
Ahmed Bougachad65f7872014-12-03 02:03:26 +00002743 static const unsigned MopSizes[] = {8, 16, 32, 64, 80, 128, 256, 512};
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002744 for (unsigned Size : MopSizes) {
2745 UnsizedMemOp->Mem.Size = Size;
2746 uint64_t ErrorInfoIgnore;
Reid Kleckner7b7a5992014-08-27 20:10:38 +00002747 unsigned LastOpcode = Inst.getOpcode();
2748 unsigned M =
2749 MatchInstructionImpl(Operands, Inst, ErrorInfoIgnore,
2750 MatchingInlineAsm, isParsingIntelSyntax());
2751 if (Match.empty() || LastOpcode != Inst.getOpcode())
2752 Match.push_back(M);
2753
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002754 // If this returned as a missing feature failure, remember that.
2755 if (Match.back() == Match_MissingFeature)
2756 ErrorInfoMissingFeature = ErrorInfoIgnore;
2757 }
Reid Kleckner7b7a5992014-08-27 20:10:38 +00002758
2759 // Restore the size of the unsized memory operand if we modified it.
2760 if (UnsizedMemOp)
2761 UnsizedMemOp->Mem.Size = 0;
2762 }
2763
2764 // If we haven't matched anything yet, this is not a basic integer or FPU
Saleem Abdulrasoolc3f8ad32015-01-16 20:16:06 +00002765 // operation. There shouldn't be any ambiguity in our mnemonic table, so try
Reid Kleckner7b7a5992014-08-27 20:10:38 +00002766 // matching with the unsized operand.
2767 if (Match.empty()) {
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002768 Match.push_back(MatchInstructionImpl(Operands, Inst, ErrorInfo,
2769 MatchingInlineAsm,
2770 isParsingIntelSyntax()));
2771 // If this returned as a missing feature failure, remember that.
2772 if (Match.back() == Match_MissingFeature)
2773 ErrorInfoMissingFeature = ErrorInfo;
2774 }
2775
2776 // Restore the size of the unsized memory operand if we modified it.
2777 if (UnsizedMemOp)
2778 UnsizedMemOp->Mem.Size = 0;
2779
2780 // If it's a bad mnemonic, all results will be the same.
2781 if (Match.back() == Match_MnemonicFail) {
2782 ArrayRef<SMRange> Ranges =
2783 MatchingInlineAsm ? EmptyRanges : Op.getLocRange();
2784 return Error(IDLoc, "invalid instruction mnemonic '" + Mnemonic + "'",
2785 Ranges, MatchingInlineAsm);
2786 }
2787
2788 // If exactly one matched, then we treat that as a successful match (and the
2789 // instruction will already have been filled in correctly, since the failing
2790 // matches won't have modified it).
2791 unsigned NumSuccessfulMatches =
2792 std::count(std::begin(Match), std::end(Match), Match_Success);
2793 if (NumSuccessfulMatches == 1) {
Saleem Abdulrasoolca24b1d2015-01-14 05:10:21 +00002794 if (!validateInstruction(Inst, Operands))
2795 return true;
2796
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002797 // Some instructions need post-processing to, for example, tweak which
2798 // encoding is selected. Loop on it while changes happen so the individual
2799 // transformations can chain off each other.
2800 if (!MatchingInlineAsm)
2801 while (processInstruction(Inst, Operands))
2802 ;
2803 Inst.setLoc(IDLoc);
2804 if (!MatchingInlineAsm)
2805 EmitInstruction(Inst, Operands, Out);
2806 Opcode = Inst.getOpcode();
2807 return false;
2808 } else if (NumSuccessfulMatches > 1) {
2809 assert(UnsizedMemOp &&
2810 "multiple matches only possible with unsized memory operands");
2811 ArrayRef<SMRange> Ranges =
2812 MatchingInlineAsm ? EmptyRanges : UnsizedMemOp->getLocRange();
2813 return Error(UnsizedMemOp->getStartLoc(),
2814 "ambiguous operand size for instruction '" + Mnemonic + "\'",
2815 Ranges, MatchingInlineAsm);
2816 }
2817
2818 // If one instruction matched with a missing feature, report this as a
2819 // missing feature.
2820 if (std::count(std::begin(Match), std::end(Match),
2821 Match_MissingFeature) == 1) {
2822 ErrorInfo = ErrorInfoMissingFeature;
2823 return ErrorMissingFeature(IDLoc, ErrorInfoMissingFeature,
2824 MatchingInlineAsm);
2825 }
2826
2827 // If one instruction matched with an invalid operand, report this as an
2828 // operand failure.
2829 if (std::count(std::begin(Match), std::end(Match),
2830 Match_InvalidOperand) == 1) {
2831 return Error(IDLoc, "invalid operand for instruction", EmptyRanges,
2832 MatchingInlineAsm);
2833 }
2834
2835 // If all of these were an outright failure, report it in a useless way.
2836 return Error(IDLoc, "unknown instruction mnemonic", EmptyRanges,
2837 MatchingInlineAsm);
2838}
2839
Nico Weber42f79db2014-07-17 20:24:55 +00002840bool X86AsmParser::OmitRegisterFromClobberLists(unsigned RegNo) {
2841 return X86MCRegisterClasses[X86::SEGMENT_REGRegClassID].contains(RegNo);
2842}
Daniel Dunbar9b816a12010-05-04 16:12:42 +00002843
Devang Patel4a6e7782012-01-12 18:03:40 +00002844bool X86AsmParser::ParseDirective(AsmToken DirectiveID) {
Rafael Espindola961d4692014-11-11 05:18:41 +00002845 MCAsmParser &Parser = getParser();
Chris Lattner72c0b592010-10-30 17:38:55 +00002846 StringRef IDVal = DirectiveID.getIdentifier();
2847 if (IDVal == ".word")
2848 return ParseDirectiveWord(2, DirectiveID.getLoc());
Evan Cheng481ebb02011-07-27 00:38:12 +00002849 else if (IDVal.startswith(".code"))
2850 return ParseDirectiveCode(IDVal, DirectiveID.getLoc());
Chad Rosier6f8d8b22012-09-10 20:54:39 +00002851 else if (IDVal.startswith(".att_syntax")) {
Reid Klecknerce63b792014-08-06 23:21:13 +00002852 if (getLexer().isNot(AsmToken::EndOfStatement)) {
2853 if (Parser.getTok().getString() == "prefix")
2854 Parser.Lex();
2855 else if (Parser.getTok().getString() == "noprefix")
2856 return Error(DirectiveID.getLoc(), "'.att_syntax noprefix' is not "
2857 "supported: registers must have a "
2858 "'%' prefix in .att_syntax");
2859 }
Chad Rosier6f8d8b22012-09-10 20:54:39 +00002860 getParser().setAssemblerDialect(0);
2861 return false;
2862 } else if (IDVal.startswith(".intel_syntax")) {
Devang Patela173ee52012-01-31 18:14:05 +00002863 getParser().setAssemblerDialect(1);
Devang Patel9a9bb5c2012-01-30 20:02:42 +00002864 if (getLexer().isNot(AsmToken::EndOfStatement)) {
Saleem Abdulrasoola6505ca2014-01-13 01:15:39 +00002865 if (Parser.getTok().getString() == "noprefix")
Craig Topper6bf3ed42012-07-18 04:59:16 +00002866 Parser.Lex();
Reid Klecknerce63b792014-08-06 23:21:13 +00002867 else if (Parser.getTok().getString() == "prefix")
2868 return Error(DirectiveID.getLoc(), "'.intel_syntax prefix' is not "
2869 "supported: registers must not have "
2870 "a '%' prefix in .intel_syntax");
Devang Patel9a9bb5c2012-01-30 20:02:42 +00002871 }
2872 return false;
2873 }
Chris Lattner72c0b592010-10-30 17:38:55 +00002874 return true;
2875}
2876
2877/// ParseDirectiveWord
2878/// ::= .word [ expression (, expression)* ]
Devang Patel4a6e7782012-01-12 18:03:40 +00002879bool X86AsmParser::ParseDirectiveWord(unsigned Size, SMLoc L) {
Rafael Espindola961d4692014-11-11 05:18:41 +00002880 MCAsmParser &Parser = getParser();
Chris Lattner72c0b592010-10-30 17:38:55 +00002881 if (getLexer().isNot(AsmToken::EndOfStatement)) {
2882 for (;;) {
2883 const MCExpr *Value;
Jim Grosbachd2037eb2013-02-20 22:21:35 +00002884 if (getParser().parseExpression(Value))
Saleem Abdulrasoola6505ca2014-01-13 01:15:39 +00002885 return false;
Chad Rosier51afe632012-06-27 22:34:28 +00002886
Eric Christopherbf7bc492013-01-09 03:52:05 +00002887 getParser().getStreamer().EmitValue(Value, Size);
Chad Rosier51afe632012-06-27 22:34:28 +00002888
Chris Lattner72c0b592010-10-30 17:38:55 +00002889 if (getLexer().is(AsmToken::EndOfStatement))
2890 break;
Chad Rosier51afe632012-06-27 22:34:28 +00002891
Chris Lattner72c0b592010-10-30 17:38:55 +00002892 // FIXME: Improve diagnostic.
Saleem Abdulrasoola6505ca2014-01-13 01:15:39 +00002893 if (getLexer().isNot(AsmToken::Comma)) {
2894 Error(L, "unexpected token in directive");
2895 return false;
2896 }
Chris Lattner72c0b592010-10-30 17:38:55 +00002897 Parser.Lex();
2898 }
2899 }
Chad Rosier51afe632012-06-27 22:34:28 +00002900
Chris Lattner72c0b592010-10-30 17:38:55 +00002901 Parser.Lex();
2902 return false;
2903}
2904
Evan Cheng481ebb02011-07-27 00:38:12 +00002905/// ParseDirectiveCode
Craig Topper3c80d622014-01-06 04:55:54 +00002906/// ::= .code16 | .code32 | .code64
Devang Patel4a6e7782012-01-12 18:03:40 +00002907bool X86AsmParser::ParseDirectiveCode(StringRef IDVal, SMLoc L) {
Rafael Espindola961d4692014-11-11 05:18:41 +00002908 MCAsmParser &Parser = getParser();
Craig Topper3c80d622014-01-06 04:55:54 +00002909 if (IDVal == ".code16") {
Evan Cheng481ebb02011-07-27 00:38:12 +00002910 Parser.Lex();
Craig Topper3c80d622014-01-06 04:55:54 +00002911 if (!is16BitMode()) {
2912 SwitchMode(X86::Mode16Bit);
2913 getParser().getStreamer().EmitAssemblerFlag(MCAF_Code16);
2914 }
Saleem Abdulrasoola6505ca2014-01-13 01:15:39 +00002915 } else if (IDVal == ".code32") {
Craig Topper3c80d622014-01-06 04:55:54 +00002916 Parser.Lex();
2917 if (!is32BitMode()) {
2918 SwitchMode(X86::Mode32Bit);
Evan Cheng481ebb02011-07-27 00:38:12 +00002919 getParser().getStreamer().EmitAssemblerFlag(MCAF_Code32);
2920 }
2921 } else if (IDVal == ".code64") {
2922 Parser.Lex();
2923 if (!is64BitMode()) {
Craig Topper3c80d622014-01-06 04:55:54 +00002924 SwitchMode(X86::Mode64Bit);
Evan Cheng481ebb02011-07-27 00:38:12 +00002925 getParser().getStreamer().EmitAssemblerFlag(MCAF_Code64);
2926 }
2927 } else {
Saleem Abdulrasoola6505ca2014-01-13 01:15:39 +00002928 Error(L, "unknown directive " + IDVal);
2929 return false;
Evan Cheng481ebb02011-07-27 00:38:12 +00002930 }
Chris Lattner72c0b592010-10-30 17:38:55 +00002931
Evan Cheng481ebb02011-07-27 00:38:12 +00002932 return false;
2933}
Chris Lattner72c0b592010-10-30 17:38:55 +00002934
Daniel Dunbar71475772009-07-17 20:42:00 +00002935// Force static initialization.
2936extern "C" void LLVMInitializeX86AsmParser() {
Devang Patel4a6e7782012-01-12 18:03:40 +00002937 RegisterMCAsmParser<X86AsmParser> X(TheX86_32Target);
2938 RegisterMCAsmParser<X86AsmParser> Y(TheX86_64Target);
Daniel Dunbar71475772009-07-17 20:42:00 +00002939}
Daniel Dunbar00331992009-07-29 00:02:19 +00002940
Chris Lattner3e4582a2010-09-06 19:11:01 +00002941#define GET_REGISTER_MATCHER
2942#define GET_MATCHER_IMPLEMENTATION
Jim Grosbach6f1f41b2012-11-14 18:04:47 +00002943#define GET_SUBTARGET_FEATURE_NAME
Daniel Dunbar00331992009-07-29 00:02:19 +00002944#include "X86GenAsmMatcher.inc"