; RUN: %lli %s > /dev/null

define i32 @foo(i32 %x, i32 %y, double %d) {
entry:
  %d.int64 = bitcast double %d to i64
  %d.top64 = lshr i64 %d.int64, 32
  %d.top   = trunc i64 %d.top64 to i32
  %d.bottom = trunc i64 %d.int64 to i32
  %topCorrect = icmp eq i32 %d.top, 3735928559
  %bottomCorrect = icmp eq i32 %d.bottom, 4277009102
  %right = and i1 %topCorrect, %bottomCorrect
  %nRight = xor i1 %right, true
  %retVal = zext i1 %nRight to i32
  ret i32 %retVal
}

define i32 @main() {
entry:
  %call = call i32 @foo(i32 0, i32 1, double 0xDEADBEEFFEEDFACE)
  ret i32 %call
}