MIR Serialization: Serialize the 'volatile' machine memory operand flag.
llvm-svn: 243923
diff --git a/llvm/lib/CodeGen/MIRParser/MILexer.cpp b/llvm/lib/CodeGen/MIRParser/MILexer.cpp
index 81cb9e7..adc72e2 100644
--- a/llvm/lib/CodeGen/MIRParser/MILexer.cpp
+++ b/llvm/lib/CodeGen/MIRParser/MILexer.cpp
@@ -156,6 +156,7 @@
.Case("x86_fp80", MIToken::kw_x86_fp80)
.Case("fp128", MIToken::kw_fp128)
.Case("ppc_fp128", MIToken::kw_ppc_fp128)
+ .Case("volatile", MIToken::kw_volatile)
.Default(MIToken::Identifier);
}
diff --git a/llvm/lib/CodeGen/MIRParser/MILexer.h b/llvm/lib/CodeGen/MIRParser/MILexer.h
index d33e049..ccf8ffe 100644
--- a/llvm/lib/CodeGen/MIRParser/MILexer.h
+++ b/llvm/lib/CodeGen/MIRParser/MILexer.h
@@ -61,6 +61,7 @@
kw_x86_fp80,
kw_fp128,
kw_ppc_fp128,
+ kw_volatile,
// Identifier tokens
Identifier,
@@ -115,6 +116,8 @@
Kind == kw_dead || Kind == kw_killed || Kind == kw_undef;
}
+ bool isMemoryOperandFlag() const { return Kind == kw_volatile; }
+
bool is(TokenKind K) const { return Kind == K; }
bool isNot(TokenKind K) const { return Kind != K; }
diff --git a/llvm/lib/CodeGen/MIRParser/MIParser.cpp b/llvm/lib/CodeGen/MIRParser/MIParser.cpp
index e1770cd..70ce67f 100644
--- a/llvm/lib/CodeGen/MIRParser/MIParser.cpp
+++ b/llvm/lib/CodeGen/MIRParser/MIParser.cpp
@@ -135,6 +135,7 @@
bool parseTargetIndexOperand(MachineOperand &Dest);
bool parseMachineOperand(MachineOperand &Dest);
bool parseIRValue(Value *&V);
+ bool parseMemoryOperandFlag(unsigned &Flags);
bool parseMachineMemoryOperand(MachineMemOperand *&Dest);
private:
@@ -987,14 +988,31 @@
return false;
}
+bool MIParser::parseMemoryOperandFlag(unsigned &Flags) {
+ switch (Token.kind()) {
+ case MIToken::kw_volatile:
+ Flags |= MachineMemOperand::MOVolatile;
+ break;
+ // TODO: report an error when we specify the same flag more than once.
+ // TODO: parse the other memory operand flags.
+ default:
+ llvm_unreachable("The current token should be a memory operand flag");
+ }
+ lex();
+ return false;
+}
+
bool MIParser::parseMachineMemoryOperand(MachineMemOperand *&Dest) {
if (expectAndConsume(MIToken::lparen))
return true;
- // TODO: Parse the operand's flags.
+ unsigned Flags = 0;
+ while (Token.isMemoryOperandFlag()) {
+ if (parseMemoryOperandFlag(Flags))
+ return true;
+ }
if (Token.isNot(MIToken::Identifier) ||
(Token.stringValue() != "load" && Token.stringValue() != "store"))
return error("expected 'load' or 'store' memory operation");
- unsigned Flags = 0;
if (Token.stringValue() == "load")
Flags |= MachineMemOperand::MOLoad;
else
diff --git a/llvm/lib/CodeGen/MIRPrinter.cpp b/llvm/lib/CodeGen/MIRPrinter.cpp
index 9c5988c..fb5a36c 100644
--- a/llvm/lib/CodeGen/MIRPrinter.cpp
+++ b/llvm/lib/CodeGen/MIRPrinter.cpp
@@ -608,6 +608,8 @@
void MIPrinter::print(const MachineMemOperand &Op) {
OS << '(';
// TODO: Print operand's other flags.
+ if (Op.isVolatile())
+ OS << "volatile ";
if (Op.isLoad())
OS << "load ";
else {