AssertionError при объявлении функции, которая возвращает void в llvmlite - PullRequest
Новая
       77

AssertionError при объявлении функции, которая возвращает void в llvmlite

0 голосов
/ 26 февраля 2019

Я пытаюсь создать функцию, которая возвращает void в llvm-ir, но создание такой функции дает AssertionError 

import llvmlite.ir as ir

int32 = ir.IntType(32)
m = ir.Module('demo')

main_ty = ir.FunctionType(int32, [])
main_fn = ir.Function(m, main_ty, "main")

print(str(m))

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

; ModuleID = "demo"
target triple = "unknown-unknown-unknown"
target datalayout = ""

declare i32 @"main"()

, но когда я изменяю тип возвращаемого значения с int32 на VoidType, он вызывает ошибку AssertionError. 

m = ir.Module('demo')
main_ty = ir.FunctionType(ir.VoidType, [])
main_fn = ir.Function(m, main_ty, "main")
print(str(m))

---------------------------------------------------------------------------
AssertionError                            Traceback (most recent call last)
<ipython-input-2-298d109233fd> in <module>
      1 m = ir.Module('demo')
      2 main_ty = ir.FunctionType(ir.VoidType, [])
----> 3 main_fn = ir.Function(m, main_ty, "main")
      4 print(str(m))

~/.local/lib/python3.6/site-packages/llvmlite/ir/values.py in __init__(self, module, ftype, name)
    593         self.args = tuple([Argument(self, t)
    594                            for t in ftype.args])
--> 595         self.return_value = ReturnValue(self, ftype.return_type)
    596         self.parent.add_global(self)
    597         self.calling_convention = ''

~/.local/lib/python3.6/site-packages/llvmlite/ir/values.py in __init__(self, parent, typ, name)
    718 class _BaseArgument(NamedValue):
    719     def __init__(self, parent, typ, name=''):
--> 720         assert isinstance(typ, types.Type)
    721         super(_BaseArgument, self).__init__(parent, typ, name=name)
    722         self.parent = parent

AssertionError:

Может кто-нибудь помочьмне, что мне здесь не хватает?

1 Ответ

0 голосов
/ 26 февраля 2019

VoidType такой же класс, как и IntType.Вам все еще нужно применить его (с нулевыми аргументами), чтобы создать экземпляр: 

main_ty = ir.FunctionType(ir.VoidType(), [])
//                                   ^^
...