Dépassement capacité multiplication integer

Bonjour,

J'ai trois integer 64 bits :
_int64 i1,i2,i3;

Comment détecter le dépassement de capacité possible sur i3, lors d'une multiplication :
i3 = i1 * i2;

Merci.

salut,
si ca déborde, i3 aura la particularité d'etre inferieur à i1 ou à i2.

a+

Pourtant, en assembleur, il y a des flags qui changent d'états pour ce genre de chose.
Quand tu fais une opération et que le resultat vaut 0, est négatif ou depasse la memoire, des bits du flag prennent des valeurs spécifiques.
Mais comment lire ces flags, je ne sais pas.
Ils sont surtout utiles pour les optimisations de code.

Lire CF ici n'aurait pas de sens.
La mul sur 64 bits implique au mieux 1 mul SINON 3 mul et 2 add
Le flag sera positionné par le dernier add et donc ne voudrait rien dire.

ciao...
BruNews, MVP VC++

Même en cas de débordement, on ne peut pas être sûr que i3 sera inférieur à i2 et i1 (par contre le contraire est sûr), a mon avis ca dépend de la manière dont le compilo implémente la multiplication sur 64 bits

cosmobob a bien dit inf à l'un OU l'autre.

ciao...
BruNews, MVP VC++

et pourquoi il serait pas supérieur au 2?

Voila pour vecchio.
Galmiza > pas évident de dire quand overflow, sinon faut définir la règle du jeu.

    mov       eax, [esp+8]        ; HIDWORD(x)
    mov       ecx, [esp+16]       ; HIDWORD(y)
    or        ecx, eax
    mov       ecx, [esp+12]       ; LODWORD(y)
    jnz       short hard
    mov       eax, [esp+4]        ; LODWORD(x)
    mul       ecx
    jmp       short mulExit
hard:
    mul       ecx
    mov       [esp-4], eax        ; SAUVE RESULTAT INTERMEDIAIRE
    mov       eax, [esp+4]        ; LODWORD(x)
    mul       dword ptr[esp+16]   ; HIDWORD(y)
    add       [esp-4], eax
    mov       eax, [esp+4]        ; LODWORD(x)
    mul       ecx
    add       edx, [esp-4]
mulExit:
    ret       16

ciao...
BruNews, MVP VC++

vecchio, tu aurais un exemple de inférieur aux 2 ?

ciao...
BruNews, MVP VC++

#include <iostream>

int main()
{
  unsigned __int64 a = 0xFFFFFFFFF, b = 0xFFFFFFFFF;
  unsigned __int64 r = a * b;
  if(r < a || r < b) std::cout << "débordement" << std::endl;
}

Cet exemple ne m'affiche pas "débordement"