; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc --mtriple=loongarch64 < %s | FileCheck --check-prefix=LA464 %s
; RUN: llc --mtriple=loongarch64 --mcpu=la464 < %s | FileCheck --check-prefix=LA464 %s

define signext i32 @sum(ptr noalias nocapture noundef readonly %0, i32 noundef signext %1) {
; LA464-LABEL: sum:
; LA464:       # %bb.0:
; LA464-NEXT:    ori $a2, $zero, 1
; LA464-NEXT:    blt $a1, $a2, .LBB0_4
; LA464-NEXT:  # %bb.1:
; LA464-NEXT:    bstrpick.d $a2, $a1, 31, 0
; LA464-NEXT:    move $a1, $zero
; LA464-NEXT:    .p2align 4, , 16
; LA464-NEXT:  .LBB0_2: # =>This Inner Loop Header: Depth=1
; LA464-NEXT:    ld.w $a3, $a0, 0
; LA464-NEXT:    add.d $a1, $a3, $a1
; LA464-NEXT:    addi.d $a0, $a0, 4
; LA464-NEXT:    addi.d $a2, $a2, -1
; LA464-NEXT:    bnez $a2, .LBB0_2
; LA464-NEXT:  # %bb.3:
; LA464-NEXT:    addi.w $a0, $a1, 0
; LA464-NEXT:    ret
; LA464-NEXT:  .LBB0_4:
; LA464-NEXT:    move $a1, $zero
; LA464-NEXT:    addi.w $a0, $a1, 0
; LA464-NEXT:    ret
  %3 = icmp sgt i32 %1, 0
  br i1 %3, label %4, label %6

4:                                                ; preds = %2
  %5 = zext i32 %1 to i64
  br label %8

6:                                                ; preds = %8, %2
  %7 = phi i32 [ 0, %2 ], [ %13, %8 ]
  ret i32 %7

8:                                                ; preds = %4, %8
  %9 = phi i64 [ 0, %4 ], [ %14, %8 ]
  %10 = phi i32 [ 0, %4 ], [ %13, %8 ]
  %11 = getelementptr inbounds i32, ptr %0, i64 %9
  %12 = load i32, ptr %11, align 4
  %13 = add nsw i32 %12, %10
  %14 = add nuw nsw i64 %9, 1
  %15 = icmp eq i64 %14, %5
  br i1 %15, label %6, label %8
}