159 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -mtriple=thumbv8.1m.main %s -o - | FileCheck %s3 4define void @cbz_exit(ptr %in, ptr %res) {5; CHECK-LABEL: cbz_exit:6; CHECK: @ %bb.0: @ %entry7; CHECK-NEXT: subs r2, r0, #48; CHECK-NEXT: mov.w r0, #-19; CHECK-NEXT: .LBB0_1: @ %loop10; CHECK-NEXT: @ =>This Inner Loop Header: Depth=111; CHECK-NEXT: ldr r3, [r2, #4]!12; CHECK-NEXT: adds r0, #113; CHECK-NEXT: cbz r3, .LBB0_214; CHECK-NEXT: le .LBB0_115; CHECK-NEXT: .LBB0_2: @ %exit16; CHECK-NEXT: str r0, [r1]17; CHECK-NEXT: bx lr18entry:19 br label %loop20 21loop:22 %offset = phi i32 [ 0, %entry ], [ %next, %loop ]23 %ptr = getelementptr i32, ptr %in, i32 %offset24 %val = load i32, ptr %ptr25 %next = add i32 %offset, 126 %cmp = icmp eq i32 %val, 027 br i1 %cmp, label %exit, label %loop28 29exit:30 store i32 %offset, ptr %res31 ret void32}33 34define void @cbnz_exit(ptr %in, ptr %res) {35; CHECK-LABEL: cbnz_exit:36; CHECK: @ %bb.0: @ %entry37; CHECK-NEXT: subs r2, r0, #438; CHECK-NEXT: mov.w r0, #-139; CHECK-NEXT: .LBB1_1: @ %loop40; CHECK-NEXT: @ =>This Inner Loop Header: Depth=141; CHECK-NEXT: ldr r3, [r2, #4]!42; CHECK-NEXT: adds r0, #143; CHECK-NEXT: cbnz r3, .LBB1_244; CHECK-NEXT: le .LBB1_145; CHECK-NEXT: .LBB1_2: @ %exit46; CHECK-NEXT: str r0, [r1]47; CHECK-NEXT: bx lr48entry:49 br label %loop50 51loop:52 %offset = phi i32 [ 0, %entry ], [ %next, %loop ]53 %ptr = getelementptr i32, ptr %in, i32 %offset54 %val = load i32, ptr %ptr55 %next = add i32 %offset, 156 %cmp = icmp ne i32 %val, 057 br i1 %cmp, label %exit, label %loop58 59exit:60 store i32 %offset, ptr %res61 ret void62}63 64define void @cbnz_exit_too_large(ptr %in, ptr %res) {65; CHECK-LABEL: cbnz_exit_too_large:66; CHECK: @ %bb.0: @ %entry67; CHECK-NEXT: subs r2, r0, #468; CHECK-NEXT: mov.w r0, #-169; CHECK-NEXT: .LBB2_1: @ %loop70; CHECK-NEXT: @ =>This Inner Loop Header: Depth=171; CHECK-NEXT: ldr r12, [r2, #4]!72; CHECK-NEXT: .zero 409073; CHECK-NEXT: adds r0, #174; CHECK-NEXT: cmp.w r12, #075; CHECK-NEXT: beq.w .LBB2_176; CHECK-NEXT: @ %bb.2: @ %exit77; CHECK-NEXT: str r0, [r1]78; CHECK-NEXT: bx lr79entry:80 br label %loop81 82loop:83 %offset = phi i32 [ 0, %entry ], [ %next, %loop ]84 %ptr = getelementptr i32, ptr %in, i32 %offset85 %val = load i32, ptr %ptr86 %next = add i32 %offset, 187 %cmp = icmp ne i32 %val, 088 %size = call i32 @llvm.arm.space(i32 4090, i32 undef)89 br i1 %cmp, label %exit, label %loop90 91exit:92 store i32 %offset, ptr %res93 ret void94}95 96define void @cbz_exit_minsize(ptr %in, ptr %res) #0 {97; CHECK-LABEL: cbz_exit_minsize:98; CHECK: @ %bb.0: @ %entry99; CHECK-NEXT: movs r2, #0100; CHECK-NEXT: .LBB3_1: @ %loop101; CHECK-NEXT: @ =>This Inner Loop Header: Depth=1102; CHECK-NEXT: ldr.w r3, [r0, r2, lsl #2]103; CHECK-NEXT: adds r2, #1104; CHECK-NEXT: cmp r3, #0105; CHECK-NEXT: bne .LBB3_1106; CHECK-NEXT: @ %bb.2: @ %exit107; CHECK-NEXT: subs r0, r2, #1108; CHECK-NEXT: str r0, [r1]109; CHECK-NEXT: bx lr110entry:111 br label %loop112 113loop:114 %offset = phi i32 [ 0, %entry ], [ %next, %loop ]115 %ptr = getelementptr i32, ptr %in, i32 %offset116 %val = load i32, ptr %ptr117 %next = add i32 %offset, 1118 %cmp = icmp eq i32 %val, 0119 br i1 %cmp, label %exit, label %loop120 121exit:122 store i32 %offset, ptr %res123 ret void124}125 126define void @cbnz_exit_minsize(ptr %in, ptr %res) #0 {127; CHECK-LABEL: cbnz_exit_minsize:128; CHECK: @ %bb.0: @ %entry129; CHECK-NEXT: movs r2, #0130; CHECK-NEXT: .LBB4_1: @ %loop131; CHECK-NEXT: @ =>This Inner Loop Header: Depth=1132; CHECK-NEXT: ldr.w r3, [r0, r2, lsl #2]133; CHECK-NEXT: adds r2, #1134; CHECK-NEXT: cmp r3, #0135; CHECK-NEXT: beq .LBB4_1136; CHECK-NEXT: @ %bb.2: @ %exit137; CHECK-NEXT: subs r0, r2, #1138; CHECK-NEXT: str r0, [r1]139; CHECK-NEXT: bx lr140entry:141 br label %loop142 143loop:144 %offset = phi i32 [ 0, %entry ], [ %next, %loop ]145 %ptr = getelementptr i32, ptr %in, i32 %offset146 %val = load i32, ptr %ptr147 %next = add i32 %offset, 1148 %cmp = icmp ne i32 %val, 0149 br i1 %cmp, label %exit, label %loop150 151exit:152 store i32 %offset, ptr %res153 ret void154}155 156attributes #0 = { minsize optsize }157 158declare i32 @llvm.arm.space(i32 immarg, i32);159