| ; RUN: %lli -force-interpreter=true %s | FileCheck %s | |
| ; CHECK: 40091eb8 | |
| define i32 @test(double %x) { | |
| entry: | |
| %x46.i = bitcast double %x to i64 | |
| %tmp343.i = lshr i64 %x46.i, 32 | |
| %tmp344.i = trunc i64 %tmp343.i to i32 | |
| ret i32 %tmp344.i | |
| } | |
| define i32 @main() | |
| { | |
| %res = call i32 @test(double 3.14) | |
| %ptr = getelementptr [4 x i8], [4 x i8]* @format, i32 0, i32 0 | |
| call i32 (i8*,...) @printf(i8* %ptr, i32 %res) | |
| ret i32 0 | |
| } | |
| declare i32 @printf(i8*, ...) | |
| @format = internal constant [4 x i8] c"%x\0A\00" |