test/Instrumentation/AddressSanitizer/instrument_global.ll

   1 ; RUN: opt < %s -asan -asan-module -S | FileCheck %s
   2 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"
   3 target triple = "x86_64-unknown-linux-gnu"
   4 @xxx = global i32 0, align 4
   5
   6 ; If a global is present, __asan_[un]register_globals should be called from
   7 ; module ctor/dtor
   8
   9 ; CHECK: llvm.global_ctors
  10 ; CHECK: llvm.global_dtors
  11
  12 ; Test that we don't instrument global arrays with static initializer
  13 ; indexed with constants in-bounds. But instrument all other cases.
  14
  15 @GlobSt = global [10 x i32] zeroinitializer, align 16  ; static initializer
  16 @GlobDy = global [10 x i32] zeroinitializer, align 16  ; dynamic initializer
  17 @GlobEx = external global [10 x i32] , align 16        ; extern initializer
  18
  19 ; GlobSt is declared here, and has static initializer -- ok to optimize.
  20 define i32 @AccessGlobSt_0_2() sanitize_address {
  21 entry:
  22     %0 = load i32* getelementptr inbounds ([10 x i32]* @GlobSt, i64 0, i64 2), align 8
  23     ret i32 %0
  24 ; CHECK-LABEL: define i32 @AccessGlobSt_0_2
  25 ; CHECK-NOT: __asan_report
  26 ; CHECK: ret i32 %0
  27 }
  28
  29 ; GlobSt is accessed out of bounds -- can't optimize
  30 define i32 @AccessGlobSt_0_12() sanitize_address {
  31 entry:
  32     %0 = load i32* getelementptr inbounds ([10 x i32]* @GlobSt, i64 0, i64 12), align 8
  33     ret i32 %0
  34 ; CHECK-LABEL: define i32 @AccessGlobSt_0_12
  35 ; CHECK: __asan_report
  36 ; CHECK: ret i32
  37 }
  38
  39 ; GlobSt is accessed with Gep that has non-0 first index -- can't optimize.
  40 define i32 @AccessGlobSt_1_2() sanitize_address {
  41 entry:
  42     %0 = load i32* getelementptr inbounds ([10 x i32]* @GlobSt, i64 1, i64 2), align 8
  43     ret i32 %0
  44 ; CHECK-LABEL: define i32 @AccessGlobSt_1_2
  45 ; CHECK: __asan_report
  46 ; CHECK: ret i32
  47 }
  48
  49 ; GlobDy is declared with dynamic initializer -- can't optimize.
  50 define i32 @AccessGlobDy_0_2() sanitize_address {
  51 entry:
  52     %0 = load i32* getelementptr inbounds ([10 x i32]* @GlobDy, i64 0, i64 2), align 8
  53     ret i32 %0
  54 ; CHECK-LABEL: define i32 @AccessGlobDy_0_2
  55 ; CHECK: __asan_report
  56 ; CHECK: ret i32
  57 }
  58
  59 ; GlobEx is an external global -- can't optimize.
  60 define i32 @AccessGlobEx_0_2() sanitize_address {
  61 entry:
  62     %0 = load i32* getelementptr inbounds ([10 x i32]* @GlobEx, i64 0, i64 2), align 8
  63     ret i32 %0
  64 ; CHECK-LABEL: define i32 @AccessGlobEx_0_2
  65 ; CHECK: __asan_report
  66 ; CHECK: ret i32
  67 }
  68
  69
  70 !llvm.asan.dynamically_initialized_globals = !{!0}
  71 !0 = metadata !{[10 x i32]* @GlobDy}
  72
  73 ; CHECK-LABEL: define internal void @asan.module_ctor
  74 ; CHECK-NOT: ret
  75 ; CHECK: call void @__asan_register_globals
  76 ; CHECK: ret
  77
  78 ; CHECK-LABEL: define internal void @asan.module_dtor
  79 ; CHECK-NOT: ret
  80 ; CHECK: call void @__asan_unregister_globals
  81 ; CHECK: ret