1 ; RUN: %lli %s > /dev/null 2 3 define i32 @foo(i32 %x, i32 %y, double %d) { 4 entry: 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 17 define i32 @main() { 18 entry: 19 %call = call i32 @foo(i32 0, i32 1, double 0xDEADBEEFFEEDFACE) 20 ret i32 %call 21 } 22