Телеграмм чат группы compilerdev страница 1057

2020 March 11

FO

FORTRAN ONE LOVE in Compiler Development

Антон

Но плюсам на минуточку 30+ лет?

А фортрану 65+...

источник

17:42пожаловаться #1

AK

Andrei Kurosh in Compiler Development

Александр Вольнов

Не хуже, чем в C++. Там правил с исключениями в сто раз больше, а лямбды ещё более громоздкие.

У плюсов есть уважительная причина (обратная совместимость на протяжении десятилетий) и компенсация (широчайшее распространение), у нового языка этих оправданий не будет

источник

17:47пожаловаться #2

АВ

Александр Вольнов in Compiler Development

А если я сделаю аргумент без квадратных скобок?

NumbersSqr := Numbers.@map[:x {x*x}]

По идее, такое изменение не должно усложнить правила.

источник

17:47пожаловаться #3

АВ

Александр Вольнов in Compiler Development

Andrei Kurosh

У плюсов есть уважительная причина (обратная совместимость на протяжении десятилетий) и компенсация (широчайшее распространение), у нового языка этих оправданий не будет

У меня всегда можно поменять язык, не меняя байткод. Перегнать текст в бинарь старым транслятором, а потом перегнать обратно новым транслятором, и таким образом автоматически получить уже сконвертированный на новый язык код.
Так что я в начале буду пытаться придерживаться простоты реализации, а удобства уже потом добавлю. Главное бинарный формат зафиксировать сразу.

источник

17:50пожаловаться #4

AK

Andrei Kurosh in Compiler Development

Александр Вольнов

У меня всегда можно поменять язык, не меняя байткод. Перегнать текст в бинарь старым транслятором, а потом перегнать обратно новым транслятором, и таким образом автоматически получить уже сконвертированный на новый язык код.
Так что я в начале буду пытаться придерживаться простоты реализации, а удобства уже потом добавлю. Главное бинарный формат зафиксировать сразу.

Вперед и удачи )

источник

17:51пожаловаться #5

AR

Andrew Rudenko in Compiler Development

@devoln ну на всякий случай еще вот https://core.telegram.org/mtproto/TL

core.telegram.org

TL Language

TL (Type Language) serves to describe the used system of types, constructors, and existing functions. In fact, the combinator…

источник

17:52пожаловаться #6

AZ

Alexandr Zamaraev in Compiler Development

Александр Вольнов

У меня всегда можно поменять язык, не меняя байткод. Перегнать текст в бинарь старым транслятором, а потом перегнать обратно новым транслятором, и таким образом автоматически получить уже сконвертированный на новый язык код.
Так что я в начале буду пытаться придерживаться простоты реализации, а удобства уже потом добавлю. Главное бинарный формат зафиксировать сразу.

Вроде Оберон как раз что-то такое делал. :)

источник

17:53пожаловаться #7

VS

Vasily Shapenko in Compiler Development

Andrew Rudenko

@devoln ну на всякий случай еще вот https://core.telegram.org/mtproto/TL

core.telegram.org

TL Language

TL (Type Language) serves to describe the used system of types, constructors, and existing functions. In fact, the combinator…

Это не очень хороший пример

источник

17:55пожаловаться #8

AR

Andrew Rudenko in Compiler Development

Vasily Shapenko

Это не очень хороший пример

ну это уже пусть автор решает, но вроде related

источник

17:56пожаловаться #9

AP

Antony Polukhin in Compiler Development

MaxGraey

тоже самое
https://godbolt.org/z/L5yUFr

godbolt.org

Compiler Explorer - C++

static int x = 1, y = 2;
int Ternary(int i) {
return i > 0 ? x : y;
}
int If(int i) {
if (i > 0)
return x;
else
return y;
}

Зарепортил https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94146

источник

19:12пожаловаться #10

M

MaxGraey in Compiler Development

MaxGraey

Шланг опять читерит:
https://godbolt.org/z/p2gguW

Какого черта он повыкидывал проверки? Из-за этого валятся спек тесты на Clang-е, и проходят только на GCC

godbolt.org

Compiler Explorer - C

#define UNLIKELY(x) __builtin_expect(!!(x), 0)

#define i32 int32_t
#define u32 uint32_t
#define i64 int64_t
#define u64 uint64_t
#define f32 float
#define f64 double

#define OP_TRUNC_SAT(RES, A, TYPE, RMIN, RMAX) \
if (UNLIKELY(isnan(A))) { \
RES = (TYPE)0; \
} else if (UNLIKELY(A <= RMIN)) { \
RES = (TYPE)RMIN; \
} else if (UNLIKELY(A >= RMAX)) { \
RES = (TYPE)RMAX; \
} else { \
RES = (TYPE)A; \
}

#define OP_I32_TRUNC_SAT_F32(RES, A) OP_TRUNC_SAT(RES, A, i32, -2147483904.0f, 2147483648.0f)
#define OP_U32_TRUNC_SAT_F32(RES, A) OP_TRUNC_SAT(RES, A, u32, -1.0f, 4294967296.0f)
#define OP_I32_TRUNC_SAT_F64(RES, A) OP_TRUNC_SAT(RES, A, i32, -2147483649.0 , 2147483648.0 )…

А мог бы еще кто то про вот это в Шланг зарепортить?

источник

19:14пожаловаться #11

AP

Antony Polukhin in Compiler Development

MaxGraey

А мог бы еще кто то про вот это в Шланг зарепортить?

Да, но нужно минимизировать пример... а от макросов у меня глаза кровоточят

Сможете убрать инклюды и оставить минимум кода, для воспроизведения проблемы?

источник

19:21пожаловаться #12

M

MaxGraey in Compiler Development

Antony Polukhin

Да, но нужно минимизировать пример... а от макросов у меня глаза кровоточят

Сможете убрать инклюды и оставить минимум кода, для воспроизведения проблемы?

да, сейчас сделаю

источник

19:22пожаловаться #13

M

MaxGraey in Compiler Development

Antony Polukhin

Да, но нужно минимизировать пример... а от макросов у меня глаза кровоточят

Сможете убрать инклюды и оставить минимум кода, для воспроизведения проблемы?

https://godbolt.org/z/7SC_Cs

Если там будут double и long long соответствующими диапазонами будут тоже самое. Но думаю одного примера с float будет достаточно)

Спасибо!

godbolt.org

Compiler Explorer - C

int saturated_float_to_int_conv(float x) {
int res = 0;
if (isnan(x)) {
res = 0;
} else if (x <= -2147483904.0f) {
res = (int)-2147483904.0f;
} else if (x >= 2147483648.0f) {
res = (int)2147483648.0f;
} else {
res = (int)x;
}
return res;
}

источник

19:29пожаловаться #14

M

MaxGraey in Compiler Development

Интерестно, что вот такой вариант отрабатывает похоже правильно, но он не подходит нам, так как используется макрос. И похоже это проблема с CFG?
https://godbolt.org/z/huvU6r

godbolt.org

Compiler Explorer - C

int saturated_float_to_int_conv(float x) {
int res = 0;
if (isnan(x)) {
res = 0;
} else if (x <= -2147483904.0f) {
res = (int)-2147483904.0f;
} else if (x >= 2147483648.0f) {
res = (int)2147483648.0f;
} else {
return (int)x;
}
return res;
}

источник

19:33пожаловаться #15

E

EgorBo in Compiler Development

А есть административная статья за абузинг компиляторов?

источник

19:34пожаловаться #16

M

MaxGraey in Compiler Development