1; RUN: %lli -disable-lazy-compilation=false %s
2
3define i32 @main() nounwind {
4entry:
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
14define void @lazily_compiled_address_is_consistent() nounwind {
15entry:
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
19pass_block:
20	ret void
21fail_block:
22	call i32 @puts(i8* getelementptr([46 x i8]* @lcaic_failure, i32 0, i32 0))
23	call void @exit(i32 1)
24	unreachable
25}
26
27define i1 @test() nounwind {
28entry:
29	%tmp = load i1 ()** @funcPtr
30	%eq = icmp eq i1 ()* %tmp, @test
31	ret i1 %eq
32}
33
34declare i32 @puts(i8*) noreturn
35declare void @exit(i32) noreturn
36