test/Instrumentation/AddressSanitizer/global_metadata_array.ll

   1 ; RUN: opt < %s -asan -asan-module -asan-globals-live-support=0 -mtriple=x86_64-unknown-linux-gnu -S | FileCheck --check-prefixes=CHECK,CHECK-S3 %s
   2 ; RUN: opt < %s -asan -asan-module -asan-globals-live-support=0 -mtriple=x86_64-apple-macosx10.11.0 -S | FileCheck --check-prefixes=CHECK,CHECK-S3 %s
   3 ; RUN: opt < %s -asan -asan-module -asan-globals-live-support=0 -mtriple=x86_64-pc-windows-msvc19.0.24215 -S | FileCheck --check-prefixes=CHECK,CHECK-S3 %s
   4 ; RUN: opt < %s -asan -asan-module -asan-globals-live-support=0 -asan-mapping-scale=5 -mtriple=x86_64-unknown-linux-gnu -S | FileCheck --check-prefixes=CHECK,CHECK-S5 %s
   5
   6 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   7
   8 ; Globals:
   9 @global = global i32 0, align 4
  10 @dyn_init_global = global i32 0, align 4
  11 @blacklisted_global = global i32 0, align 4
  12 @_ZZ4funcvE10static_var = internal global i32 0, align 4
  13 @.str = private unnamed_addr constant [14 x i8] c"Hello, world!\00", align 1
  14 @llvm.global_ctors = appending global [1 x { i32, void ()*, i8* }] [{ i32, void ()*, i8* } { i32 65535, void ()* @_GLOBAL__sub_I_asan_globals.cpp, i8* null }]
  15
  16 ; Check that globals were instrumented:
  17 ; CHECK: @global = global { i32, [60 x i8] } zeroinitializer, align 32
  18 ; CHECK: @.str = internal constant { [14 x i8], [50 x i8] } { [14 x i8] c"Hello, world!\00", [50 x i8] zeroinitializer }{{.*}}, align 32
  19
  20 ; Check emitted location descriptions:
  21 ; CHECK: [[VARNAME:@___asan_gen_.[0-9]+]] = private unnamed_addr constant [7 x i8] c"global\00", align 1
  22 ; CHECK: [[FILENAME:@___asan_gen_.[0-9]+]] = private unnamed_addr constant [22 x i8] c"/tmp/asan-globals.cpp\00", align 1
  23 ; CHECK: [[LOCDESCR:@___asan_gen_.[0-9]+]] = private unnamed_addr constant { [22 x i8]*, i32, i32 } { [22 x i8]* [[FILENAME]], i32 5, i32 5 }
  24
  25 ; Check that location descriptors and global names were passed into __asan_register_globals:
  26 ; CHECK: i64 ptrtoint ([7 x i8]* [[VARNAME]] to i64)
  27 ; CHECK: i64 ptrtoint ({ [22 x i8]*, i32, i32 }* [[LOCDESCR]] to i64)
  28 ; Check alignment of metadata_array.
  29 ; CHECK-S5-SAME: {{align 32$}}
  30
  31 ; Function Attrs: nounwind sanitize_address
  32 define internal void @__cxx_global_var_init() #0 section ".text.startup" {
  33 entry:
  34   %0 = load i32, i32* @global, align 4
  35   store i32 %0, i32* @dyn_init_global, align 4
  36   ret void
  37 }
  38
  39 ; Function Attrs: nounwind sanitize_address
  40 define void @_Z4funcv() #1 {
  41 entry:
  42   %literal = alloca i8*, align 8
  43   store i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str, i32 0, i32 0), i8** %literal, align 8
  44   ret void
  45 }
  46
  47 ; Function Attrs: nounwind sanitize_address
  48 define internal void @_GLOBAL__sub_I_asan_globals.cpp() #0 section ".text.startup" {
  49 entry:
  50   call void @__cxx_global_var_init()
  51   ret void
  52 }
  53
  54 attributes #0 = { nounwind sanitize_address }
  55 attributes #1 = { nounwind sanitize_address "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "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" }
  56
  57 !llvm.asan.globals = !{!0, !1, !2, !3, !4}
  58 !llvm.ident = !{!5}
  59
  60 !0 = !{i32* @global, !6, !"global", i1 false, i1 false}
  61 !1 = !{i32* @dyn_init_global, !7, !"dyn_init_global", i1 true, i1 false}
  62 !2 = !{i32* @blacklisted_global, null, null, i1 false, i1 true}
  63 !3 = !{i32* @_ZZ4funcvE10static_var, !8, !"static_var", i1 false, i1 false}
  64 !4 = !{[14 x i8]* @.str, !9, !"<string literal>", i1 false, i1 false}
  65
  66 !5 = !{!"clang version 3.5.0 (211282)"}
  67
  68 !6 = !{!"/tmp/asan-globals.cpp", i32 5, i32 5}
  69 !7 = !{!"/tmp/asan-globals.cpp", i32 7, i32 5}
  70 !8 = !{!"/tmp/asan-globals.cpp", i32 12, i32 14}
  71 !9 = !{!"/tmp/asan-globals.cpp", i32 14, i32 25}