; RUN: llc < %s

define internal i1 @f(float %s) {
entry:
  %c = fcmp ogt float %s, 0x41EFFFFFE0000000
  ret i1 %c
}