В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Compiler Development

637 membersпожаловаться на группу
2019 September 28

Dv

Dr. Friedrich von Never in Compiler Development
EgorBo
зависит, если контекст обернут в checked { } где либо то x * 2 / 2 может рвануть исключением.
если не обернут, то все равно x * 2 / 2 где х >= int.MaxValue/2 — это будут неэквивалентные числа
А я всё равно не понял, в чём тут будет неэквивалентность
источник
13:34пожаловаться

Dv

Dr. Friedrich von Never in Compiler Development
В рантайме же то же самое посчитается?
источник
13:35пожаловаться

Dv

Dr. Friedrich von Never in Compiler Development
В чём разница между рантаймом и компилтаймом?
источник
13:35пожаловаться

Dv

Dr. Friedrich von Never in Compiler Development
Если только про unchecked говорить.
источник
13:35пожаловаться

E

EgorBo in Compiler Development
Dr. Friedrich von Never
А я всё равно не понял, в чём тут будет неэквивалентность
введи у себя в консоли
источник
13:36пожаловаться

E

EgorBo in Compiler Development
int x = 1_500_000_000;
int y = x * 2 / 2;
Console.WriteLine($"{x} == {y}");
источник
13:36пожаловаться

Dv

Dr. Friedrich von Never in Compiler Development
Эм
источник
13:36пожаловаться

Dv

Dr. Friedrich von Never in Compiler Development
Ну, во-первых, тут нету констант
источник
13:36пожаловаться

E

EgorBo in Compiler Development
всмысле нет
источник
13:36пожаловаться

E

EgorBo in Compiler Development
* 2 / 2
источник
13:36пожаловаться

Dv

Dr. Friedrich von Never in Compiler Development
А, ну и что? Я не понимаю всё ещё
источник
13:36пожаловаться

E

EgorBo in Compiler Development
числа x и y — равны?
источник
13:37пожаловаться

Dv

Dr. Friedrich von Never in Compiler Development
Или ты хотел эту часть свернуть в компилтайме, и оставить int y = x?
источник
13:37пожаловаться

Dv

Dr. Friedrich von Never in Compiler Development
Тогда правильно завернули, ишь чего удумал :)
источник
13:37пожаловаться

M

MaxGraey in Compiler Development
EgorBo
y = x * 2 / 2;
И правильно что отклонили, LLVM кстати и с плавающей арифметикой устраивает вакханалию, да такую что потом внутренние тесты WebAssembly не проходят. Например x * -1.0 не должен оптимизироваться в -x
источник
13:37пожаловаться

E

EgorBo in Compiler Development
Dr. Friedrich von Never
Или ты хотел эту часть свернуть в компилтайме, и оставить int y = x?
C++ компиляторы так делают
источник
13:37пожаловаться

Dv

Dr. Friedrich von Never in Compiler Development
EgorBo
C++ компиляторы так делают
Они нам не указ.
источник
13:37пожаловаться

Dv

Dr. Friedrich von Never in Compiler Development
У этого кода есть только один вариант валидного поведения, у нас же оверфлоу в спеке прописан
источник
13:38пожаловаться

Dv

Dr. Friedrich von Never in Compiler Development
В C++, кажется, оверфлоу — это UB, так что плюсокомпиляторы в своей области применения правы.
источник
13:38пожаловаться

E

EgorBo in Compiler Development
ну зато x + 2 - 2 работает :D
источник
13:38пожаловаться