36 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 6define void @f(i1 %d1, i1 %d2) safestack {7entry:8; CHECK-LABEL: define void @f(9; CHECK: %[[USP:.*]] = load ptr, ptr @__safestack_unsafe_stack_ptr10; CHECK-NEXT: getelementptr i8, ptr %[[USP]], i32 -1611; CHECK: br i1 %d1, label %[[BB0:.*]], label %[[BB1:.*]]12 %a = alloca i32, align 813 %b = alloca i32, align 814 br i1 %d1, label %bb0, label %bb115 16bb0:17; CHECK: [[BB0]]:18; CHECK: %[[Ai8:.*]] = getelementptr i8, ptr %unsafe_stack_ptr, i3219; CHECK: br i120 br i1 %d2, label %bb2, label %bb221 22bb1:23; CHECK: [[BB1]]:24; CHECK: %[[Bi8:.*]] = getelementptr i8, ptr %unsafe_stack_ptr, i3225; CHECK: br label26 br label %bb227 28bb2:29; CHECK: phi ptr [ %[[Ai8]], %[[BB0]] ], [ %[[Ai8]], %[[BB0]] ], [ %[[Bi8]], %[[BB1]] ]30 %c = phi ptr [ %a, %bb0 ], [ %a, %bb0 ], [ %b, %bb1 ]31 call void @capture(ptr %c)32 ret void33}34 35declare void @capture(ptr)36