57 lines · plain
1; Test -sanitizer-coverage-trace-compares=1 (instrumenting a switch)2; RUN: opt < %s -passes='module(sancov-module)' -sanitizer-coverage-level=1 -sanitizer-coverage-trace-compares=1 -S | FileCheck %s3 4target 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"5target triple = "x86_64-unknown-linux-gnu"6declare void @_Z3bari(i32)7define void @foo(i32 %x) {8entry: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 i6411; CHECK-NEXT: call void @__sanitizer_cov_trace_switch(i64 [[TMP]], ptr @__sancov_gen_cov_switch_values)12 switch i32 %x, label %sw.epilog [13 i32 1, label %sw.bb14 i32 1001, label %sw.bb.115 i32 101, label %sw.bb.216 ]17 18sw.bb: ; preds = %entry19 tail call void @_Z3bari(i32 4)20 br label %sw.epilog21 22sw.bb.1: ; preds = %entry23 tail call void @_Z3bari(i32 5)24 br label %sw.epilog25 26sw.bb.2: ; preds = %entry27 tail call void @_Z3bari(i32 6)28 br label %sw.epilog29 30sw.epilog: ; preds = %entry, %sw.bb.2, %sw.bb.1, %sw.bb31 ret void32}33 34define void @fooi72(i72 %x) {35entry:36 switch i72 %x, label %sw.epilog [37 i72 1, label %sw.bb38 i72 101, label %sw.bb.139 i72 1001, label %sw.bb.240 ]41 42sw.bb: ; preds = %entry43 tail call void @_Z3bari(i32 4)44 br label %sw.epilog45 46sw.bb.1: ; preds = %entry47 tail call void @_Z3bari(i32 5)48 br label %sw.epilog49 50sw.bb.2: ; preds = %entry51 tail call void @_Z3bari(i32 6)52 br label %sw.epilog53 54sw.epilog: ; preds = %entry, %sw.bb.2, %sw.bb.1, %sw.bb55 ret void56}57