1; RUN: llc < %s -mtriple=thumbv6-apple-darwin | FileCheck %s 2; RUN: llc < %s -mtriple=thumbv6-apple-darwin -regalloc=basic | FileCheck %s 3; RUN: llc < %s -o %t -filetype=obj -mtriple=thumbv6-apple-darwin 4; RUN: llvm-objdump --no-print-imm-hex --triple=thumbv6-apple-darwin -d %t | FileCheck %s 5 6@__bar = external hidden global ptr 7@__baz = external hidden global ptr 8 9; rdar://8819685 10define ptr @_foo() { 11entry: 12; CHECK-LABEL: __foo{{>?}}: 13 14 %size = alloca i32, align 4 15 %0 = load ptr, ptr @__bar, align 4 16 %1 = icmp eq ptr %0, null 17 br i1 %1, label %bb1, label %bb3 18; CHECK: bne 19 20bb1: 21 store i32 1026, ptr %size, align 4 22 %2 = alloca [1026 x i8], align 1 23; CHECK: mov [[R0:r[0-9]+]], sp 24; CHECK: adds {{r[0-9]+}}, [[R0]], {{r[0-9]+}} 25 %3 = call i32 @_called_func(ptr %2, ptr %size) nounwind 26 %4 = icmp eq i32 %3, 0 27 br i1 %4, label %bb2, label %bb3 28 29bb2: 30 %5 = call ptr @strdup(ptr %2) nounwind 31 store ptr %5, ptr @__baz, align 4 32 br label %bb3 33 34bb3: 35 %.0 = phi ptr [ %0, %entry ], [ %5, %bb2 ], [ %2, %bb1 ] 36; CHECK: subs r6, r7, #7 37; CHECK-NEXT: subs r6, #1 38; CHECK-NEXT: mov sp, r6 39; CHECK-NEXT: pop {r4, r6, r7, pc} 40 ret ptr %.0 41} 42 43declare noalias ptr @strdup(ptr nocapture) nounwind 44declare i32 @_called_func(ptr, ptr) nounwind 45 46; Simple variable ending up *at* sp. 47define void @test_simple_var() { 48; CHECK-LABEL: test_simple_var{{>?}}: 49 50 %addr32 = alloca i32 51 52; CHECK: mov r0, sp 53; CHECK-NOT: adds r0 54; CHECK: bl 55 call void @take_ptr(ptr %addr32) 56 ret void 57} 58 59; Simple variable ending up at aligned offset from sp. 60define void @test_local_var_addr_aligned() { 61; CHECK-LABEL: test_local_var_addr_aligned{{>?}}: 62 63 %addr1.32 = alloca i32 64 %addr2.32 = alloca i32 65 66; CHECK: add r0, sp, #{{[0-9]+}} 67; CHECK: bl 68 call void @take_ptr(ptr %addr1.32) 69 70; CHECK: mov r0, sp 71; CHECK-NOT: add r0 72; CHECK: bl 73 call void @take_ptr(ptr %addr2.32) 74 75 ret void 76} 77 78; Simple variable ending up at aligned offset from sp. 79define void @test_local_var_big_offset() { 80; CHECK-LABEL: test_local_var_big_offset{{>?}}: 81 %addr1.32 = alloca i32, i32 257 82 %addr2.32 = alloca i32, i32 257 83 84; CHECK: add [[RTMP:r[0-9]+]], sp, #1020 85; CHECK: adds [[RTMP]], #8 86; CHECK: bl 87 call void @take_ptr(ptr %addr1.32) 88 89 ret void 90} 91 92; Max range addressable with tADDrSPi 93define void @test_local_var_offset_1020() { 94; CHECK-LABEL: test_local_var_offset_1020 95 %addr1 = alloca i8, i32 4 96 %addr2 = alloca i8, i32 1020 97 98; CHECK: add r0, sp, #1020 99; CHECK-NEXT: bl 100 call void @take_ptr(ptr %addr1) 101 102 ret void 103} 104 105; Max range addressable with tADDrSPi + tADDi8 is 1275, however the automatic 106; 4-byte aligning of objects on the stack combined with 8-byte stack alignment 107; means that 1268 is the max offset we can use. 108define void @test_local_var_offset_1268() { 109; CHECK-LABEL: test_local_var_offset_1268 110 %addr1 = alloca i8, i32 1 111 %addr2 = alloca i8, i32 1268 112 113; CHECK: add r0, sp, #1020 114; CHECK: adds r0, #248 115; CHECK-NEXT: bl 116 call void @take_ptr(ptr %addr1) 117 118 ret void 119} 120 121declare void @take_ptr(ptr) 122