def make_pm(opt=2, inline=2000):
pm = llvm.PassManager.new()
pmb = llvm.PassManagerBuilder.new()
pmb.OptLevel = opt
pmb.Inliner = llvm.createFunctionInliningPass(inline)
pmb.populateModulePassManager(pm)
return pm
def make_pm(opt=2, inline=2000):
pm = llvm.PassManager.new()
pmb = llvm.PassManagerBuilder.new()
pmb.OptLevel = opt
pmb.Inliner = llvm.createFunctionInliningPass(inline)
pmb.populateModulePassManager(pm)
return pm
def test_basic_jit_use():
context = llvm.getGlobalContext()
m = llvm.Module.new("modname", context)
print(m.getModuleIdentifier())
m.setModuleIdentifier('modname2')
print(m.getModuleIdentifier())
print('endianness', m.getEndianness())
assert m.getEndianness() == llvm.Module.Endianness.AnyEndianness
print('pointer-size', m.getPointerSize())
assert m.getPointerSize() == llvm.Module.PointerSize.AnyPointerSize
m.dump()
os = extra.make_raw_ostream_for_printing()
m.print_(os, None)
print(os.str())
int1ty = llvm.Type.getInt1Ty(context)
int1ty.dump()
assert int1ty.isIntegerTy(1)
fnty = llvm.FunctionType.get(int1ty, False)
fnty.dump()
types = [llvm.Type.getIntNTy(context, 8), llvm.Type.getIntNTy(context, 32)]
fnty = llvm.FunctionType.get(llvm.Type.getIntNTy(context, 8), types, False)
print(fnty)
const = m.getOrInsertFunction("foo", fnty)
fn = const._downcast(llvm.Function)
print(fn)
assert fn.hasName()
assert 'foo' == fn.getName()
fn.setName('bar')
assert 'bar' == fn.getName()
assert fn.getReturnType().isIntegerTy(8)
assert fnty is fn.getFunctionType()
assert fn.isVarArg() == False
assert fn.getIntrinsicID() == 0
assert not fn.isIntrinsic()
fn_uselist = fn.list_use()
assert isinstance(fn_uselist, list)
assert len(fn_uselist) == 0
builder = llvm.IRBuilder.new(context)
print(builder)
bb = llvm.BasicBlock.Create(context, "entry", fn, None)
assert bb.empty()
builder.SetInsertPoint(bb)
assert bb.getTerminator() is None
arg0, arg1 = fn.getArgumentList()
print(arg0, arg1)
extended = builder.CreateZExt(arg0, arg1.getType())
result = builder.CreateAdd(extended, arg1)
ret = builder.CreateTrunc(result, fn.getReturnType())
builder.CreateRet(ret)
print(arg0.list_use())
print(fn)
errio = StringIO()
print(m)
# verifier
action = llvm.VerifierFailureAction.ReturnStatusAction
corrupted = llvm.verifyFunction(fn, action)
assert not corrupted
corrupted = llvm.verifyModule(m, action, errio)
print(corrupted)
assert not corrupted, errio.getvalue()
# build pass manager
pmb = llvm.PassManagerBuilder.new()
pmb.OptLevel = 3
assert pmb.OptLevel == 3
pmb.LibraryInfo = llvm.TargetLibraryInfo.new()
pmb.Inliner = llvm.createFunctionInliningPass()
fpm = llvm.FunctionPassManager.new(m)
pm = llvm.PassManager.new()
pmb.populateFunctionPassManager(fpm)
pmb.populateModulePassManager(pm)
fpm.doInitialization()
fpm.run(fn)
fpm.doFinalization()
pm.run(m)
print(m)
# build engine
ee = llvm.ExecutionEngine.createJIT(m, errio)
print(ee, errio.getvalue())
print(ee.getDataLayout().getStringRepresentation())
datalayout_str = 'e-p:64:64:64-S128-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f16:16:16-f32:32:32-f64:64:64-f128:128:128-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64'
assert datalayout_str == str(llvm.DataLayout.new(datalayout_str))
assert datalayout_str == str(llvm.DataLayout.new(str(llvm.DataLayout.new(datalayout_str))))
fn2 = ee.FindFunctionNamed(fn.getName())
assert fn2 is fn
assert ee.getPointerToFunction(fn)
assert ee.getPointerToNamedFunction('printf')
gv0 = llvm.GenericValue.CreateInt(arg0.getType(), 12, False)
gv1 = llvm.GenericValue.CreateInt(arg1.getType(), -32, True)
assert gv0.valueIntWidth() == arg0.getType().getIntegerBitWidth()
assert gv1.valueIntWidth() == arg1.getType().getIntegerBitWidth()
assert gv0.toUnsignedInt() == 12
assert gv1.toSignedInt() == -32
gv1 = llvm.GenericValue.CreateInt(arg1.getType(), 32, False)
gvR = ee.runFunction(fn, (gv0, gv1))
assert 44 == gvR.toUnsignedInt()
# write bitcode
bc_buffer = BytesIO()
llvm.WriteBitcodeToFile(m, bc_buffer)
bc = bc_buffer.getvalue()
bc_buffer.close()
# read bitcode
errbuf = BytesIO()
m2 = llvm.ParseBitCodeFile(bc, context, errbuf)
if not m2:
raise Exception(errbuf.getvalue())
else:
m2.setModuleIdentifier(m.getModuleIdentifier())
assert str(m2) == str(m)
# parse llvm ir
m3 = llvm.ParseAssemblyString(str(m), None, llvm.SMDiagnostic.new(), context)
m3.setModuleIdentifier(m.getModuleIdentifier())
assert str(m3) == str(m)
# test clone
m4 = llvm.CloneModule(m)
assert m4 is not m
assert str(m4) == str(m)
def test_basic_jit_use():
context = llvm.getGlobalContext()
m = llvm.Module.new("modname", context)
print(m.getModuleIdentifier())
m.setModuleIdentifier('modname2')
print(m.getModuleIdentifier())
print('endianness', m.getEndianness())
assert m.getEndianness() == llvm.Module.Endianness.AnyEndianness
print('pointer-size', m.getPointerSize())
assert m.getPointerSize() == llvm.Module.PointerSize.AnyPointerSize
m.dump()
os = extra.make_raw_ostream_for_printing()
m.print_(os, None)
print(os.str())
int1ty = llvm.Type.getInt1Ty(context)
int1ty.dump()
assert int1ty.isIntegerTy(1)
fnty = llvm.FunctionType.get(int1ty, False)
fnty.dump()
types = [llvm.Type.getIntNTy(context, 8), llvm.Type.getIntNTy(context, 32)]
fnty = llvm.FunctionType.get(llvm.Type.getIntNTy(context, 8), types, False)
print(fnty)
const = m.getOrInsertFunction("foo", fnty)
fn = const._downcast(llvm.Function)
print(fn)
assert fn.hasName()
assert 'foo' == fn.getName()
fn.setName('bar')
assert 'bar' == fn.getName()
assert fn.getReturnType().isIntegerTy(8)
assert fnty is fn.getFunctionType()
assert fn.isVarArg() == False
assert fn.getIntrinsicID() == 0
assert not fn.isIntrinsic()
fn_uselist = fn.list_use()
assert isinstance(fn_uselist, list)
assert len(fn_uselist) == 0
builder = llvm.IRBuilder.new(context)
print(builder)
bb = llvm.BasicBlock.Create(context, "entry", fn, None)
assert bb.empty()
builder.SetInsertPoint(bb)
assert bb.getTerminator() is None
arg0, arg1 = fn.getArgumentList()
print(arg0, arg1)
extended = builder.CreateZExt(arg0, arg1.getType())
result = builder.CreateAdd(extended, arg1)
ret = builder.CreateTrunc(result, fn.getReturnType())
builder.CreateRet(ret)
print(arg0.list_use())
print(fn)
errio = StringIO()
print(m)
# verifier
action = llvm.VerifierFailureAction.ReturnStatusAction
corrupted = llvm.verifyFunction(fn, action)
assert not corrupted
corrupted = llvm.verifyModule(m, action, errio)
print(corrupted)
assert not corrupted, errio.getvalue()
# build pass manager
pmb = llvm.PassManagerBuilder.new()
pmb.OptLevel = 3
assert pmb.OptLevel == 3
pmb.LibraryInfo = llvm.TargetLibraryInfo.new()
pmb.Inliner = llvm.createFunctionInliningPass()
fpm = llvm.FunctionPassManager.new(m)
pm = llvm.PassManager.new()
pmb.populateFunctionPassManager(fpm)
pmb.populateModulePassManager(pm)
fpm.doInitialization()
fpm.run(fn)
fpm.doFinalization()
pm.run(m)
print(m)
# build engine
ee = llvm.ExecutionEngine.createJIT(m, errio)
print(ee, errio.getvalue())
print(ee.getDataLayout().getStringRepresentation())
datalayout_str = 'e-p:64:64:64-S128-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f16:16:16-f32:32:32-f64:64:64-f128:128:128-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64'
assert datalayout_str == str(llvm.DataLayout.new(datalayout_str))
assert datalayout_str == str(
llvm.DataLayout.new(str(llvm.DataLayout.new(datalayout_str))))
fn2 = ee.FindFunctionNamed(fn.getName())
assert fn2 is fn
assert ee.getPointerToFunction(fn)
assert ee.getPointerToNamedFunction('printf')
gv0 = llvm.GenericValue.CreateInt(arg0.getType(), 12, False)
gv1 = llvm.GenericValue.CreateInt(arg1.getType(), -32, True)
assert gv0.valueIntWidth() == arg0.getType().getIntegerBitWidth()
assert gv1.valueIntWidth() == arg1.getType().getIntegerBitWidth()
assert gv0.toUnsignedInt() == 12
assert gv1.toSignedInt() == -32
gv1 = llvm.GenericValue.CreateInt(arg1.getType(), 32, False)
gvR = ee.runFunction(fn, (gv0, gv1))
assert 44 == gvR.toUnsignedInt()
# write bitcode
bc_buffer = BytesIO()
llvm.WriteBitcodeToFile(m, bc_buffer)
bc = bc_buffer.getvalue()
bc_buffer.close()
# read bitcode
errbuf = BytesIO()
m2 = llvm.ParseBitCodeFile(bc, context, errbuf)
if not m2:
raise Exception(errbuf.getvalue())
else:
m2.setModuleIdentifier(m.getModuleIdentifier())
assert str(m2) == str(m)
# parse llvm ir
m3 = llvm.ParseAssemblyString(str(m), None, llvm.SMDiagnostic.new(),
context)
m3.setModuleIdentifier(m.getModuleIdentifier())
assert str(m3) == str(m)
# test clone
m4 = llvm.CloneModule(m)
assert m4 is not m
assert str(m4) == str(m)
