llvm-mc/AsmMatcher: Move to a slightly more sane matching design.
authorDaniel Dunbar <daniel@zuster.org>
Fri, 7 Aug 2009 08:26:05 +0000 (08:26 +0000)
committerDaniel Dunbar <daniel@zuster.org>
Fri, 7 Aug 2009 08:26:05 +0000 (08:26 +0000)
commit20927f26fcd7d0394bc60c58c61d879a83adac0d
tree3199da71f80913297ce777de2ae849e5fe4e8386
parentb6879b2b84df2f642cd39f5bf58584c4a39f8080
llvm-mc/AsmMatcher: Move to a slightly more sane matching design.
 - Still not very sane, but a least its not 60k lines on X86. :)

 - In terms of correctness, currently some things are hard wired for X86, and we
   still don't properly resolve ambiguities (this is ignoring the instructions
   we don't even match due to funny .td stuff or other corner cases).

The high level changes:
 1. Represent tokens which are significant for matching explicitly as separate
    operands. This uniformly handles not only the instruction mnemonic, but
    also 'signficiant' syntax like the '*' in "call * ...".

 2. Separate the matching of operands to an instruction from the construction of
    the MCInst. In theory this can be done during matching, but since the number
    of variations is small I think it makes sense to decompose the problems.

 3. Improved a few of the mechanisms to at least successfully flatten / tokenize
    the assembly strings for PowerPC and ARM.

 4. The comment at the top of AsmMatcherEmitter.cpp explains the approach I'm
    moving towards for handling ambiguous instructions. The high-bit is to infer
    a partial ordering of the operand classes (and force the user to specify one
    if we can't) and use that to resolve ambiguities.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78378 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Target/X86/AsmParser/X86AsmParser.cpp
test/MC/AsmParser/x86_instructions.s
utils/TableGen/AsmMatcherEmitter.cpp