1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py 2; RUN: llc --mtriple=loongarch64 -mattr=+d < %s | FileCheck --check-prefix=LA464 %s 3; RUN: llc --mtriple=loongarch64 -mattr=+d --mcpu=la464 < %s | FileCheck --check-prefix=LA464 %s 4 5define signext i32 @sum(ptr noalias nocapture noundef readonly %0, i32 noundef signext %1) { 6; LA464-LABEL: sum: 7; LA464: # %bb.0: 8; LA464-NEXT: ori $a2, $zero, 1 9; LA464-NEXT: blt $a1, $a2, .LBB0_4 10; LA464-NEXT: # %bb.1: 11; LA464-NEXT: move $a2, $zero 12; LA464-NEXT: bstrpick.d $a1, $a1, 31, 0 13; LA464-NEXT: .p2align 4, , 16 14; LA464-NEXT: .LBB0_2: # =>This Inner Loop Header: Depth=1 15; LA464-NEXT: ld.w $a3, $a0, 0 16; LA464-NEXT: add.w $a2, $a3, $a2 17; LA464-NEXT: addi.d $a1, $a1, -1 18; LA464-NEXT: addi.d $a0, $a0, 4 19; LA464-NEXT: bnez $a1, .LBB0_2 20; LA464-NEXT: # %bb.3: 21; LA464-NEXT: move $a0, $a2 22; LA464-NEXT: ret 23; LA464-NEXT: .LBB0_4: 24; LA464-NEXT: move $a2, $zero 25; LA464-NEXT: move $a0, $a2 26; LA464-NEXT: ret 27 %3 = icmp sgt i32 %1, 0 28 br i1 %3, label %4, label %6 29 304: ; preds = %2 31 %5 = zext i32 %1 to i64 32 br label %8 33 346: ; preds = %8, %2 35 %7 = phi i32 [ 0, %2 ], [ %13, %8 ] 36 ret i32 %7 37 388: ; preds = %4, %8 39 %9 = phi i64 [ 0, %4 ], [ %14, %8 ] 40 %10 = phi i32 [ 0, %4 ], [ %13, %8 ] 41 %11 = getelementptr inbounds i32, ptr %0, i64 %9 42 %12 = load i32, ptr %11, align 4 43 %13 = add nsw i32 %12, %10 44 %14 = add nuw nsw i64 %9, 1 45 %15 = icmp eq i64 %14, %5 46 br i1 %15, label %6, label %8 47} 48