We should be able to handle annotations in isle files with these changes. A couple things to note:
if for some reason multiple files declare the same term, the parser will use the declaration from the file it parses last
the parser is dumb and looks for lines containing ;;@ followed by lines matching decl <something>. But there were no decls for Opcode.Iadd and InstructionData.Binary so I added dummy lines.
I manually added annotations to the file that says "DO NOT EDIT!!!"
We should be able to handle annotations in isle files with these changes. A couple things to note:
;;@followed by lines matchingdecl <something>. But there were no decls forOpcode.IaddandInstructionData.Binaryso I added dummy lines.