1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-unknown < %s  | \
3; RUN:   FileCheck %s --implicit-check-not=mtctr --implicit-check-not=bdnz
4$test = comdat any
5
6; No CTR loop due to frem (since it is always a call).
7define void @test() nounwind comdat {
8; CHECK-LABEL: test:
9; CHECK:       # %bb.0:
10; CHECK-NEXT:    mflr 0
11; CHECK-NEXT:    std 29, -24(1) # 8-byte Folded Spill
12; CHECK-NEXT:    std 30, -16(1) # 8-byte Folded Spill
13; CHECK-NEXT:    std 0, 16(1)
14; CHECK-NEXT:    stdu 1, -64(1)
15; CHECK-NEXT:    ld 29, 0(3)
16; CHECK-NEXT:    ld 30, 32(1)
17; CHECK-NEXT:    cmpld 30, 29
18; CHECK-NEXT:    bge 0, .LBB0_2
19; CHECK-NEXT:  .LBB0_1: # %bounds.ok
20; CHECK-NEXT:    #
21; CHECK-NEXT:    lfsx 2, 0, 3
22; CHECK-NEXT:    xxlxor 1, 1, 1
23; CHECK-NEXT:    bl fmodf
24; CHECK-NEXT:    nop
25; CHECK-NEXT:    addi 30, 30, 1
26; CHECK-NEXT:    stfsx 1, 0, 3
27; CHECK-NEXT:    cmpld 30, 29
28; CHECK-NEXT:    blt 0, .LBB0_1
29; CHECK-NEXT:  .LBB0_2: # %bounds.fail
30; CHECK-NEXT:    std 30, 32(1)
31  %pos = alloca i64, align 8
32  br label %forcond
33
34forcond:                                          ; preds = %bounds.ok, %0
35  %1 = load i64, i64* %pos
36  %.len1 = load i64, i64* undef
37  %bounds.cmp = icmp ult i64 %1, %.len1
38  br i1 %bounds.cmp, label %bounds.ok, label %bounds.fail
39
40bounds.ok:                                        ; preds = %forcond
41  %2 = load float, float* undef
42  %3 = frem float 0.000000e+00, %2
43  store float %3, float* undef
44  %4 = load i64, i64* %pos
45  %5 = add i64 %4, 1
46  store i64 %5, i64* %pos
47  br label %forcond
48
49bounds.fail:                                      ; preds = %forcond
50  unreachable
51}
52
53