diff options
| author | Evgeniy Stepanov <eugeni.stepanov@gmail.com> | 2015-09-24 01:23:51 +0000 |
|---|---|---|
| committer | Evgeniy Stepanov <eugeni.stepanov@gmail.com> | 2015-09-24 01:23:51 +0000 |
| commit | 8685daf23e8da4d2201ee0e1b47f7ca732950eee (patch) | |
| tree | 35bf16bdf4bb5e1a648cfda288869f1a1a92db98 /llvm/test/Transforms/SafeStack | |
| parent | c3096249c1563af20cf9d955c68ecc7d5f979079 (diff) | |
| download | bcm5719-llvm-8685daf23e8da4d2201ee0e1b47f7ca732950eee.tar.gz bcm5719-llvm-8685daf23e8da4d2201ee0e1b47f7ca732950eee.zip | |
[safestack] Fix compiler crash in the presence of stack restores.
A use can be emitted before def in a function with stack restore
points but no static allocas.
llvm-svn: 248455
Diffstat (limited to 'llvm/test/Transforms/SafeStack')
| -rw-r--r-- | llvm/test/Transforms/SafeStack/ARM/setjmp.ll | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/llvm/test/Transforms/SafeStack/ARM/setjmp.ll b/llvm/test/Transforms/SafeStack/ARM/setjmp.ll new file mode 100644 index 00000000000..8c57908bbe4 --- /dev/null +++ b/llvm/test/Transforms/SafeStack/ARM/setjmp.ll @@ -0,0 +1,34 @@ +; Test stack pointer restore after setjmp() with the function-call safestack ABI. +; RUN: opt -safe-stack -S -mtriple=arm-linux-androideabi < %s -o - | FileCheck %s + +@env = global [64 x i32] zeroinitializer, align 4 + +define void @f(i32 %b) safestack { +entry: +; CHECK: %[[SPA:.*]] = call i8** @__safestack_pointer_address() +; CHECK: %[[USDP:.*]] = alloca i8* +; CHECK: %[[USP:.*]] = load i8*, i8** %[[SPA]] +; CHECK: store i8* %[[USP]], i8** %[[USDP]] +; CHECK: call i32 @setjmp + + %call = call i32 @setjmp(i32* getelementptr inbounds ([64 x i32], [64 x i32]* @env, i32 0, i32 0)) returns_twice + +; CHECK: %[[USP2:.*]] = load i8*, i8** %[[USDP]] +; CHECK: store i8* %[[USP2]], i8** %[[SPA]] + + %tobool = icmp eq i32 %b, 0 + br i1 %tobool, label %if.end, label %if.then + +if.then: + %0 = alloca [42 x i8], align 1 + %.sub = getelementptr inbounds [42 x i8], [42 x i8]* %0, i32 0, i32 0 + call void @_Z7CapturePv(i8* %.sub) + br label %if.end + +if.end: + ret void +} + +declare i32 @setjmp(i32*) returns_twice + +declare void @_Z7CapturePv(i8*) |
