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;
8; RUN: opt < %s -passes='asan-pipeline'             -asan-globals-live-support=1 -S | FileCheck %s --check-prefixes=CHECK,NOCOMDAT
9; Check that enabling odr indicators enables comdat for globals.
10; RUN: opt < %s -passes='asan-pipeline'             -asan-globals-live-support=1 -asan-use-odr-indicator=1 -S | FileCheck %s --check-prefixes=CHECK,COMDAT
11target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
12target triple = "x86_64-unknown-linux-gnu"
13
14; Globals:
15@global = global i32 0, align 4
16@dyn_init_global = global i32 0, align 4
17@blocked_global = global i32 0, align 4
18@_ZZ4funcvE10static_var = internal global i32 0, align 4
19@.str = private unnamed_addr constant [14 x i8] c"Hello, world!\00", align 1
20@llvm.global_ctors = appending global [1 x { i32, void ()*, i8* }] [{ i32, void ()*, i8* } { i32 65535, void ()* @_GLOBAL__sub_I_asan_globals.cpp, i8* null }]
21
22; Check that globals were instrumented:
23
24; COMDAT: $global = comdat any
25; COMDAT: $dyn_init_global = comdat any
26; COMDAT: $_ZZ4funcvE10static_var.{{[01-9a-f]+}} = comdat any
27; COMDAT: $.str.{{[01-9a-f]+}} = comdat any
28
29; NOCOMDAT-NOT: $global = comdat any
30; NOCOMDAT-NOT: $dyn_init_global = comdat any
31; NOCOMDAT-NOT: $_ZZ4funcvE10static_var.{{[01-9a-f]+}} = comdat any
32; NOCOMDAT-NOT: $.str.{{[01-9a-f]+}} = comdat any
33
34; COMDAT: @global = global { i32, [28 x i8] } zeroinitializer, comdat, align 32
35; COMDAT: @dyn_init_global = global { i32, [28 x i8] } zeroinitializer, comdat, align 32
36; COMDAT: @_ZZ4funcvE10static_var = internal global { i32, [28 x i8] } zeroinitializer, comdat($_ZZ4funcvE10static_var.{{[01-9a-f]+}}), align 32
37; 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
38
39; NOCOMDAT: @global = global { i32, [28 x i8] } zeroinitializer, align 32
40; NOCOMDAT: @dyn_init_global = global { i32, [28 x i8] } zeroinitializer, align 32
41; NOCOMDAT: @_ZZ4funcvE10static_var = internal global { i32, [28 x i8] } zeroinitializer, align 32
42; NOCOMDAT: @.str = internal constant { [14 x i8], [18 x i8] } { [14 x i8] c"Hello, world!\00", [18 x i8] zeroinitializer }, align 32
43
44; Check emitted location descriptions:
45; CHECK: [[VARNAME:@___asan_gen_.[0-9]+]] = private unnamed_addr constant [7 x i8] c"global\00", align 1
46; COMDAT: @__asan_global_global = {{.*}}i64 ptrtoint ({ i32, [28 x i8] }* @global to i64){{.*}} section "asan_globals"{{.*}}, !associated
47; COMDAT: @__asan_global_.str = {{.*}}i64 ptrtoint ({ [14 x i8], [18 x i8] }* @{{.str|1}} to i64){{.*}} section "asan_globals"{{.*}}, !associated
48
49; The metadata has to be inserted to llvm.compiler.used to avoid being stripped
50; during LTO.
51; CHECK: @llvm.compiler.used {{.*}} @__asan_global_global {{.*}} section "llvm.metadata"
52
53; Check that location descriptors and global names were passed into __asan_register_globals:
54; CHECK: call void @__asan_register_elf_globals(i64 ptrtoint (i64* @___asan_globals_registered to i64), i64 ptrtoint (i64* @__start_asan_globals to i64), i64 ptrtoint (i64* @__stop_asan_globals to i64))
55
56; Function Attrs: nounwind sanitize_address
57define internal void @__cxx_global_var_init() #0 section ".text.startup" {
58entry:
59  %0 = load i32, i32* @global, align 4
60  store i32 %0, i32* @dyn_init_global, align 4
61  ret void
62}
63
64; Function Attrs: nounwind sanitize_address
65define void @_Z4funcv() #1 {
66entry:
67  %literal = alloca i8*, align 8
68  store i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str, i32 0, i32 0), i8** %literal, align 8
69  ret void
70}
71
72; Function Attrs: nounwind sanitize_address
73define internal void @_GLOBAL__sub_I_asan_globals.cpp() #0 section ".text.startup" {
74entry:
75  call void @__cxx_global_var_init()
76  ret void
77}
78
79attributes #0 = { nounwind sanitize_address }
80attributes #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" }
81
82!llvm.ident = !{!5}
83
84!5 = !{!"clang version 3.5.0 (211282)"}
85
86!6 = !{!"/tmp/asan-globals.cpp", i32 5, i32 5}
87!7 = !{!"/tmp/asan-globals.cpp", i32 7, i32 5}
88!8 = !{!"/tmp/asan-globals.cpp", i32 12, i32 14}
89!9 = !{!"/tmp/asan-globals.cpp", i32 14, i32 25}
90