1; RUN: opt < %s -sancov -sanitizer-coverage-level=4 -sanitizer-coverage-trace-pc -sanitizer-coverage-prune-blocks=1  -S | FileCheck %s
2; RUN: opt < %s -passes='module(sancov-module)' -sanitizer-coverage-level=4 -sanitizer-coverage-trace-pc -sanitizer-coverage-prune-blocks=1  -S | FileCheck %s
3
4define i32 @blah(i32) #0 {
5  %2 = icmp sgt i32 %0, 1
6  br i1 %2, label %branch, label %exit
7; CHECK: call void @__sanitizer_cov_trace_pc()
8
9branch:
10  br label %pos2
11; CHECK-LABEL: branch:
12; CHECK-NOT: call void @__sanitizer_cov_trace_pc()
13
14pos2:
15  br label %pos3
16; CHECK-LABEL: pos2:
17; CHECK-NOT: call void @__sanitizer_cov_trace_pc()
18
19pos3:
20  br label %pos4
21; CHECK-LABEL: pos3:
22; CHECK-NOT: call void @__sanitizer_cov_trace_pc()
23
24pos4:
25  ret i32 0
26; CHECK-LABEL: pos4:
27; CHECK: call void @__sanitizer_cov_trace_pc()
28
29exit:
30  ret i32 0
31; CHECK-LABEL: exit:
32; CHECK: call void @__sanitizer_cov_trace_pc()
33
34}
35