неправильный результат арифмет. операции

@bikyr · Регистрация: 18.09.2010

Author24 — интернет-сервис помощи студентам

функция
long long raznost (long a, long b)
{
return a-b;
}
Возвращает неправильный результат при a=-2147483648; b=2147483647

Дизасм IAR выдает приблизительно такое:
subs r0,r0,r1
asrs r1, r0, #31
результат в регистрах r1, r0.

IAR 5.30, от уровня оптимизации не зависит, камень stm32F100xxx.
Кто нибудь сталкивался с такой проблемой!?

@OtixPM · 09.07.2013, 20:17

Сообщение от bikyr

функция
long long raznost (long a, long b)
{
return a-b;
}
Возвращает неправильный результат при a=-2147483648; b=2147483647

Дизасм IAR выдает приблизительно такое:
subs r0,r0,r1
asrs r1, r0, #31
результат в регистрах r1, r0.

IAR 5.30, от уровня оптимизации не зависит, камень stm32F100xxx.
Кто нибудь сталкивался с такой проблемой!?

Приведите значения a,b,raznost в шестнадцатиричном виде (в точности как их показывает дизассемблер). То есть значения R0,R1 до вызова функции и после.

@DOOMSDOY · 09.07.2013, 20:21

А ежели вместо long-ов написать явно sykned long?

@DOOMSDOY · 09.07.2013, 20:26

В IAR должна быть настройка еще как интерпретировать типы без явного указания знаковости/беззнаковости. И по дефолту там таки unsykned, вродь.

@oomomstir · 09.07.2013, 20:39

Код вроде генерит правильный, должен вернуть 1: long(0x8000000)-long(0x7FFFFFF)=long(0x00000001), преобразование типов потом идёт. Нет?

Если вам надо получить -4294967295 - пишите (long)a-b упс... (long long)a-b

@_pv · 09.07.2013, 20:40

а вроде и не должен.
результат a-b имеет тот же тип что и а, то есть long, в который результат не влазит, и только потом уже приводится к long long для возврата.
return (long long)a - b

@bikyr · 09.07.2013, 21:42

Не имеет значения как писать sykned long или просто long результат один и тот же.
Ассемблер генерирует не правильный код (см. первый мой пост в теме).

@oomomstir · 09.07.2013, 22:38

Код правильный. Единицу возвращает?
Пишите, как сказал _pv - вот тогда вернёт миллионы.

@omdryis5 · 09.07.2013, 22:43

В Keil возвращает 1.

@bikyr · 09.07.2013, 22:47

Сообщение от oomomstir

Код правильный. Единицу возвращает?
Пишите, как сказал _pv - вот тогда вернёт миллионы.

да теперь возвращает правильно, но какого х.. оно так?

@oomomstir · 09.07.2013, 23:18

Правила такие: результат сложения двух long чисел - это long. То же самое будет и на большом компе, и при написании не на Си, а, к примеру, на Паскале, Яве, C#. Чай, не бейсик какой - компилируемый язык, тип данных определяется на момент компиляции, а не на момент вычисления.

Для понимания выпишите типы данных всех аргументов и промежуточных результатов:
a: long
b: long
a-b: long
return value: long long

Со сложением/вычитанием на такие грабли новички (недавно освоившие Си - возможно, после интерпретируемых языков) редко наступают, обычно если ожидается длинная сумма/разность, то и хотя бы одно из слагаемых такое. Вот с умножением - таки да :-)

@bikyr · 09.07.2013, 23:23

не знал о таком правиле

@bikyr · 09.07.2013, 23:25

какое-то оно странное и далеко не очевидное

@oomomstir · 09.07.2013, 23:34

Оно совершенно очевидное. Попробуйте придумать хоть какую-нибудь альтернативу этому правилу (но помните, что на момент компиляции значения a и b неизвестны - только типы данных).

А знать такие вещи необходимо. Это азы, расписанные в любой книжке по C для начинающих.

@bikyr · 10.07.2013, 01:07

Сообщение от oomomstir

Оно совершенно очевидное. Попробуйте придумать хоть какую-нибудь альтернативу этому правилу (но помните, что на момент компиляции значения a и b неизвестны - только типы данных).

А знать такие вещи необходимо. Это азы, расписанные в любой книжке по C для начинающих.

