Gibt es beim Arbeiten mit Arithmetik beliebiger Genauigkeit (z. B. 512-Bit-Ganzzahlen) eine Möglichkeit, GCC zur Verwendung von ADC- und ähnlichen Befehlen zu bewegen, ohne Inline-Assembly zu verwenden?

Ein erster Blick auf den GMP-Quellcode zeigt, dass es für jede unterstützte Plattform einfach Assembly-Implementierungen gibt.

Hier ist der von mir geschriebene Testcode, der zwei 128-Bit-Zahlen von der Befehlszeile hinzufügt und das Ergebnis ausgibt. (Inspiriert von mini-gmps add_n):

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

int main (int argc, char **argv)
{
    uint32_t a[4];
    uint32_t b[4];
    uint32_t c[4];
    uint32_t carry = 0;

    for (int i = 0; i < 4; ++i)
    {
        a[i] = strtoul (argv[i+1], NULL, 16);
        b[i] = strtoul (argv[i+5], NULL, 16);
    }

    for (int i = 0; i < 4; ++i)
    {
        uint32_t aa = a[i];
        uint32_t bb = b[i];
        uint32_t r = aa + carry;
        carry = (r < carry);
        r += bb;
        carry += (r < bb);
        c[i] = r;
    }

    printf ("%08X%08X%08X%08X + %08X%08X%08X%08X =\n", a[3], a[2], a[1], a[0], b[3], b[2], b[1], b[0]);
    printf ("%08X%08X%08X%08X\n", c[3], c[2], c[1], c[0]);

    return 0;
}

GCC -O3 -std=c99 Produziert keineadc Anweisungen, wie von geprüftobjdump. Meine gcc Version isti686-pc-mingw32-gcc (GCC) 4.5.2.