llvm/test/Instrumentation/ThreadSanitizer/do-not-instrument-memory-access.ll

   1 ; This test checks that we are not instrumenting unwanted acesses to globals:
   2 ; - Instructions with the !nosanitize metadata (e.g. -fprofile-arcs instrumented counter accesses)
   3 ; - Instruction profiler counter instrumentation has known intended races.
   4 ;
   5 ; RUN: opt < %s -passes='function(tsan),module(tsan-module)' -S | FileCheck %s
   6
   7 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
   8 target triple = "x86_64-apple-macosx10.9"
   9
  10 @__profc_test_gep = private global [1 x i64] zeroinitializer, section "__DATA,__llvm_prf_cnts", align 8
  11 @__profc_test_bitcast = private global [2 x i64] zeroinitializer, section "__DATA,__llvm_prf_cnts", align 8
  12 @__profc_test_bitcast_foo = private global [1 x i64] zeroinitializer, section "__DATA,__llvm_prf_cnts", align 8
  13
  14 @__llvm_gcov_ctr = internal global [1 x i64] zeroinitializer
  15 @__llvm_gcov_ctr.1 = internal global [1 x i64] zeroinitializer
  16 @__llvm_gcov_global_state_pred = internal global i32 0
  17 @__llvm_gcda_foo = internal global i32 0
  18
  19 define i32 @test_gep() sanitize_thread {
  20 entry:
  21   %pgocount = load i64, ptr @__profc_test_gep, !nosanitize !0
  22   %0 = add i64 %pgocount, 1
  23   store i64 %0, ptr @__profc_test_gep, !nosanitize !0
  24
  25   %gcovcount = load i64, ptr @__llvm_gcov_ctr, !nosanitize !0
  26   %1 = add i64 %gcovcount, 1
  27   store i64 %1, ptr @__llvm_gcov_ctr, !nosanitize !0
  28
  29   %gcovcount.1 = load i64, ptr @__llvm_gcov_ctr.1, !nosanitize !0
  30   %2 = add i64 %gcovcount.1, 1
  31   store i64 %2, ptr @__llvm_gcov_ctr.1, !nosanitize !0
  32
  33   ret i32 1
  34 }
  35
  36 define i32 @test_bitcast() sanitize_thread {
  37 entry:
  38   %0 = load <2 x i64>, ptr @__profc_test_bitcast, align 8, !nosanitize !0
  39   %.promoted5 = load i64, ptr @__profc_test_bitcast_foo, align 8, !nosanitize !0
  40   %1 = add i64 %.promoted5, 10
  41   %2 = add <2 x i64> %0, <i64 1, i64 10>
  42   store <2 x i64> %2, ptr @__profc_test_bitcast, align 8, !nosanitize !0
  43   store i64 %1, ptr @__profc_test_bitcast_foo, align 8, !nosanitize !0
  44   ret i32 undef
  45 }
  46
  47 define void @test_load() sanitize_thread {
  48 entry:
  49   %0 = load i32, ptr @__llvm_gcov_global_state_pred, !nosanitize !0
  50   store i32 1, ptr @__llvm_gcov_global_state_pred, !nosanitize !0
  51
  52   %1 = load i32, ptr @__llvm_gcda_foo, !nosanitize !0
  53   store i32 1, ptr @__llvm_gcda_foo, !nosanitize !0
  54
  55   ret void
  56 }
  57
  58 !0 = !{}
  59
  60 ; CHECK-NOT: {{call void @__tsan_write}}
  61 ; CHECK: __tsan_init