Как компиляторы Си хранят информацию о типах?

Я так и не понял, ты не можешь это распарсить? Тогда так и спаршивай - нужна инфа по парсерам. А хранить ты можешь как хочешь - базовых типов всего ничего

Ну у тебя раньше был дескриптором типа int type=T_CHAR из enum { T_INT, T_CHAR, T_INTP, ... } наверное, а теперь будет полноценная структура, например struct PtrType, в которой член itemType указывает на struct IntType с subtype=T_CHAR, или что там еще, что дальше по дереференсу должно бы быть. Также сделаешь для массивов, функций.

Парсер все должен сложить в естественном порядке рулесов, на выходе сразу такая лапша будет.

Offtop:
Ты вообще чем-то полезным занимаешься или ты только мечешься из области в область, охреневаешь от проблем и бегаешь на ЛОР?
Слишком уж у тебя разнородные вопросы...

Задавай конкретные вопросы, подкрепленные фрагментами кода tcc.

Ты упорот что ли? Мне обидно вообще то. Я с 16 лет увлекаюсь компиляторами (писал компилятор подмножества си, несколько ассемблеров, ВМ, эмулятор CHIP-8 (глюкавый)), вот этим (собрать железку пока не смог, в logisime простенький проц делал). Короче, лоу-левел, самодельные компьютеры, ретро-компьютеры.

Ты вообще чем-то полезным занимаешься или ты только мечешься из области в область, охреневаешь от проблем и бегаешь на ЛОР?

Ну и где я мечусь из области в область?

Я с 16 лет увлекаюсь компиляторами

И до сих пор не прочитал ни одного приличного учебника? Ты реально безнадежен.

Я сюда, бл@ть, пришел, чтобы не копаться в tcc.

Ступай себе мимо.

Короче, должен получится список, так?

Малолетнему дурачку АБИДНА! Ещё и материться пытается, но СТРАШНА, бггг.

man flex bison

Прописываю пациенту книгу дракона.

Есть подозрение, что ты не знаком с понятиями лексер, парсер, abstract syntax tree. Советую хотя бы почитать на вики: Lexical analysis, Parsing, Abstract syntax tree. Есть целая категория: Compiler construction. Всяко полезней чем на ЛОРе тему за темой создавать.

Ок, задам вопрос по другому:
Хоть один полученный тут ответ принёс тебе пользу?
То ты запросы экьюэличаешь, то питон пинаешь, то компиляторы ... пишешь.

Я с 16 лет

Да, конечно. И даже не важно что тебе сейчас 19.

Ладно, забей. Не хотел обидеть. Мне пофиг на самом деле.

Еще есть замечательный проект: lcc, A Retargetable Compiler for ANSI C. Авторы с нуля создали рабочий компилятор и описали процесс создания в книге. Книга, кстати, раритетная, нашел pdf на китайских варезо-обменниках.

Хоть один полученный тут ответ принёс тебе пользу?

Нет. Пока нет.

То ты запросы экьюэличаешь, то питон пинаешь, то компиляторы ... пишешь.

Питоны писать и запросы эскьюэлить надо. Остальное - для души, так сказать.

Да, конечно. И даже не важно что тебе сейчас 19

И? Что это значит? То, что я три года прусь по одной и той же вещи?

Прописываю пациенту книгу дракона.

Ты ее прочел? Компилятор написал?

Есть подозрение, что ты не знаком с понятиями лексер, парсер, abstract syntax tree
писал компилятор подмножества си

Как я его писал, по твоему?

Всяко полезней чем на ЛОРе тему за темой создавать.

Ну здесь ты прав.

Книгу дракона прочитал, lcc не осилил.

Как я его писал, по твоему?

Судя по этому:

Не представляю как это реализовать

ты свой компилятор делал через не сильно умный парсер, разпознающий все нетривиальные конструкции через костыли и подпорки. В реальных компиляторах всегда строится abstract syntax tree.

ты свой компилятор делал через не сильно умный парсер, разпознающий все нетривиальные конструкции через костыли и подпорки. В реальных компиляторах всегда строится abstract syntax tree.

Я собираюсь его запускать на 64кб памяти. Ты уместишь туда AST? Нет.

pratt parser

</thread>

Ух ты, годно, спасибо. Но тред таки не об этом. Правила парсинга тут не причем, я их могу представить. Мне просто было интересно, как хранится распарсенная инфа.

Тогда пиши Форт и не выеживайся.

Чем AST типа отличается от любого другого AST?

Я собираюсь его запускать на 64кб памяти

