test/CodeGen/Thumb2/ldr-str-imm12.ll

   1 ; RUN: llc < %s -mtriple=thumbv7-apple-darwin -mcpu=cortex-a8 -relocation-model=pic -disable-fp-elim -regalloc=linearscan | FileCheck %s
   2 ; rdar://7352504
   3 ; Make sure we use "str r9, [sp, #+28]" instead of "sub.w r4, r7, #256" followed by "str r9, [r4, #-32]".
   4
   5 %0 = type { i16, i8, i8 }
   6 %1 = type { [2 x i32], [2 x i32] }
   7 %2 = type { %union.rec* }
   8 %struct.FILE_POS = type { i8, i8, i16, i32 }
   9 %struct.GAP = type { i8, i8, i16 }
  10 %struct.LIST = type { %union.rec*, %union.rec* }
  11 %struct.STYLE = type { %union.anon, %union.anon, i16, i16, i32 }
  12 %struct.head_type = type { [2 x %struct.LIST], %union.FIRST_UNION, %union.SECOND_UNION, %union.THIRD_UNION, %union.FOURTH_UNION, %union.rec*, %2, %union.rec*, %union.rec*, %union.rec*, %union.rec*, %union.rec*, %union.rec*, %union.rec*, %union.rec*, i32 }
  13 %union.FIRST_UNION = type { %struct.FILE_POS }
  14 %union.FOURTH_UNION = type { %struct.STYLE }
  15 %union.SECOND_UNION = type { %0 }
  16 %union.THIRD_UNION = type { %1 }
  17 %union.anon = type { %struct.GAP }
  18 %union.rec = type { %struct.head_type }
  19
  20 @zz_hold = external global %union.rec*            ; <%union.rec**> [#uses=2]
  21 @zz_res = external global %union.rec*             ; <%union.rec**> [#uses=1]
  22
  23 define %union.rec* @Manifest(%union.rec* %x, %union.rec* %env, %struct.STYLE* %style, %union.rec** %bthr, %union.rec** %fthr, %union.rec** %target, %union.rec** %crs, i32 %ok, i32 %need_expand, %union.rec** %enclose, i32 %fcr) nounwind {
  24 entry:
  25 ; CHECK:       ldr.w    {{(r[0-9]+)|(lr)}}, [r7, #28]
  26   %xgaps.i = alloca [32 x %union.rec*], align 4   ; <[32 x %union.rec*]*> [#uses=0]
  27   %ycomp.i = alloca [32 x %union.rec*], align 4   ; <[32 x %union.rec*]*> [#uses=0]
  28   br label %bb20
  29
  30 bb20:                                             ; preds = %entry
  31   switch i32 undef, label %bb1287 [
  32     i32 11, label %bb119
  33     i32 12, label %bb119
  34     i32 21, label %bb420
  35     i32 23, label %bb420
  36     i32 45, label %bb438
  37     i32 46, label %bb438
  38     i32 55, label %bb533
  39     i32 56, label %bb569
  40     i32 64, label %bb745
  41     i32 78, label %bb1098
  42   ]
  43
  44 bb119:                                            ; preds = %bb20, %bb20
  45   unreachable
  46
  47 bb420:                                            ; preds = %bb20, %bb20
  48 ; CHECK: bb420
  49 ; CHECK: str{{(.w)?}} r{{[0-9]+}}, [sp]
  50 ; CHECK: str{{(.w)?}} r{{[0-9]+}}, [sp, #4]
  51 ; CHECK: str{{(.w)?}} r{{[0-9]+}}, [sp, #8]
  52 ; CHECK: str{{(.w)?}} r{{[0-9]+}}, [sp, #24]
  53   store %union.rec* null, %union.rec** @zz_hold, align 4
  54   store %union.rec* null, %union.rec** @zz_res, align 4
  55   store %union.rec* %x, %union.rec** @zz_hold, align 4
  56   %0 = call  %union.rec* @Manifest(%union.rec* undef, %union.rec* %env, %struct.STYLE* %style, %union.rec** %bthr, %union.rec** %fthr, %union.rec** %target, %union.rec** %crs, i32 %ok, i32 %need_expand, %union.rec** %enclose, i32 %fcr) nounwind ; <%union.rec*> [#uses=0]
  57   unreachable
  58
  59 bb438:                                            ; preds = %bb20, %bb20
  60   unreachable
  61
  62 bb533:                                            ; preds = %bb20
  63   ret %union.rec* %x
  64
  65 bb569:                                            ; preds = %bb20
  66   unreachable
  67
  68 bb745:                                            ; preds = %bb20
  69   unreachable
  70
  71 bb1098:                                           ; preds = %bb20
  72   unreachable
  73
  74 bb1287:                                           ; preds = %bb20
  75   unreachable
  76 }