llvm/test/CodeGen/RISCV/rvv/reg-alloc-reserve-bp.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -mtriple=riscv64 -mattr=+v,+f \
   3 ; RUN:   -verify-machineinstrs < %s | FileCheck %s
   4
   5 define void @foo(ptr nocapture noundef %p1) {
   6 ; CHECK-LABEL: foo:
   7 ; CHECK:       # %bb.0: # %entry
   8 ; CHECK-NEXT:    addi sp, sp, -192
   9 ; CHECK-NEXT:    .cfi_def_cfa_offset 192
  10 ; CHECK-NEXT:    sd ra, 184(sp) # 8-byte Folded Spill
  11 ; CHECK-NEXT:    sd s0, 176(sp) # 8-byte Folded Spill
  12 ; CHECK-NEXT:    sd s1, 168(sp) # 8-byte Folded Spill
  13 ; CHECK-NEXT:    sd s2, 160(sp) # 8-byte Folded Spill
  14 ; CHECK-NEXT:    .cfi_offset ra, -8
  15 ; CHECK-NEXT:    .cfi_offset s0, -16
  16 ; CHECK-NEXT:    .cfi_offset s1, -24
  17 ; CHECK-NEXT:    .cfi_offset s2, -32
  18 ; CHECK-NEXT:    addi s0, sp, 192
  19 ; CHECK-NEXT:    .cfi_def_cfa s0, 0
  20 ; CHECK-NEXT:    csrr a1, vlenb
  21 ; CHECK-NEXT:    slli a1, a1, 1
  22 ; CHECK-NEXT:    sub sp, sp, a1
  23 ; CHECK-NEXT:    andi sp, sp, -64
  24 ; CHECK-NEXT:    mv s1, sp
  25 ; CHECK-NEXT:    mv s2, a0
  26 ; CHECK-NEXT:    vsetivli zero, 8, e32, m2, ta, ma
  27 ; CHECK-NEXT:    vle32.v v8, (a0)
  28 ; CHECK-NEXT:    addi a0, s1, 160
  29 ; CHECK-NEXT:    vs2r.v v8, (a0) # Unknown-size Folded Spill
  30 ; CHECK-NEXT:    addi sp, sp, -16
  31 ; CHECK-NEXT:    addi t0, s1, 64
  32 ; CHECK-NEXT:    li a0, 1
  33 ; CHECK-NEXT:    li a1, 2
  34 ; CHECK-NEXT:    li a2, 3
  35 ; CHECK-NEXT:    li a3, 4
  36 ; CHECK-NEXT:    li a4, 5
  37 ; CHECK-NEXT:    li a5, 6
  38 ; CHECK-NEXT:    li a6, 7
  39 ; CHECK-NEXT:    li a7, 8
  40 ; CHECK-NEXT:    sd t0, 0(sp)
  41 ; CHECK-NEXT:    call bar
  42 ; CHECK-NEXT:    addi sp, sp, 16
  43 ; CHECK-NEXT:    vsetivli zero, 8, e32, m2, ta, ma
  44 ; CHECK-NEXT:    vle32.v v8, (s2)
  45 ; CHECK-NEXT:    addi a0, s1, 160
  46 ; CHECK-NEXT:    vl2r.v v10, (a0) # Unknown-size Folded Reload
  47 ; CHECK-NEXT:    vfadd.vv v8, v10, v8
  48 ; CHECK-NEXT:    vse32.v v8, (s2)
  49 ; CHECK-NEXT:    addi sp, s0, -192
  50 ; CHECK-NEXT:    ld ra, 184(sp) # 8-byte Folded Reload
  51 ; CHECK-NEXT:    ld s0, 176(sp) # 8-byte Folded Reload
  52 ; CHECK-NEXT:    ld s1, 168(sp) # 8-byte Folded Reload
  53 ; CHECK-NEXT:    ld s2, 160(sp) # 8-byte Folded Reload
  54 ; CHECK-NEXT:    addi sp, sp, 192
  55 ; CHECK-NEXT:    ret
  56 entry:
  57   %vla = alloca [10 x i32], align 64
  58   call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %vla)
  59   %0 = load <8 x float>, ptr %p1, align 32
  60   call void @bar(i32 noundef signext 1, i32 noundef signext 2, i32 noundef signext 3, i32 noundef signext 4, i32 noundef signext 5, i32 noundef signext 6, i32 noundef signext 7, i32 noundef signext 8, ptr noundef nonnull %vla)
  61   %1 = load <8 x float>, ptr %p1, align 32
  62   %add = fadd <8 x float> %0, %1
  63   store <8 x float> %add, ptr %p1, align 32
  64   call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %vla)
  65   ret void
  66 }
  67
  68 declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #1
  69
  70 declare void @bar(i32 noundef signext, i32 noundef signext, i32 noundef signext, i32 noundef signext, i32 noundef signext, i32 noundef signext, i32 noundef signext, i32 noundef signext, ptr noundef)
  71
  72 declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #1
  73
  74 attributes #1 = { argmemonly mustprogress nofree nosync nounwind willreturn }