xref: /llvm-project/llvm/test/Instrumentation/AddressSanitizer/global_metadata.ll (revision 6a125c7e77cd0e73abc9e60ad1c8eb06e31b11d7)
1; RUN: opt < %s -passes=asan             -asan-use-private-alias=0 -asan-globals-live-support=1 -S | FileCheck %s --check-prefixes=CHECK,NOALIAS
2
3; RUN: opt < %s -passes=asan             -asan-use-private-alias=1 -asan-globals-live-support=1 -S | FileCheck %s --check-prefixes=CHECK,ALIAS
4; RUN: opt < %s -passes=asan             -asan-use-private-alias=1 -asan-globals-live-support=1 -asan-mapping-scale=5 -S | FileCheck %s --check-prefixes=CHECK,ALIAS
5
6target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
7target triple = "x86_64-unknown-linux-gnu"
8
9; Globals:
10@global = global i32 0, align 4
11@dyn_init_global = global i32 0, align 4
12@blocked_global = global i32 0, align 4
13@_ZZ4funcvE10static_var = internal global i32 0, align 4
14@.str = private unnamed_addr constant [14 x i8] c"Hello, world!\00", align 1
15@llvm.global_ctors = appending global [1 x { i32, ptr, ptr }] [{ i32, ptr, ptr } { i32 65535, ptr @_GLOBAL__sub_I_asan_globals.cpp, ptr null }]
16
17; Check that globals were instrumented:
18
19; CHECK: @global = global { i32, [28 x i8] } zeroinitializer, comdat, align 32
20; CHECK: @.str = internal constant { [14 x i8], [18 x i8] } { [14 x i8] c"Hello, world!\00", [18 x i8] zeroinitializer }, comdat({{.*}}), align 32
21
22; Check emitted location descriptions:
23; CHECK: [[VARNAME:@___asan_gen_global[.0-9]*]] = private unnamed_addr constant [7 x i8] c"global\00", align 1
24; NOALIAS: @__asan_global_global = {{.*}}i64 ptrtoint (ptr @global to i64){{.*}} section "asan_globals"{{.*}}, !associated
25; NOALIAS: @__asan_global_.str = {{.*}}i64 ptrtoint (ptr @{{.str|1}} to i64){{.*}} section "asan_globals"{{.*}}, !associated
26; ALIAS: @__asan_global_global = {{.*}}i64 ptrtoint (ptr @0 to i64){{.*}} section "asan_globals"{{.*}}, !associated
27; ALIAS: @__asan_global_.str = {{.*}}i64 ptrtoint (ptr @4 to i64){{.*}} section "asan_globals"{{.*}}, !associated
28
29; The metadata has to be inserted to llvm.compiler.used to avoid being stripped
30; during LTO.
31; CHECK: @llvm.compiler.used = appending global [10 x ptr] [ptr @global, ptr @dyn_init_global, ptr @blocked_global, ptr @_ZZ4funcvE10static_var, ptr @.str, ptr @__asan_global_global, ptr @__asan_global_dyn_init_global, ptr @__asan_global_blocked_global, ptr @__asan_global__ZZ4funcvE10static_var, ptr @__asan_global_.str], section "llvm.metadata"
32
33; Check that location descriptors and global names were passed into __asan_register_globals:
34; 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))
35
36; Function Attrs: nounwind sanitize_address
37define internal void @__cxx_global_var_init() #0 section ".text.startup" {
38entry:
39  %0 = load i32, ptr @global, align 4
40  store i32 %0, ptr @dyn_init_global, align 4
41  ret void
42}
43
44; Function Attrs: nounwind sanitize_address
45define void @_Z4funcv() #1 {
46entry:
47  %literal = alloca ptr, align 8
48  store ptr @.str, ptr %literal, align 8
49  ret void
50}
51
52; Function Attrs: nounwind sanitize_address
53define internal void @_GLOBAL__sub_I_asan_globals.cpp() #0 section ".text.startup" {
54entry:
55  call void @__cxx_global_var_init()
56  ret void
57}
58
59attributes #0 = { nounwind sanitize_address }
60attributes #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" }
61
62!llvm.ident = !{!5}
63
64!5 = !{!"clang version 3.5.0 (211282)"}
65
66!6 = !{!"/tmp/asan-globals.cpp", i32 5, i32 5}
67!7 = !{!"/tmp/asan-globals.cpp", i32 7, i32 5}
68!8 = !{!"/tmp/asan-globals.cpp", i32 12, i32 14}
69!9 = !{!"/tmp/asan-globals.cpp", i32 14, i32 25}
70