Dv
в неткоре даже отвергли мой ПР на фолдинг констант
Вот блин, из-за overflow?
Size: a a a
2019 September 28
AZ
а что по спецификации должно происходить во время overflow?
E
Вот блин, из-за overflow?
ага
Dv
а что по спецификации должно происходить во время overflow?
Ага, то же хотел спросить
E
а что по спецификации должно происходить во время overflow?
зависит, если контекст обернут в
если не обернут, то все равно x * 2 / 2 где х >= int.MaxValue/2 — это будут неэквивалентные числа
checked { } где либо то x * 2 / 2 может рвануть исключением.если не обернут, то все равно x * 2 / 2 где х >= int.MaxValue/2 — это будут неэквивалентные числа
AZ
что такое "неэквивалентные числа"?
E
неравные
AZ
а почему?
E
всмысле почему? :) х * 2 - оверфлоу же
AZ
если я правильно всё понимаю, то правильно, что отклонили
E
ну в теории правильно да
AZ
всмысле почему? :) х * 2 - оверфлоу же
ну блин. берешь, делаешь UB и всё :)
AH
Мрак. Но подозреваю что починив здесь мифический оверфлоу через фолд в константу в каком-то допотопном банке рванет. Но с другой стороны, допотопный банк не обновляется поди
E
просто тут как с Fast-Math, многим юзкейсам пофиг
E
Мрак. Но подозреваю что починив здесь мифический оверфлоу через фолд в константу в каком-то допотопном банке рванет. Но с другой стороны, допотопный банк не обновляется поди
да, бизнес не будет рад таким оптимизациям
E
но мы идем к тому, что в .NET 5 у нас будет переключатель рантаймов и одним щелчком можно переключится на LLVM :D а там хоть фаст мас, хоть оверлфоу
Dv
зависит, если контекст обернут в
если не обернут, то все равно x * 2 / 2 где х >= int.MaxValue/2 — это будут неэквивалентные числа
checked { } где либо то x * 2 / 2 может рвануть исключением.если не обернут, то все равно x * 2 / 2 где х >= int.MaxValue/2 — это будут неэквивалентные числа
Ну, мы всегда статически знаем во время компиляции, где чекед, а где нет.
E
Ну, мы всегда статически знаем во время компиляции, где чекед, а где нет.
ну чекед - это так, не беда особо
E
хотя с другой стороны где-то в спеке CIL написано что нельзя применять оптимизации, которые чинят код