1 ; Test -sanitizer-coverage-experimental-trace-compares=1 (instrumenting a switch) 2 ; RUN: opt < %s -sancov -sanitizer-coverage-level=1 -sanitizer-coverage-experimental-trace-compares=1 -S | FileCheck %s --check-prefix=CHECK 3 4 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" 5 target triple = "x86_64-unknown-linux-gnu" 6 declare void @_Z3bari(i32) 7 define void @foo(i32 %x) { 8 entry: 9 ; CHECK: __sancov_gen_cov_switch_values = internal global [5 x i64] [i64 3, i64 32, i64 1, i64 101, i64 1001] 10 ; CHECK: [[TMP:%[0-9]*]] = zext i32 %x to i64 11 ; CHECK-NEXT: call void @__sanitizer_cov_trace_switch(i64 [[TMP]], i64* getelementptr inbounds ([5 x i64], [5 x i64]* @__sancov_gen_cov_switch_values, i32 0, i32 0)) 12 switch i32 %x, label %sw.epilog [ 13 i32 1, label %sw.bb 14 i32 101, label %sw.bb.1 15 i32 1001, label %sw.bb.2 16 ] 17 18 sw.bb: ; preds = %entry 19 tail call void @_Z3bari(i32 4) 20 br label %sw.epilog 21 22 sw.bb.1: ; preds = %entry 23 tail call void @_Z3bari(i32 5) 24 br label %sw.epilog 25 26 sw.bb.2: ; preds = %entry 27 tail call void @_Z3bari(i32 6) 28 br label %sw.epilog 29 30 sw.epilog: ; preds = %entry, %sw.bb.2, %sw.bb.1, %sw.bb 31 ret void 32 } 33 34 define void @fooi72(i72 %x) { 35 entry: 36 switch i72 %x, label %sw.epilog [ 37 i72 1, label %sw.bb 38 i72 101, label %sw.bb.1 39 i72 1001, label %sw.bb.2 40 ] 41 42 sw.bb: ; preds = %entry 43 tail call void @_Z3bari(i32 4) 44 br label %sw.epilog 45 46 sw.bb.1: ; preds = %entry 47 tail call void @_Z3bari(i32 5) 48 br label %sw.epilog 49 50 sw.bb.2: ; preds = %entry 51 tail call void @_Z3bari(i32 6) 52 br label %sw.epilog 53 54 sw.epilog: ; preds = %entry, %sw.bb.2, %sw.bb.1, %sw.bb 55 ret void 56 } 57
