Currently zero_ext_op_for_imm32 does not return constants such as 0xFFFFFFFFFFFFFFFF as suitable imm32 immediates -- though they are for the (vast majority) of x64 instructions that sign extend immediates. Fixing this will require carefully auditing each function will calls this.