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

parrot.ru

Рейтинг популярных групп и каналов

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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

rust_offtopic

375 membersпожаловаться на группу

2020 May 23

DS

Doge Shibu in rust_offtopic

Т-34 85

Промежуточное представление в компиляторе можно выцепить и работать с ним как с исходным кодом? Или не в этом суть?

Не в этом, это представление удобное для работы с ним в компиляторе.

Например для высокоуровневых оптимизаций, для низкоуровневых, для генерации машинного кода и т.д.

источник

14:28пожаловаться #1

AI

Alex Ilizarov in rust_offtopic

Т-34 85

Промежуточное представление в компиляторе можно выцепить и работать с ним как с исходным кодом? Или не в этом суть?

Путаешь AST, MIR и IR?

источник

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

Т8

Т-34 85 in rust_offtopic

Путаешь AST, MIR и IR?

может, путаю. Вот, пытаюсь разобраться, что к чему

источник

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

AI

Alex Ilizarov in rust_offtopic

Т-34 85

может, путаю. Вот, пытаюсь разобраться, что к чему

AST - сорс код в виде структурок
MIR - обработка AST, выделение все в простые примитивы, оптимизация на уровне раста, перевод в IR
IR - представление LLVM, LLVM делает свои оптимизации и гонит в бинарный код конкретной платформы.

источник

14:32пожаловаться #4

AI

Alex Ilizarov in rust_offtopic

AST - abstract syntax tree (раст парсит сорцы)
MIR - middle intermediate representation (вроде) (оптимизации которые делает сам раст)
IR - intermediate representation (LLVM, его оптимизации и компиляция в бинарный код)

источник

14:33пожаловаться #5

AI

Alex Ilizarov in rust_offtopic

Но я могу тут где то ошибаться

источник

14:33пожаловаться #6

AI

Alex Ilizarov in rust_offtopic

Вроде все верно

источник

14:33пожаловаться #7

AI

Alex Ilizarov in rust_offtopic

Раньше MIR не было и раст делал IR из AST, пытаясь еще и свои оптимизации добавить. Разработчикам раста это оказалось неудобно и они сделали MIR

источник

14:35пожаловаться #8

Т8

Т-34 85 in rust_offtopic

Раньше MIR не было и раст делал IR из AST, пытаясь еще и свои оптимизации добавить. Разработчикам раста это оказалось неудобно и они сделали MIR

для оптимизаций нужно более высокоуровневое представление, но из него оверхеднее получать конечный бинарник?

источник

14:37пожаловаться #9

AI

Alex Ilizarov in rust_offtopic

Т-34 85

для оптимизаций нужно более высокоуровневое представление, но из него оверхеднее получать конечный бинарник?

У раста больше инфы по раст программе, некоторые оптимизации логичнее делать имея эту информацию.

источник

14:38пожаловаться #10

AI

Alex Ilizarov in rust_offtopic

А так - нет, скорее даже наоборот

источник

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

AI

Alex Ilizarov in rust_offtopic

Некоторой информации в IR просто нету, в некоторых местах LLVM ведет себя странно

источник

14:38пожаловаться #12

AI

Alex Ilizarov in rust_offtopic

Поэтому какие то вещи делают на стороне раста

источник

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

AI

Alex Ilizarov in rust_offtopic

Поюс раст сам по себе может отсечь очень много кода, чтобы LLVM потом получил куда меньший IR.

источник

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

AI

Alex Ilizarov in rust_offtopic

Я не разработчик компилятора и это мое понимание исходя из тех статей и issue которые я видел.

источник

14:40пожаловаться #15

Т8

Т-34 85 in rust_offtopic

Поюс раст сам по себе может отсечь очень много кода, чтобы LLVM потом получил куда меньший IR.

а есть тогда смысл в LLVM? Может, выкинуть это звено?

источник

14:40пожаловаться #16

AI

Alex Ilizarov in rust_offtopic

Есть еще miri который умеет интерпритировать MIR и находить UB в unsafe как я читал, но я его не юзал.

источник

14:40пожаловаться #17

AI

Alex Ilizarov in rust_offtopic

Т-34 85

а есть тогда смысл в LLVM? Может, выкинуть это звено?

В LLVM вложили много человекочасов, там много оптимизаций кодогенерации и куча платформ его поддерживающих.

А вообще да, хотят как дополнительный бэкенд добавить carrierwave, это что то вроде LLVM написанное на Rust, но пока что лучше всего carrierwave генерит webassembly ( и последний раз я смотрел - только его).

источник

14:42пожаловаться #18

AI

Alex Ilizarov in rust_offtopic

Еще слышал что хотят gcc бэкенд для Rust. Но опять же, я не шибко слежу за новостями, и я не разработчик компилятора.

Хочешь быть в курсе - подпишись на this week in rust. На самом деле очень много разной работы идет. Есть ощущение что раст точно никуда не уйдет

источник

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

Т8

Т-34 85 in rust_offtopic

Еще слышал что хотят gcc бэкенд для Rust. Но опять же, я не шибко слежу за новостями, и я не разработчик компилятора.

Хочешь быть в курсе - подпишись на this week in rust. На самом деле очень много разной работы идет. Есть ощущение что раст точно никуда не уйдет

окей, спасибо, вроде примерно понял, что к чему.

gcc как бэкенд - ты про mrustc?

источник

14:44пожаловаться #20