From 95707c90ccb7309df76ea7f3f0b81495e4f7d0e6 Mon Sep 17 00:00:00 2001 From: Chad Rosier Date: Tue, 2 Oct 2012 21:49:07 +0000 Subject: [PATCH] [ms-inline asm] Add basic support for wildcard MCParsedAsmOperands. This type of operand is specific to MS-style inline assembly and should not be generated when parsing normal assembly. The purpose of the wildcard operands are to allow the AsmParser to match multiple instructions (i.e., MCInsts) to a given ms-style asm statement. For the time being the matcher just returns the first match. This patch only implements wildcard matches for memory operands. Support for register wildcards will be added in the near future. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@165057 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/llvm/MC/MCParser/MCParsedAsmOperand.h | 7 ++++ lib/Target/X86/AsmParser/X86AsmParser.cpp | 34 ++++++++++++++----- 2 files changed, 33 insertions(+), 8 deletions(-) diff --git a/include/llvm/MC/MCParser/MCParsedAsmOperand.h b/include/llvm/MC/MCParser/MCParsedAsmOperand.h index 0ce32d617ef..06e9dc90652 100644 --- a/include/llvm/MC/MCParser/MCParsedAsmOperand.h +++ b/include/llvm/MC/MCParser/MCParsedAsmOperand.h @@ -34,6 +34,13 @@ public: /// isMem - Is this a memory operand? virtual bool isMem() const = 0; + /// isMSAsmWildcard - Is this a wildcard operand? This is specific to + /// MS-style inline assembly and should never happen in normal assembly. + virtual bool isMSAsmWildcard() const { return false; } + + /// setMSAsmWildcard - Convert the operand into a wildcard. + virtual void setMSAsmWildcard(unsigned Size) { } + /// getStartLoc - Get the location of the first token of this operand. virtual SMLoc getStartLoc() const = 0; /// getEndLoc - Get the location of the last token of this operand. diff --git a/lib/Target/X86/AsmParser/X86AsmParser.cpp b/lib/Target/X86/AsmParser/X86AsmParser.cpp index 704d5f94261..2f78b16e445 100644 --- a/lib/Target/X86/AsmParser/X86AsmParser.cpp +++ b/lib/Target/X86/AsmParser/X86AsmParser.cpp @@ -158,7 +158,8 @@ struct X86Operand : public MCParsedAsmOperand { Token, Register, Immediate, - Memory + Memory, + MSAsmWildcard } Kind; SMLoc StartLoc, EndLoc; @@ -185,6 +186,10 @@ struct X86Operand : public MCParsedAsmOperand { unsigned Scale; unsigned Size; } Mem; + + struct { + unsigned Size; + } MSAsm; }; X86Operand(KindTy K, SMLoc Start, SMLoc End) @@ -318,25 +323,32 @@ struct X86Operand : public MCParsedAsmOperand { bool isMem() const { return Kind == Memory; } bool isMem8() const { - return Kind == Memory && (!Mem.Size || Mem.Size == 8); + return (Kind == Memory && (!Mem.Size || Mem.Size == 8)) || + (Kind == MSAsmWildcard && MSAsm.Size == 8); } bool isMem16() const { - return Kind == Memory && (!Mem.Size || Mem.Size == 16); + return (Kind == Memory && (!Mem.Size || Mem.Size == 16)) || + (Kind == MSAsmWildcard && MSAsm.Size == 16); } bool isMem32() const { - return Kind == Memory && (!Mem.Size || Mem.Size == 32); + return (Kind == Memory && (!Mem.Size || Mem.Size == 32)) || + (Kind == MSAsmWildcard && MSAsm.Size == 32); } bool isMem64() const { - return Kind == Memory && (!Mem.Size || Mem.Size == 64); + return (Kind == Memory && (!Mem.Size || Mem.Size == 64)) || + (Kind == MSAsmWildcard && MSAsm.Size == 64); } bool isMem80() const { - return Kind == Memory && (!Mem.Size || Mem.Size == 80); + return (Kind == Memory && (!Mem.Size || Mem.Size == 80)) || + (Kind == MSAsmWildcard && MSAsm.Size == 80); } bool isMem128() const { - return Kind == Memory && (!Mem.Size || Mem.Size == 128); + return (Kind == Memory && (!Mem.Size || Mem.Size == 128)) || + (Kind == MSAsmWildcard && MSAsm.Size == 128); } bool isMem256() const { - return Kind == Memory && (!Mem.Size || Mem.Size == 256); + return (Kind == Memory && (!Mem.Size || Mem.Size == 256)) || + (Kind == MSAsmWildcard && MSAsm.Size == 256); } bool isMemVX32() const { @@ -363,6 +375,12 @@ struct X86Operand : public MCParsedAsmOperand { bool isReg() const { return Kind == Register; } + bool isMSAsmWildcard() const { return Kind == MSAsmWildcard; } + void setMSAsmWildcard(unsigned Size) { + Kind = MSAsmWildcard; + this->MSAsm.Size = Size; + } + void addExpr(MCInst &Inst, const MCExpr *Expr) const { // Add as immediates when possible. if (const MCConstantExpr *CE = dyn_cast(Expr))