test/Transforms/InstCombine/2009-05-23-FCmpToICmp.ll

   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 }