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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Compiler Development

817 membersпожаловаться на группу
2020 March 09

KR

K R in Compiler Development
MaxGraey
Так это там все и не нужно)
Позвольте не поверить.
источник
21:42пожаловаться#1

M

MaxGraey in Compiler Development
pretty printing зачем? Там ноды и граф
источник
21:43пожаловаться#2

M

MaxGraey in Compiler Development
текст там - это inline поля только
источник
21:43пожаловаться#3

KR

K R in Compiler Development
Есть море методов уложить граф. Даже дерево можно укладывать в разные стороны, с разных сторон (вид сбоку и вид с кроны - он же map, он же s-expressions)
источник
21:45пожаловаться#4

KR

K R in Compiler Development
В смысле, S-expressions - это вид на AST снизу.
источник
21:48пожаловаться#5

M

MaxGraey in Compiler Development
Теперь насчет того как это представлять в структурном виде, сериализовать и десериализовывать, то есть куча способов. Самый простой наверное это JSON, или fbp:
https://github.com/flowbased/fbp-spec
GitHub
flowbased/fbp-spec
Data-driven testing of FBP components and graphs. Contribute to flowbased/fbp-spec development by creating an account on GitHub.
источник
21:49пожаловаться#6

KR

K R in Compiler Development
Без хороших средств поиска замены подграфов мы сильно ограничены в размерах графов.

А рефакторинг - это выделение подграфов в качестве отдельных блоков и наоборот, например.
источник
22:14пожаловаться#7
2020 March 10

M

MaxGraey in Compiler Development
Шланг опять читерит:
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 )…
источник
03:04пожаловаться#8

M

MaxGraey in Compiler Development
Можно конечно вымучать и из Шланга нормальное поведение добавив  -frounding-math. Но это работает только для trunk 😂

https://godbolt.org/z/MB3bxj
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((A) != (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…
источник
04:06пожаловаться#9

AK

Andrei Kurosh in Compiler Development
@EgorBo а CLR JIT заменяет выражения вида x/0.5 на x*2?
источник
10:03пожаловаться#10

AK

Andrei Kurosh in Compiler Development
И вообще насколько это допустимо и осмысленно?
источник
10:04пожаловаться#11

E

EgorBo in Compiler Development
Andrei Kurosh
@EgorBo а CLR JIT заменяет выражения вида x/0.5 на x*2?
да
источник
10:04пожаловаться#12

E

EgorBo in Compiler Development
cмысла - хз, это просто бесплатно подъехало после оптимизации / 2 что давольно часто
источник
10:05пожаловаться#13

AK

Andrei Kurosh in Compiler Development
Спасибо, понял )
источник
10:06пожаловаться#14

E

EgorBo in Compiler Development
а х*2 в свою очередь развернется в х+х :D
источник
10:08пожаловаться#15

p

polunin.ai in Compiler Development
Ну если не заменять, то число посчитается во флоате и при переводе в инт там может быть 646.999999 которое округлится к 646?
источник
10:08пожаловаться#16

E

EgorBo in Compiler Development
polunin.ai
Ну если не заменять, то число посчитается во флоате и при переводе в инт там может быть 646.999999 которое округлится к 646?
где перевод в инт?
источник
10:08пожаловаться#17

p

polunin.ai in Compiler Development
А, ну конкретно тут нет
источник
10:09пожаловаться#18

E

EgorBo in Compiler Development
кстати умножение и сложение флотов - одинаково быстрые операции
источник
10:11пожаловаться#19

E

EgorBo in Compiler Development
по латенси и пропускной
источник
10:11пожаловаться#20