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