test/Instrumentation/SanitizerCoverage/chains.ll

   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
   4 define 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
   9 branch:
  10   br label %pos2
  11 ; CHECK-LABEL: branch:
  12 ; CHECK-NOT: call void @__sanitizer_cov_trace_pc()
  13
  14 pos2:
  15   br label %pos3
  16 ; CHECK-LABEL: pos2:
  17 ; CHECK-NOT: call void @__sanitizer_cov_trace_pc()
  18
  19 pos3:
  20   br label %pos4
  21 ; CHECK-LABEL: pos3:
  22 ; CHECK-NOT: call void @__sanitizer_cov_trace_pc()
  23
  24 pos4:
  25   ret i32 0
  26 ; CHECK-LABEL: pos4:
  27 ; CHECK: call void @__sanitizer_cov_trace_pc()
  28
  29 exit:
  30   ret i32 0
  31 ; CHECK-LABEL: exit:
  32 ; CHECK: call void @__sanitizer_cov_trace_pc()
  33
  34 }