ЗАЧЕМ ограничивать компилятор в памяти? Ты определенно не в ту сторону смотришь. В учебных целях намного полезней взять какой-нибудь bison и самому написать грамматику для C (подмножества, определенного стандартом MISRA, всю задолбаешся писать). ПОСЛЕ этого писать свой собственный парсер и т.д. Ограничения и оптимизации - последнее дело.

Пробовал ... но понял, что это займет черезчур много времени, надеюсь здесь помогут быстрее.

Молодец! Делай так всегда и по любым вопросам!

Выложи на файлообменник пожалуйста.

Очевидно, что Си-подобный тип — это древовидная иерархия. «Массив (указателей на функцию, возвращающую (указатель на (char) и принимающую (что-то там)))».

(Вероятно, я распарсил твой пример неправильно.)

Соответственно, и хранить её надо как дерево — узлы как структурки, а в них указатели на структурки дочерних узлов.

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

В учебных целях лучше врукопашную написать рекурсивный спуск, например. Генераторы парсеров - для случаев, когда нет времени или смысла заморачиваться на ручной парсер.

OK, выложу сюда ссылку немного позже.

Присоединяюсь.

Он так и делает.

ЗАЧЕМ ограничивать компилятор в памяти?

Аппаратное ограничение.

Зачем тебе тогда си-подобный язык? Пиши Форт.

cast anonimous

Тогда уж сразу Царя

зачем выполнять компиляцию на платформе с такими аппаратными ограничениями?

Ну можнл и так назвать. В случае функций и структур-унионов скорее дерево, там результат и аргументы как субитемы будут. Не знаю что у тебя за парсер, в як/бизоне ты бы просто в рулесах создавал эти куски из уже собранных подвыражений и так получилась бы топ-структура. А для семантики ходил бы по ней параллельно с дереференсами и прочим. Если хочешь компактности, то можно побитоепствовать на предмет свертки дерева в один чанк, но что-то мне вообще слабо верится в возможность compiler.com. В досе даже tasm/masm были exe, iykwim, а на 64к я видел только трансляторы, да и то которым с кассеты надо было подгружать нужные куски на разных этапах.

Хочется. Этого когда нибудь было не достаточно?

64k

HiSoft C compiler, CP/M

У тебя там что за железки-то?

Какой в говно бизон? Какие сраные драконы? При таком ограничении на память табличные парсеры идут лесом. Только рекурсивный спуск (включая того же Пратта).

Но без AST ТСу не обойтись. Сишечка в один проход не компилируется, типы в один проход не протаскиваются. Я бы ТСу посоветовал Паскаль писать, Паскаль легко в один проход транслируется.

Я специально для таких как ты втыкаю «бы» через каждые три слова и все равно бестолку. Всем ясно, что итт парсер хандкрафтед.

VM.

Тебе нужно взять llvm, это прекрасный backend для написания компиляторов и прочего.

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

помогите разбить строку по точкам и запятым! примечание:с детства увлекаюсь конпеляторами. смотрел код полноценного - не осилил. буду писать свой.

если ты не понял, это краткая сводка твоих тредов.

... который прекрасно поместится в 64кб памяти!

как хранится распарсенная инфа.

У каждого элемента (объекта) AST есть поле type. В нём и хранится.

Например:

class Type:
 ...
class Int(Type):
 ...

class Var:
  name = "blah"
  type = Int

Ну а я всё считаю функций. Например, константа это тоже функция которая имееть ноль аргументов и всегда возвращает... константу. И арифметические операции это тоже функции.

Выложи на файлообменник пожалуйста.

Вот найденная мною когда-то pdf:

A Retargetable C Compiler - Design and Implementation - David R. Hanson & Christopher W. Fraser.pdf, 18M.

Вот ссылка на amazon. Еще, кажется, можно отсюда скачать.

Наконец-то пропало ощущение владения чем-то уникальным и запрещенным властями, как будто реликвию в музей отнес.

gen.lib.rus.ec/search.php?req=retargetable+compiler+design

Или это тоже ты выложил?

Ну, нужно компилить на компе, а заливать байткод уже на девайс с 64Кб (sic!) памяти.
https://github.com/micropython/micropython

Не, не я (когда искал не смог найти).

Тебе нужно взять llvm

Как я понял, ТС'у нужно для саморазвития. llvm научит только умодробительному C++. Хотя в качестве основы взять можно (выдернуть с llvm/clang препроцессор, лексер, парсер, ассемблер и самому все свести вместе - «кококо я написал компилятор»).