Вычисление 64-разрядных 64-разрядных 64-битных продуктов в C

Ответ 1

Если вы используете относительно недавний GCC на x86_64:

int64_t mulHi(int64_t x, int64_t y) {
    return (int64_t)((__int128_t)x*y >> 64);
}

В -O1 и выше, это скомпилируется с тем, что вы хотите:

_mulHi:
0000000000000000    movq    %rsi,%rax
0000000000000003    imulq   %rdi
0000000000000006    movq    %rdx,%rax
0000000000000009    ret

Я считаю, что clang и VС++ также поддерживают тип __int128_t, поэтому это также должно работать на этих платформах, с обычными предостережениями о том, чтобы попробовать самостоятельно.

Ответ 2

Общий ответ: x * y можно разбить на (a + b) * (c + d), где a и c - части высокого порядка.

Сначала разверните на ac + ad + bc + bd

Теперь вы умножаете термины на 32-битные числа, хранящиеся как long long (или еще лучше, uint64_t), и вы просто помните, что при умножении номера более высокого порядка вам нужно масштабировать на 32 бита. Затем вы делаете добавления, не забывая обнаруживать перенос. Следите за знаками. Естественно, вам нужно делать добавления на куски.

Ответ 3

Что касается вашего решения для сборки, не производите жесткие инструкции mov! Пусть компилятор сделает это за вас. Здесь изменена версия вашего кода:

static long mull_hi(long inp1, long inp2) {
    long output;
    __asm__("imulq %2"
            : "=d" (output)
            : "a" (inp1), "r" (inp2));
    return output;
}

Полезная ссылка: Ограничения машины

Ответ 4

Поскольку вы хорошо справились с решением своей проблемы с машинным кодом, я решил, что вы заслужили некоторую помощь с переносимой версией. Я бы оставил ifdef в том месте, где вы просто используете сборку, если в gnu на x86.

В любом случае, вот реализация... Я уверен, что это правильно, но никаких гарантий, я просто ударил это вчера вечером... вы, вероятно, должны избавиться от statics positive_result [] и result_negative, те являются только артефактами моего unit test...

#include <stdlib.h>
#include <stdio.h>

// stdarg.h doesn't help much here because we need to call llabs()

typedef unsigned long long uint64_t;
typedef   signed long long  int64_t;

#define B32 0xffffffffUL

static uint64_t positive_result[2]; // used for testing
static int result_negative;         // used for testing

static void mixed(uint64_t *result, uint64_t innerTerm)
{
  // the high part of innerTerm is actually the easy part

    result[1] += innerTerm >> 32;

  // the low order a*d might carry out of the low order result

    uint64_t was = result[0];

    result[0] += (innerTerm & B32) << 32;

    if (result[0] < was) // carry!
      ++result[1];
}


static uint64_t negate(uint64_t *result)
{
  uint64_t t = result[0] = ~result[0];
  result[1] = ~result[1];
  if (++result[0] < t)
    ++result[1];
  return result[1];
}

uint64_t higherMul(int64_t sx, int64_t sy)
{
    uint64_t x, y, result[2] = { 0 }, a, b, c, d;

    x = (uint64_t)llabs(sx);
    y = (uint64_t)llabs(sy);

    a = x >> 32;
    b = x & B32;
    c = y >> 32;
    d = y & B32;

  // the highest and lowest order terms are easy

    result[1] = a * c;
    result[0] = b * d;

  // now have the mixed terms ad + bc to worry about

    mixed(result, a * d);
    mixed(result, b * c);

  // now deal with the sign

    positive_result[0] = result[0];
    positive_result[1] = result[1];
    result_negative = sx < 0 ^ sy < 0;
    return result_negative ? negate(result) : result[1];
}

Ответ 5

Подождите, у вас уже есть отличное, оптимизированное решение сборки работая для этого, и вы хотите поддержать его и попытаться записать его в среда, которая не поддерживает 128-битную математику? Я не следую.

Как вы, очевидно, знаете, эта операция представляет собой единую инструкцию по x86-64. Очевидно, что вы ничего не сделаете, это сделает работу лучше. Если вам действительно нужна портативная C, вам нужно сделать что-то вроде DigitalRoss выше и надеемся, что ваш оптимизатор выяснит, что вы делаете.

Если вам нужна переносимость архитектуры, но вы готовы ограничить себя на gcc-платформах существуют типы __int128_t (и __uint128_t) в компилятор, который будет делать то, что вы хотите.