llvm/test/Instrumentation/SanitizerCoverage/inline-bool-flag.ll

   1 ; Test -sanitizer-coverage-inline-bool-flag=1
   2 ; RUN: opt < %s -passes='module(sancov-module)' -sanitizer-coverage-level=1 -sanitizer-coverage-inline-bool-flag=1  -S | FileCheck %s
   3
   4 ; CHECK:      $foo = comdat nodeduplicate
   5 ; CHECK:      @__sancov_gen_ = private global [1 x i1] zeroinitializer, section "__sancov_bools", comdat($foo), align 1{{$}}
   6 ; CHECK:      @__start___sancov_bools = extern_weak hidden global i1
   7 ; CHECK-NEXT: @__stop___sancov_bools = extern_weak hidden global i1
   8 ; CHECK:      @llvm.used = appending global [1 x ptr] [ptr @sancov.module_ctor_bool_flag], section "llvm.metadata"
   9 ; CHECK:      @llvm.compiler.used = appending global [1 x ptr] [ptr @__sancov_gen_], section "llvm.metadata"
  10
  11 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"
  12 target triple = "x86_64-unknown-linux-gnu"
  13 define void @foo() {
  14 ; CHECK-LABEL: @foo(
  15 ; CHECK-NEXT:  entry:
  16 ; CHECK-NEXT:    [[TMP0:%.*]] = load i1, ptr @__sancov_gen_, align 1, !nosanitize ![[#EMPTY:]]
  17 ; CHECK-NEXT:    [[TMP1:%.*]] = icmp eq i1 [[TMP0]], false
  18 ; CHECK-NEXT:    br i1 [[TMP1]], label [[TMP2:%.*]], label [[TMP3:%.*]]
  19 ; CHECK:       2:
  20 ; CHECK-NEXT:    store i1 true, ptr @__sancov_gen_, align 1, !nosanitize ![[#EMPTY:]]
  21 ; CHECK-NEXT:    br label [[TMP3]]
  22 ; CHECK:       3:
  23 ; CHECK-NEXT:    ret void
  24 ;
  25 entry:
  26   ret void
  27 }
  28 ; CHECK: call void @__sanitizer_cov_bool_flag_init(ptr @__start___sancov_bools, ptr @__stop___sancov_bools)
  29
  30 ; CHECK: ![[#EMPTY]] = !{}