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