1; RUN: %lli %s > /dev/null
2
3define i32 @foo(i32 %x, i32 %y, double %d) {
4entry:
5  %d.int64 = bitcast double %d to i64
6  %d.top64 = lshr i64 %d.int64, 32
7  %d.top   = trunc i64 %d.top64 to i32
8  %d.bottom = trunc i64 %d.int64 to i32
9  %topCorrect = icmp eq i32 %d.top, 3735928559
10  %bottomCorrect = icmp eq i32 %d.bottom, 4277009102
11  %right = and i1 %topCorrect, %bottomCorrect
12  %nRight = xor i1 %right, true
13  %retVal = zext i1 %nRight to i32
14  ret i32 %retVal
15}
16
17define i32 @main() {
18entry:
19  %call = call i32 @foo(i32 0, i32 1, double 0xDEADBEEFFEEDFACE)
20  ret i32 %call
21}
22