|  | ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py | 
|  | ; RUN: llc --mtriple=loongarch64 -mattr=+d < %s | FileCheck --check-prefix=LA464 %s | 
|  | ; RUN: llc --mtriple=loongarch64 -mattr=+d --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:    move $a2, $zero | 
|  | ; LA464-NEXT:    bstrpick.d $a1, $a1, 31, 0 | 
|  | ; 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.w $a2, $a3, $a2 | 
|  | ; LA464-NEXT:    addi.d $a1, $a1, -1 | 
|  | ; LA464-NEXT:    addi.d $a0, $a0, 4 | 
|  | ; LA464-NEXT:    bnez $a1, .LBB0_2 | 
|  | ; LA464-NEXT:  # %bb.3: | 
|  | ; LA464-NEXT:    move $a0, $a2 | 
|  | ; LA464-NEXT:    ret | 
|  | ; LA464-NEXT:  .LBB0_4: | 
|  | ; LA464-NEXT:    move $a2, $zero | 
|  | ; LA464-NEXT:    move $a0, $a2 | 
|  | ; 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 | 
|  | } |