Почему изменение типа возвращаемого значения этой функции C с «bool» на «int» добавляет дополнительную инструкцию ассемб ⇐ C++

[Anonymous]

У меня есть простая функция, которая косвенно проверяет NaN и x86-64 gcc 15.2 с -O2

Код: Выделить всё

bool self_eq(float num) {
return num == num;
}

При компиляции как C, так и C++ получается:

Код: Выделить всё

self_eq:
ucomiss xmm0, xmm0
setnp   al
ret

Когда я меняю тип возвращаемого значения на int, я получаю:

Код: Выделить всё

self_eq:
xor     eax, eax
ucomiss xmm0, xmm0
setnp   al
ret

Очевидно, что регистр возврата необходимо обнулить, когда функция возвращает целое число. Это меня удивляет.

Подробнее здесь: https://stackoverflow.com/questions/798 ... int-add-an