[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / SafeStack / AArch64 / unreachable.ll
blob53ed690ebb09b5c69d1eff2b0433910ae750798d
1 ; RUN: opt -safe-stack -safe-stack-coloring -S -mtriple=aarch64-linux-android < %s -o - | FileCheck %s
3 define void @foo() nounwind uwtable safestack {
4 entry:
5 ; CHECK: %[[TP:.*]] = call i8* @llvm.thread.pointer()
6 ; CHECK: %[[SPA0:.*]] = getelementptr i8, i8* %[[TP]], i32 72
7 ; CHECK: %[[SPA:.*]] = bitcast i8* %[[SPA0]] to i8**
8 ; CHECK: %[[USP:.*]] = load i8*, i8** %[[SPA]]
9 ; CHECK: %[[USST:.*]] = getelementptr i8, i8* %[[USP]], i32 -16
10 ; CHECK: store i8* %[[USST]], i8** %[[SPA]]
12   %a = alloca i8, align 8
13   br label %ret
15 ret:
16   ret void
18 dead:
19   call void @Capture(i8* %a)
20   br label %ret
23 declare void @Capture(i8*)