1; RUN: opt < %s --passes=pgo-instr-gen,instrprof -do-counter-promotion=true -skip-ret-exit-block=0 -S | FileCheck --check-prefix=PROMO --check-prefix=NONATOMIC_PROMO %s 2; RUN: opt < %s --passes=pgo-instr-gen,instrprof -do-counter-promotion=true -atomic-counter-update-promoted -skip-ret-exit-block=0 -S | FileCheck --check-prefix=PROMO --check-prefix=ATOMIC_PROMO %s 3 4define void @foo(i32 %n, i32 %N) { 5; PROMO-LABEL: @foo 6; PROMO: {{.*}} = load {{.*}} @__profc_foo{{.*}} 3) 7; PROMO-NEXT: add 8; PROMO-NEXT: store {{.*}}@__profc_foo{{.*}}3) 9bb: 10 %tmp = add nsw i32 %n, 1 11 %tmp1 = add nsw i32 %n, -1 12 br label %bb2 13 14bb2: ; preds = %bb9, %bb 15; PROMO: phi {{.*}} 16; PROMO-NEXT: phi {{.*}} 17; PROMO-NEXT: phi {{.*}} 18; PROMO-NEXT: phi {{.*}} 19 %i.0 = phi i32 [ 0, %bb ], [ %tmp10, %bb9 ] 20 %tmp3 = icmp slt i32 %i.0, %tmp 21 br i1 %tmp3, label %bb4, label %bb5 22 23bb4: ; preds = %bb2 24 tail call void @bar(i32 1) 25 br label %bb9 26 27bb5: ; preds = %bb2 28 %tmp6 = icmp slt i32 %i.0, %tmp1 29 br i1 %tmp6, label %bb7, label %bb8 30 31bb7: ; preds = %bb5 32 tail call void @bar(i32 2) 33 br label %bb9 34 35bb8: ; preds = %bb5 36 tail call void @bar(i32 3) 37 br label %bb9 38 39bb9: ; preds = %bb8, %bb7, %bb4 40; PROMO: %[[LIVEOUT3:[a-z0-9]+]] = phi {{.*}} 41; PROMO-NEXT: %[[LIVEOUT2:[a-z0-9]+]] = phi {{.*}} 42; PROMO-NEXT: %[[LIVEOUT1:[a-z0-9]+]] = phi {{.*}} 43 %tmp10 = add nsw i32 %i.0, 1 44 %tmp11 = icmp slt i32 %tmp10, %N 45 br i1 %tmp11, label %bb2, label %bb12 46 47bb12: ; preds = %bb9 48 ret void 49; NONATOMIC_PROMO: %[[PROMO1:[a-z0-9.]+]] = load {{.*}} @__profc_foo{{.*}} 50; NONATOMIC_PROMO-NEXT: add {{.*}} %[[PROMO1]], %[[LIVEOUT1]] 51; NONATOMIC_PROMO-NEXT: store {{.*}}@__profc_foo{{.*}} 52; NONATOMIC_PROMO-NEXT: %[[PROMO2:[a-z0-9.]+]] = load {{.*}} @__profc_foo{{.*}} 1) 53; NONATOMIC_PROMO-NEXT: add {{.*}} %[[PROMO2]], %[[LIVEOUT2]] 54; NONATOMIC_PROMO-NEXT: store {{.*}}@__profc_foo{{.*}}1) 55; NONATOMIC_PROMO-NEXT: %[[PROMO3:[a-z0-9.]+]] = load {{.*}} @__profc_foo{{.*}} 2) 56; NONATOMIC_PROMO-NEXT: add {{.*}} %[[PROMO3]], %[[LIVEOUT3]] 57; NONATOMIC_PROMO-NEXT: store {{.*}}@__profc_foo{{.*}}2) 58; ATOMIC_PROMO: atomicrmw add {{.*}} @__profc_foo{{.*}}, i64 %[[LIVEOUT1]] seq_cst 59; ATOMIC_PROMO-NEXT: atomicrmw add {{.*}} @__profc_foo{{.*}}1), i64 %[[LIVEOUT2]] seq_cst 60; ATOMIC_PROMO-NEXT: atomicrmw add {{.*}} @__profc_foo{{.*}}2), i64 %[[LIVEOUT3]] seq_cst 61; PROMO-NOT: @__profc_foo{{.*}}) 62 63 64} 65 66declare void @bar(i32) 67