llvm/test/Instrumentation/ThreadSanitizer/read_from_global.ll

   1 ; RUN: opt < %s -passes=tsan -S | FileCheck %s
   2 ; Check that tsan does not instrument reads from constant globals.
   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-S128"
   5
   6 @const_global = external constant i32
   7 define i32 @read_from_const_global() nounwind uwtable sanitize_thread readnone {
   8 entry:
   9   %0 = load i32, ptr @const_global, align 4
  10   ret i32 %0
  11 }
  12 ; CHECK: define i32 @read_from_const_global
  13 ; CHECK-NOT: __tsan
  14 ; CHECK: ret i32
  15
  16 @non_const_global = global i32 0, align 4
  17 define i32 @read_from_non_const_global() nounwind uwtable sanitize_thread readonly {
  18 entry:
  19   %0 = load i32, ptr @non_const_global, align 4
  20   ret i32 %0
  21 }
  22
  23 ; CHECK:  define i32 @read_from_non_const_global
  24 ; CHECK: __tsan_read
  25 ; CHECK: ret i32
  26
  27 @const_global_array = external constant [10 x i32]
  28 define i32 @read_from_const_global_array(i32 %idx) nounwind uwtable sanitize_thread readnone {
  29 entry:
  30   %idxprom = sext i32 %idx to i64
  31   %arrayidx = getelementptr inbounds [10 x i32], ptr @const_global_array, i64 0, i64 %idxprom
  32   %0 = load i32, ptr %arrayidx, align 4
  33   ret i32 %0
  34 }
  35
  36 ; CHECK: define i32 @read_from_const_global_array
  37 ; CHECK-NOT: __tsan
  38 ; CHECK: ret i32
  39
  40 %struct.Foo = type { ptr }
  41 define void @call_virtual_func(ptr %f) uwtable sanitize_thread {
  42 entry:
  43   %vtable = load ptr, ptr %f, align 8, !tbaa !2
  44   %0 = load ptr, ptr %vtable, align 8
  45   call void %0(ptr %f)
  46   ret void
  47 }
  48
  49 ; CHECK: define void @call_virtual_func
  50 ; CHECK: __tsan_vptr_read
  51 ; CHECK: = load
  52 ; CHECK-NOT: __tsan_read
  53 ; CHECK: = load
  54 ; CHECK: ret void
  55
  56 !0 = !{!"Simple C/C++ TBAA"}
  57 !1 = !{!"vtable pointer", !0}
  58 !2 = !{!1, !1, i64 0}