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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Compiler Development

771 membersпожаловаться на группу
2020 January 02

E

Eugene in Compiler Development
Alexey Veselovsky
без экспериментирования ты спеку не напишешь. нужен материал основываясь на котором потом можно будет и спеку написать
это означает нехватку знаний у писателя спецификаций, а это проблема в процессе разработки — разработку доверили неспециалистам, значит вероятность успеха стремится к нулю
источник
18:26пожаловаться#1

E

EgorBo in Compiler Development
@maxgraey закинул код в консольапп в вижле 2019, скомпилил с дампом асма:
?test@@YA_KXZ PROC          ; test, COMDAT
; File C:\prj\JitBug-master\JitBug-master\ConsoleApplication1\ConsoleApplication1.cpp
; Line 16
  mov  rax, -81984429704859120      ; fedcbb9876543210H
; Line 17
  ret  0
источник
18:27пожаловаться#2

E

EgorBo in Compiler Development
всё работает
источник
18:27пожаловаться#3

M

MaxGraey in Compiler Development
Вот так работает:
https://godbolt.org/z/jHXqYq
godbolt.org
Compiler Explorer - C (x64 mvsc v19.14 (WINE))
#define M6502_SHIFT_PIN(m,p0,p1) ((((m)&(p0))/(p0))*(p1))
#define M6502_A4 (1ULL<<4)
#define M6522_CS1 (1ULL<<40)

uint64_t test() {
   uint64_t m0 = 0x123456789ABCDEF0ULL | M6502_A4;
   uint64_t m1 = 0xFEDCBA9876543210ULL & ~M6522_CS1;
   m1 |= M6502_SHIFT_PIN(m0, M6502_A4, M6522_CS1);
   return m1;
}
источник
18:28пожаловаться#4

E

EgorBo in Compiler Development
у меня /O2
источник
18:28пожаловаться#5

E

Eugene in Compiler Development
6502 — это же процессор из Apple-II, неужели кому-то ещё актуально, что там за код для него генерируется?
источник
18:28пожаловаться#6

E

EgorBo in Compiler Development
MaxGraey
Вот так работает:
https://godbolt.org/z/jHXqYq
godbolt.org
Compiler Explorer - C (x64 mvsc v19.14 (WINE))
#define M6502_SHIFT_PIN(m,p0,p1) ((((m)&(p0))/(p0))*(p1))
#define M6502_A4 (1ULL<<4)
#define M6522_CS1 (1ULL<<40)

uint64_t test() {
   uint64_t m0 = 0x123456789ABCDEF0ULL | M6502_A4;
   uint64_t m1 = 0xFEDCBA9876543210ULL & ~M6522_CS1;
   m1 |= M6502_SHIFT_PIN(m0, M6502_A4, M6522_CS1);
   return m1;
}
и нет, я не менял код - взял из твоего твитта
источник
18:28пожаловаться#7

M

MaxGraey in Compiler Development
EgorBo
у меня /O2
Да, там нужно /O2 писать вместо -O2 как у GCC и Clang. В этом и была проблема
источник
18:29пожаловаться#8

M

MaxGraey in Compiler Development
Я уже твитнул насчет флага
источник
18:30пожаловаться#9

E

EgorBo in Compiler Development
угу, сравниватели нанооптимизаций забывают часто это когда сравнивают компиляторы
источник
18:30пожаловаться#10

M

MaxGraey in Compiler Development
Ну я об это например не знал) Так как работал последний раз с MSVC лет 10 назад и естественно из под студии, так что как там ключи формировались без понятия был как тогда так и сейчас)
источник
18:34пожаловаться#11

E

EgorBo in Compiler Development
но панику же развели сразу какую :D
источник
18:35пожаловаться#12

E

EgorBo in Compiler Development
я по правде говоря тоже редко юзаю msvc, в основном кланг
источник
18:36пожаловаться#13

MM

Mikhail Maltsev in Compiler Development
Eugene
экспериментирование означает, что разработчик не знает, что ему нужно сделать, поэтому пусть он сначала напишет правильную спецификацию, а потом уже пишет код
Это пусть ведущие разработчики в проекте решают, а не авторы компиляторов.
источник
18:38пожаловаться#14

MM

Mikhail Maltsev in Compiler Development
Телефон же мне не указывает типа "на мой взгляд этот разговор не нужен, отменяю вызов"
источник
18:40пожаловаться#15

E

Eugene in Compiler Development
телефон видит, что номер в чёрной книге, и не пропускает вызов — так же должен и компилятор поступать — видит, что указано не допускать забытые переменные — и сообщает об ошибке
источник
18:43пожаловаться#16

MM

Mikhail Maltsev in Compiler Development
Eugene
телефон видит, что номер в чёрной книге, и не пропускает вызов — так же должен и компилятор поступать — видит, что указано не допускать забытые переменные — и сообщает об ошибке
Если указывает разработчик, то соглашусь. Но если наоборот, к примеру, Самсунг за меня составляет какой-то черный список - для меня звучит как дичь
источник
18:48пожаловаться#17

AK

Andrei Kurosh in Compiler Development
FORTRAN ONE LOVE
Когда число неиспользуемых переменных переваливает за полторы тысячи на функцию, становится неприкольно
Это нужно ловить специальным линтером с тысячей подобных настроек, но не на уровне языка
источник
19:23пожаловаться#18

FO

FORTRAN ONE LOVE in Compiler Development
Andrei Kurosh
Это нужно ловить специальным линтером с тысячей подобных настроек, но не на уровне языка
Проще в компилер имплементировать. С возможностью их выключения. :-)
источник
19:24пожаловаться#19

AK

Andrei Kurosh in Compiler Development
FORTRAN ONE LOVE
Проще в компилер имплементировать. С возможностью их выключения. :-)
Почему вы думаете, что это будет проще? )
источник
19:25пожаловаться#20