In Chapter 12.2 of the IBM Gekko RISC Microprocessor User’s Manual (Version 1.2) on page 12-8 there is an example with addx. Its opcode is in the top-left corner of the box in hex:
Code: Select all
x’7C00 0214’
But what about x7C? That's 0111 1100 in binary. So we have five contigious set bits like we need for 31, but we have this leading zero in the way. What's that about?