maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/llvm/test/Transforms/SafeStack/store.ll

64 lines
1.7 KiB
LLVM
Raw Normal View History

[safestack] Rewrite isAllocaSafe using SCEV. Use ScalarEvolution to calculate memory access bounds. Handle function calls based on readnone/nocapture attributes. Handle memory intrinsics with constant size. This change improves both recall and precision of IsAllocaSafe. See the new tests (ex. BitCastWide) for the kind of code that was wrongly classified as safe. SCEV efficiency seems to be limited by the fact the SafeStack runs late (in CodeGenPrepare), and many loops are unrolled or otherwise not in LCSSA. llvm-svn: 253083
2015-11-14 05:21:42 +08:00
; RUN: opt -safe-stack -S -mtriple=i386-pc-linux-gnu < %s -o - | FileCheck %s
; RUN: opt -safe-stack -S -mtriple=x86_64-pc-linux-gnu < %s -o - | FileCheck %s
@.str = private unnamed_addr constant [4 x i8] c"%s\0A\00", align 1
define void @bad_store() nounwind uwtable safestack {
entry:
; CHECK-LABEL: @bad_store(
; CHECK: __safestack_unsafe_stack_ptr
; CHECK: ret void
%a = alloca i32, align 4
%0 = ptrtoint i32* %a to i64
%1 = inttoptr i64 %0 to i64*
store i64 zeroinitializer, i64* %1
ret void
}
define void @good_store() nounwind uwtable safestack {
entry:
; CHECK-LABEL: @good_store(
; CHECK-NOT: __safestack_unsafe_stack_ptr
; CHECK: ret void
%a = alloca i32, align 4
%0 = bitcast i32* %a to i8*
store i8 zeroinitializer, i8* %0
ret void
}
define void @overflow_gep_store() nounwind uwtable safestack {
entry:
; CHECK-LABEL: @overflow_gep_store(
; CHECK: __safestack_unsafe_stack_ptr
; CHECK: ret void
%a = alloca i32, align 4
%0 = bitcast i32* %a to i8*
%1 = getelementptr i8, i8* %0, i32 4
store i8 zeroinitializer, i8* %1
ret void
}
define void @underflow_gep_store() nounwind uwtable safestack {
entry:
; CHECK-LABEL: @underflow_gep_store(
; CHECK: __safestack_unsafe_stack_ptr
; CHECK: ret void
%a = alloca i32, align 4
%0 = bitcast i32* %a to i8*
%1 = getelementptr i8, i8* %0, i32 -1
store i8 zeroinitializer, i8* %1
ret void
}
define void @good_gep_store() nounwind uwtable safestack {
entry:
; CHECK-LABEL: @good_gep_store(
; CHECK-NOT: __safestack_unsafe_stack_ptr
; CHECK: ret void
%a = alloca i32, align 4
%0 = bitcast i32* %a to i8*
%1 = getelementptr i8, i8* %0, i32 3
store i8 zeroinitializer, i8* %1
ret void
}