test/Instrumentation/AddressSanitizer/global_metadata_darwin.ll

   1 ; Test that global metadata is placed in a separate section on Mach-O platforms,
   2 ; allowing dead stripping to be performed, and that the appropriate runtime
   3 ; routines are invoked.
   4
   5 ; RUN: opt < %s -asan -asan-module -asan-globals-live-support=1 -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.11.0"
   9
  10 @global = global [1 x i32] zeroinitializer, align 4
  11
  12 !llvm.asan.globals = !{!0}
  13
  14 !0 = !{[1 x i32]* @global, !1, !"global", i1 false, i1 false}
  15 !1 = !{!"test-globals.c", i32 1, i32 5}
  16
  17
  18 ; Find the metadata for @global:
  19 ; CHECK: [[METADATA:@.+]] = internal global {{.*}} @global {{.*}} section "__DATA,__asan_globals,regular"
  20
  21 ; Find the liveness binder for @global and its metadata:
  22 ; CHECK: @__asan_binder_global = internal global {{.*}} @global {{.*}} [[METADATA]] {{.*}} section "__DATA,__asan_liveness,regular,live_support"
  23
  24 ; The binder has to be inserted to llvm.compiler.used to avoid being stripped
  25 ; during LTO.
  26 ; CHECK: @llvm.compiler.used {{.*}} @__asan_binder_global {{.*}} section "llvm.metadata"
  27
  28 ; Test that there is the flag global variable:
  29 ; CHECK: @___asan_globals_registered = common hidden global i64 0
  30
  31 ; Test that __asan_register_image_globals is invoked from the constructor:
  32 ; CHECK-LABEL: define internal void @asan.module_ctor
  33 ; CHECK-NOT: ret
  34 ; CHECK: call void @__asan_register_image_globals(i64 ptrtoint (i64* @___asan_globals_registered to i64))
  35 ; CHECK: ret
  36
  37 ; Test that __asan_unregister_image_globals is invoked from the destructor:
  38 ; CHECK-LABEL: define internal void @asan.module_dtor
  39 ; CHECK-NOT: ret
  40 ; CHECK: call void @__asan_unregister_image_globals(i64 ptrtoint (i64* @___asan_globals_registered to i64))
  41 ; CHECK: ret