1; RUN: %lli -force-interpreter=true %s | FileCheck %s
2; CHECK: 40091eb8
3
4define i32 @test(double %x) {
5entry:
6	%x46.i = bitcast double %x to i64
7	%tmp343.i = lshr i64 %x46.i, 32
8	%tmp344.i = trunc i64 %tmp343.i to i32
9        ret i32 %tmp344.i
10}
11
12define i32 @main()
13{
14       %res = call i32 @test(double 3.14)
15       %ptr = getelementptr [4 x i8], [4 x i8]* @format, i32 0, i32 0
16       call i32 (i8*,...) @printf(i8* %ptr, i32 %res)
17       ret i32 0
18}
19
20declare i32 @printf(i8*, ...)
21@format = internal constant [4 x i8] c"%x\0A\00"
22