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