45 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 62; RUN: llc -mtriple=riscv64 -mattr=+v -verify-machineinstrs < %s | FileCheck %s3 4define i32 @loop_live_out(ptr %p, i64 %n) {5; CHECK-LABEL: loop_live_out:6; CHECK: # %bb.0: # %entry7; CHECK-NEXT: mv a2, a08; CHECK-NEXT: .LBB0_1: # %loop9; CHECK-NEXT: # =>This Inner Loop Header: Depth=110; CHECK-NEXT: vsetvli a3, a1, e32, m2, ta, ma11; CHECK-NEXT: vle32.v v8, (a2)12; CHECK-NEXT: sub a1, a1, a313; CHECK-NEXT: vadd.vi v8, v8, 114; CHECK-NEXT: vse32.v v8, (a2)15; CHECK-NEXT: slli a2, a3, 216; CHECK-NEXT: add a2, a0, a217; CHECK-NEXT: bnez a1, .LBB0_118; CHECK-NEXT: # %bb.2: # %exit19; CHECK-NEXT: addi a3, a3, -120; CHECK-NEXT: vsetivli zero, 1, e32, m2, ta, ma21; CHECK-NEXT: vslidedown.vx v8, v8, a322; CHECK-NEXT: vmv.x.s a0, v823; CHECK-NEXT: ret24entry:25 br label %loop26 27loop:28 %avl = phi i64 [%n, %entry], [%avl.next, %loop]29 %gep = phi ptr [%p, %entry], [%gep.next, %loop]30 %vl = call i32 @llvm.experimental.get.vector.length(i64 %avl, i32 4, i1 true)31 %x = call <vscale x 4 x i32> @llvm.vp.load(ptr %gep, <vscale x 4 x i1> splat (i1 true), i32 %vl)32 %y = add <vscale x 4 x i32> %x, splat (i32 1)33 call void @llvm.vp.store(<vscale x 4 x i32> %y, ptr %gep, <vscale x 4 x i1> splat (i1 true), i32 %vl)34 %vl.zext = zext i32 %vl to i6435 %avl.next = sub i64 %avl, %vl.zext36 %gep.next = getelementptr i32, ptr %p, i32 %vl37 %ec = icmp eq i64 %avl.next, 038 br i1 %ec, label %exit, label %loop39 40exit:41 %lastidx = sub i64 %vl.zext, 142 %lastelt = extractelement <vscale x 4 x i32> %y, i64 %lastidx43 ret i32 %lastelt44}45