Статус готовности CLang к сборке ядра Linux

gcc выдаёт самые нормальные сообщения об ошибках, -Wall тоже рекомендую включать - последние такое ловят - зашатаешься! icc сосёт со своими попытками указать символ. Этому говну ещё копать и копать до уровня gcc по гибкости. Но пусть работают лучшее в gcc тащите ребята!

>> Ассемблер для генерации кода реального режима

А где там реальный режим?

в коротком промежутке от запуска ядра загрузчиком до включения защищённого режима, и настройки IDT/GDT, К.О. В VirtualBox тоже самое, только там ещё для BIOS используется.

>С некроссплатформемным байт-кодом ллвм не нужен.

Вот тут диссер М. Франца про slim binaries: http://oberoncore.ru/library/code-generation_on-the-fly_a_key_to_portable_sof... http://www.uni-vologda.ac.ru/oberon/infoart/otherfly.htm

Там описана другая схема кодирования, чем просто SSA IR + биткод в LLVM, покомпактнее (семантический словарь, SDE). Интересно было бы делать SDE из SSA или биткода (при компиляции) и декодировании через SDE в загрузчике или наоборот, в загрузчике конвертировать из SDE в LLVM биткод и кодогенерировать через LLVM.
Вообще, насколько такой «SDE из SSA» и «SDE из LLVM BC» отличаются, и можно ли при некоторых усилиях из второго сделать первый? Что-то типа LLVM BC ->SDE -> generic SSA

Большинство абстрактных машин в состоянии описывать лишь алгоритмические аспекты вычисления. Они не могут корректно сохранять всю информацию более высокого порядка, которая выражена в программах, написанных на языках высокого уровня, в частности, блочную структуру и контроль типов данных.

сли исключить полностью константные выражения, которые вычисляются в ходе преобразования исходной программы в SDE-форму, SDE-кодирование сохраняет всю информацию, содержащуюся на уровне входного языка. Следовательно, в отличие от представлений, основанных на использовании абстрактных машин, преобразование в SDE-форму сохраняет блочную структуру программ, а также тип каждого выражения. Более того, в определенных случаях при подаче полученных с помощью SDE-кодирования данных на вход кодогенератора генерация кода упрощается, что приводит к повышению эффективности трансляции.

Ну и на кой давать ссылки на страницы с кривой кодировкой?

Оригинал можно тут найти: http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.1424

Я полагал это grub делает, а не ядро, нет?

Что делать, если в рамках стандарта реализация никак не получается?

made my day :) выгонять криворукую команду

90% какого софта

Обычного. Не собирается только то, что юзает гну-расширения. Много что собирал им.

PS. Все сказанное мной относится к 2.8 и новее.

Сабж - фигня, Tiny C Compiler рулит. С его помощью можно писать скрипты на C (дописав '#!/usr/bin/tcc -run' в начале файла). И он быстр - сборка и запуск ядра Линукс за 15 секунд! :)

> Я полагал это grub делает, а не ядро, нет?

там где-то есть всё-таки реальный режим, до загрузки ядра. Как бы не в initrd. Вот когда ставится VirtualBox, в него Gentoo, в неё virtualbox-modules, он по зависимостям просит dev86 компилятор и bin86 ассемблер.

да, весело — минималистичный tcc уже поддерживает x86-64 и собирает ядро, а могучие clang/pcc сборку ядра ниасиливают :))
вот как нужно gcc расширения реализовывать :))