test/Instrumentation/ThreadSanitizer/read_from_global.ll

   1 ; RUN: opt < %s -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* @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* @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]* @const_global_array, i64 0, i64 %idxprom
  32   %0 = load i32* %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 { i32 (...)** }
  41 define void @call_virtual_func(%struct.Foo* %f) uwtable sanitize_thread {
  42 entry:
  43   %0 = bitcast %struct.Foo* %f to void (%struct.Foo*)***
  44   %vtable = load void (%struct.Foo*)*** %0, align 8, !tbaa !2
  45   %1 = load void (%struct.Foo*)** %vtable, align 8
  46   call void %1(%struct.Foo* %f)
  47   ret void
  48 }
  49
  50 ; CHECK: define void @call_virtual_func
  51 ; CHECK: __tsan_vptr_read
  52 ; CHECK: = load
  53 ; CHECK-NOT: __tsan_read
  54 ; CHECK: = load
  55 ; CHECK: ret void
  56
  57 !0 = !{!"Simple C/C++ TBAA", null}
  58 !1 = !{!"vtable pointer", !0}
  59 !2 = !{!1, !1, i64 0}