| ;; No instrumentation should be emitted if there are no counter increments. | |
| ; RUN: opt < %s -instrprof -S | FileCheck %s | |
| ; CHECK-NOT: @__llvm_profile_counters | |
| ; CHECK-NOT: @__llvm_profile_data | |
| ; CHECK-NOT: @__llvm_profile_runtime | |
| define void @foo() { | |
| ret void | |
| } |