; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-unknown < %s  | \
; RUN:   FileCheck %s --implicit-check-not=mtctr --implicit-check-not=bdnz
$test = comdat any

; No CTR loop due to frem (since it is always a call).
define void @test() #0 comdat {
; CHECK-LABEL: test:
; CHECK:    ld 29, 0(3)
; CHECK:    ld 30, 40(1)
; CHECK:    xxlxor 31, 31, 31
; CHECK:    cmpld 30, 29
; CHECK-NEXT:    bge- 0, .LBB0_2
; CHECK-NEXT:    .p2align 5
; CHECK-NEXT:  .LBB0_1: # %bounds.ok
; CHECK:    fmr 1, 31
; CHECK-NEXT:    lfsx 2, 0, 3
; CHECK-NEXT:    bl fmodf
; CHECK-NEXT:    nop
; CHECK-NEXT:    addi 30, 30, 1
; CHECK-NEXT:    stfsx 1, 0, 3
; CHECK-NEXT:    cmpld 30, 29
; CHECK-NEXT:    blt+ 0, .LBB0_1
; CHECK-NEXT:  .LBB0_2: # %bounds.fail
; CHECK-NEXT:    std 30, 40(1)
  %pos = alloca i64, align 8
  br label %forcond

forcond:                                          ; preds = %bounds.ok, %0
  %1 = load i64, i64* %pos
  %.len1 = load i64, i64* undef
  %bounds.cmp = icmp ult i64 %1, %.len1
  br i1 %bounds.cmp, label %bounds.ok, label %bounds.fail

bounds.ok:                                        ; preds = %forcond
  %2 = load float, float* undef
  %3 = frem float 0.000000e+00, %2
  store float %3, float* undef
  %4 = load i64, i64* %pos
  %5 = add i64 %4, 1
  store i64 %5, i64* %pos
  br label %forcond

bounds.fail:                                      ; preds = %forcond
  unreachable
}