Home | History | Annotate | Download | only in SanitizerCoverage
      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