95 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -mtriple=thumbv8.1m.main-none-none-eabi -mattr=+mve -verify-machineinstrs -o - %s | FileCheck %s3 4define i32 @test(ptr nocapture readonly %x, ptr nocapture readonly %y, i32 %n) {5; CHECK-LABEL: test:6; CHECK: @ %bb.0: @ %entry7; CHECK-NEXT: cmp r2, #18; CHECK-NEXT: itt lt9; CHECK-NEXT: movlt r0, #010; CHECK-NEXT: bxlt lr11; CHECK-NEXT: .LBB0_1: @ %for.body.preheader12; CHECK-NEXT: .save {r7, lr}13; CHECK-NEXT: push {r7, lr}14; CHECK-NEXT: mov lr, r015; CHECK-NEXT: movs r0, #016; CHECK-NEXT: .LBB0_2: @ %for.body17; CHECK-NEXT: @ =>This Inner Loop Header: Depth=118; CHECK-NEXT: ldrh r3, [r1], #219; CHECK-NEXT: subs r2, #120; CHECK-NEXT: ldrh r12, [lr], #221; CHECK-NEXT: @APP22; CHECK-NEXT: add r3, r1223; CHECK-NEXT: @NO_APP24; CHECK-NEXT: add r0, r325; CHECK-NEXT: bne .LBB0_226; CHECK-NEXT: @ %bb.3:27; CHECK-NEXT: pop {r7, pc}28entry:29 %cmp9 = icmp sgt i32 %n, 030 br i1 %cmp9, label %for.body, label %for.cond.cleanup31 32for.cond.cleanup: ; preds = %for.body, %entry33 %s.0.lcssa = phi i32 [ 0, %entry ], [ %add, %for.body ]34 ret i32 %s.0.lcssa35 36for.body: ; preds = %entry, %for.body37 %s.011 = phi i32 [ %add, %for.body ], [ 0, %entry ]38 %i.010 = phi i32 [ %inc, %for.body ], [ 0, %entry ]39 %arrayidx = getelementptr inbounds i16, ptr %x, i32 %i.01040 %0 = load i16, ptr %arrayidx, align 241 %arrayidx1 = getelementptr inbounds i16, ptr %y, i32 %i.01042 %1 = load i16, ptr %arrayidx1, align 243 %2 = tail call i32 asm "add $0, $1, $2", "=r,r,r"(i16 %0, i16 %1) #144 %add = add nsw i32 %2, %s.01145 %inc = add nuw nsw i32 %i.010, 146 %exitcond.not = icmp eq i32 %inc, %n47 br i1 %exitcond.not, label %for.cond.cleanup, label %for.body48}49 50define i32 @testlr(ptr nocapture readonly %x, ptr nocapture readonly %y, i32 %n) {51; CHECK-LABEL: testlr:52; CHECK: @ %bb.0: @ %entry53; CHECK-NEXT: cmp r2, #154; CHECK-NEXT: itt lt55; CHECK-NEXT: movlt r0, #056; CHECK-NEXT: bxlt lr57; CHECK-NEXT: .LBB1_1: @ %for.body.preheader58; CHECK-NEXT: .save {r4, lr}59; CHECK-NEXT: push {r4, lr}60; CHECK-NEXT: mov r3, r061; CHECK-NEXT: movs r0, #062; CHECK-NEXT: .LBB1_2: @ %for.body63; CHECK-NEXT: @ =>This Inner Loop Header: Depth=164; CHECK-NEXT: ldrh r4, [r1], #265; CHECK-NEXT: subs r2, #166; CHECK-NEXT: ldrh r12, [r3], #267; CHECK-NEXT: @APP68; CHECK-NEXT: add r4, r1269; CHECK-NEXT: @NO_APP70; CHECK-NEXT: add r0, r471; CHECK-NEXT: bne .LBB1_272; CHECK-NEXT: @ %bb.3:73; CHECK-NEXT: pop {r4, pc}74entry:75 %cmp9 = icmp sgt i32 %n, 076 br i1 %cmp9, label %for.body, label %for.cond.cleanup77 78for.cond.cleanup: ; preds = %for.body, %entry79 %s.0.lcssa = phi i32 [ 0, %entry ], [ %add, %for.body ]80 ret i32 %s.0.lcssa81 82for.body: ; preds = %entry, %for.body83 %s.011 = phi i32 [ %add, %for.body ], [ 0, %entry ]84 %i.010 = phi i32 [ %inc, %for.body ], [ 0, %entry ]85 %arrayidx = getelementptr inbounds i16, ptr %x, i32 %i.01086 %0 = load i16, ptr %arrayidx, align 287 %arrayidx1 = getelementptr inbounds i16, ptr %y, i32 %i.01088 %1 = load i16, ptr %arrayidx1, align 289 %2 = tail call i32 asm "add $0, $1, $2", "=r,r,r,~{lr}"(i16 %0, i16 %1) #190 %add = add nsw i32 %2, %s.01191 %inc = add nuw nsw i32 %i.010, 192 %exitcond.not = icmp eq i32 %inc, %n93 br i1 %exitcond.not, label %for.cond.cleanup, label %for.body94}95