1; RUN: opt < %s -pgo-instr-gen -S -o -   | FileCheck %s
2
3define void @foo() {
4entry:
5  br label %while.body
6  ; CHECK: llvm.instrprof.increment
7
8    while.body:                                       ; preds = %entry, %while.body
9    ; CHECK: llvm.instrprof.increment
10        call void (...) @bar() #2
11    br label %while.body
12}
13
14declare void @bar(...)
15
16attributes #0 = { nounwind }
17
18