Pull to refresh
272
0
Владимир @32bit_me

Программист

Send message
вы ему – «Как дела?», а он вам – «Неудивительно».

Напомнило анекдот: «Как ваше здоровье?» – «Не дождётесь».
Третьего класса. Первая цифра в названии — это класс.
Ясно. Надеюсь почитать о ваших разработках на хабре, когда доберётесь до релиза.
Круто. А как вы планируете это монетизировать, если не секрет?
Ничего себе. Очень круто. Это не опенсорс-проекты, как я понимаю?
Вы можете привести приер программы, в которой проявляются эти нюансы?
(я не к тому, чтобы с вами поспорить, мне реально интересно понять суть проблемы).
Наверное, если вы пишете фронтенд, вы можете столкнуться с подобными проблемами.
Но если вы разрабатываете бэкенд, то вы сам хозяин всех оптимизаций. Если ядро, для которого пишется бэкенд, новое/уникальное, то нет проблем совместимости с более ранними версиями, и можно использовать множество паттернов выбора инструкций для того, чтобы в каждой ситуации выбирались наиболее оптимальные инструкции, и можно дописывать свои проходы оптимизации. Это долго, конечно, но можно добиться очень хороших результатов.
компилятор формально верифицируемых языков

Интересно. Расскажите, пожалуйста, что за языки.
Большое спасибо.
Кстати, llvm.org заблокировали. А то террористы смогут собрать компилятор!
И могу сам предложить ссылки на работы по адаптации LLVM для стековой и VLIW-архитектуры.

Я хотел бы эти ссылки.
Поделитесь ссылками, пожалуйста.
Не знаю насчёт compiler-in-loop, но, например, разработчики Risc-V изначально стали ориентироваться на LLVM и GCC, и на мой взгляд, это абсолютно правильное решение.
Embecosm were tasked with providing a LLVM based tool chain

Возможно, LLVM был выбран по согласованию с заказчиком, мы не знаем деталей сделки и не можем об этом судить.
LLVM поддерживает бэкенды с разрядностью 8 и 16 бит, стековые и VLIW таргеры.
Я разрабатывал бэкенд для LLVM, 32-битный, но тоже со своими нестандартными особенностями.
Представление о том, что LLVM заточен только на 32-битные RISC-машины, в корне неверно.
Впрочем, не буду вас разубеждать.
Зарплата Compiler Engineer — £45K to £85K. Можете подсчитать примерно.
Конечно же, 120 дней — неприемлемый срок для подхода compiler-in-loop.

А вы можете разработать компилятор быстрее, хотя бы прототип? Вообще я cчитаю, что приведённые в статье сроки нереально занижены, в несколько раз.
Понятно, что LLVM был выбран по требованиям заказчика

Из чего это понятно? Компания Embecosm специализируется на компиляторах LLVM и GCC:
Embecosm are able to provide new and upgraded ports of binutils, GCC, GDB, GNU libraries, LLVM, LLDB, LLVM utilities and LLVM libraries

Нет ничего удивительного, что они выбрали LLVM для данного проекта.
не была бы разработка своего backend для специализированного 16-битного процессора более эффективным (по времени, качеству кода) решением, чем адаптация LLVM?

То есть вы предлагаете написать компилятор с нуля, и считаете, что это будет " более эффективным (по времени, качеству кода) решением"? Вы шутите, надеюсь. Нет, не будет, ни по одному из параметров.
Synopsys использует LLVM. Бэкенд Synopys ARC включен в релиз LLVM, и все вакансии Synopsys по компиляторам — это разработчики под LLVM.
В оригинале engeneering-days.

Information

Rating
Does not participate
Date of birth
Registered
Activity