xref: /aosp_15_r20/external/llvm/test/Transforms/SafeStack/phi.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker; RUN: opt -safe-stack -S -mtriple=i386-pc-linux-gnu < %s -o - | FileCheck %s
2*9880d681SAndroid Build Coastguard Worker; RUN: opt -safe-stack -S -mtriple=x86_64-pc-linux-gnu < %s -o - | FileCheck %s
3*9880d681SAndroid Build Coastguard Worker
4*9880d681SAndroid Build Coastguard Workerdefine void @f(i1 %d1, i1 %d2) safestack {
5*9880d681SAndroid Build Coastguard Workerentry:
6*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: define void @f(
7*9880d681SAndroid Build Coastguard Worker; CHECK:         %[[USP:.*]] = load i8*, i8** @__safestack_unsafe_stack_ptr
8*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT:    getelementptr i8, i8* %[[USP]], i32 -16
9*9880d681SAndroid Build Coastguard Worker; CHECK:         br i1 %d1, label %[[BB0:.*]], label %[[BB1:.*]]
10*9880d681SAndroid Build Coastguard Worker  %a = alloca i32, align 8
11*9880d681SAndroid Build Coastguard Worker  %b = alloca i32, align 8
12*9880d681SAndroid Build Coastguard Worker  br i1 %d1, label %bb0, label %bb1
13*9880d681SAndroid Build Coastguard Worker
14*9880d681SAndroid Build Coastguard Workerbb0:
15*9880d681SAndroid Build Coastguard Worker; CHECK: [[BB0]]:
16*9880d681SAndroid Build Coastguard Worker; CHECK: %[[Ai8:.*]] = getelementptr i8, i8* %unsafe_stack_ptr, i32
17*9880d681SAndroid Build Coastguard Worker; CHECK: %[[AUNSAFE:.*]] = bitcast i8* %[[Ai8]] to i32*
18*9880d681SAndroid Build Coastguard Worker; CHECK: br i1
19*9880d681SAndroid Build Coastguard Worker  br i1 %d2, label %bb2, label %bb2
20*9880d681SAndroid Build Coastguard Worker
21*9880d681SAndroid Build Coastguard Workerbb1:
22*9880d681SAndroid Build Coastguard Worker; CHECK: [[BB1]]:
23*9880d681SAndroid Build Coastguard Worker; CHECK: %[[Bi8:.*]] = getelementptr i8, i8* %unsafe_stack_ptr, i32
24*9880d681SAndroid Build Coastguard Worker; CHECK: %[[BUNSAFE:.*]] = bitcast i8* %[[Bi8]] to i32*
25*9880d681SAndroid Build Coastguard Worker; CHECK: br label
26*9880d681SAndroid Build Coastguard Worker  br label %bb2
27*9880d681SAndroid Build Coastguard Worker
28*9880d681SAndroid Build Coastguard Workerbb2:
29*9880d681SAndroid Build Coastguard Worker; CHECK: phi i32* [ %[[AUNSAFE]], %[[BB0]] ], [ %[[AUNSAFE]], %[[BB0]] ], [ %[[BUNSAFE]], %[[BB1]] ]
30*9880d681SAndroid Build Coastguard Worker  %c = phi i32* [ %a, %bb0 ], [ %a, %bb0 ], [ %b, %bb1 ]
31*9880d681SAndroid Build Coastguard Worker  call void @capture(i32* %c)
32*9880d681SAndroid Build Coastguard Worker  ret void
33*9880d681SAndroid Build Coastguard Worker}
34*9880d681SAndroid Build Coastguard Worker
35*9880d681SAndroid Build Coastguard Workerdeclare void @capture(i32*)
36