1 ; RUN: %lli -jit-kind=mcjit %s > /dev/null
2 ; RUN: %lli %s > /dev/null
4 define i32 @foo(i32 %x, i32 %y, double %d) {
6 %d.int64 = bitcast double %d to i64
7 %d.top64 = lshr i64 %d.int64, 32
8 %d.top = trunc i64 %d.top64 to i32
9 %d.bottom = trunc i64 %d.int64 to i32
10 %topCorrect = icmp eq i32 %d.top, 3735928559
11 %bottomCorrect = icmp eq i32 %d.bottom, 4277009102
12 %right = and i1 %topCorrect, %bottomCorrect
13 %nRight = xor i1 %right, true
14 %retVal = zext i1 %nRight to i32
20 %call = call i32 @foo(i32 0, i32 1, double 0xDEADBEEFFEEDFACE)