; RUN: opt < %s -instcombine -S | not grep cmp
; rdar://6903175

define i1 @f0(i32 *%a) nounwind {
       %b = load i32* %a, align 4
       %c = uitofp i32 %b to double
       %d = fcmp ogt double %c, 0x41EFFFFFFFE00000
       ret i1 %d
}
