test/Transforms/Inline/inline_ssp.ll

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