blob: 1c2004f6ee5d8ffbb27639e4c87b41db47e0d3a5 [file] [log] [blame]
Sean Callanand32c02f2010-02-09 21:50:41 +00001//===- AsmWriterInst.h - Classes encapsulating a printable inst -----------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// These classes implement a parser for assembly strings.
11//
12//===----------------------------------------------------------------------===//
13
14#include "AsmWriterInst.h"
15#include "CodeGenTarget.h"
Sean Callanand32c02f2010-02-09 21:50:41 +000016#include "llvm/ADT/StringExtras.h"
Joerg Sonnenberger61131ab2012-10-25 20:33:17 +000017#include "llvm/TableGen/Error.h"
Peter Collingbourne7c788882011-10-01 16:41:13 +000018#include "llvm/TableGen/Record.h"
Sean Callanand32c02f2010-02-09 21:50:41 +000019
20using namespace llvm;
21
22static bool isIdentChar(char C) {
23 return (C >= 'a' && C <= 'z') ||
24 (C >= 'A' && C <= 'Z') ||
25 (C >= '0' && C <= '9') ||
26 C == '_';
27}
28
29std::string AsmWriterOperand::getCode() const {
30 if (OperandType == isLiteralTextOperand) {
31 if (Str.size() == 1)
32 return "O << '" + Str + "'; ";
33 return "O << \"" + Str + "\"; ";
34 }
Craig Topper00f94952013-07-23 06:25:00 +000035
Sean Callanand32c02f2010-02-09 21:50:41 +000036 if (OperandType == isLiteralStatementOperand)
37 return Str;
Craig Topper00f94952013-07-23 06:25:00 +000038
Sean Callanand32c02f2010-02-09 21:50:41 +000039 std::string Result = Str + "(MI";
40 if (MIOpNo != ~0U)
41 Result += ", " + utostr(MIOpNo);
Chris Lattner35c33bd2010-04-04 04:47:45 +000042 Result += ", O";
Sean Callanand32c02f2010-02-09 21:50:41 +000043 if (!MiModifier.empty())
44 Result += ", \"" + MiModifier + '"';
45 return Result + "); ";
46}
47
48/// ParseAsmString - Parse the specified Instruction's AsmString into this
49/// AsmWriterInst.
50///
Sean Callanand0bc7f02010-02-09 23:06:35 +000051AsmWriterInst::AsmWriterInst(const CodeGenInstruction &CGI,
52 unsigned Variant,
53 int FirstOperandColumn,
54 int OperandSpacing) {
Sean Callanand32c02f2010-02-09 21:50:41 +000055 this->CGI = &CGI;
Craig Topper00f94952013-07-23 06:25:00 +000056
Sean Callanand32c02f2010-02-09 21:50:41 +000057 // This is the number of tabs we've seen if we're doing columnar layout.
58 unsigned CurColumn = 0;
Craig Topper00f94952013-07-23 06:25:00 +000059
60
61 // NOTE: Any extensions to this code need to be mirrored in the
Sean Callanand32c02f2010-02-09 21:50:41 +000062 // AsmPrinter::printInlineAsm code that executes as compile time (assuming
63 // that inline asm strings should also get the new feature)!
Chris Lattner4d43d0f2010-11-01 01:07:14 +000064 std::string AsmString = CGI.FlattenAsmStringVariants(CGI.AsmString, Variant);
Sean Callanand32c02f2010-02-09 21:50:41 +000065 std::string::size_type LastEmitted = 0;
66 while (LastEmitted != AsmString.size()) {
67 std::string::size_type DollarPos =
Chris Lattner4d43d0f2010-11-01 01:07:14 +000068 AsmString.find_first_of("$\\", LastEmitted);
Sean Callanand32c02f2010-02-09 21:50:41 +000069 if (DollarPos == std::string::npos) DollarPos = AsmString.size();
Craig Topper00f94952013-07-23 06:25:00 +000070
Sean Callanand32c02f2010-02-09 21:50:41 +000071 // Emit a constant string fragment.
Sean Callanand32c02f2010-02-09 21:50:41 +000072 if (DollarPos != LastEmitted) {
Chris Lattner4d43d0f2010-11-01 01:07:14 +000073 for (; LastEmitted != DollarPos; ++LastEmitted)
74 switch (AsmString[LastEmitted]) {
75 case '\n':
76 AddLiteralString("\\n");
77 break;
78 case '\t':
79 // If the asm writer is not using a columnar layout, \t is not
80 // magic.
81 if (FirstOperandColumn == -1 || OperandSpacing == -1) {
82 AddLiteralString("\\t");
83 } else {
84 // We recognize a tab as an operand delimeter.
Craig Topper00f94952013-07-23 06:25:00 +000085 unsigned DestColumn = FirstOperandColumn +
Chris Lattner4d43d0f2010-11-01 01:07:14 +000086 CurColumn++ * OperandSpacing;
87 Operands.push_back(
88 AsmWriterOperand(
89 "O.PadToColumn(" +
90 utostr(DestColumn) + ");\n",
91 AsmWriterOperand::isLiteralStatementOperand));
92 }
93 break;
94 case '"':
95 AddLiteralString("\\\"");
96 break;
97 case '\\':
98 AddLiteralString("\\\\");
99 break;
100 default:
101 AddLiteralString(std::string(1, AsmString[LastEmitted]));
102 break;
103 }
Sean Callanand32c02f2010-02-09 21:50:41 +0000104 } else if (AsmString[DollarPos] == '\\') {
Chris Lattner4d43d0f2010-11-01 01:07:14 +0000105 if (DollarPos+1 != AsmString.size()) {
Sean Callanand32c02f2010-02-09 21:50:41 +0000106 if (AsmString[DollarPos+1] == 'n') {
107 AddLiteralString("\\n");
108 } else if (AsmString[DollarPos+1] == 't') {
109 // If the asm writer is not using a columnar layout, \t is not
110 // magic.
111 if (FirstOperandColumn == -1 || OperandSpacing == -1) {
112 AddLiteralString("\\t");
113 break;
114 }
Craig Topper00f94952013-07-23 06:25:00 +0000115
Sean Callanand32c02f2010-02-09 21:50:41 +0000116 // We recognize a tab as an operand delimeter.
Craig Topper00f94952013-07-23 06:25:00 +0000117 unsigned DestColumn = FirstOperandColumn +
Sean Callanand32c02f2010-02-09 21:50:41 +0000118 CurColumn++ * OperandSpacing;
119 Operands.push_back(
Sean Callanand0bc7f02010-02-09 23:06:35 +0000120 AsmWriterOperand("O.PadToColumn(" + utostr(DestColumn) + ");\n",
121 AsmWriterOperand::isLiteralStatementOperand));
Sean Callanand32c02f2010-02-09 21:50:41 +0000122 break;
Craig Topper00f94952013-07-23 06:25:00 +0000123 } else if (std::string("${|}\\").find(AsmString[DollarPos+1])
Sean Callanand32c02f2010-02-09 21:50:41 +0000124 != std::string::npos) {
125 AddLiteralString(std::string(1, AsmString[DollarPos+1]));
126 } else {
Joerg Sonnenberger61131ab2012-10-25 20:33:17 +0000127 PrintFatalError("Non-supported escaped character found in instruction '" +
128 CGI.TheDef->getName() + "'!");
Sean Callanand32c02f2010-02-09 21:50:41 +0000129 }
130 LastEmitted = DollarPos+2;
131 continue;
132 }
Sean Callanand32c02f2010-02-09 21:50:41 +0000133 } else if (DollarPos+1 != AsmString.size() &&
134 AsmString[DollarPos+1] == '$') {
Chris Lattner4d43d0f2010-11-01 01:07:14 +0000135 AddLiteralString("$"); // "$$" -> $
Sean Callanand32c02f2010-02-09 21:50:41 +0000136 LastEmitted = DollarPos+2;
137 } else {
138 // Get the name of the variable.
139 std::string::size_type VarEnd = DollarPos+1;
Craig Topper00f94952013-07-23 06:25:00 +0000140
Sean Callanand32c02f2010-02-09 21:50:41 +0000141 // handle ${foo}bar as $foo by detecting whether the character following
142 // the dollar sign is a curly brace. If so, advance VarEnd and DollarPos
143 // so the variable name does not contain the leading curly brace.
144 bool hasCurlyBraces = false;
145 if (VarEnd < AsmString.size() && '{' == AsmString[VarEnd]) {
146 hasCurlyBraces = true;
147 ++DollarPos;
148 ++VarEnd;
149 }
Craig Topper00f94952013-07-23 06:25:00 +0000150
Sean Callanand32c02f2010-02-09 21:50:41 +0000151 while (VarEnd < AsmString.size() && isIdentChar(AsmString[VarEnd]))
152 ++VarEnd;
153 std::string VarName(AsmString.begin()+DollarPos+1,
154 AsmString.begin()+VarEnd);
Craig Topper00f94952013-07-23 06:25:00 +0000155
Sean Callanand32c02f2010-02-09 21:50:41 +0000156 // Modifier - Support ${foo:modifier} syntax, where "modifier" is passed
157 // into printOperand. Also support ${:feature}, which is passed into
158 // PrintSpecial.
159 std::string Modifier;
Craig Topper00f94952013-07-23 06:25:00 +0000160
Sean Callanand32c02f2010-02-09 21:50:41 +0000161 // In order to avoid starting the next string at the terminating curly
162 // brace, advance the end position past it if we found an opening curly
163 // brace.
164 if (hasCurlyBraces) {
165 if (VarEnd >= AsmString.size())
Joerg Sonnenberger61131ab2012-10-25 20:33:17 +0000166 PrintFatalError("Reached end of string before terminating curly brace in '"
167 + CGI.TheDef->getName() + "'");
Craig Topper00f94952013-07-23 06:25:00 +0000168
Sean Callanand32c02f2010-02-09 21:50:41 +0000169 // Look for a modifier string.
170 if (AsmString[VarEnd] == ':') {
171 ++VarEnd;
172 if (VarEnd >= AsmString.size())
Joerg Sonnenberger61131ab2012-10-25 20:33:17 +0000173 PrintFatalError("Reached end of string before terminating curly brace in '"
174 + CGI.TheDef->getName() + "'");
Craig Topper00f94952013-07-23 06:25:00 +0000175
Sean Callanand32c02f2010-02-09 21:50:41 +0000176 unsigned ModifierStart = VarEnd;
177 while (VarEnd < AsmString.size() && isIdentChar(AsmString[VarEnd]))
178 ++VarEnd;
179 Modifier = std::string(AsmString.begin()+ModifierStart,
180 AsmString.begin()+VarEnd);
181 if (Modifier.empty())
Joerg Sonnenberger61131ab2012-10-25 20:33:17 +0000182 PrintFatalError("Bad operand modifier name in '"+ CGI.TheDef->getName() + "'");
Sean Callanand32c02f2010-02-09 21:50:41 +0000183 }
Craig Topper00f94952013-07-23 06:25:00 +0000184
Sean Callanand32c02f2010-02-09 21:50:41 +0000185 if (AsmString[VarEnd] != '}')
Joerg Sonnenberger61131ab2012-10-25 20:33:17 +0000186 PrintFatalError("Variable name beginning with '{' did not end with '}' in '"
187 + CGI.TheDef->getName() + "'");
Sean Callanand32c02f2010-02-09 21:50:41 +0000188 ++VarEnd;
189 }
190 if (VarName.empty() && Modifier.empty())
Joerg Sonnenberger61131ab2012-10-25 20:33:17 +0000191 PrintFatalError("Stray '$' in '" + CGI.TheDef->getName() +
192 "' asm string, maybe you want $$?");
Craig Topper00f94952013-07-23 06:25:00 +0000193
Sean Callanand32c02f2010-02-09 21:50:41 +0000194 if (VarName.empty()) {
195 // Just a modifier, pass this into PrintSpecial.
Craig Topper00f94952013-07-23 06:25:00 +0000196 Operands.push_back(AsmWriterOperand("PrintSpecial",
197 ~0U,
198 ~0U,
Sean Callanan397170b2010-02-10 02:27:43 +0000199 Modifier));
Sean Callanand32c02f2010-02-09 21:50:41 +0000200 } else {
201 // Otherwise, normal operand.
Chris Lattnerc240bb02010-11-01 04:03:32 +0000202 unsigned OpNo = CGI.Operands.getOperandNamed(VarName);
203 CGIOperandList::OperandInfo OpInfo = CGI.Operands[OpNo];
Craig Topper00f94952013-07-23 06:25:00 +0000204
Chris Lattner4d43d0f2010-11-01 01:07:14 +0000205 unsigned MIOp = OpInfo.MIOperandNo;
Craig Topper00f94952013-07-23 06:25:00 +0000206 Operands.push_back(AsmWriterOperand(OpInfo.PrinterMethodName,
Chris Lattner4d43d0f2010-11-01 01:07:14 +0000207 OpNo, MIOp, Modifier));
Sean Callanand32c02f2010-02-09 21:50:41 +0000208 }
209 LastEmitted = VarEnd;
210 }
211 }
Craig Topper00f94952013-07-23 06:25:00 +0000212
Sean Callanand32c02f2010-02-09 21:50:41 +0000213 Operands.push_back(AsmWriterOperand("return;",
Sean Callanand0bc7f02010-02-09 23:06:35 +0000214 AsmWriterOperand::isLiteralStatementOperand));
Sean Callanand32c02f2010-02-09 21:50:41 +0000215}
216
217/// MatchesAllButOneOp - If this instruction is exactly identical to the
218/// specified instruction except for one differing operand, return the differing
219/// operand number. If more than one operand mismatches, return ~1, otherwise
220/// if the instructions are identical return ~0.
221unsigned AsmWriterInst::MatchesAllButOneOp(const AsmWriterInst &Other)const{
222 if (Operands.size() != Other.Operands.size()) return ~1;
Craig Topper00f94952013-07-23 06:25:00 +0000223
Sean Callanand32c02f2010-02-09 21:50:41 +0000224 unsigned MismatchOperand = ~0U;
225 for (unsigned i = 0, e = Operands.size(); i != e; ++i) {
226 if (Operands[i] != Other.Operands[i]) {
227 if (MismatchOperand != ~0U) // Already have one mismatch?
228 return ~1U;
Craig Topper349d6a72013-07-23 06:27:36 +0000229 MismatchOperand = i;
Sean Callanand32c02f2010-02-09 21:50:41 +0000230 }
231 }
232 return MismatchOperand;
Sean Callanand0bc7f02010-02-09 23:06:35 +0000233}