Мда.. знать надо конечно....
Но только компилятор, что настолько туп, и не может сам сам сообразить, если я требую вернуть значения long long то необходимо перед выполнением операции вычитания преобразовать типы переменных в long long для получения правильного результа и сгенерировать такой код:
asrs r2, r0, #31
asrs r3, r1, #31
subs r0, r0, r1
sbcs r1, r2, r3

а не генерить хрень
subs r1, r0, r1
asrs r1 r0, #31

@DOOMSDOY · 10.07.2013, 01:25

какую хрень ему пишут - такую он и генерит

@яверт · 10.07.2013, 01:30

Сообщение от DOOMSDOY

какую хрень ему пишут - такую он и генерит

+100500, варнинг конечно кинуть можно было бы, но придумывать что есть правильный результат это за гранью добра и зла.

@oomomstir · 10.07.2013, 01:32

Не может.
Во первых, несоответствие стандарту. Тип результата определяется типом аргументов - это аксиома. И люди, которые привыкли к такому поведению - будут очень удивлены самодеятельностью компилятора.
Во вторых, это сложно. А си давно разработан, тогда сложно не делали. Но даже в современных языках с навороченным выводом типов (хаскель), если известен тип аргументов - тип результата выведет по ним.
В третьих, неоднозначность. Если бы вы вместо long long взяли double и написали бы a/b - какое деление выбирать компилятору?

Ну и главное - если программеру нужен результат длиннее, он просто приводит тип одного из аргументов, как предложили я и _pv.

@bikyr · 10.07.2013, 01:49

Спасибо всем откликнувшимся за советы по существу и не очень по существу:)

@oomomstir 0 / 0 / 0 Регистрация: 06.12.2016 Сообщений: 1,864
	09.07.2013, 23:18	11
	Правила такие: результат сложения двух long чисел - это long. То же самое будет и на большом компе, и при написании не на Си, а, к примеру, на Паскале, Яве, C#. Чай, не бейсик какой - компилируемый язык, тип данных определяется на момент компиляции, а не на момент вычисления. Для понимания выпишите типы данных всех аргументов и промежуточных результатов: a: long b: long a-b: long return value: long long Со сложением/вычитанием на такие грабли новички (недавно освоившие Си - возможно, после интерпретируемых языков) редко наступают, обычно если ожидается длинная сумма/разность, то и хотя бы одно из слагаемых такое. Вот с умножением - таки да :-) 0

@bikyr 0 / 0 / 0 Регистрация: 18.09.2010 Сообщений: 21
	09.07.2013, 23:23	12
	не знал о таком правиле 0

@bikyr 0 / 0 / 0 Регистрация: 18.09.2010 Сообщений: 21
	10.07.2013, 01:07	15
	Сообщение от oomomstir Оно совершенно очевидное. Попробуйте придумать хоть какую-нибудь альтернативу этому правилу (но помните, что на момент компиляции значения a и b неизвестны - только типы данных). А знать такие вещи необходимо. Это азы, расписанные в любой книжке по C для начинающих. Мда.. знать надо конечно.... Но только компилятор, что настолько туп, и не может сам сам сообразить, если я требую вернуть значения long long то необходимо перед выполнением операции вычитания преобразовать типы переменных в long long для получения правильного результа и сгенерировать такой код: asrs r2, r0, #31 asrs r3, r1, #31 subs r0, r0, r1 sbcs r1, r2, r3 а не генерить хрень subs r1, r0, r1 asrs r1 r0, #31 0

@DOOMSDOY 0 / 0 / 0 Регистрация: 13.07.2012 Сообщений: 566
	10.07.2013, 01:25	16
	какую хрень ему пишут - такую он и генерит 0

@bikyr 0 / 0 / 0 Регистрация: 18.09.2010 Сообщений: 21
	10.07.2013, 01:49	19
	Спасибо всем откликнувшимся за советы по существу и не очень по существу:) 0

@OtixPM 1 / 1 / 0 Регистрация: 11.01.2013 Сообщений: 5,479
	09.07.2013, 20:17	2
	Сообщение от bikyr функция long long raznost (long a, long b) { return a-b; } Возвращает неправильный результат при a=-2147483648; b=2147483647 Дизасм IAR выдает приблизительно такое: subs r0,r0,r1 asrs r1, r0, #31 результат в регистрах r1, r0. IAR 5.30, от уровня оптимизации не зависит, камень stm32F100xxx. Кто нибудь сталкивался с такой проблемой!? Приведите значения a,b,raznost в шестнадцатиричном виде (в точности как их показывает дизассемблер). То есть значения R0,R1 до вызова функции и после. 0

