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

@EgorBo ты не знаешь как LLVM справляется с граничным случаям когда y == 0x80000000L для signed(x - y) < 0 -> x < y правила?

К примеру:
0x8L - 0x80000000L < 0L -> true
но вот
0x8L < 0x80000000L уже false

Хотя для общего случая он всегда преобразовывает в x < y:
https://godbolt.org/z/Wqoczr

godbolt.org

Compiler Explorer - C++ (x86-64 clang (trunk))

int lt(int x, int y) {
return x - y < 0;
}

int le(int x, int y) {
return x - y <= 0;
}

int gt(int x, int y) {
return x - y > 0;
}

int ge(int x, int y) {
return x - y >= 0;
}

источник

00:46пожаловаться #8

M

MaxGraey in Compiler Development

Хмм, а вот GCC не рискует делать это преобразование:
https://godbolt.org/z/n5aeEd

godbolt.org

Compiler Explorer - C++

int lt(int x, int y) {
return x - y < 0;
}

int le(int x, int y) {
return x - y <= 0;
}

int gt(int x, int y) {
return x - y > 0;
}

int ge(int x, int y) {
return x - y >= 0;
}

источник

00:49пожаловаться #9

E

EgorBo in Compiler Development

MaxGraey

@EgorBo ты не знаешь как LLVM справляется с граничным случаям когда y == 0x80000000L для signed(x - y) < 0 -> x < y правила?

К примеру:
0x8L - 0x80000000L < 0L -> true
но вот
0x8L < 0x80000000L уже false

Хотя для общего случая он всегда преобразовывает в x < y:
https://godbolt.org/z/Wqoczr

godbolt.org

Compiler Explorer - C++ (x86-64 clang (trunk))

int lt(int x, int y) {
return x - y < 0;
}

int le(int x, int y) {
return x - y <= 0;
}

int gt(int x, int y) {
return x - y > 0;
}

int ge(int x, int y) {
return x - y >= 0;
}

не в курсе но вообще не удивлен 😊

источник

01:09пожаловаться #10

M

MaxGraey in Compiler Development

EgorBo

не в курсе но вообще не удивлен 😊

Вообще я сделал похожее в binaryen. Но тамошний fuzzer нашел этот кейс и вот теперь выпиливаю эти оптимизации)

источник

01:16пожаловаться #11

M

MaxGraey in Compiler Development

Ну и как Alive это пропустил? Вот и вся ваша хваленая автоматическая верификация=)

источник

01:17пожаловаться #12

Cʕ

Constantine ʕ◔ϖ◔ʔ🦀... in Compiler Development

MrSmith

An_Efficient_and_Scalable_Platform_for_Java_Source.pdf

(1.04 Мб)

👍

источник

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

МБ

Михаил Бахтерев... in Compiler Development

Peter Sovietov

Классическую статью от Snyder Вы ведь смотрели? Она приводится в списке моих любимых книг по спец. вопросам компиляции, если помните такой :)

Я недавно задался этим вопросом. Спасибо за ссылку!

источник

08:45пожаловаться #14

SG

Semyon Grigorev in Compiler Development

MrSmith

Посмотрите на картинку мега графа

Огонь! Интересно, скоро ли возникнет (и возникнет ли вообще) в даном направлении потребность в контекстно-свободных запросах. А то нам Репс чуть ли не в 90-х обещал, что всякие межпроцедурные анализы к ним сводятся. Да и делают люди что-то, типа анализа указателей. Было бы круто всё аккуратно вместе собрать и посмотреть, что получится.

источник

12:09пожаловаться #15

AT

Alexander Tchitchigi... in Compiler Development

Semyon Grigorev

Огонь! Интересно, скоро ли возникнет (и возникнет ли вообще) в даном направлении потребность в контекстно-свободных запросах. А то нам Репс чуть ли не в 90-х обещал, что всякие межпроцедурные анализы к ним сводятся. Да и делают люди что-то, типа анализа указателей. Было бы круто всё аккуратно вместе собрать и посмотреть, что получится.

Это такой завуалированный реверанс в сторону https://github.com/YaccConstructor/YaccConstructor или что? 😉

GitHub

YaccConstructor/YaccConstructor

Platform for parser generators and other grammarware research and development. GLL, RNGLR, graph parsing algorithms, and many others are included. - YaccConstructor/YaccConstructor

источник

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

M

MrSmith in Compiler Development

Semyon Grigorev

Огонь! Интересно, скоро ли возникнет (и возникнет ли вообще) в даном направлении потребность в контекстно-свободных запросах. А то нам Репс чуть ли не в 90-х обещал, что всякие межпроцедурные анализы к ним сводятся. Да и делают люди что-то, типа анализа указателей. Было бы круто всё аккуратно вместе собрать и посмотреть, что получится.

https://graphit-lang.org/

источник

12:23пожаловаться #17

M

MrSmith in Compiler Development

Ну как закончу toy compiler пойду в rust analyzer пилить OGR

источник

12:24пожаловаться #18

M

MrSmith in Compiler Development

Схему не понятно в чем описать как они кодом я не хочу

источник

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

SG

Semyon Grigorev in Compiler Development

Alexander Tchitchigin

Это такой завуалированный реверанс в сторону https://github.com/YaccConstructor/YaccConstructor или что? 😉

GitHub

YaccConstructor/YaccConstructor

Platform for parser generators and other grammarware research and development. GLL, RNGLR, graph parsing algorithms, and many others are included. - YaccConstructor/YaccConstructor

Да нет, правда интересно. Yc в этом смысле просто ещё одна экспериментальная поделка и на какие-то зрелые решения не претендует. Но хочется верить, что идея где-то таки да будет жить. Ну и да, я этим маленько занимаюсь и интересно посмотреть, а может и поучаствовать )

источник

12:28пожаловаться #20