; RUN: opt %s -codegenprepare -mattr=+soft-float -S | FileCheck %s -check-prefix=CHECK -check-prefix=SOFTFP
; RUN: opt %s -codegenprepare -mattr=-soft-float -S | FileCheck %s -check-prefix=CHECK -check-prefix=HARDFP

target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

; CHECK-LABEL: @foo
; CHECK:       entry:
; SOFTFP:      fcmp
; HARDFP-NOT:  fcmp
; CHECK:       body:
; SOFTFP-NOT:  fcmp
; HARDFP:      fcmp
define void @foo(float %a, float %b) {
entry:
  %c = fcmp oeq float %a, %b
  br label %head
head:
  %IND = phi i32 [ 0, %entry ], [ %IND.new, %body1 ]
  %CMP = icmp slt i32 %IND, 1250
  br i1 %CMP, label %body, label %tail
body:
  br i1 %c, label %body1, label %tail
body1:
  %IND.new = add i32 %IND, 1
  br label %head
tail:
  ret void
}