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
8define i8* @_foo() {
9entry:
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
18bb1:
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
28bb2:
29	%6 = call i8* @strdup(i8* %3) nounwind
30	store i8* %6, i8** @__baz, align 4
31	br label %bb3
32
33bb3:
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
41declare noalias i8* @strdup(i8* nocapture) nounwind
42declare i32 @_called_func(i8*, i32*) nounwind
43
44; Variable ending up at unaligned offset from sp (i.e. not a multiple of 4)
45define 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.
65define 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.
79define 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.
100define 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
114declare void @take_ptr(i8*)
115