xref: /llvm-project/llvm/test/Instrumentation/AddressSanitizer/global_metadata_array.ll (revision 6a125c7e77cd0e73abc9e60ad1c8eb06e31b11d7)
1; RUN: rm -rf %t && split-file %s %t
2; RUN: opt < %t/a.ll -passes=asan -asan-globals-live-support=0 -mtriple=x86_64-unknown-linux-gnu -S | FileCheck --check-prefix=CHECK %s
3; RUN: opt < %t/a.ll -passes=asan -asan-globals-live-support=0 -mtriple=x86_64-apple-macosx10.11.0 -S | FileCheck --check-prefix=CHECK %s
4; RUN: opt < %t/a.ll -passes=asan -asan-globals-live-support=0 -mtriple=x86_64-pc-windows-msvc19.0.24215 -S | FileCheck --check-prefix=CHECK %s
5; RUN: opt < %t/a.ll -passes=asan -asan-globals-live-support=0 -asan-mapping-scale=5 -mtriple=x86_64-unknown-linux-gnu -S | FileCheck --check-prefixes=CHECK,CHECK-S5 %s
6
7; RUN: opt < %t/empty.ll -passes=asan -asan-globals-live-support=0 -mtriple=x86_64-unknown-linux-gnu -S | FileCheck --check-prefix=ELF-NOGC %s
8
9;--- a.ll
10target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
11
12; Globals:
13@global = global i32 0, align 4
14@dyn_init_global = global i32 0, align 4
15@blocked_global = global i32 0, align 4
16@_ZZ4funcvE10static_var = internal global i32 0, align 4
17@.str = private unnamed_addr constant [14 x i8] c"Hello, world!\00", align 1
18@llvm.global_ctors = appending global [1 x { i32, ptr, ptr }] [{ i32, ptr, ptr } { i32 65535, ptr @_GLOBAL__sub_I_asan_globals.cpp, ptr null }]
19
20; Check that globals were instrumented:
21; CHECK: @global = global { i32, [28 x i8] } zeroinitializer, align 32
22; CHECK: @.str = internal constant { [14 x i8], [18 x i8] } { [14 x i8] c"Hello, world!\00", [18 x i8] zeroinitializer }{{.*}}, align 32
23
24; Check emitted location descriptions:
25; CHECK: [[VARNAME:@___asan_gen_global[.0-9]*]] = private unnamed_addr constant [7 x i8] c"global\00", align 1
26
27; Check that location descriptors and global names were passed into __asan_register_globals:
28; CHECK: i64 ptrtoint (ptr [[VARNAME]] to i64)
29; Check alignment of metadata_array.
30; CHECK-S5-SAME: {{align 32$}}
31
32; Function Attrs: nounwind sanitize_address
33define internal void @__cxx_global_var_init() #0 section ".text.startup" {
34entry:
35  %0 = load i32, ptr @global, align 4
36  store i32 %0, ptr @dyn_init_global, align 4
37  ret void
38}
39
40; Function Attrs: nounwind sanitize_address
41define void @_Z4funcv() #1 {
42entry:
43  %literal = alloca ptr, align 8
44  store ptr @.str, ptr %literal, align 8
45  ret void
46}
47
48; Function Attrs: nounwind sanitize_address
49define internal void @_GLOBAL__sub_I_asan_globals.cpp() #0 section ".text.startup" {
50entry:
51  call void @__cxx_global_var_init()
52  ret void
53}
54
55attributes #0 = { nounwind sanitize_address }
56attributes #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" }
57
58!llvm.ident = !{!5}
59
60!5 = !{!"clang version 3.5.0 (211282)"}
61
62!6 = !{!"/tmp/asan-globals.cpp", i32 5, i32 5}
63!7 = !{!"/tmp/asan-globals.cpp", i32 7, i32 5}
64!8 = !{!"/tmp/asan-globals.cpp", i32 12, i32 14}
65!9 = !{!"/tmp/asan-globals.cpp", i32 14, i32 25}
66
67;; In the presence of instrumented global variables, asan.module_ctor do not use comdat.
68; CHECK: define internal void @asan.module_ctor() #[[#ATTR:]] {
69
70; ELF-NOGC: define internal void @asan.module_ctor() #[[#ATTR:]] comdat {
71
72;--- empty.ll
73