Clang - компиляция заголовка C для LLVM IR/bitcode

Ответ 1

Возможно, менее элегантное решение, но оставаясь с идеей функции doThings, которая заставляет компилятор испускать ИК, потому что используются определения:

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

• Вместо того, чтобы напрямую компилировать заголовок, #include он (или, скорее, его предварительно обработанная версия или несколько заголовков) из файла .c, который содержит весь код "использует". Достаточно прямо:

  // foo.c
  #include "foo.h"
  void doThings(void) {
      ...
  }
  

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

  Все, что вам нужно, это список самих имен и отслеживать, предназначены ли они для функции или для типа объекта. Затем вы можете переопределить функцию "uses", чтобы выглядеть так:

  void * doThings(void) {
      typedef void * (*vfun)(void);
      typedef union v { void * o; vfun f; } v;
  
      return (v[]) {
          (v){ .o = &(bar){0} },
          (v){ .f = (vfun)baz },
      };
  }
  

  Это значительно упрощает "использование" имени для того, чтобы либо применить его к унифицированному типу функции (и вместо того, чтобы называть его указатель), либо обернуть его в &( и ){0} (копируя его независимо от что это). Это означает, что вам не нужно хранить фактическую информацию о типе вообще, только тот вид контекста, из которого вы извлекли имя в заголовке.

  (очевидно, что фиктивная функция и типы заполнителей расширяют уникальные имена, поэтому они не сталкиваются с кодом, который вы действительно хотите сохранить)

Это значительно упрощает шаг синтаксического анализа, так как вам нужно только признать контекст объявления struct/union или function, не требуя при этом очень большой информации об окружающей среде.

Простая, но хакерская отправная точка (которую я, вероятно, буду использовать, потому что у меня низкие стандарты: D) может быть:

• grep через заголовки для директив #include, которые принимают аргумент с угловой скобкой (т.е. установленный заголовок, который вы также не хотите генерировать объявления).
• используйте этот список, чтобы создать пустую папку include со всеми необходимыми входящими файлами, но пустыми
• предварительно обработать его в надежде на упрощение синтаксиса (clang -E -I local-dummy-includes/ -D"__attribute__(...)=" foo.h > temp/foo_pp.h или что-то подобное)
• grep through для struct или union, за которым следует имя, }, за которым следует имя, или name (, и используйте этот смехотворно упрощенный неанализ для создания списка применений в фиктивной функции, и испускать код для .c файла.

Он не поймает всех возможностей; но с небольшим количеством настроек и расширения, вероятно, он будет иметь дело с большим подмножеством реалистического кода заголовка. Вы можете заменить его специальным упрощенным синтаксическим анализатором (одним из которых является только просмотр шаблонов контекстов, которые вам нужны) на более позднем этапе.