1 ; RUN: %lli -jit-kind=orc-mcjit %s > /dev/null
3 define i32 @foo(i32 %x, i32 %y, double %d) {
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
19 %call = call i32 @foo(i32 0, i32 1, double 0xDEADBEEFFEEDFACE)