Sign extend to 64 bits the operand of a 64-bit push opcode that takes a narrower immediate or memory operand. Former-commit-id: 4325774dde621d1c1b02665b5359e01f58e52ee6
