test/CodeGen/ARM/thumb1-varalloc.ll

   1 ; RUN: llc < %s -mtriple=thumbv6-apple-darwin | FileCheck %s
   2 ; RUN: llc < %s -mtriple=thumbv6-apple-darwin -regalloc=basic | FileCheck %s
   3
   4 @__bar = external hidden global i8*
   5 @__baz = external hidden global i8*
   6
   7 ; rdar://8819685
   8 define i8* @_foo() {
   9 entry:
  10 ; CHECK-LABEL: foo:
  11
  12         %size = alloca i32, align 4
  13         %0 = load i8** @__bar, align 4
  14         %1 = icmp eq i8* %0, null
  15         br i1 %1, label %bb1, label %bb3
  16 ; CHECK: bne
  17
  18 bb1:
  19         store i32 1026, i32* %size, align 4
  20         %2 = alloca [1026 x i8], align 1
  21 ; CHECK: mov     [[R0:r[0-9]+]], sp
  22 ; CHECK: adds    {{r[0-9]+}}, [[R0]], {{r[0-9]+}}
  23         %3 = getelementptr inbounds [1026 x i8]* %2, i32 0, i32 0
  24         %4 = call i32 @_called_func(i8* %3, i32* %size) nounwind
  25         %5 = icmp eq i32 %4, 0
  26         br i1 %5, label %bb2, label %bb3
  27
  28 bb2:
  29         %6 = call i8* @strdup(i8* %3) nounwind
  30         store i8* %6, i8** @__baz, align 4
  31         br label %bb3
  32
  33 bb3:
  34         %.0 = phi i8* [ %0, %entry ], [ %6, %bb2 ], [ %3, %bb1 ]
  35 ; CHECK: subs    r4, #5
  36 ; CHECK-NEXT: mov     sp, r4
  37 ; CHECK-NEXT: pop     {r4, r5, r6, r7, pc}
  38         ret i8* %.0
  39 }
  40
  41 declare noalias i8* @strdup(i8* nocapture) nounwind
  42 declare i32 @_called_func(i8*, i32*) nounwind
  43
  44 ; Variable ending up at unaligned offset from sp (i.e. not a multiple of 4)
  45 define void @test_local_var_addr() {
  46 ; CHECK-LABEL: test_local_var_addr:
  47
  48   %addr1 = alloca i8
  49   %addr2 = alloca i8
  50
  51 ; CHECK: mov r0, sp
  52 ; CHECK: adds r0, r0, #{{[0-9]+}}
  53 ; CHECK: blx _take_ptr
  54   call void @take_ptr(i8* %addr1)
  55
  56 ; CHECK: mov r0, sp
  57 ; CHECK: adds r0, r0, #{{[0-9]+}}
  58 ; CHECK: blx _take_ptr
  59   call void @take_ptr(i8* %addr2)
  60
  61   ret void
  62 }
  63
  64 ; Simple variable ending up *at* sp.
  65 define void @test_simple_var() {
  66 ; CHECK-LABEL: test_simple_var:
  67
  68   %addr32 = alloca i32
  69   %addr8 = bitcast i32* %addr32 to i8*
  70
  71 ; CHECK: mov r0, sp
  72 ; CHECK-NOT: adds r0
  73 ; CHECK: blx _take_ptr
  74   call void @take_ptr(i8* %addr8)
  75   ret void
  76 }
  77
  78 ; Simple variable ending up at aligned offset from sp.
  79 define void @test_local_var_addr_aligned() {
  80 ; CHECK-LABEL: test_local_var_addr_aligned:
  81
  82   %addr1.32 = alloca i32
  83   %addr1 = bitcast i32* %addr1.32 to i8*
  84   %addr2.32 = alloca i32
  85   %addr2 = bitcast i32* %addr2.32 to i8*
  86
  87 ; CHECK: add r0, sp, #{{[0-9]+}}
  88 ; CHECK: blx _take_ptr
  89   call void @take_ptr(i8* %addr1)
  90
  91 ; CHECK: mov r0, sp
  92 ; CHECK-NOT: add r0
  93 ; CHECK: blx _take_ptr
  94   call void @take_ptr(i8* %addr2)
  95
  96   ret void
  97 }
  98
  99 ; Simple variable ending up at aligned offset from sp.
 100 define void @test_local_var_big_offset() {
 101 ; CHECK-LABEL: test_local_var_big_offset:
 102   %addr1.32 = alloca i32, i32 257
 103   %addr1 = bitcast i32* %addr1.32 to i8*
 104   %addr2.32 = alloca i32, i32 257
 105
 106 ; CHECK: add [[RTMP:r[0-9]+]], sp, #1020
 107 ; CHECL: add r0, [[RTMP]], #8
 108 ; CHECK: blx _take_ptr
 109   call void @take_ptr(i8* %addr1)
 110
 111   ret void
 112 }
 113
 114 declare void @take_ptr(i8*)