е, че то не може ли да се настрои компилаторът да не дава warning
Така остава впечатление, че има връзка със семантиката.

Напиши в Гугъл: "bit shifting integer promotion".

ако това е keil въобще не опира само до warning-а ами компилатора ще работи с 16 битови числа, и е силно желателно да кастваш в такива случаи. Има настройка в микровижъна да не промотва подобни операции, това важи не само за шифтване но и събиране на два чара примерно https://www.keil.com/support/docs/1754.asp

Изясни ми се. Мерси.
Отива в графа "задължителни".

Type cast има смисъл ако b e със знак. Ако е без знак едва ли има компилатор, който ще се сърди за това.


п.п.
Ако е със знак, така или иначе не е редно да правиш местене.

Ако е със знак няма ли да премести само битовете без знаковия ?

В случая не става въпрос за съобщения на компилатора. Както съм споменал и по-напред, той не се сърди и в двата случая.

Както и да е. За мен въпросът е изяснен.

Някъде из стандартите пишеше, че има неопределеност при дадени условия. Освен "програмиста" няма нужда от още един източник на ентропия .
Принципът е: за аритметика - аритметични операции, за логика - логически. Повечето съвременни компилатори ще направят необходимото, за да генерират оптимален код.

п.п.
@slav4o.com

Ами не винаги генерира оптимален код, особенно кейла.

А число с плаваща запетая редно ли е да се мести или първо го кастваш в int, след това местиш и после връщаш обратно в float?

Знам ли? Ако го разделиш на 2 в конкретния случай всякакви "упражнения" по cast-ване стават излишни.

В случая делиш на 2 експонентата и получаваш коренквадратен.

Местенето надясно (i >> 1) да стане деление на две - (i / 2). Така няма нужда от cast-ване.

И за чий ти е това упражнение?
Преди 20 години може би е имало файда да семправят подобни гимнастики, но сега повечето компилатори оеавят доста добри оптимизации.
Premature optimization iz the root of all evil -това го е казал Кнут, пък на него може да се вярва....

Всичко тръгна от това, че почнах да се заяждам с syscop, който каза:

Аз по принцип съм съгласен с него, но винаги има изкючения.
За това и дадох примера където местят float, който има не само знак, ами и екпонента.
В момента това упражнение е безмислено, сега като има SIMD инструкции за rsqrt.
Повече информация:
The Amazing Speed of Quake III (Е01): https://www.youtube.com/watch?v=uCv5VRf8op0
The Amazing Speed of Quake III (Е02): https://www.youtube.com/watch?v=Fm0vygzVXeE