1; RUN: opt < %s -instcombine -S | not grep cmp
2; rdar://6903175
3
4define i1 @f0(i32 *%a) nounwind {
5       %b = load i32, i32* %a, align 4
6       %c = uitofp i32 %b to double
7       %d = fcmp ogt double %c, 0x41EFFFFFFFE00000
8       ret i1 %d
9}
10