Как в Си определить выход за пределы кода (переполнение) результата операции ? Опции

[MaxiMuz]

Элементарная ситуация: Имеется два 16-битных числа , при их сложении нужно отслеживать ситуацию переполнения результата.
Пробую:

Код

uint16_t temp16;
uint16_t sumADC;

if ((sumADC+=temp16)>0xffff)
     { // Отключение АЦП  !!
         ADCSRA=(1<<ADEN);}

понимаю что это нет то ....
Нужно как можно короче превести это к коду (для AVR):

Код

add rd_l,rs_l
adc rd_h,rs_h
brcs m1
....

Как это все оформляется в Си ?

Сообщение отредактировал MaxiMuz - Apr 23 2013, 19:18

[Alexey K]

CODE

uint16_t temp16;
uint16_t sumADC;
uint32_t sum32;

sum32 = sum32 + temp16;

if ( sum32 <= 0xFFFFFFFF )
{
sumADC = (uint16_t) sum32;
}
else
{
//overflow actions
}

Сообщение отредактировал Alexey K - Apr 24 2013, 05:56

[ARV]

CODE

uint16_t temp16;
uint16_t sumADC;
uint32_t sum32;

sum32 = sum32 + temp16;

if ( sum32 <= 0xFFFFFFFF )
{
sumADC = (uint16_t) sum32;
}
else
{
//overflow actions
}

ну, все-таки скорее всего чуть-чуть иначе:

CODE

uint16_t temp16;
uint16_t sumADC;
uint32_t sum32;

sum32 = sum32 + temp16;

if ( sum32 <= 0xFFFF ) // переполнение-то для 16-бит надо отслеживать
{
sumADC = sum32;
}
else
{
//overflow actions
}

[demiurg_spb]

Код

uint32_t sum32;

В avr-gcc 4.7.x имеется тип __uint24

А что, arttab дал плохой совет? Доступ к флагам имеется?

Имеется. Просто обращение к SREG по маске

Код

if (SREG & (1<<n)) {...}

Лучше всю эту красоту завернуть в макрос типа:

Код

#define add16_sat(a,b) \
do \
{ \
   (a) += (b); \
   if (SREG & (1<<SREG_C)) \
   { \
      (a) = -1U; \
   } \
} while (0)