102 lines · plain
1; RUN: opt < %s -passes=asan -asan-globals-live-support=1 -S | FileCheck %s2; RUN: opt < %s -passes=asan -asan-globals-live-support=1 -asan-mapping-scale=5 -S | FileCheck %s3target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"4target triple = "x86_64-unknown-linux-gnu"5@xxx = global i32 0, align 46 7; If a global is present, __asan_[un]register_globals should be called from8; module ctor/dtor9 10; CHECK: @___asan_gen_module = private constant [8 x i8] c"<stdin>\00", align 111; CHECK: @llvm.used = appending global [2 x ptr] [ptr @asan.module_ctor, ptr @asan.module_dtor], section "llvm.metadata"12; CHECK: @llvm.global_ctors = appending global [1 x { i32, ptr, ptr }] [{ i32, ptr, ptr } { i32 1, ptr @asan.module_ctor, ptr @asan.module_ctor }]13; CHECK: @llvm.global_dtors = appending global [1 x { i32, ptr, ptr }] [{ i32, ptr, ptr } { i32 1, ptr @asan.module_dtor, ptr @asan.module_dtor }]14 15; Test that we don't instrument global arrays with static initializer16; indexed with constants in-bounds. But instrument all other cases.17 18@GlobSt = global [10 x i32] zeroinitializer, align 16 ; static initializer19@GlobStAlignInBounds = global [10 x i8] zeroinitializer, align 16 ; static initializer20@GlobDy = global [10 x i32] zeroinitializer, align 16, sanitize_address_dyninit ; dynamic initializer21@GlobEx = external global [10 x i32] , align 16 ; extern initializer22 23; GlobSt is declared here, and has static initializer -- ok to optimize.24define i32 @AccessGlobSt_0_2() sanitize_address {25entry:26 %0 = load i32, ptr getelementptr inbounds ([10 x i32], ptr @GlobSt, i64 0, i64 2), align 827 ret i32 %028; CHECK-LABEL: define i32 @AccessGlobSt_0_229; CHECK-NOT: __asan_report30; CHECK: ret i32 %031}32 33; GlobSt is accessed out of bounds -- can't optimize34define i32 @AccessGlobSt_0_12() sanitize_address {35entry:36 %0 = load i32, ptr getelementptr inbounds ([10 x i32], ptr @GlobSt, i64 0, i64 12), align 837 ret i32 %038; CHECK-LABEL: define i32 @AccessGlobSt_0_1239; CHECK: __asan_report40; CHECK: ret i3241}42 43; GlobSt is accessed with Gep that has non-0 first index -- can't optimize.44define i32 @AccessGlobSt_1_2() sanitize_address {45entry:46 %0 = load i32, ptr getelementptr inbounds ([10 x i32], ptr @GlobSt, i64 1, i64 2), align 847 ret i32 %048; CHECK-LABEL: define i32 @AccessGlobSt_1_249; CHECK: __asan_report50; CHECK: ret i3251}52 53; GlobStAlignInBount is accessed with out of bounds index, but in bounds of allocated area (because of alignemnt)54define i8 @AccessGlobStAlignInBounds_0_11() sanitize_address {55entry:56 %0 = load i8, ptr getelementptr inbounds ([10 x i8], ptr @GlobStAlignInBounds, i64 0, i64 11), align 157 ret i8 %058; CHECK-LABEL: define i8 @AccessGlobStAlignInBounds_0_1159; CHECK: __asan_report60; CHECK: ret i861}62 63; GlobStAlignInBount is accessed with in-bound index64define i8 @AccessGlobStAlignInBounds_0_9() sanitize_address {65entry:66 %0 = load i8, ptr getelementptr inbounds ([10 x i8], ptr @GlobStAlignInBounds, i64 0, i64 9), align 167 ret i8 %068; CHECK-LABEL: define i8 @AccessGlobStAlignInBounds_0_969; CHECK-NOT: __asan_report70; CHECK: ret i871}72 73; GlobDy is declared with dynamic initializer -- can't optimize.74define i32 @AccessGlobDy_0_2() sanitize_address {75entry:76 %0 = load i32, ptr getelementptr inbounds ([10 x i32], ptr @GlobDy, i64 0, i64 2), align 877 ret i32 %078; CHECK-LABEL: define i32 @AccessGlobDy_0_279; CHECK: __asan_report80; CHECK: ret i3281}82 83; GlobEx is an external global -- can't optimize.84define i32 @AccessGlobEx_0_2() sanitize_address {85entry:86 %0 = load i32, ptr getelementptr inbounds ([10 x i32], ptr @GlobEx, i64 0, i64 2), align 887 ret i32 %088; CHECK-LABEL: define i32 @AccessGlobEx_0_289; CHECK: __asan_report90; CHECK: ret i3291}92 93; CHECK-LABEL: define internal void @asan.module_ctor94; CHECK-NOT: ret95; CHECK: call void @__asan_register_elf_globals96; CHECK: ret97 98; CHECK-LABEL: define internal void @asan.module_dtor99; CHECK-NOT: ret100; CHECK: call void @__asan_unregister_elf_globals101; CHECK: ret102