1; RUN: opt -early-cse-memssa -loop-rotate -licm -loop-rotate -S %s -o - | FileCheck %s
2; ModuleID = 'bugpoint-reduced-simplified.bc'
3source_filename = "bugpoint-output-8903f29.bc"
4target datalayout = "e-m:e-i64:64-n32:64"
5target triple = "powerpc64le-unknown-linux-gnu"
6
7define void @test(i64 %arg.ssa, i64 %arg.nb) local_unnamed_addr {
8; Ensure that loop rotation doesn't duplicate the call to
9; llvm.ppc.is.decremented.ctr.nonzero
10; CHECK-LABEL: test
11; CHECK: call i1 @llvm.ppc.is.decremented.ctr.nonzero
12; CHECK-NOT: call i1 @llvm.ppc.is.decremented.ctr.nonzero
13; CHECK: declare i1 @llvm.ppc.is.decremented.ctr.nonzero
14entry:
15  switch i32 undef, label %BB_8 [
16    i32 -2, label %BB_9
17    i32 0, label %BB_9
18  ]
19
20BB_1:                                    ; preds = %BB_12, %BB_4
21  %bcount.1.us = phi i64 [ %.810.us, %BB_4 ], [ 0, %BB_12 ]
22  %0 = add i64 %arg.ssa, %bcount.1.us
23  %.568.us = load i32, i32* undef, align 4
24  %.15.i.us = icmp slt i32 0, %.568.us
25  br i1 %.15.i.us, label %BB_3, label %BB_2
26
27BB_2:                                          ; preds = %BB_1
28  %.982.us = add nsw i64 %0, 1
29  unreachable
30
31BB_3:                                          ; preds = %BB_1
32  %1 = add i64 %arg.ssa, %bcount.1.us
33  %2 = add i64 %1, 1
34  %3 = call i1 @llvm.ppc.is.decremented.ctr.nonzero()
35  br i1 %3, label %BB_4, label %BB_7
36
37BB_4:                                          ; preds = %BB_3
38  %.810.us = add nuw nsw i64 %bcount.1.us, 1
39  br label %BB_1
40
41BB_5:                                         ; preds = %BB_7, %BB_5
42  %lsr.iv20.i116 = phi i64 [ %2, %BB_7 ], [ %lsr.iv.next21.i126, %BB_5 ]
43  %lsr.iv.next21.i126 = add i64 %lsr.iv20.i116, 1
44  br i1 undef, label %BB_5, label %BB_6
45
46BB_6:                                         ; preds = %BB_5
47  ret void
48
49BB_7:                                     ; preds = %BB_3
50  br label %BB_5
51
52BB_8:                                           ; preds = %entry
53  ret void
54
55BB_9:                                        ; preds = %entry, %entry
56  br label %BB_10
57
58BB_10:                               ; preds = %BB_9
59  br label %BB_11
60
61BB_11:                                         ; preds = %BB_11, %BB_10
62  br i1 undef, label %BB_11, label %BB_12
63
64BB_12:                                         ; preds = %BB_11
65  call void @llvm.ppc.mtctr.i64(i64 %arg.nb)
66  br label %BB_1
67}
68
69; Function Attrs: nounwind
70declare void @llvm.ppc.mtctr.i64(i64) #0
71
72; Function Attrs: nounwind
73declare i1 @llvm.ppc.is.decremented.ctr.nonzero() #0
74
75attributes #0 = { nounwind }
76