xref: /llvm-project/llvm/test/Transforms/SafeStack/X86/constant-geps.ll (revision 3bd517205799a152689434ceddf9493765f1e883)
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; RUN: opt -passes=safe-stack -S -mtriple=i386-pc-linux-gnu < %s -o - | FileCheck %s
4; RUN: opt -passes=safe-stack -S -mtriple=x86_64-pc-linux-gnu < %s -o - | FileCheck %s
5
6%struct.deep = type { %union.anon }
7%union.anon = type { %struct.anon }
8%struct.anon = type { %struct.anon.0 }
9%struct.anon.0 = type { %union.anon.1 }
10%union.anon.1 = type { [2 x i8] }
11
12@.str = private unnamed_addr constant [4 x i8] c"%s\0A\00", align 1
13
14; [2 x i8] nested in several layers of structs and unions
15;  safestack attribute
16; Requires no protector.
17; CHECK-LABEL: @foo(
18define signext i8 @foo() nounwind uwtable safestack {
19entry:
20  ; CHECK-NOT: __safestack_unsafe_stack_ptr
21  %x = alloca %struct.deep, align 1
22  %0 = load i8, ptr %x, align 1
23  ret i8 %0
24}
25