Условие которое не должно выполняться

0

1

Условие, которое не должно выполняться макроассемблером, по непонятной мне причине выполняет avra. Почему?

.equ TMP10 = 256000
.if TMP10 > 4294967296 ; более 2^32
    .error "ER-TIM0-2: Это условие не должно выполнится."
.else

.endif

←	libhunspell: разбить текст на слова

→

может переполняется

Harald ★★★★★
(13.09.16 11:20:43 MSK)

в смысле возможно avra пихает константу 4294967296 в 32 битную переменную

Harald ★★★★★
(13.09.16 11:21:35 MSK)

4294967296

this

anonymous
(13.09.16 11:24:37 MSK)

Ответ на: комментарий от Harald 13.09.16 11:21:35 MSK

При 4294967291 также выполняется, при 429496729 уже работает нормально. Но 2^32 = 4294967296, то есть переполнения быть не должно при 4294967291

morkovkin
(13.09.16 11:25:45 MSK) автор топика

Ответ на: комментарий от morkovkin 13.09.16 11:25:45 MSK

ну залезь в код avra и посмотри как он это делает тогда :)

Harald ★★★★★
(13.09.16 11:27:42 MSK)

Ответ на: комментарий от Harald 13.09.16 11:27:42 MSK

Не хватает опыта, но спасибо за совет!

morkovkin
(13.09.16 11:29:30 MSK) автор топика

Ответ на: комментарий от morkovkin 13.09.16 11:25:45 MSK

Но 2^32 = 4294967296, то есть переполнения быть не должно

4294967296 - уже переполнение, это 100000000, а тебе надо 2^32-1 - FFFFFFFF, т.е. 4294967295

anonymous
(13.09.16 11:38:45 MSK)

Ответ на: комментарий от morkovkin 13.09.16 11:29:30 MSK

Оставлю это здесь, для тех кто также упрется в переполнения

.if BYTE4(TMP1) >= 0xff && BYTE4(TMP1) >= 0xff ...

morkovkin
(13.09.16 12:07:25 MSK) автор топика

Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.

←	libhunspell: разбить текст на слова

→

Похожие темы