Можно ли отследить ошибку переполнения при умножении в си?

[VBTerminator]

Сабж.

[Qwertiy]

Код: Выделить всё

#include <stdio.h>

inline bool mult(int a, int b, int *c)
  {
  *c=a*b;
 
  _asm
    {
    jo FAIL
    }

  return true;
  FAIL: return false;
  }

int main(void)
  {
  int a, b, c;
 
  while(scanf("%d %d", &a, &b) == 2)
    printf("%d - %s\n", c, mult(a,b,&c)?"Ok":"Fail");

  return 0;
  }

[FireFenix]

Или заюзать класс SafeInt

[NashRus]

Какой класс в СИ.

[FireFenix]

Какой класс в СИ.

Может человек обобщённо назвал Си... не сказано что на чистом

[VBTerminator]

Qwertiy, большое спасибо!

Может человек обобщённо назвал Си... не сказано что на чистом

Нет, именно на чистом (не c++), стандарт C99.

[Qwertiy]

Не за что
Кстати, в Си ведь нет типа bool?

[Хакер]

Qwertiy, большое спасибо!

А ничего, что код не платформонезависимый?

[VBTerminator]

А как тогда сделать?

Сейчас пришло в голову такая идея, пойдёт (необходимо перемножить два двухбайтовых беззнаковых числа)?

Код: Выделить всё

BOOL Mul( WORD var1, WORD var2 )
{
    WORD result;
    DWORD tmp;

    result = a * b;
    tmp = (DWORD)a * (DWORD)b

    if( result == tmp )
    {
        //Всё нормально
    }
    else
    {
        //Внимание: переполнение
    }
}

[Qwertiy]

Зачем умножать 2 раза?

Код: Выделить всё

#include <stdio.h>

inline int mult(unsigned short a, unsigned short b, unsigned short *c)
  {
  unsigned res = a*b;
  return (*c=res)==res;
  }

int main(void)
  {
  unsigned short a, b, c;
 
  while(scanf("%hu %hu", &a, &b) == 2)
    printf("%hu - %s\n", c, mult(a,b,&c)?"Ok":"Fail");

  return 0;
  }

[Qwertiy]

А ничего, что код не платформонезависимый?

Поподробнее можно?

[Хакер]

Поподробнее можно?

Используется x86-ассемблер.

[Qwertiy]

Используется x86-ассемблер.

Где именно он не будет работать?

[Хакер]

Хочешь от меня список аппаратных архитектур, где нет инструкции jo в значении jump-if-overflow?

[Qwertiy]

Хочешь от меня список аппаратных архитектур, где нет инструкции jo в значении jump-if-overflow?

Хочу более или менее реальный пример, где такой инструкции нет.

[Хакер]

У микропроцессоров AVR нет инструкции JO. Там аналогичная инструкция называется BRVS.

У микропроцессоров PIC нет инструкции JO. Там вообще нет условных джампов. Есть безуловный джамп — инструкция GOTO. Она может быть применена в паре со skip-инструкцией, которая проверяет определённый бит и заставляет процессор пропускать любую последующую инструкцию на основе проверки бита. Пара инструкций skip+goto даёт условный переход, хотя после skip-инструкции может стоять любая другая.

У микропроцессоров ARM нет инструкции JO. (А это практически все мобильные устройства + модемы, маршрутизаторы и т.п.) Там вообще у каждой инструкции есть битовое поле, определяющее условие, при котором инструкция будет или не будет выполнена. То есть подход такой, что инструкции ветвлений вообще не нужны. Но тем не менее, инструкции ветвления всё же есть, и аналог инструкции JOназывается BVS.

[Qwertiy]

Спасибо.

[Хакер]

Я бы реалиовал функцию так:

Код: Выделить всё

bool mult(...)
{
#if defined(_X86_)
    // Реализация для x86
#elif defined(_arch2_macro_)
    // Реализация для 2-ой архитектуры
#elif defined(_arch3_macro_)
    // Реализация для 3-ей архитектуры

   ....

#else
   // Универсальная реализация
#endif
}