https://www.opennet.me/openforum/vsluhforumID3/80048.html Разработчики Sparse (https://sparse.wiki.kernel.org/), семантического парсера для языка Си, объявили (http://permalink.gmane.org/gmane.comp.parsers.sparse/2600) о создании LLVM-бэкенда sparse-llvm (https://github.com/penberg/sparse-llvm). Конечной целью проекта является создание рабочего компилятора Си, способного собрать ядро Linux. Код проекта распространяется под лицензией MIT.<br><br><br>LLVM-бэкенд уже способен генерировать код для простых примеров на языке Си для различных платформ, но проект ещё находится на ранней стадии развития и не способен осуществить сборку реальных проектов. Созданный на базе Sparse LLVM-бэкенд, пока ограничен поддержкой таких возможностей языка Си, как вызов функций, разбор выражений Switch и if-else, выполнение арифметических, бинарных и операций с плавающей запятой. Тем не менее автор проекта считает (http://lwn.net/Articles/456761/), что sparse-llvm сможет достигнуть стадии пересборки ядра Linux раньше, чем Clang, так как Sparse, на базе которого развиваетс...<br><br>URL: http://lwn.net https://www.opennet.me/openforum/vsluhforumID3/80048.html#26 Mon, 05 Sep 2011 11:08:28 GMT &gt; а разве Clang не собирает ядро? <br><br>Нет. Рекламная брехня на эту тему была, но основания для нее достаточно жидкие (собирается лишь куцый уродец с кучей проблем).<br><br>&gt;По моему они уже года два, как собрали.<br><br>Два года назад собрали этого уродца, и с тех пор никаких подвижек нет.<br> https://www.opennet.me/openforum/vsluhforumID3/80048.html#25 Mon, 05 Sep 2011 11:05:27 GMT &gt;А зачем брать файл с биткодом, когда можно взять исходник?<br><br>Почему это? LLVM финансируется прежде всего Apple, которая очень не любит показывать исходники.<br> https://www.opennet.me/openforum/vsluhforumID3/80048.html#24 Sun, 04 Sep 2011 13:54:06 GMT &gt; gcc же делает платформо-независимый gimple. Короче ты не сможешь взять файл с <br>&gt; биткодом и запустить его на другой архитектуре. Так что дроч на <br>&gt; llvm вместо gcc непонятен <br><br>А зачем брать файл с биткодом, когда можно взять исходник?<br> https://www.opennet.me/openforum/vsluhforumID3/80048.html#21 Wed, 31 Aug 2011 23:00:33 GMT &gt;а разве Clang не собирает ядро? По моему они уже года два, как собрали.<br><br>угу. собрали и уже 2 года не обновляли.<br>следующую сборку ждут ещё через 2 года.<br> https://www.opennet.me/openforum/vsluhforumID3/80048.html#18 Wed, 31 Aug 2011 18:23:27 GMT С Clang собирается только минимум, позволяющий загрузиться. C Clang не работает куча подсистем (SELinux, Posix ACL, IPSec, eCrypt, Xen, IPv6, Netfilter, поддержка модулей ядра и т.п.).<br>PS. http://www.opennet.ru/opennews/art.shtml?num=28418<br> https://www.opennet.me/openforum/vsluhforumID3/80048.html#17 Wed, 31 Aug 2011 18:09:40 GMT &gt; Тем не менее автор проекта считает, что sparse-llvm сможет достигнуть стадии пересборки ядра Linux раньше, чем Clang, так как Sparse, на базе которого развивается sparse-llvm, изначально полностью поддерживает парсинг кода всего ядра.<br><br>а разве Clang не собирает ядро? По моему они уже года два, как собрали.<br> https://www.opennet.me/openforum/vsluhforumID3/80048.html#14 Wed, 31 Aug 2011 13:43:19 GMT &gt; llvm генерит bitcode и он платформенно зависим.<br>&gt; платформенно зависим<br><br>Это как так? Моя твоя не понимать<br> https://www.opennet.me/openforum/vsluhforumID3/80048.html#13 Wed, 31 Aug 2011 13:37:26 GMT &gt; Сам читал перед тем как ссылку ставить?<br>&gt; LLVM изначально генерит платформонезависимый биткод. Сами языки C и C++ не рассчитаны <br>&gt; на компиляцию в платформонезависимый код из-за выбора архитектуры выполнения на уровне <br>&gt; препроцессинга исходника. Но сие не значит что путём определённых манипуляций с <br>&gt; кодом мы не можем выкинуть или заменить платформозависимые части.<br><br>gcc же делает платформо-независимый gimple. Короче ты не сможешь взять файл с биткодом и запустить его на другой архитектуре. Так что дроч на llvm вместо gcc непонятен<br> https://www.opennet.me/openforum/vsluhforumID3/80048.html#11 Wed, 31 Aug 2011 09:02:52 GMT Да, "родной" кодгенератор у Спарс кривой. У меня валился в сегфолт на простейших выражениях. С другой стороны, что ожидать от "глупого" бэк-энда, как его окрестил сам Торвальдс...<br>