134 lines · plain
1; Check that we disable the use of comdat sections for the garbage collection2; 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 are5; 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 %t8; RUN: opt < %t/a.ll -passes=asan -asan-globals-live-support=1 -asan-use-odr-indicator=0 -S | FileCheck %s --check-prefixes=CHECK,NOCOMDAT9; 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,COMDAT11 12; RUN: opt < %t/no_module_id.ll -passes=asan -S | FileCheck %s --check-prefix=NOMODULEID13 14;--- a.ll15target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"16target triple = "x86_64-unknown-linux-gnu"17 18; Globals:19@global = global i32 0, align 420@dyn_init_global = global i32 0, align 421@blocked_global = global i32 0, align 422@_ZZ4funcvE10static_var = internal global i32 0, align 423@.str = private unnamed_addr constant [14 x i8] c"Hello, world!\00", align 124@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 any29; COMDAT: $dyn_init_global = comdat any30; COMDAT: $_ZZ4funcvE10static_var.{{[01-9a-f]+}} = comdat any31; COMDAT: $.str.{{[01-9a-f]+}} = comdat any32 33; NOCOMDAT-NOT: $global = comdat any34; NOCOMDAT-NOT: $dyn_init_global = comdat any35; NOCOMDAT-NOT: $_ZZ4funcvE10static_var.{{[01-9a-f]+}} = comdat any36; NOCOMDAT-NOT: $.str.{{[01-9a-f]+}} = comdat any37 38; COMDAT: @global = global { i32, [28 x i8] } zeroinitializer, comdat, align 3239; COMDAT: @dyn_init_global = global { i32, [28 x i8] } zeroinitializer, comdat, align 3240; COMDAT: @_ZZ4funcvE10static_var = internal global { i32, [28 x i8] } zeroinitializer, comdat($_ZZ4funcvE10static_var.{{[01-9a-f]+}}), align 3241; 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 3242 43; NOCOMDAT: @global = global { i32, [28 x i8] } zeroinitializer, align 3244; NOCOMDAT: @dyn_init_global = global { i32, [28 x i8] } zeroinitializer, align 3245; NOCOMDAT: @_ZZ4funcvE10static_var = internal global { i32, [28 x i8] } zeroinitializer, align 3246; NOCOMDAT: @.str = internal constant { [14 x i8], [18 x i8] } { [14 x i8] c"Hello, world!\00", [18 x i8] zeroinitializer }, align 3247 48; Check emitted location descriptions:49; CHECK: [[VARNAME:@___asan_gen_global[.0-9]*]] = private unnamed_addr constant [7 x i8] c"global\00", align 150; COMDAT: @__asan_global_global = {{.*}}i64 ptrtoint (ptr @__odr_asan_gen_global to i64){{.*}} section "asan_globals"{{.*}}, comdat($global), !associated51; COMDAT: @__asan_global_.str = {{.*}}i64 ptrtoint (ptr @___asan_gen_global{{[.0-9]*}} to i64){{.*}} section "asan_globals"{{.*}}, comdat($.str.{{.*}}), !associated52 53; The metadata has to be inserted to llvm.compiler.used to avoid being stripped54; 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_address61define internal void @__cxx_global_var_init() #0 section ".text.startup" {62entry:63 %0 = load i32, ptr @global, align 464 store i32 %0, ptr @dyn_init_global, align 465 ret void66}67 68; Function Attrs: nounwind sanitize_address69define void @_Z4funcv() #1 {70entry:71 %literal = alloca ptr, align 872 store ptr @.str, ptr %literal, align 873 ret void74}75 76; Function Attrs: nounwind sanitize_address77define internal void @_GLOBAL__sub_I_asan_globals.cpp() #0 section ".text.startup" {78entry:79 call void @__cxx_global_var_init()80 ret void81}82 83attributes #0 = { nounwind sanitize_address }84attributes #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.ll96target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"97target triple = "x86_64-unknown-linux-gnu"98 99; NOMODULEID: $asan.module_ctor = comdat any100; NOMODULEID: $asan.module_dtor = comdat any101 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 32104; NOMODULEID: @_ZL3buf = internal global { [4 x i8], [28 x i8] } zeroinitializer, align 32105; NOMODULEID: @__asan_global_.str = private global {{.*}}, section "asan_globals"{{.*}}, !associated !0106; NOMODULEID: @__asan_global__ZL3buf = private global {{.*}}, section "asan_globals"{{.*}}, !associated !1107; 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 void114; 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 1120@_ZL3buf = internal unnamed_addr global [4 x i8] zeroinitializer, align 1121@llvm.global_ctors = appending global [1 x { i32, ptr, ptr }] [{ i32, ptr, ptr } { i32 65535, ptr @_GLOBAL__sub_I_a.cc, ptr null }]122 123declare void @ext(ptr noundef)124 125; Function Attrs: uwtable126define internal void @_GLOBAL__sub_I_a.cc() #2 section ".text.startup" {127entry:128 %0 = load i8, ptr @_ZL3buf, align 1129 %inc = add i8 %0, 1130 store i8 %inc, ptr @_ZL3buf, align 1131 tail call void @ext(ptr noundef nonnull @.str)132 ret void133}134