Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 1c7cc8ae90b05234329671db09f52f71b3e7dfa9 / . / llvm / test / Transforms / Inline / inline_ssp.ll
blob: e3835e0d9454d78cef72e319251b7db4aa116d93 [file] [log] [blame]
Bill Wendlingd154e2832013-01-23 06:41:41 +0000[diff] [blame]1; RUN: opt -inline %s -S | FileCheck %s
2; Ensure SSP attributes are propagated correctly when inlining.
3
4@.str = private unnamed_addr constant [11 x i8] c"fun_nossp\0A\00", align 1
5@.str1 = private unnamed_addr constant [9 x i8] c"fun_ssp\0A\00", align 1
6@.str2 = private unnamed_addr constant [15 x i8] c"fun_sspstrong\0A\00", align 1
7@.str3 = private unnamed_addr constant [12 x i8] c"fun_sspreq\0A\00", align 1
8
9; These first four functions (@fun_sspreq, @fun_sspstrong, @fun_ssp, @fun_nossp)
10; are used by the remaining functions to ensure that the SSP attributes are
11; propagated correctly. The caller should have its SSP attribute set as:
12; strictest(caller-ssp-attr, callee-ssp-attr), where strictness is ordered as:
13; sspreq > sspstrong > ssp > [no ssp]
Bill Wendling1c7cc8a2013-01-31 23:16:25 +0000[diff] [blame^]14define internal void @fun_sspreq() nounwind sspreq uwtable {
Bill Wendlingd154e2832013-01-23 06:41:41 +0000[diff] [blame]15entry:
16 %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([12 x i8]* @.str3, i32 0, i32 0))
17 ret void
18}
19
Bill Wendling1c7cc8a2013-01-31 23:16:25 +0000[diff] [blame^]20define internal void @fun_sspstrong() nounwind sspstrong uwtable {
Bill Wendlingd154e2832013-01-23 06:41:41 +0000[diff] [blame]21entry:
22 %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([15 x i8]* @.str2, i32 0, i32 0))
23 ret void
24}
25
Bill Wendling1c7cc8a2013-01-31 23:16:25 +0000[diff] [blame^]26define internal void @fun_ssp() nounwind ssp uwtable {
Bill Wendlingd154e2832013-01-23 06:41:41 +0000[diff] [blame]27entry:
28 %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([9 x i8]* @.str1, i32 0, i32 0))
29 ret void
30}
31
32define internal void @fun_nossp() nounwind uwtable {
33entry:
34 %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([11 x i8]* @.str, i32 0, i32 0))
35 ret void
36}
37
38; Tests start below
39
Bill Wendling1c7cc8a2013-01-31 23:16:25 +0000[diff] [blame^]40define void @inline_req_req() nounwind sspreq uwtable {
Bill Wendlingd154e2832013-01-23 06:41:41 +0000[diff] [blame]41entry:
Bill Wendlingf2955aa2013-01-29 03:20:31 +0000[diff] [blame]42; CHECK: @inline_req_req() nounwind sspreq uwtable
Bill Wendlingd154e2832013-01-23 06:41:41 +0000[diff] [blame]43 call void @fun_sspreq()
44 ret void
45}
46
Bill Wendling1c7cc8a2013-01-31 23:16:25 +0000[diff] [blame^]47define void @inline_req_strong() nounwind sspstrong uwtable {
Bill Wendlingd154e2832013-01-23 06:41:41 +0000[diff] [blame]48entry:
Bill Wendlingf2955aa2013-01-29 03:20:31 +0000[diff] [blame]49; CHECK: @inline_req_strong() nounwind sspreq uwtable
Bill Wendlingd154e2832013-01-23 06:41:41 +0000[diff] [blame]50 call void @fun_sspreq()
51 ret void
52}
53
Bill Wendling1c7cc8a2013-01-31 23:16:25 +0000[diff] [blame^]54define void @inline_req_ssp() nounwind ssp uwtable {
Bill Wendlingd154e2832013-01-23 06:41:41 +0000[diff] [blame]55entry:
Bill Wendlingf2955aa2013-01-29 03:20:31 +0000[diff] [blame]56; CHECK: @inline_req_ssp() nounwind sspreq uwtable
Bill Wendlingd154e2832013-01-23 06:41:41 +0000[diff] [blame]57 call void @fun_sspreq()
58 ret void
59}
60
61define void @inline_req_nossp() nounwind uwtable {
62entry:
Bill Wendlingf2955aa2013-01-29 03:20:31 +0000[diff] [blame]63; CHECK: @inline_req_nossp() nounwind sspreq uwtable
Bill Wendlingd154e2832013-01-23 06:41:41 +0000[diff] [blame]64 call void @fun_sspreq()
65 ret void
66}
67
Bill Wendling1c7cc8a2013-01-31 23:16:25 +0000[diff] [blame^]68define void @inline_strong_req() nounwind sspreq uwtable {
Bill Wendlingd154e2832013-01-23 06:41:41 +0000[diff] [blame]69entry:
Bill Wendlingf2955aa2013-01-29 03:20:31 +0000[diff] [blame]70; CHECK: @inline_strong_req() nounwind sspreq uwtable
Bill Wendlingd154e2832013-01-23 06:41:41 +0000[diff] [blame]71 call void @fun_sspstrong()
72 ret void
73}
74
75
Bill Wendling1c7cc8a2013-01-31 23:16:25 +0000[diff] [blame^]76define void @inline_strong_strong() nounwind sspstrong uwtable {
Bill Wendlingd154e2832013-01-23 06:41:41 +0000[diff] [blame]77entry:
Bill Wendling1c7cc8a2013-01-31 23:16:25 +0000[diff] [blame^]78; CHECK: @inline_strong_strong() nounwind sspstrong uwtable
Bill Wendlingd154e2832013-01-23 06:41:41 +0000[diff] [blame]79 call void @fun_sspstrong()
80 ret void
81}
82
Bill Wendling1c7cc8a2013-01-31 23:16:25 +0000[diff] [blame^]83define void @inline_strong_ssp() nounwind ssp uwtable {
Bill Wendlingd154e2832013-01-23 06:41:41 +0000[diff] [blame]84entry:
Bill Wendling1c7cc8a2013-01-31 23:16:25 +0000[diff] [blame^]85; CHECK: @inline_strong_ssp() nounwind sspstrong uwtable
Bill Wendlingd154e2832013-01-23 06:41:41 +0000[diff] [blame]86 call void @fun_sspstrong()
87 ret void
88}
89
90define void @inline_strong_nossp() nounwind uwtable {
91entry:
Bill Wendling1c7cc8a2013-01-31 23:16:25 +0000[diff] [blame^]92; CHECK: @inline_strong_nossp() nounwind sspstrong uwtable
Bill Wendlingd154e2832013-01-23 06:41:41 +0000[diff] [blame]93 call void @fun_sspstrong()
94 ret void
95}
96
Bill Wendling1c7cc8a2013-01-31 23:16:25 +0000[diff] [blame^]97define void @inline_ssp_req() nounwind sspreq uwtable {
Bill Wendlingd154e2832013-01-23 06:41:41 +0000[diff] [blame]98entry:
Bill Wendlingf2955aa2013-01-29 03:20:31 +0000[diff] [blame]99; CHECK: @inline_ssp_req() nounwind sspreq uwtable
Bill Wendlingd154e2832013-01-23 06:41:41 +0000[diff] [blame]100 call void @fun_ssp()
101 ret void
102}
103
104
Bill Wendling1c7cc8a2013-01-31 23:16:25 +0000[diff] [blame^]105define void @inline_ssp_strong() nounwind sspstrong uwtable {
Bill Wendlingd154e2832013-01-23 06:41:41 +0000[diff] [blame]106entry:
Bill Wendling1c7cc8a2013-01-31 23:16:25 +0000[diff] [blame^]107; CHECK: @inline_ssp_strong() nounwind sspstrong uwtable
Bill Wendlingd154e2832013-01-23 06:41:41 +0000[diff] [blame]108 call void @fun_ssp()
109 ret void
110}
111
Bill Wendling1c7cc8a2013-01-31 23:16:25 +0000[diff] [blame^]112define void @inline_ssp_ssp() nounwind ssp uwtable {
Bill Wendlingd154e2832013-01-23 06:41:41 +0000[diff] [blame]113entry:
Bill Wendlingf2955aa2013-01-29 03:20:31 +0000[diff] [blame]114; CHECK: @inline_ssp_ssp() nounwind ssp uwtable
Bill Wendlingd154e2832013-01-23 06:41:41 +0000[diff] [blame]115 call void @fun_ssp()
116 ret void
117}
118
119define void @inline_ssp_nossp() nounwind uwtable {
120entry:
Bill Wendlingf2955aa2013-01-29 03:20:31 +0000[diff] [blame]121; CHECK: @inline_ssp_nossp() nounwind ssp uwtable
Bill Wendlingd154e2832013-01-23 06:41:41 +0000[diff] [blame]122 call void @fun_ssp()
123 ret void
124}
125
126define void @inline_nossp_req() nounwind uwtable sspreq {
127entry:
Bill Wendlingf2955aa2013-01-29 03:20:31 +0000[diff] [blame]128; CHECK: @inline_nossp_req() nounwind sspreq uwtable
Bill Wendlingd154e2832013-01-23 06:41:41 +0000[diff] [blame]129 call void @fun_nossp()
130 ret void
131}
132
133
Bill Wendling1c7cc8a2013-01-31 23:16:25 +0000[diff] [blame^]134define void @inline_nossp_strong() nounwind sspstrong uwtable {
Bill Wendlingd154e2832013-01-23 06:41:41 +0000[diff] [blame]135entry:
Bill Wendling1c7cc8a2013-01-31 23:16:25 +0000[diff] [blame^]136; CHECK: @inline_nossp_strong() nounwind sspstrong uwtable
Bill Wendlingd154e2832013-01-23 06:41:41 +0000[diff] [blame]137 call void @fun_nossp()
138 ret void
139}
140
Bill Wendling1c7cc8a2013-01-31 23:16:25 +0000[diff] [blame^]141define void @inline_nossp_ssp() nounwind ssp uwtable {
Bill Wendlingd154e2832013-01-23 06:41:41 +0000[diff] [blame]142entry:
Bill Wendlingf2955aa2013-01-29 03:20:31 +0000[diff] [blame]143; CHECK: @inline_nossp_ssp() nounwind ssp uwtable
Bill Wendlingd154e2832013-01-23 06:41:41 +0000[diff] [blame]144 call void @fun_nossp()
145 ret void
146}
147
148define void @inline_nossp_nossp() nounwind uwtable {
149entry:
150; CHECK: @inline_nossp_nossp() nounwind uwtable
151 call void @fun_nossp()
152 ret void
153}
154
155declare i32 @printf(i8*, ...)