Как бы вы повторно использовали реализации кода op при записи JIT с LLVM?

Question

В LLVM учебники и примеры, компилятор выводит LLVM IR, делая звонки, как этот

return Builder.CreateAdd(L, R, "addtmp"); 

но многие переводчики записываются так:

switch (opcode) { 
    case ADD: 
      result = L + R; 
      break; 
    ... 

Как бы вы извлечь каждый из этих фрагментов кода сделать JIT с LLVM без необходимости повторной реализации каждого кода операции в LLVM IR?

Answer 1

Хорошо, сначала возьмите все фрагменты кода и переформатируйте их в свои собственные функции. Таким образом, ваш код идет по адресу:

void addOpcode(uint32_t *result, uint32_t L, uint32_t R) { 
    *result = L + R; 
} 

switch (opcode) { 
    case ADD: 
      addOpcode(&result, L, R); 
      break; 
    .... 

Хорошо, поэтому после этого ваш переводчик должен все еще работать. Теперь возьмите все новые функции и поместите их в свой собственный файл. Теперь скомпилируйте этот файл с помощью llvm-gcc или clang и вместо того, чтобы генерировать собственный код, скомпилируйте его с помощью "cpp" backend (-march -cpp). Это создаст код C++, который создает код байта для блока компиляции. Вы можете указать параметры, чтобы ограничить его конкретными функциями и т. Д. Возможно, вы захотите использовать «-cppgen module».

Теперь вернемся к тому, что ваш цикл интерпретатора соединяет вызовы сгенерированного кода на C++ вместо прямого выполнения исходного кода, а затем передает его некоторым оптимизаторам и родному кодегенератору. Gratz на JIT ;-) Вы можете увидеть пример этого в нескольких проектах LLVM, таких как vm_ops в llvm-lua.