[opaque pointer type] Add textual IR support for explicit type parameter to gep operator
[oota-llvm.git] / test / ExecutionEngine / OrcJIT / stubs.ll
1 ; RUN: %lli -use-orcmcjit -disable-lazy-compilation=false %s
2
3 define i32 @main() nounwind {
4 entry:
5         call void @lazily_compiled_address_is_consistent()
6         ret i32 0
7 }
8
9 ; Test PR3043: @test should have the same address before and after
10 ; it's JIT-compiled.
11 @funcPtr = common global i1 ()* null, align 4
12 @lcaic_failure = internal constant [46 x i8] c"@lazily_compiled_address_is_consistent failed\00"
13
14 define void @lazily_compiled_address_is_consistent() nounwind {
15 entry:
16         store i1 ()* @test, i1 ()** @funcPtr
17         %pass = tail call i1 @test()            ; <i32> [#uses=1]
18         br i1 %pass, label %pass_block, label %fail_block
19 pass_block:
20         ret void
21 fail_block:
22         call i32 @puts(i8* getelementptr([46 x i8], [46 x i8]* @lcaic_failure, i32 0, i32 0))
23         call void @exit(i32 1)
24         unreachable
25 }
26
27 define i1 @test() nounwind {
28 entry:
29         %tmp = load i1 ()*, i1 ()** @funcPtr
30         %eq = icmp eq i1 ()* %tmp, @test
31         ret i1 %eq
32 }
33
34 declare i32 @puts(i8*) noreturn
35 declare void @exit(i32) noreturn