blob: 2c19e5d663d66e81c0262018f9b74639a9a06257 [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
Craig Topperefefcdd2016-01-14 06:15:07 +000029std::string AsmWriterOperand::getCode(bool PassSubtarget) const {
Sean Callanand32c02f2010-02-09 21:50:41 +000030 if (OperandType == isLiteralTextOperand) {
31 if (Str.size() == 1)
Craig Topperb2e58d72016-01-11 02:11:36 +000032 return "O << '" + Str + "';";
33 return "O << \"" + Str + "\";";
Sean Callanand32c02f2010-02-09 21:50:41 +000034 }
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);
Akira Hatanakaf0937832015-03-27 20:36:02 +000042 if (PassSubtarget)
43 Result += ", STI";
Chris Lattner35c33bd2010-04-04 04:47:45 +000044 Result += ", O";
Sean Callanand32c02f2010-02-09 21:50:41 +000045 if (!MiModifier.empty())
46 Result += ", \"" + MiModifier + '"';
Craig Topperb2e58d72016-01-11 02:11:36 +000047 return Result + ");";
Sean Callanand32c02f2010-02-09 21:50:41 +000048}
49
50/// ParseAsmString - Parse the specified Instruction's AsmString into this
51/// AsmWriterInst.
52///
Craig Topper73251b72016-01-17 08:05:33 +000053AsmWriterInst::AsmWriterInst(const CodeGenInstruction &CGI, unsigned CGIIndex,
54 unsigned Variant)
55 : CGI(&CGI), CGIIndex(CGIIndex) {
Craig Topper00f94952013-07-23 06:25:00 +000056
Craig Topper00f94952013-07-23 06:25:00 +000057 // NOTE: Any extensions to this code need to be mirrored in the
Sean Callanand32c02f2010-02-09 21:50:41 +000058 // AsmPrinter::printInlineAsm code that executes as compile time (assuming
59 // that inline asm strings should also get the new feature)!
Chris Lattner4d43d0f2010-11-01 01:07:14 +000060 std::string AsmString = CGI.FlattenAsmStringVariants(CGI.AsmString, Variant);
Sean Callanand32c02f2010-02-09 21:50:41 +000061 std::string::size_type LastEmitted = 0;
62 while (LastEmitted != AsmString.size()) {
63 std::string::size_type DollarPos =
Chris Lattner4d43d0f2010-11-01 01:07:14 +000064 AsmString.find_first_of("$\\", LastEmitted);
Sean Callanand32c02f2010-02-09 21:50:41 +000065 if (DollarPos == std::string::npos) DollarPos = AsmString.size();
Craig Topper00f94952013-07-23 06:25:00 +000066
Sean Callanand32c02f2010-02-09 21:50:41 +000067 // Emit a constant string fragment.
Sean Callanand32c02f2010-02-09 21:50:41 +000068 if (DollarPos != LastEmitted) {
Chris Lattner4d43d0f2010-11-01 01:07:14 +000069 for (; LastEmitted != DollarPos; ++LastEmitted)
70 switch (AsmString[LastEmitted]) {
71 case '\n':
72 AddLiteralString("\\n");
73 break;
74 case '\t':
Rafael Espindola79a11662013-12-02 05:10:04 +000075 AddLiteralString("\\t");
Chris Lattner4d43d0f2010-11-01 01:07:14 +000076 break;
77 case '"':
78 AddLiteralString("\\\"");
79 break;
80 case '\\':
81 AddLiteralString("\\\\");
82 break;
83 default:
84 AddLiteralString(std::string(1, AsmString[LastEmitted]));
85 break;
86 }
Sean Callanand32c02f2010-02-09 21:50:41 +000087 } else if (AsmString[DollarPos] == '\\') {
Chris Lattner4d43d0f2010-11-01 01:07:14 +000088 if (DollarPos+1 != AsmString.size()) {
Sean Callanand32c02f2010-02-09 21:50:41 +000089 if (AsmString[DollarPos+1] == 'n') {
90 AddLiteralString("\\n");
91 } else if (AsmString[DollarPos+1] == 't') {
Rafael Espindola79a11662013-12-02 05:10:04 +000092 AddLiteralString("\\t");
Craig Topper00f94952013-07-23 06:25:00 +000093 } else if (std::string("${|}\\").find(AsmString[DollarPos+1])
Sean Callanand32c02f2010-02-09 21:50:41 +000094 != std::string::npos) {
95 AddLiteralString(std::string(1, AsmString[DollarPos+1]));
96 } else {
Joerg Sonnenberger61131ab2012-10-25 20:33:17 +000097 PrintFatalError("Non-supported escaped character found in instruction '" +
98 CGI.TheDef->getName() + "'!");
Sean Callanand32c02f2010-02-09 21:50:41 +000099 }
100 LastEmitted = DollarPos+2;
101 continue;
102 }
Sean Callanand32c02f2010-02-09 21:50:41 +0000103 } else if (DollarPos+1 != AsmString.size() &&
104 AsmString[DollarPos+1] == '$') {
Chris Lattner4d43d0f2010-11-01 01:07:14 +0000105 AddLiteralString("$"); // "$$" -> $
Sean Callanand32c02f2010-02-09 21:50:41 +0000106 LastEmitted = DollarPos+2;
107 } else {
108 // Get the name of the variable.
109 std::string::size_type VarEnd = DollarPos+1;
Craig Topper00f94952013-07-23 06:25:00 +0000110
Sean Callanand32c02f2010-02-09 21:50:41 +0000111 // handle ${foo}bar as $foo by detecting whether the character following
112 // the dollar sign is a curly brace. If so, advance VarEnd and DollarPos
113 // so the variable name does not contain the leading curly brace.
114 bool hasCurlyBraces = false;
115 if (VarEnd < AsmString.size() && '{' == AsmString[VarEnd]) {
116 hasCurlyBraces = true;
117 ++DollarPos;
118 ++VarEnd;
119 }
Craig Topper00f94952013-07-23 06:25:00 +0000120
Sean Callanand32c02f2010-02-09 21:50:41 +0000121 while (VarEnd < AsmString.size() && isIdentChar(AsmString[VarEnd]))
122 ++VarEnd;
Craig Toppere0b4b2f2016-01-17 08:47:02 +0000123 StringRef VarName(AsmString.data()+DollarPos+1, VarEnd-DollarPos-1);
Craig Topper00f94952013-07-23 06:25:00 +0000124
Sean Callanand32c02f2010-02-09 21:50:41 +0000125 // Modifier - Support ${foo:modifier} syntax, where "modifier" is passed
126 // into printOperand. Also support ${:feature}, which is passed into
127 // PrintSpecial.
128 std::string Modifier;
Craig Topper00f94952013-07-23 06:25:00 +0000129
Sean Callanand32c02f2010-02-09 21:50:41 +0000130 // In order to avoid starting the next string at the terminating curly
131 // brace, advance the end position past it if we found an opening curly
132 // brace.
133 if (hasCurlyBraces) {
134 if (VarEnd >= AsmString.size())
Joerg Sonnenberger61131ab2012-10-25 20:33:17 +0000135 PrintFatalError("Reached end of string before terminating curly brace in '"
136 + CGI.TheDef->getName() + "'");
Craig Topper00f94952013-07-23 06:25:00 +0000137
Sean Callanand32c02f2010-02-09 21:50:41 +0000138 // Look for a modifier string.
139 if (AsmString[VarEnd] == ':') {
140 ++VarEnd;
141 if (VarEnd >= AsmString.size())
Joerg Sonnenberger61131ab2012-10-25 20:33:17 +0000142 PrintFatalError("Reached end of string before terminating curly brace in '"
143 + CGI.TheDef->getName() + "'");
Craig Topper00f94952013-07-23 06:25:00 +0000144
Craig Toppere0b4b2f2016-01-17 08:47:02 +0000145 std::string::size_type ModifierStart = VarEnd;
Sean Callanand32c02f2010-02-09 21:50:41 +0000146 while (VarEnd < AsmString.size() && isIdentChar(AsmString[VarEnd]))
147 ++VarEnd;
148 Modifier = std::string(AsmString.begin()+ModifierStart,
149 AsmString.begin()+VarEnd);
150 if (Modifier.empty())
Joerg Sonnenberger61131ab2012-10-25 20:33:17 +0000151 PrintFatalError("Bad operand modifier name in '"+ CGI.TheDef->getName() + "'");
Sean Callanand32c02f2010-02-09 21:50:41 +0000152 }
Craig Topper00f94952013-07-23 06:25:00 +0000153
Sean Callanand32c02f2010-02-09 21:50:41 +0000154 if (AsmString[VarEnd] != '}')
Joerg Sonnenberger61131ab2012-10-25 20:33:17 +0000155 PrintFatalError("Variable name beginning with '{' did not end with '}' in '"
156 + CGI.TheDef->getName() + "'");
Sean Callanand32c02f2010-02-09 21:50:41 +0000157 ++VarEnd;
158 }
159 if (VarName.empty() && Modifier.empty())
Joerg Sonnenberger61131ab2012-10-25 20:33:17 +0000160 PrintFatalError("Stray '$' in '" + CGI.TheDef->getName() +
161 "' asm string, maybe you want $$?");
Craig Topper00f94952013-07-23 06:25:00 +0000162
Sean Callanand32c02f2010-02-09 21:50:41 +0000163 if (VarName.empty()) {
164 // Just a modifier, pass this into PrintSpecial.
Craig Topper1c09f962016-01-22 05:59:37 +0000165 Operands.emplace_back("PrintSpecial", ~0U, Modifier);
Sean Callanand32c02f2010-02-09 21:50:41 +0000166 } else {
167 // Otherwise, normal operand.
Chris Lattnerc240bb02010-11-01 04:03:32 +0000168 unsigned OpNo = CGI.Operands.getOperandNamed(VarName);
169 CGIOperandList::OperandInfo OpInfo = CGI.Operands[OpNo];
Craig Topper00f94952013-07-23 06:25:00 +0000170
Chris Lattner4d43d0f2010-11-01 01:07:14 +0000171 unsigned MIOp = OpInfo.MIOperandNo;
Craig Topper1c09f962016-01-22 05:59:37 +0000172 Operands.emplace_back(OpInfo.PrinterMethodName, MIOp, Modifier);
Sean Callanand32c02f2010-02-09 21:50:41 +0000173 }
174 LastEmitted = VarEnd;
175 }
176 }
Craig Topper00f94952013-07-23 06:25:00 +0000177
Benjamin Kramer9589ff82015-05-29 19:43:39 +0000178 Operands.emplace_back("return;", AsmWriterOperand::isLiteralStatementOperand);
Sean Callanand32c02f2010-02-09 21:50:41 +0000179}
180
181/// MatchesAllButOneOp - If this instruction is exactly identical to the
182/// specified instruction except for one differing operand, return the differing
183/// operand number. If more than one operand mismatches, return ~1, otherwise
184/// if the instructions are identical return ~0.
185unsigned AsmWriterInst::MatchesAllButOneOp(const AsmWriterInst &Other)const{
186 if (Operands.size() != Other.Operands.size()) return ~1;
Craig Topper00f94952013-07-23 06:25:00 +0000187
Sean Callanand32c02f2010-02-09 21:50:41 +0000188 unsigned MismatchOperand = ~0U;
189 for (unsigned i = 0, e = Operands.size(); i != e; ++i) {
190 if (Operands[i] != Other.Operands[i]) {
191 if (MismatchOperand != ~0U) // Already have one mismatch?
192 return ~1U;
Craig Topper349d6a72013-07-23 06:27:36 +0000193 MismatchOperand = i;
Sean Callanand32c02f2010-02-09 21:50:41 +0000194 }
195 }
196 return MismatchOperand;
Sean Callanand0bc7f02010-02-09 23:06:35 +0000197}