86 lines · plain
1; RUN: opt -safe-stack -S -mtriple=i386-pc-linux-gnu < %s -o - | FileCheck %s2; RUN: opt -safe-stack -S -mtriple=x86_64-pc-linux-gnu < %s -o - | FileCheck %s3; RUN: opt -passes=safe-stack -S -mtriple=i386-pc-linux-gnu < %s -o - | FileCheck %s4; RUN: opt -passes=safe-stack -S -mtriple=x86_64-pc-linux-gnu < %s -o - | FileCheck %s5 6; array [4 x i8]7; Requires protector.8 9; CHECK: @__safestack_unsafe_stack_ptr = external thread_local(initialexec) global ptr10 11define void @foo(ptr %a) nounwind uwtable safestack {12entry:13 ; CHECK: %[[USP:.*]] = load ptr, ptr @__safestack_unsafe_stack_ptr14 15 ; CHECK: %[[USST:.*]] = getelementptr i8, ptr %[[USP]], i32 -1616 17 ; CHECK: store ptr %[[USST]], ptr @__safestack_unsafe_stack_ptr18 19 %a.addr = alloca ptr, align 820 %buf = alloca [4 x i8], align 121 22 ; CHECK: %[[AADDR:.*]] = alloca ptr, align 823 ; CHECK: store ptr {{.*}}, ptr %[[AADDR]], align 824 store ptr %a, ptr %a.addr, align 825 26 ; CHECK: %[[A2:.*]] = load ptr, ptr %[[AADDR]], align 827 ; CHECK: %[[BUFPTR:.*]] = getelementptr i8, ptr %[[USP]], i32 -428 %a2 = load ptr, ptr %a.addr, align 829 30 ; CHECK: call ptr @strcpy(ptr %[[BUFPTR]], ptr %[[A2]])31 %call = call ptr @strcpy(ptr %buf, ptr %a2)32 33 ; CHECK: store ptr %[[USP]], ptr @__safestack_unsafe_stack_ptr34 ret void35}36 37; Load from an array at a fixed offset, no overflow.38define i8 @StaticArrayFixedSafe() nounwind uwtable safestack {39entry:40 ; CHECK-LABEL: define i8 @StaticArrayFixedSafe(41 ; CHECK-NOT: __safestack_unsafe_stack_ptr42 ; CHECK: ret i843 %buf = alloca i8, i32 4, align 144 %gep = getelementptr inbounds i8, ptr %buf, i32 245 %x = load i8, ptr %gep, align 146 ret i8 %x47}48 49; Load from an array at a fixed offset with overflow.50define i8 @StaticArrayFixedUnsafe() nounwind uwtable safestack {51entry:52 ; CHECK-LABEL: define i8 @StaticArrayFixedUnsafe(53 ; CHECK: __safestack_unsafe_stack_ptr54 ; CHECK: ret i855 %buf = alloca i8, i32 4, align 156 %gep = getelementptr inbounds i8, ptr %buf, i32 557 %x = load i8, ptr %gep, align 158 ret i8 %x59}60 61; Load from an array at an unknown offset.62define i8 @StaticArrayVariableUnsafe(i32 %ofs) nounwind uwtable safestack {63entry:64 ; CHECK-LABEL: define i8 @StaticArrayVariableUnsafe(65 ; CHECK: __safestack_unsafe_stack_ptr66 ; CHECK: ret i867 %buf = alloca i8, i32 4, align 168 %gep = getelementptr inbounds i8, ptr %buf, i32 %ofs69 %x = load i8, ptr %gep, align 170 ret i8 %x71}72 73; Load from an array of an unknown size.74define i8 @DynamicArrayUnsafe(i32 %sz) nounwind uwtable safestack {75entry:76 ; CHECK-LABEL: define i8 @DynamicArrayUnsafe(77 ; CHECK: __safestack_unsafe_stack_ptr78 ; CHECK: ret i879 %buf = alloca i8, i32 %sz, align 180 %gep = getelementptr inbounds i8, ptr %buf, i32 281 %x = load i8, ptr %gep, align 182 ret i8 %x83}84 85declare ptr @strcpy(ptr, ptr)86