Получить объявление функции от другого llvm :: Module

В моем приложении у меня есть 2 модуля LLVM - модуль времени выполнения (содержащий определение функции void foo(int * a)) и исполняемый модуль (который я создаю с помощью LLVM C ++ API).

В моем исполняемом модуле я создаю int main(int argc, char ** argv) и хочу поместить llvm::CallInst в его тело, что вызовет функцию foo() из модуля времени выполнения.

Вот мой код:

Function * fooF = Function::Create(runtimeModule->getFunction("foo")->getFunctionType(),
    GlobalValue::WeakAnyLinkage, "foo", execModule);

После этого я соединяю два модуля вместе:

Linker linker("blabla", execModule, false);
linker.LinkInFile("/path/to/runtime.bc", false);
execModule = linker.releaseModule();

Это компилируется нормально, однако, когда я запускаю Verifier pass для связанного модуля, я получаю:

Global is external, but doesn't have external or dllimport or weak linkage!
void (%i32*)* @foo
invalid linkage type for function declaration
void (%i32*)* @foo

Стоит отметить, что все глобальные объекты в runtime-модуле интернализируются с помощью прохода Internalize. После связывания, но перед запуском Verifier, я запускаю Dead Global Elimination Pass среди некоторых других оптимизаций. И когда я делаю dump() в результирующем модуле, я вижу, что @foo, который поступает из модуля времени выполнения, тоже удаляется, несмотря на то, что он используется main(). Похоже, LLVM считает, что @foo определение во время выполнения и @foo объявление в исполняемом файле не связаны.

Я пробовал поиграть с типами связей - не повезло.

Итак, как правильно создать вызов функции из другого модуля?


llvm codegen
person arrowd    schedule 26.01.2012    source источник
comment
Быстрый вопрос: у этих двух модулей один и тот же контекст?   -  person Anton Korobeynikov    schedule 26.01.2012
comment
Что такое контекст? LLVMContext? Тогда не знаю.   -  person arrowd    schedule 26.01.2012
comment
Типы совместимы только в одном контексте. Убедитесь, что ваши модули разделяют их. Дополнительные сведения см. В llvm.org/docs/doxygen/html/classllvm_1_1LLVMContext.html Информация.   -  person Anton Korobeynikov    schedule 27.01.2012
comment
Да, они используют один и тот же контекст - я получил его с помощью getGlobalContext ().   -  person arrowd    schedule 27.01.2012

Ответы (1)


arrow_upward
0
arrow_downward

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

Ах, и я использовал GlobalValue::WeakAnyLinkage.

person arrowd    schedule 02.02.2012