; RUN: opt < %s -instrprof -S -o - -do-counter-promotion=1  | FileCheck %s
; CHECK: store

@__profn_foo = private constant [3 x i8] c"foo"

define void @foo() {
entry:
  br label %while.body

  while.body:                                       ; preds = %entry, %while.body
    call void @llvm.instrprof.increment(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @__profn_foo, i32 0, i32 0), i64 14813359968, i32 1, i32 0)
    call void (...) @bar() #2
    br label %while.body
}

declare void @bar(...)

declare void @llvm.instrprof.increment(i8*, i64, i32, i32) #0

attributes #0 = { nounwind }