test/CodeGen/ARM/ssp-data-layout.ll

   1 ; RUN: llc < %s -disable-fp-elim -march=arm -o - | FileCheck %s
   2 ;  This test is fairly fragile.  The goal is to ensure that "large" stack
   3 ;  objects are allocated closest to the stack protector (i.e., farthest away
   4 ;  from the Stack Pointer.)  In standard SSP mode this means that large (>=
   5 ;  ssp-buffer-size) arrays and structures containing such arrays are
   6 ;  closet to the protector.  With sspstrong and sspreq this means large
   7 ;  arrays/structures-with-arrays are closest, followed by small (< ssp-buffer-size)
   8 ;  arrays/structures-with-arrays, and then addr-taken variables.
   9 ;
  10 ;  Ideally, we only want verify that the objects appear in the correct groups
  11 ;  and that the groups have the correct relative stack offset.  The ordering
  12 ;  within a group is not relevant to this test.  Unfortunately, there is not
  13 ;  an elegant way to do this, so just match the offset for each object.
  14
  15 %struct.struct_large_char = type { [8 x i8] }
  16 %struct.struct_large_char2 = type { [2 x i8], [8 x i8] }
  17 %struct.struct_small_char = type { [2 x i8] }
  18 %struct.struct_large_nonchar = type { [8 x i32] }
  19 %struct.struct_small_nonchar = type { [2 x i16] }
  20
  21 define void @layout_ssp() ssp {
  22 entry:
  23 ; Expected stack layout for ssp is
  24 ;  180 large_char          . Group 1, nested arrays, arrays >= ssp-buffer-size
  25 ;  172 struct_large_char   .
  26 ;  168 scalar1             | Everything else
  27 ;  164 scalar2
  28 ;  160 scalar3
  29 ;  156 addr-of
  30 ;  152 small_nonchar (84+68)
  31 ;  112 large_nonchar
  32 ;  110 small_char
  33 ;  108 struct_small_char
  34 ;   72 struct_large_nonchar
  35 ;   68 struct_small_nonchar
  36
  37 ; CHECK: layout_ssp:
  38 ; r[[SP]] is used as an offset into the stack later
  39 ; CHECK: add r[[SP:[0-9]+]], sp, #68
  40
  41 ; CHECK: bl get_scalar1
  42 ; CHECK: str r0, [sp, #168]
  43 ; CHECK: bl end_scalar1
  44
  45 ; CHECK: bl get_scalar2
  46 ; CHECK: str r0, [sp, #164]
  47 ; CHECK: bl end_scalar2
  48
  49 ; CHECK: bl get_scalar3
  50 ; CHECK: str r0, [sp, #160]
  51 ; CHECK: bl end_scalar3
  52
  53 ; CHECK: bl get_addrof
  54 ; CHECK: str r0, [sp, #156]
  55 ; CHECK: bl end_addrof
  56
  57 ; CHECK: get_small_nonchar
  58 ; CHECK: strh r0, [r[[SP]], #84]
  59 ; CHECK: bl end_small_nonchar
  60
  61 ; CHECK: bl get_large_nonchar
  62 ; CHECK: str r0, [sp, #112]
  63 ; CHECK: bl end_large_nonchar
  64
  65 ; CHECK: bl get_small_char
  66 ; CHECK: strb r0, [sp, #110]
  67 ; CHECK: bl end_small_char
  68
  69 ; CHECK: bl get_large_char
  70 ; CHECK: strb r0, [sp, #180]
  71 ; CHECK: bl end_large_char
  72
  73 ; CHECK: bl get_struct_large_char
  74 ; CHECK: strb r0, [sp, #172]
  75 ; CHECK: bl end_struct_large_char
  76
  77 ; CHECK: bl get_struct_small_char
  78 ; CHECK: strb r0, [sp, #108]
  79 ; CHECK: bl end_struct_small_char
  80
  81 ; CHECK: bl get_struct_large_nonchar
  82 ; CHECK:str r0, [sp, #72]
  83 ; CHECK: bl end_struct_large_nonchar
  84
  85 ; CHECK: bl get_struct_small_nonchar
  86 ; CHECK: strh r0, [r[[SP]]]
  87 ; CHECK: bl end_struct_small_nonchar
  88   %x = alloca i32, align 4
  89   %y = alloca i32, align 4
  90   %z = alloca i32, align 4
  91   %ptr = alloca i32, align 4
  92   %small2 = alloca [2 x i16], align 2
  93   %large2 = alloca [8 x i32], align 16
  94   %small = alloca [2 x i8], align 1
  95   %large = alloca [8 x i8], align 1
  96   %a = alloca %struct.struct_large_char, align 1
  97   %b = alloca %struct.struct_small_char, align 1
  98   %c = alloca %struct.struct_large_nonchar, align 8
  99   %d = alloca %struct.struct_small_nonchar, align 2
 100   %call = call i32 @get_scalar1()
 101   store i32 %call, i32* %x, align 4
 102   call void @end_scalar1()
 103   %call1 = call i32 @get_scalar2()
 104   store i32 %call1, i32* %y, align 4
 105   call void @end_scalar2()
 106   %call2 = call i32 @get_scalar3()
 107   store i32 %call2, i32* %z, align 4
 108   call void @end_scalar3()
 109   %call3 = call i32 @get_addrof()
 110   store i32 %call3, i32* %ptr, align 4
 111   call void @end_addrof()
 112   %call4 = call signext i16 @get_small_nonchar()
 113   %arrayidx = getelementptr inbounds [2 x i16]* %small2, i32 0, i64 0
 114   store i16 %call4, i16* %arrayidx, align 2
 115   call void @end_small_nonchar()
 116   %call5 = call i32 @get_large_nonchar()
 117   %arrayidx6 = getelementptr inbounds [8 x i32]* %large2, i32 0, i64 0
 118   store i32 %call5, i32* %arrayidx6, align 4
 119   call void @end_large_nonchar()
 120   %call7 = call signext i8 @get_small_char()
 121   %arrayidx8 = getelementptr inbounds [2 x i8]* %small, i32 0, i64 0
 122   store i8 %call7, i8* %arrayidx8, align 1
 123   call void @end_small_char()
 124   %call9 = call signext i8 @get_large_char()
 125   %arrayidx10 = getelementptr inbounds [8 x i8]* %large, i32 0, i64 0
 126   store i8 %call9, i8* %arrayidx10, align 1
 127   call void @end_large_char()
 128   %call11 = call signext i8 @get_struct_large_char()
 129   %foo = getelementptr inbounds %struct.struct_large_char* %a, i32 0, i32 0
 130   %arrayidx12 = getelementptr inbounds [8 x i8]* %foo, i32 0, i64 0
 131   store i8 %call11, i8* %arrayidx12, align 1
 132   call void @end_struct_large_char()
 133   %call13 = call signext i8 @get_struct_small_char()
 134   %foo14 = getelementptr inbounds %struct.struct_small_char* %b, i32 0, i32 0
 135   %arrayidx15 = getelementptr inbounds [2 x i8]* %foo14, i32 0, i64 0
 136   store i8 %call13, i8* %arrayidx15, align 1
 137   call void @end_struct_small_char()
 138   %call16 = call i32 @get_struct_large_nonchar()
 139   %foo17 = getelementptr inbounds %struct.struct_large_nonchar* %c, i32 0, i32 0
 140   %arrayidx18 = getelementptr inbounds [8 x i32]* %foo17, i32 0, i64 0
 141   store i32 %call16, i32* %arrayidx18, align 4
 142   call void @end_struct_large_nonchar()
 143   %call19 = call signext i16 @get_struct_small_nonchar()
 144   %foo20 = getelementptr inbounds %struct.struct_small_nonchar* %d, i32 0, i32 0
 145   %arrayidx21 = getelementptr inbounds [2 x i16]* %foo20, i32 0, i64 0
 146   store i16 %call19, i16* %arrayidx21, align 2
 147   call void @end_struct_small_nonchar()
 148   %arraydecay = getelementptr inbounds [8 x i8]* %large, i32 0, i32 0
 149   %arraydecay22 = getelementptr inbounds [2 x i8]* %small, i32 0, i32 0
 150   %arraydecay23 = getelementptr inbounds [8 x i32]* %large2, i32 0, i32 0
 151   %arraydecay24 = getelementptr inbounds [2 x i16]* %small2, i32 0, i32 0
 152   %0 = load i32* %x, align 4
 153   %1 = load i32* %y, align 4
 154   %2 = load i32* %z, align 4
 155   %coerce.dive = getelementptr %struct.struct_large_char* %a, i32 0, i32 0
 156   %3 = bitcast [8 x i8]* %coerce.dive to i64*
 157   %4 = load i64* %3, align 1
 158   %coerce.dive25 = getelementptr %struct.struct_small_char* %b, i32 0, i32 0
 159   %5 = bitcast [2 x i8]* %coerce.dive25 to i16*
 160   %6 = load i16* %5, align 1
 161   %coerce.dive26 = getelementptr %struct.struct_small_nonchar* %d, i32 0, i32 0
 162   %7 = bitcast [2 x i16]* %coerce.dive26 to i32*
 163   %8 = load i32* %7, align 1
 164   call void @takes_all(i64 %4, i16 %6, %struct.struct_large_nonchar* byval align 8 %c, i32 %8, i8* %arraydecay, i8* %arraydecay22, i32* %arraydecay23, i16* %arraydecay24, i32* %ptr, i32 %0, i32 %1, i32 %2)
 165   ret void
 166 }
 167
 168 declare i32 @get_scalar1()
 169 declare void @end_scalar1()
 170
 171 declare i32 @get_scalar2()
 172 declare void @end_scalar2()
 173
 174 declare i32 @get_scalar3()
 175 declare void @end_scalar3()
 176
 177 declare i32 @get_addrof()
 178 declare void @end_addrof()
 179
 180 declare signext i16 @get_small_nonchar()
 181 declare void @end_small_nonchar()
 182
 183 declare i32 @get_large_nonchar()
 184 declare void @end_large_nonchar()
 185
 186 declare signext i8 @get_small_char()
 187 declare void @end_small_char()
 188
 189 declare signext i8 @get_large_char()
 190 declare void @end_large_char()
 191
 192 declare signext i8 @get_struct_large_char()
 193 declare void @end_struct_large_char()
 194
 195 declare signext i8 @get_struct_large_char2()
 196 declare void @end_struct_large_char2()
 197
 198 declare signext i8 @get_struct_small_char()
 199 declare void @end_struct_small_char()
 200
 201 declare i32 @get_struct_large_nonchar()
 202 declare void @end_struct_large_nonchar()
 203
 204 declare signext i16 @get_struct_small_nonchar()
 205 declare void @end_struct_small_nonchar()
 206
 207 declare void @takes_all(i64, i16, %struct.struct_large_nonchar* byval align 8, i32, i8*, i8*, i32*, i16*, i32*, i32, i32, i32)