1 ; RUN: opt -early-cse-memssa -loop-rotate -licm -loop-rotate -S %s -o - | FileCheck %s 2 ; ModuleID = 'bugpoint-reduced-simplified.bc' 3 source_filename = "bugpoint-output-8903f29.bc" 4 target datalayout = "e-m:e-i64:64-n32:64" 5 target triple = "powerpc64le-unknown-linux-gnu" 6 7 define 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 14 entry: 15 switch i32 undef, label %BB_8 [ 16 i32 -2, label %BB_9 17 i32 0, label %BB_9 18 ] 19 20 BB_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 27 BB_2: ; preds = %BB_1 28 %.982.us = add nsw i64 %0, 1 29 unreachable 30 31 BB_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 37 BB_4: ; preds = %BB_3 38 %.810.us = add nuw nsw i64 %bcount.1.us, 1 39 br label %BB_1 40 41 BB_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 46 BB_6: ; preds = %BB_5 47 ret void 48 49 BB_7: ; preds = %BB_3 50 br label %BB_5 51 52 BB_8: ; preds = %entry 53 ret void 54 55 BB_9: ; preds = %entry, %entry 56 br label %BB_10 57 58 BB_10: ; preds = %BB_9 59 br label %BB_11 60 61 BB_11: ; preds = %BB_11, %BB_10 62 br i1 undef, label %BB_11, label %BB_12 63 64 BB_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 70 declare void @llvm.ppc.mtctr.i64(i64) #0 71 72 ; Function Attrs: nounwind 73 declare i1 @llvm.ppc.is.decremented.ctr.nonzero() #0 74 75 attributes #0 = { nounwind } 76
