122 lines · plain
1; RUN: llc < %s -mtriple=thumbv6-apple-darwin | FileCheck %s2; RUN: llc < %s -mtriple=thumbv6-apple-darwin -regalloc=basic | FileCheck %s3; RUN: llc < %s -o %t -filetype=obj -mtriple=thumbv6-apple-darwin4; RUN: llvm-objdump --no-print-imm-hex --triple=thumbv6-apple-darwin -d %t | FileCheck %s5 6@__bar = external hidden global ptr7@__baz = external hidden global ptr8 9; rdar://881968510define ptr @_foo() {11entry:12; CHECK-LABEL: __foo{{>?}}:13 14 %size = alloca i32, align 415 %0 = load ptr, ptr @__bar, align 416 %1 = icmp eq ptr %0, null17 br i1 %1, label %bb1, label %bb318; CHECK: bne19 20bb1:21 store i32 1026, ptr %size, align 422 %2 = alloca [1026 x i8], align 123; CHECK: mov [[R0:r[0-9]+]], sp24; CHECK: adds {{r[0-9]+}}, [[R0]], {{r[0-9]+}}25 %3 = call i32 @_called_func(ptr %2, ptr %size) nounwind26 %4 = icmp eq i32 %3, 027 br i1 %4, label %bb2, label %bb328 29bb2:30 %5 = call ptr @strdup(ptr %2) nounwind31 store ptr %5, ptr @__baz, align 432 br label %bb333 34bb3:35 %.0 = phi ptr [ %0, %entry ], [ %5, %bb2 ], [ %2, %bb1 ]36; CHECK: subs r6, r7, #737; CHECK-NEXT: subs r6, #138; CHECK-NEXT: mov sp, r639; CHECK-NEXT: pop {r4, r6, r7, pc}40 ret ptr %.041}42 43declare noalias ptr @strdup(ptr nocapture) nounwind44declare i32 @_called_func(ptr, ptr) nounwind45 46; Simple variable ending up *at* sp.47define void @test_simple_var() {48; CHECK-LABEL: test_simple_var{{>?}}:49 50 %addr32 = alloca i3251 52; CHECK: mov r0, sp53; CHECK-NOT: adds r054; CHECK: bl55 call void @take_ptr(ptr %addr32)56 ret void57}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 i3264 %addr2.32 = alloca i3265 66; CHECK: add r0, sp, #{{[0-9]+}}67; CHECK: bl68 call void @take_ptr(ptr %addr1.32)69 70; CHECK: mov r0, sp71; CHECK-NOT: add r072; CHECK: bl73 call void @take_ptr(ptr %addr2.32)74 75 ret void76}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 25782 %addr2.32 = alloca i32, i32 25783 84; CHECK: add [[RTMP:r[0-9]+]], sp, #102085; CHECK: adds [[RTMP]], #886; CHECK: bl87 call void @take_ptr(ptr %addr1.32)88 89 ret void90}91 92; Max range addressable with tADDrSPi93define void @test_local_var_offset_1020() {94; CHECK-LABEL: test_local_var_offset_102095 %addr1 = alloca i8, i32 496 %addr2 = alloca i8, i32 102097 98; CHECK: add r0, sp, #102099; CHECK-NEXT: bl100 call void @take_ptr(ptr %addr1)101 102 ret void103}104 105; Max range addressable with tADDrSPi + tADDi8 is 1275, however the automatic106; 4-byte aligning of objects on the stack combined with 8-byte stack alignment107; means that 1268 is the max offset we can use.108define void @test_local_var_offset_1268() {109; CHECK-LABEL: test_local_var_offset_1268110 %addr1 = alloca i8, i32 1111 %addr2 = alloca i8, i32 1268112 113; CHECK: add r0, sp, #1020114; CHECK: adds r0, #248115; CHECK-NEXT: bl116 call void @take_ptr(ptr %addr1)117 118 ret void119}120 121declare void @take_ptr(ptr)122