Rename PushInt64AsTwoSmis to PushRegisterAsTwoSmis