При умножении 2х 16-тных переменных


AVR IAR (v5.11B) сначала делает умножение 16*16=16 бит и только после этого расширяет результат до 32х бит. При чем если оба операнда типа int, расширение до 32х бит осуществляется со знаком. А если хотя бы один из них - unsigned - то в 16 старших бит просто дописываются 00.

Поэтому возник вопрос - как "правильно " сделать умножение без обрезки результата?

Подозреваю, что это вполне корректное поведение С-компилятора, которое обусловлено какими-то стандартами. Поэтому хотелось бы еще и узнать, где можно доступно почитать об подобных особенностях компиляторов. И одинаковы ли данные особенности под 8-ми, 16-ти и 32-двухбитные платформы.

Например, так (явное приведение типа)


Читайте стандарты ANSI C и C99.

Можно так:

Или так:

Второй вариант эквивалентен первому благодаря автоматическому приведению целочисленного типа. Второй вариант также короче, но в нём меньше симметрии...

to resident: спасибо за ссылку (и ответ).

То есть выражение типа с = a * b + k * m , где все переменные справа - 16-битные, превращается в
с = (long)a * (long)b + (long)k * (long)m ?
как-то не очень красиво выглядит.

второй и четвертый long - лишние

Кроме стандартов на "аглицком" можно и на русском справочники почитать.
Эти книги у меня всё время под рукой, периодически заглядываю, ибо всё помнить нельзя...
Вот одна от отцов-основателей:
Брайан Керниган, Деннис Ритчи: Язык программирования C (второе издание)