MM
2**31 = 2147483648
Size: a a a
2020 March 11
MK
2**31 + 2**8 ?
MM
Я к тому что
res = (int)-2147483904.0f;это UB
KR
Я к тому что
res = (int)-2147483904.0f;это UB
Непонятно, почему шланговцы не вставляют return 0 в начало main, как только находят ub.
M
А что за константа 2147483904?
Из спеки:
https://github.com/microsoft/ChakraCore/blob/3daa56768f45594ec3461731e68865323900acf1/test/WasmSpec/features/nontrapping/nontrapping_conversions.wast#L29
Так же это реализовано и в других движках. Например:
https://github.com/bytecodealliance/wasm-micro-runtime/blob/da04f89f9d0c525d724076684ee1c0c8c614aebd/core/iwasm/compilation/aot_emit_conversion.c#L120
Связано это с hidden bit:
0 < exb =< 2^n-1 S * 2^(exb-2^(n-1)) * (0.1_visman) [with hidden bit]
https://github.com/microsoft/ChakraCore/blob/3daa56768f45594ec3461731e68865323900acf1/test/WasmSpec/features/nontrapping/nontrapping_conversions.wast#L29
Так же это реализовано и в других движках. Например:
https://github.com/bytecodealliance/wasm-micro-runtime/blob/da04f89f9d0c525d724076684ee1c0c8c614aebd/core/iwasm/compilation/aot_emit_conversion.c#L120
Связано это с hidden bit:
0 < exb =< 2^n-1 S * 2^(exb-2^(n-1)) * (0.1_visman) [with hidden bit]
KR
MaxGraey
Из спеки:
https://github.com/microsoft/ChakraCore/blob/3daa56768f45594ec3461731e68865323900acf1/test/WasmSpec/features/nontrapping/nontrapping_conversions.wast#L29
Так же это реализовано и в других движках. Например:
https://github.com/bytecodealliance/wasm-micro-runtime/blob/da04f89f9d0c525d724076684ee1c0c8c614aebd/core/iwasm/compilation/aot_emit_conversion.c#L120
Связано это с hidden bit:
0 < exb =< 2^n-1 S * 2^(exb-2^(n-1)) * (0.1_visman) [with hidden bit]
https://github.com/microsoft/ChakraCore/blob/3daa56768f45594ec3461731e68865323900acf1/test/WasmSpec/features/nontrapping/nontrapping_conversions.wast#L29
Так же это реализовано и в других движках. Например:
https://github.com/bytecodealliance/wasm-micro-runtime/blob/da04f89f9d0c525d724076684ee1c0c8c614aebd/core/iwasm/compilation/aot_emit_conversion.c#L120
Связано это с hidden bit:
0 < exb =< 2^n-1 S * 2^(exb-2^(n-1)) * (0.1_visman) [with hidden bit]
А почему вы не можете тупо вставить INT_MAX?
AZ
Непонятно, почему шланговцы не вставляют return 0 в начало main, как только находят ub.
Действительно, почему же
M
А почему вы не можете тупо вставить INT_MAX?
DВообще похоже придется
KR
MaxGraey
DВообще похоже придется
В гугле пишут, что вы и вставили, но числом. А в исходниках gcc что-то другое.
M
но проблема в том, что тогда бы только одна ветка должна была исчезнуть, но исчезает почему то и вторая
M
Я про
else if (x >= 2147483648.0f) {
res = (int)2147483648.0f;
}
else if (x >= 2147483648.0f) {
res = (int)2147483648.0f;
}
MM
Лол, тут тоже UB:
res = (int)2147483648.0f;Должно быть 2147483647 иначе будет overflow
M
Лол, тут тоже UB:
res = (int)2147483648.0f;Должно быть 2147483647 иначе будет overflow
Кстати да, не заметил.
KR
Ну я заменил эти страшные числа на 8 и 99 - поменялось!
KR
Появляются белые строки.
KR
Если вы сделаете двойное преобразование INT_MAX в float и обратно, вы получите переполнение...
KR
И вообще, в ieee 754 у float 24 байта => реобразование целых > 2^24 будет с потерей точности.
Соответственно, нужно как-то аккуратно считать макс целое, представимое floatом
Это INT_MAX -2^8 (один ulp). И, соответственно, минимальное -INT_MIN + ulp
Соответственно, нужно как-то аккуратно считать макс целое, представимое floatом
Это INT_MAX -2^8 (один ulp). И, соответственно, минимальное -INT_MIN + ulp
AP
MaxGraey
https://godbolt.org/z/7SC_Cs
Если там будут double и long long соответствующими диапазонами будут тоже самое. Но думаю одного примера с float будет достаточно)
Спасибо!
Если там будут double и long long соответствующими диапазонами будут тоже самое. Но думаю одного примера с float будет достаточно)
Спасибо!
А на каких значениях будет различаться результат?
Кажется что в стандарте C был отдельный ад о преобразованиях float к int и возможно что оптимизация позволительна
Кажется что в стандарте C был отдельный ад о преобразованиях float к int и возможно что оптимизация позволительна
AP
Лол, тут тоже UB:
res = (int)2147483648.0f;Должно быть 2147483647 иначе будет overflow
да, типа такого ^
MM
И вообще, в ieee 754 у float 24 байта => реобразование целых > 2^24 будет с потерей точности.
Соответственно, нужно как-то аккуратно считать макс целое, представимое floatом
Это INT_MAX -2^8 (один ulp). И, соответственно, минимальное -INT_MIN + ulp
Соответственно, нужно как-то аккуратно считать макс целое, представимое floatом
Это INT_MAX -2^8 (один ulp). И, соответственно, минимальное -INT_MIN + ulp
Да, по поводу intmax правда.