clarification on opcode + Rd operand encodings