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: @__asan_gen_ = private constant [8 x i8] c"<stdin>\00", align 1
  11 ; CHECK: llvm.global_dtors
  12
  13 ; Test that we don't instrument global arrays with static initializer
  14 ; indexed with constants in-bounds. But instrument all other cases.
  15
  16 @GlobSt = global [10 x i32] zeroinitializer, align 16  ; static initializer
  17 @GlobDy = global [10 x i32] zeroinitializer, align 16  ; dynamic initializer
  18 @GlobEx = external global [10 x i32] , align 16        ; extern initializer
  19
  20 ; GlobSt is declared here, and has static initializer -- ok to optimize.
  21 define i32 @AccessGlobSt_0_2() sanitize_address {
  22 entry:
  23     %0 = load i32, i32* getelementptr inbounds ([10 x i32], [10 x i32]* @GlobSt, i64 0, i64 2), align 8
  24     ret i32 %0
  25 ; CHECK-LABEL: define i32 @AccessGlobSt_0_2
  26 ; CHECK-NOT: __asan_report
  27 ; CHECK: ret i32 %0
  28 }
  29
  30 ; GlobSt is accessed out of bounds -- can't optimize
  31 define i32 @AccessGlobSt_0_12() sanitize_address {
  32 entry:
  33     %0 = load i32, i32* getelementptr inbounds ([10 x i32], [10 x i32]* @GlobSt, i64 0, i64 12), align 8
  34     ret i32 %0
  35 ; CHECK-LABEL: define i32 @AccessGlobSt_0_12
  36 ; CHECK: __asan_report
  37 ; CHECK: ret i32
  38 }
  39
  40 ; GlobSt is accessed with Gep that has non-0 first index -- can't optimize.
  41 define i32 @AccessGlobSt_1_2() sanitize_address {
  42 entry:
  43     %0 = load i32, i32* getelementptr inbounds ([10 x i32], [10 x i32]* @GlobSt, i64 1, i64 2), align 8
  44     ret i32 %0
  45 ; CHECK-LABEL: define i32 @AccessGlobSt_1_2
  46 ; CHECK: __asan_report
  47 ; CHECK: ret i32
  48 }
  49
  50 ; GlobDy is declared with dynamic initializer -- can't optimize.
  51 define i32 @AccessGlobDy_0_2() sanitize_address {
  52 entry:
  53     %0 = load i32, i32* getelementptr inbounds ([10 x i32], [10 x i32]* @GlobDy, i64 0, i64 2), align 8
  54     ret i32 %0
  55 ; CHECK-LABEL: define i32 @AccessGlobDy_0_2
  56 ; CHECK: __asan_report
  57 ; CHECK: ret i32
  58 }
  59
  60 ; GlobEx is an external global -- can't optimize.
  61 define i32 @AccessGlobEx_0_2() sanitize_address {
  62 entry:
  63     %0 = load i32, i32* getelementptr inbounds ([10 x i32], [10 x i32]* @GlobEx, i64 0, i64 2), align 8
  64     ret i32 %0
  65 ; CHECK-LABEL: define i32 @AccessGlobEx_0_2
  66 ; CHECK: __asan_report
  67 ; CHECK: ret i32
  68 }
  69
  70
  71 !llvm.asan.globals = !{!0}
  72 !0 = !{[10 x i32]* @GlobDy, null, null, i1 true, i1 false}
  73
  74 ; CHECK-LABEL: define internal void @asan.module_ctor
  75 ; CHECK-NOT: ret
  76 ; CHECK: call void @__asan_register_globals
  77 ; CHECK: ret
  78
  79 ; CHECK-LABEL: define internal void @asan.module_dtor
  80 ; CHECK-NOT: ret
  81 ; CHECK: call void @__asan_unregister_globals
  82 ; CHECK: ret