@DOOMSDOY 0 / 0 / 0 Регистрация: 13.07.2012 Сообщений: 566
	09.07.2013, 20:21	3
	А ежели вместо long-ов написать явно sykned long? 0

@DOOMSDOY 0 / 0 / 0 Регистрация: 13.07.2012 Сообщений: 566
	09.07.2013, 20:26	4
	В IAR должна быть настройка еще как интерпретировать типы без явного указания знаковости/беззнаковости. И по дефолту там таки unsykned, вродь. 0

@oomomstir 0 / 0 / 0 Регистрация: 06.12.2016 Сообщений: 1,864
	09.07.2013, 20:39	5
	Код вроде генерит правильный, должен вернуть 1: long(0x8000000)-long(0x7FFFFFF)=long(0x00000001), преобразование типов потом идёт. Нет? Если вам надо получить -4294967295 - пишите (long)a-b упс... (long long)a-b 0

@_pv 0 / 0 / 0 Регистрация: 06.06.2011 Сообщений: 2,514
	09.07.2013, 20:40	6
	а вроде и не должен. результат a-b имеет тот же тип что и а, то есть long, в который результат не влазит, и только потом уже приводится к long long для возврата. return (long long)a - b 0

@bikyr 0 / 0 / 0 Регистрация: 18.09.2010 Сообщений: 21
	09.07.2013, 21:42	7
	Не имеет значения как писать sykned long или просто long результат один и тот же. Ассемблер генерирует не правильный код (см. первый мой пост в теме). 0

@oomomstir 0 / 0 / 0 Регистрация: 06.12.2016 Сообщений: 1,864
	09.07.2013, 22:38	8
	Код правильный. Единицу возвращает? Пишите, как сказал _pv - вот тогда вернёт миллионы. 0

@omdryis5 0 / 0 / 0 Регистрация: 01.02.2011 Сообщений: 300
	09.07.2013, 22:43	9
	В Keil возвращает 1. 0

@bikyr 0 / 0 / 0 Регистрация: 18.09.2010 Сообщений: 21
	09.07.2013, 22:47	10
	Сообщение от oomomstir Код правильный. Единицу возвращает? Пишите, как сказал _pv - вот тогда вернёт миллионы. да теперь возвращает правильно, но какого х.. оно так? 0

@bikyr 0 / 0 / 0 Регистрация: 18.09.2010 Сообщений: 21
	09.07.2013, 23:25	13
	какое-то оно странное и далеко не очевидное 0

@oomomstir 0 / 0 / 0 Регистрация: 06.12.2016 Сообщений: 1,864
	09.07.2013, 23:34	14
	Оно совершенно очевидное. Попробуйте придумать хоть какую-нибудь альтернативу этому правилу (но помните, что на момент компиляции значения a и b неизвестны - только типы данных). А знать такие вещи необходимо. Это азы, расписанные в любой книжке по C для начинающих. 0

@яверт 0 / 0 / 0 Регистрация: 15.06.2012 Сообщений: 3,097
	10.07.2013, 01:30	17
	Сообщение от DOOMSDOY какую хрень ему пишут - такую он и генерит +100500, варнинг конечно кинуть можно было бы, но придумывать что есть правильный результат это за гранью добра и зла. 0

@oomomstir 0 / 0 / 0 Регистрация: 06.12.2016 Сообщений: 1,864
	10.07.2013, 01:32	18
	Не может. Во первых, несоответствие стандарту. Тип результата определяется типом аргументов - это аксиома. И люди, которые привыкли к такому поведению - будут очень удивлены самодеятельностью компилятора. Во вторых, это сложно. А си давно разработан, тогда сложно не делали. Но даже в современных языках с навороченным выводом типов (хаскель), если известен тип аргументов - тип результата выведет по ним. В третьих, неоднозначность. Если бы вы вместо long long взяли double и написали бы a/b - какое деление выбирать компилятору? Ну и главное - если программеру нужен результат длиннее, он просто приводит тип одного из аргументов, как предложили я и _pv. 0