MIR Parser: Verify the implicit machine register operands.