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] 14define internal void @fun_sspreq() nounwind sspreq uwtable { 15entry: 16 %call = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str3, i32 0, i32 0)) 17 ret void 18} 19 20define internal void @fun_sspstrong() nounwind sspstrong uwtable { 21entry: 22 %call = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str2, i32 0, i32 0)) 23 ret void 24} 25 26define internal void @fun_ssp() nounwind ssp uwtable { 27entry: 28 %call = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([9 x i8], [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], [11 x i8]* @.str, i32 0, i32 0)) 35 ret void 36} 37 38; Tests start below 39 40define void @inline_req_req() nounwind sspreq uwtable { 41entry: 42; CHECK: @inline_req_req() #0 43 call void @fun_sspreq() 44 ret void 45} 46 47define void @inline_req_strong() nounwind sspstrong uwtable { 48entry: 49; CHECK: @inline_req_strong() #0 50 call void @fun_sspreq() 51 ret void 52} 53 54define void @inline_req_ssp() nounwind ssp uwtable { 55entry: 56; CHECK: @inline_req_ssp() #0 57 call void @fun_sspreq() 58 ret void 59} 60 61define void @inline_req_nossp() nounwind uwtable { 62entry: 63; CHECK: @inline_req_nossp() #0 64 call void @fun_sspreq() 65 ret void 66} 67 68define void @inline_strong_req() nounwind sspreq uwtable { 69entry: 70; CHECK: @inline_strong_req() #0 71 call void @fun_sspstrong() 72 ret void 73} 74 75 76define void @inline_strong_strong() nounwind sspstrong uwtable { 77entry: 78; CHECK: @inline_strong_strong() #1 79 call void @fun_sspstrong() 80 ret void 81} 82 83define void @inline_strong_ssp() nounwind ssp uwtable { 84entry: 85; CHECK: @inline_strong_ssp() #1 86 call void @fun_sspstrong() 87 ret void 88} 89 90define void @inline_strong_nossp() nounwind uwtable { 91entry: 92; CHECK: @inline_strong_nossp() #1 93 call void @fun_sspstrong() 94 ret void 95} 96 97define void @inline_ssp_req() nounwind sspreq uwtable { 98entry: 99; CHECK: @inline_ssp_req() #0 100 call void @fun_ssp() 101 ret void 102} 103 104 105define void @inline_ssp_strong() nounwind sspstrong uwtable { 106entry: 107; CHECK: @inline_ssp_strong() #1 108 call void @fun_ssp() 109 ret void 110} 111 112define void @inline_ssp_ssp() nounwind ssp uwtable { 113entry: 114; CHECK: @inline_ssp_ssp() #2 115 call void @fun_ssp() 116 ret void 117} 118 119define void @inline_ssp_nossp() nounwind uwtable { 120entry: 121; CHECK: @inline_ssp_nossp() #2 122 call void @fun_ssp() 123 ret void 124} 125 126define void @inline_nossp_req() nounwind uwtable sspreq { 127entry: 128; CHECK: @inline_nossp_req() #0 129 call void @fun_nossp() 130 ret void 131} 132 133 134define void @inline_nossp_strong() nounwind sspstrong uwtable { 135entry: 136; CHECK: @inline_nossp_strong() #1 137 call void @fun_nossp() 138 ret void 139} 140 141define void @inline_nossp_ssp() nounwind ssp uwtable { 142entry: 143; CHECK: @inline_nossp_ssp() #2 144 call void @fun_nossp() 145 ret void 146} 147 148define void @inline_nossp_nossp() nounwind uwtable { 149entry: 150; CHECK: @inline_nossp_nossp() #3 151 call void @fun_nossp() 152 ret void 153} 154 155declare i32 @printf(i8*, ...) 156 157; CHECK: attributes #0 = { nounwind sspreq uwtable } 158; CHECK: attributes #1 = { nounwind sspstrong uwtable } 159; CHECK: attributes #2 = { nounwind ssp uwtable } 160; CHECK: attributes #3 = { nounwind uwtable } 161