On 4/10/19 9:37 PM, Stefan Weil wrote: >> Why not use tci_write_reg64, since that is the size of the register you're >> modifying? Let the zero-extension explicit in the name of the opcode to be >> reflected in the zero-extension implied by the passing of a uint16_t value >> to a >> uint64_t argument. > > I think that using tci_write_reg64 would be wrong on 32 bit hosts.
... as would using INDEX_op_ld16u_i64 in the first place. This is already within #if TCG_TARGET_REG_BITS == 64. r~
