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