Unless I'm mistaken, the size field was encoded 4 bits off and a wrong
value was used for 64-bit FP registers.
Signed-off-by: NChristoffer Dall <cdall@cs.columbia.edu>