llvm/test/Instrumentation/AddressSanitizer/global_with_comdat.ll

   1 ; Check that we disable the use of comdat sections for the garbage collection
   2 ; of globals.
   3 ; This is to avoid false negative ODR violations detection at link time.
   4 ; We keep using comdats for garbage collection if odr indicators are
   5 ; enabled as indicator symbols will cause link time odr violations.
   6 ; This is to fix PR 47925.
   7 ; RUN: rm -rf %t && split-file %s %t
   8 ; RUN: opt < %t/a.ll -passes=asan -asan-globals-live-support=1 -asan-use-odr-indicator=0 -S | FileCheck %s --check-prefixes=CHECK,NOCOMDAT
   9 ; Check that enabling odr indicators enables comdat for globals.
  10 ; RUN: opt < %t/a.ll -passes=asan -asan-globals-live-support=1 -S | FileCheck %s --check-prefixes=CHECK,COMDAT
  11
  12 ; RUN: opt < %t/no_module_id.ll -passes=asan -S | FileCheck %s --check-prefix=NOMODULEID
  13
  14 ;--- a.ll
  15 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  16 target triple = "x86_64-unknown-linux-gnu"
  17
  18 ; Globals:
  19 @global = global i32 0, align 4
  20 @dyn_init_global = global i32 0, align 4
  21 @blocked_global = global i32 0, align 4
  22 @_ZZ4funcvE10static_var = internal global i32 0, align 4
  23 @.str = private unnamed_addr constant [14 x i8] c"Hello, world!\00", align 1
  24 @llvm.global_ctors = appending global [1 x { i32, ptr, ptr }] [{ i32, ptr, ptr } { i32 65535, ptr @_GLOBAL__sub_I_asan_globals.cpp, ptr null }]
  25
  26 ; Check that globals were instrumented:
  27
  28 ; COMDAT: $global = comdat any
  29 ; COMDAT: $dyn_init_global = comdat any
  30 ; COMDAT: $_ZZ4funcvE10static_var.{{[01-9a-f]+}} = comdat any
  31 ; COMDAT: $.str.{{[01-9a-f]+}} = comdat any
  32
  33 ; NOCOMDAT-NOT: $global = comdat any
  34 ; NOCOMDAT-NOT: $dyn_init_global = comdat any
  35 ; NOCOMDAT-NOT: $_ZZ4funcvE10static_var.{{[01-9a-f]+}} = comdat any
  36 ; NOCOMDAT-NOT: $.str.{{[01-9a-f]+}} = comdat any
  37
  38 ; COMDAT: @global = global { i32, [28 x i8] } zeroinitializer, comdat, align 32
  39 ; COMDAT: @dyn_init_global = global { i32, [28 x i8] } zeroinitializer, comdat, align 32
  40 ; COMDAT: @_ZZ4funcvE10static_var = internal global { i32, [28 x i8] } zeroinitializer, comdat($_ZZ4funcvE10static_var.{{[01-9a-f]+}}), align 32
  41 ; COMDAT: @.str = internal constant { [14 x i8], [18 x i8] } { [14 x i8] c"Hello, world!\00", [18 x i8] zeroinitializer }, comdat($.str.{{[01-9a-f]+}}), align 32
  42
  43 ; NOCOMDAT: @global = global { i32, [28 x i8] } zeroinitializer, align 32
  44 ; NOCOMDAT: @dyn_init_global = global { i32, [28 x i8] } zeroinitializer, align 32
  45 ; NOCOMDAT: @_ZZ4funcvE10static_var = internal global { i32, [28 x i8] } zeroinitializer, align 32
  46 ; NOCOMDAT: @.str = internal constant { [14 x i8], [18 x i8] } { [14 x i8] c"Hello, world!\00", [18 x i8] zeroinitializer }, align 32
  47
  48 ; Check emitted location descriptions:
  49 ; CHECK: [[VARNAME:@___asan_gen_global[.0-9]*]] = private unnamed_addr constant [7 x i8] c"global\00", align 1
  50 ; COMDAT: @__asan_global_global = {{.*}}i64 ptrtoint (ptr @__odr_asan_gen_global to i64){{.*}} section "asan_globals"{{.*}}, comdat($global), !associated
  51 ; COMDAT: @__asan_global_.str = {{.*}}i64 ptrtoint (ptr @___asan_gen_global{{[.0-9]*}} to i64){{.*}} section "asan_globals"{{.*}}, comdat($.str.{{.*}}), !associated
  52
  53 ; The metadata has to be inserted to llvm.compiler.used to avoid being stripped
  54 ; during LTO.
  55 ; CHECK: @llvm.compiler.used {{.*}} ptr @__asan_global_global, {{.*}} section "llvm.metadata"
  56
  57 ; Check that location descriptors and global names were passed into __asan_register_globals:
  58 ; CHECK: call void @__asan_register_elf_globals(i64 ptrtoint (ptr @___asan_globals_registered to i64), i64 ptrtoint (ptr @__start_asan_globals to i64), i64 ptrtoint (ptr @__stop_asan_globals to i64))
  59
  60 ; Function Attrs: nounwind sanitize_address
  61 define internal void @__cxx_global_var_init() #0 section ".text.startup" {
  62 entry:
  63   %0 = load i32, ptr @global, align 4
  64   store i32 %0, ptr @dyn_init_global, align 4
  65   ret void
  66 }
  67
  68 ; Function Attrs: nounwind sanitize_address
  69 define void @_Z4funcv() #1 {
  70 entry:
  71   %literal = alloca ptr, align 8
  72   store ptr @.str, ptr %literal, align 8
  73   ret void
  74 }
  75
  76 ; Function Attrs: nounwind sanitize_address
  77 define internal void @_GLOBAL__sub_I_asan_globals.cpp() #0 section ".text.startup" {
  78 entry:
  79   call void @__cxx_global_var_init()
  80   ret void
  81 }
  82
  83 attributes #0 = { nounwind sanitize_address }
  84 attributes #1 = { nounwind sanitize_address "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-realign-stack" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
  85
  86 !llvm.ident = !{!5}
  87
  88 !5 = !{!"clang version 3.5.0 (211282)"}
  89
  90 !6 = !{!"/tmp/asan-globals.cpp", i32 5, i32 5}
  91 !7 = !{!"/tmp/asan-globals.cpp", i32 7, i32 5}
  92 !8 = !{!"/tmp/asan-globals.cpp", i32 12, i32 14}
  93 !9 = !{!"/tmp/asan-globals.cpp", i32 14, i32 25}
  94
  95 ;--- no_module_id.ll
  96 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
  97 target triple = "x86_64-unknown-linux-gnu"
  98
  99 ; NOMODULEID:      $asan.module_ctor = comdat any
 100 ; NOMODULEID:      $asan.module_dtor = comdat any
 101
 102 ;; Don't place the instrumented globals in a comdat when the unique module ID is empty.
 103 ; NOMODULEID:      @.str = internal constant { [4 x i8], [28 x i8] } { [4 x i8] c"str\00", [28 x i8] zeroinitializer }, align 32
 104 ; NOMODULEID:      @_ZL3buf = internal global { [4 x i8], [28 x i8] } zeroinitializer, align 32
 105 ; NOMODULEID:      @__asan_global_.str = private global {{.*}}, section "asan_globals"{{.*}}, !associated !0
 106 ; NOMODULEID:      @__asan_global__ZL3buf = private global {{.*}}, section "asan_globals"{{.*}}, !associated !1
 107 ; NOMODULEID:      @llvm.compiler.used = appending global [4 x ptr] [ptr @.str, ptr @_ZL3buf, ptr @__asan_global_.str, ptr @__asan_global__ZL3buf]
 108
 109 ; NOMODULEID:      define internal void @asan.module_ctor() #[[#]] comdat {
 110 ; NOMODULEID-NEXT:   call void @__asan_init()
 111 ; NOMODULEID-NEXT:   call void @__asan_version_mismatch_check_{{.*}}
 112 ; NOMODULEID-NEXT:   call void @__asan_register_elf_globals(i64 ptrtoint (ptr @___asan_globals_registered to i64), i64 ptrtoint (ptr @__start_asan_globals to i64), i64 ptrtoint (ptr @__stop_asan_globals to i64))
 113 ; NOMODULEID-NEXT:   ret void
 114 ; NOMODULEID-NEXT: }
 115
 116 ; NOMODULEID:      !0 = !{ptr @.str}
 117 ; NOMODULEID:      !1 = !{ptr @_ZL3buf}
 118
 119 @.str = private unnamed_addr constant [4 x i8] c"str\00", align 1
 120 @_ZL3buf = internal unnamed_addr global [4 x i8] zeroinitializer, align 1
 121 @llvm.global_ctors = appending global [1 x { i32, ptr, ptr }] [{ i32, ptr, ptr } { i32 65535, ptr @_GLOBAL__sub_I_a.cc, ptr null }]
 122
 123 declare void @ext(ptr noundef)
 124
 125 ; Function Attrs: uwtable
 126 define internal void @_GLOBAL__sub_I_a.cc() #2 section ".text.startup" {
 127 entry:
 128   %0 = load i8, ptr @_ZL3buf, align 1
 129   %inc = add i8 %0, 1
 130   store i8 %inc, ptr @_ZL3buf, align 1
 131   tail call void @ext(ptr noundef nonnull @.str)
 132   ret void
 133 }