190 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 52; RUN: llc < %s -mtriple=aarch64-none-elf | FileCheck %s3 4; Check that the load in the loop has postindex addressing, regardless of the5; type or whether the input uses postindex or offset addressing.6 7define i32 @i32_initially_postidx(ptr %p, i64 %n) {8; CHECK-LABEL: i32_initially_postidx:9; CHECK: // %bb.0: // %entry10; CHECK-NEXT: cmp x1, #111; CHECK-NEXT: b.lt .LBB0_512; CHECK-NEXT: // %bb.1: // %for.body.preheader13; CHECK-NEXT: mov w8, wzr14; CHECK-NEXT: .LBB0_2: // %for.body15; CHECK-NEXT: // =>This Inner Loop Header: Depth=116; CHECK-NEXT: ldr w9, [x0], #417; CHECK-NEXT: add w8, w8, w918; CHECK-NEXT: cmp w8, #019; CHECK-NEXT: b.lo .LBB0_520; CHECK-NEXT: // %bb.3: // %for.inc21; CHECK-NEXT: // in Loop: Header=BB0_2 Depth=122; CHECK-NEXT: subs x1, x1, #123; CHECK-NEXT: b.ne .LBB0_224; CHECK-NEXT: // %bb.4: // %cleanup25; CHECK-NEXT: mov w0, w826; CHECK-NEXT: ret27; CHECK-NEXT: .LBB0_5:28; CHECK-NEXT: mov w8, wzr29; CHECK-NEXT: mov w0, w830; CHECK-NEXT: ret31entry:32 %cmp1 = icmp sgt i64 %n, 033 br i1 %cmp1, label %for.body, label %cleanup34 35for.body:36 %iv = phi i64 [ %iv.next, %for.inc ], [ 0, %entry ]37 %accum = phi i32 [ %add, %for.inc ], [ 0, %entry ]38 %ptr = phi ptr [ %ptr.next, %for.inc ], [ %p, %entry ]39 %val = load i32, ptr %ptr, align 440 %ptr.next = getelementptr inbounds nuw i8, ptr %ptr, i64 441 %add = add i32 %accum, %val42 %cmp2 = icmp ult i32 %add, 043 br i1 %cmp2, label %cleanup, label %for.inc44 45for.inc:46 %iv.next = add nuw nsw i64 %iv, 147 %exitcond = icmp eq i64 %iv.next, %n48 br i1 %exitcond, label %cleanup, label %for.body49 50cleanup:51 %ret = phi i32 [ 0, %entry ], [ 0, %for.body ], [ %add, %for.inc ]52 ret i32 %ret53}54 55define i32 @i32_initially_offset(ptr %p, i64 %n) {56; CHECK-LABEL: i32_initially_offset:57; CHECK: // %bb.0: // %entry58; CHECK-NEXT: cmp x1, #159; CHECK-NEXT: b.lt .LBB1_560; CHECK-NEXT: // %bb.1: // %for.body.preheader61; CHECK-NEXT: mov w8, wzr62; CHECK-NEXT: .LBB1_2: // %for.body63; CHECK-NEXT: // =>This Inner Loop Header: Depth=164; CHECK-NEXT: ldr w9, [x0], #465; CHECK-NEXT: add w8, w8, w966; CHECK-NEXT: cmp w8, #067; CHECK-NEXT: b.lo .LBB1_568; CHECK-NEXT: // %bb.3: // %for.cond69; CHECK-NEXT: // in Loop: Header=BB1_2 Depth=170; CHECK-NEXT: subs x1, x1, #171; CHECK-NEXT: b.ne .LBB1_272; CHECK-NEXT: // %bb.4: // %cleanup73; CHECK-NEXT: mov w0, w874; CHECK-NEXT: ret75; CHECK-NEXT: .LBB1_5:76; CHECK-NEXT: mov w8, wzr77; CHECK-NEXT: mov w0, w878; CHECK-NEXT: ret79entry:80 %cmp1 = icmp sgt i64 %n, 081 br i1 %cmp1, label %for.body, label %cleanup82 83for.cond:84 %iv.next = add nuw nsw i64 %iv, 185 %exitcond = icmp eq i64 %iv.next, %n86 br i1 %exitcond, label %cleanup, label %for.body87 88for.body:89 %iv = phi i64 [ %iv.next, %for.cond ], [ 0, %entry ]90 %accum = phi i32 [ %add, %for.cond ], [ 0, %entry ]91 %arrayidx = getelementptr inbounds nuw i32, ptr %p, i64 %iv92 %val = load i32, ptr %arrayidx, align 493 %add = add i32 %accum, %val94 %cmp2 = icmp ult i32 %add, 095 br i1 %cmp2, label %cleanup, label %for.cond96 97cleanup:98 %ret = phi i32 [ 0, %entry ], [ 0, %for.body ], [ %add, %for.cond ]99 ret i32 %ret100}101 102define float @float_initially_postidx(ptr %p, i64 %n) {103; CHECK-LABEL: float_initially_postidx:104; CHECK: // %bb.0: // %entry105; CHECK-NEXT: movi d0, #0000000000000000106; CHECK-NEXT: cmp x1, #1107; CHECK-NEXT: b.lt .LBB2_3108; CHECK-NEXT: .LBB2_1: // %for.body109; CHECK-NEXT: // =>This Inner Loop Header: Depth=1110; CHECK-NEXT: ldr s1, [x0], #4111; CHECK-NEXT: fadd s0, s0, s1112; CHECK-NEXT: fcmp s0, #0.0113; CHECK-NEXT: b.mi .LBB2_4114; CHECK-NEXT: // %bb.2: // %for.inc115; CHECK-NEXT: // in Loop: Header=BB2_1 Depth=1116; CHECK-NEXT: subs x1, x1, #1117; CHECK-NEXT: b.ne .LBB2_1118; CHECK-NEXT: .LBB2_3: // %cleanup119; CHECK-NEXT: ret120; CHECK-NEXT: .LBB2_4:121; CHECK-NEXT: movi d0, #0000000000000000122; CHECK-NEXT: ret123entry:124 %cmp1 = icmp sgt i64 %n, 0125 br i1 %cmp1, label %for.body, label %cleanup126 127for.body:128 %iv = phi i64 [ %iv.next, %for.inc ], [ 0, %entry ]129 %accum = phi float [ %add, %for.inc ], [ 0.000000e+00, %entry ]130 %ptr = phi ptr [ %ptr.next, %for.inc ], [ %p, %entry ]131 %val = load float, ptr %ptr, align 4132 %ptr.next = getelementptr inbounds nuw i8, ptr %ptr, i64 4133 %add = fadd float %accum, %val134 %cmp2 = fcmp olt float %add, 0.000000e+00135 br i1 %cmp2, label %cleanup, label %for.inc136 137for.inc:138 %iv.next = add nuw nsw i64 %iv, 1139 %exitcond = icmp eq i64 %iv.next, %n140 br i1 %exitcond, label %cleanup, label %for.body141 142cleanup:143 %ret = phi float [ 0.000000e+00, %entry ], [ 0.000000e+00, %for.body ], [ %add, %for.inc ]144 ret float %ret145}146 147define float @float_initially_offset(ptr %p, i64 %n) {148; CHECK-LABEL: float_initially_offset:149; CHECK: // %bb.0: // %entry150; CHECK-NEXT: movi d0, #0000000000000000151; CHECK-NEXT: cmp x1, #1152; CHECK-NEXT: b.lt .LBB3_3153; CHECK-NEXT: .LBB3_1: // %for.body154; CHECK-NEXT: // =>This Inner Loop Header: Depth=1155; CHECK-NEXT: ldr s1, [x0], #4156; CHECK-NEXT: fadd s0, s0, s1157; CHECK-NEXT: fcmp s0, #0.0158; CHECK-NEXT: b.mi .LBB3_4159; CHECK-NEXT: // %bb.2: // %for.cond160; CHECK-NEXT: // in Loop: Header=BB3_1 Depth=1161; CHECK-NEXT: subs x1, x1, #1162; CHECK-NEXT: b.ne .LBB3_1163; CHECK-NEXT: .LBB3_3: // %cleanup164; CHECK-NEXT: ret165; CHECK-NEXT: .LBB3_4:166; CHECK-NEXT: movi d0, #0000000000000000167; CHECK-NEXT: ret168entry:169 %cmp1 = icmp sgt i64 %n, 0170 br i1 %cmp1, label %for.body, label %cleanup171 172for.cond:173 %iv.next = add nuw nsw i64 %iv, 1174 %exitcond = icmp eq i64 %iv.next, %n175 br i1 %exitcond, label %cleanup, label %for.body176 177for.body:178 %iv = phi i64 [ %iv.next, %for.cond ], [ 0, %entry ]179 %accum = phi float [ %add, %for.cond ], [ 0.000000e+00, %entry ]180 %arrayidx = getelementptr inbounds nuw float, ptr %p, i64 %iv181 %val = load float, ptr %arrayidx, align 4182 %add = fadd float %accum, %val183 %cmp2 = fcmp olt float %add, 0.000000e+00184 br i1 %cmp2, label %cleanup, label %for.cond185 186cleanup:187 %ret = phi float [ 0.000000e+00, %entry ], [ 0.000000e+00, %for.body ], [ %add, %for.cond ]188 ret float %ret189}190