83 lines · plain
1; RUN: opt < %s -passes=asan -asan-stack-dynamic-alloca -asan-use-stack-safety=0 -asan-use-after-return=runtime -S | FileCheck %s --check-prefixes=CHECK,CHECK-RUNTIME2; RUN: opt < %s -passes=asan -asan-stack-dynamic-alloca -asan-mapping-scale=5 -asan-use-stack-safety=0 -asan-use-after-return=runtime -S | FileCheck %s --check-prefixes=CHECK,CHECK-RUNTIME3; RUN: opt < %s -passes=asan -asan-stack-dynamic-alloca -asan-use-stack-safety=0 -asan-use-after-return=always -S | FileCheck %s --check-prefixes=CHECK,CHECK-ALWAYS --implicit-check-not=__asan_option_detect_stack_use_after_return4; RUN: opt < %s -passes=asan -asan-stack-dynamic-alloca -asan-use-stack-safety=0 -asan-use-after-return=always -S | FileCheck %s --check-prefixes=CHECK,CHECK-ALWAYS --implicit-check-not=__asan_option_detect_stack_use_after_return5target 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-S128"6target triple = "x86_64-unknown-linux-gnu"7 8define void @Func1() sanitize_address {9entry:10; CHECK-LABEL: Func111 12; CHECK: entry:13; CHECK-RUNTIME: load i32, ptr @__asan_option_detect_stack_use_after_return14; COM: CHECK-NORUNTIME-NOT: load i32, ptr @__asan_option_detect_stack_use_after_return15 16; CHECK-RUNTIME: [[UAR_ENABLED_BB:^[0-9]+]]:17; CHECK-RUNTIME: [[FAKE_STACK_RT:%[0-9]+]] = call i64 @__asan_stack_malloc_18; CHECK-ALWAYS: [[FAKE_STACK_RT:%[0-9]+]] = call i64 @__asan_stack_malloc_always_19 20; CHECK-RUNTIME: [[FAKE_STACK_BB:^[0-9]+]]:21; CHECK-RUNTIME: [[FAKE_STACK:%[0-9]+]] = phi i64 [ 0, %entry ], [ [[FAKE_STACK_RT]], %[[UAR_ENABLED_BB]] ]22; CHECK-RUNTIME: [[FAKE_STACK_PTR:%[0-9]+]] = inttoptr i64 [[FAKE_STACK]] to ptr23; CHECK-ALWAYS: [[FAKE_STACK_PTR:%[0-9]+]] = inttoptr i64 [[FAKE_STACK_RT]] to ptr24; CHECK-RUNTIME: icmp eq i64 [[FAKE_STACK]], 025; CHECK-ALWAYS: icmp eq i64 [[FAKE_STACK_RT]], 026 27; CHECK: [[NO_FAKE_STACK_BB:^[0-9]+]]:28; CHECK: %MyAlloca = alloca i8, i6429 30; CHECK-RUNTIME: phi ptr [ [[FAKE_STACK_PTR]], %[[FAKE_STACK_BB]] ], [ %MyAlloca, %[[NO_FAKE_STACK_BB]] ]31; CHECK-ALWAYS: phi ptr [ [[FAKE_STACK_PTR]], %entry ], [ %MyAlloca, %[[NO_FAKE_STACK_BB]] ]32 33; CHECK: ret void34 35 %XXX = alloca [20 x i8], align 136 store volatile i8 0, ptr %XXX37 ret void38}39 40; Test that dynamic alloca is not used for functions with inline assembly.41define void @Func2() sanitize_address {42entry:43; CHECK-LABEL: Func244; CHECK: alloca [96 x i8]45; CHECK: ret void46 47 %XXX = alloca [20 x i8], align 148 store volatile i8 0, ptr %XXX49 call void asm sideeffect "mov %%rbx, %%rcx", "~{dirflag},~{fpsr},~{flags}"() nounwind50 ret void51}52 53; Test that dynamic alloca is not used when setjmp is present.54%struct.__jmp_buf_tag = type { [8 x i64], i32, %struct.__sigset_t }55%struct.__sigset_t = type { [16 x i64] }56@_ZL3buf = internal global [1 x %struct.__jmp_buf_tag] zeroinitializer, align 1657 58define void @Func3() uwtable sanitize_address {59; CHECK-LABEL: define void @Func360; CHECK-NOT: __asan_option_detect_stack_use_after_return61; CHECK-NOT: __asan_stack_malloc62; CHECK: call void @__asan_handle_no_return63; CHECK: call void @longjmp64; CHECK: ret void65entry:66 %a = alloca i32, align 467 %call = call i32 @_setjmp(ptr @_ZL3buf) nounwind returns_twice68 %cmp = icmp eq i32 0, %call69 br i1 %cmp, label %if.then, label %if.end70 71if.then: ; preds = %entry72 call void @longjmp(ptr @_ZL3buf, i32 1) noreturn nounwind73 unreachable74 75if.end: ; preds = %entry76 call void @_Z10escape_ptrPi(ptr %a)77 ret void78}79 80declare i32 @_setjmp(ptr) nounwind returns_twice81declare void @longjmp(ptr, i32) noreturn nounwind82declare void @_Z10escape_ptrPi(ptr)83