concat-vectors-constant-stride.ll | Explore in Territory

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -mtriple=riscv32 -mattr=+v,+unaligned-vector-mem -target-abi=ilp32 \
; RUN:     -verify-machineinstrs < %s | FileCheck %s --check-prefixes=CHECK,RV32
; RUN: llc -mtriple=riscv64 -mattr=+v,+unaligned-vector-mem -target-abi=lp64 \
; RUN:     -verify-machineinstrs < %s | FileCheck %s --check-prefixes=CHECK,RV64

define void @constant_forward_stride(ptr %s, ptr %d) {
; CHECK-LABEL: constant_forward_stride:
; CHECK:       # %bb.0:
; CHECK-NEXT:    li a2, 16
; CHECK-NEXT:    vsetivli zero, 4, e16, mf2, ta, ma
; CHECK-NEXT:    vlse16.v v8, (a0), a2
; CHECK-NEXT:    vse16.v v8, (a1)
; CHECK-NEXT:    ret
  %1 = getelementptr inbounds i8, ptr %s, i64 16
  %2 = getelementptr inbounds i8, ptr %s, i64 32
  %3 = getelementptr inbounds i8, ptr %s, i64 48
  %4 = load <2 x i8>, ptr %s, align 1
  %5 = load <2 x i8>, ptr %1, align 1
  %6 = load <2 x i8>, ptr %2, align 1
  %7 = load <2 x i8>, ptr %3, align 1
  %8 = shufflevector <2 x i8> %4, <2 x i8> %5, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
  %9 = shufflevector <2 x i8> %6, <2 x i8> %7, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
  %10 = shufflevector <4 x i8> %8, <4 x i8> %9, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7>
  store <8 x i8> %10, ptr %d, align 1
  ret void
}

define void @constant_forward_stride2(ptr %s, ptr %d) {
; CHECK-LABEL: constant_forward_stride2:
; CHECK:       # %bb.0:
; CHECK-NEXT:    addi a0, a0, -48
; CHECK-NEXT:    li a2, 16
; CHECK-NEXT:    vsetivli zero, 4, e16, mf2, ta, ma
; CHECK-NEXT:    vlse16.v v8, (a0), a2
; CHECK-NEXT:    vse16.v v8, (a1)
; CHECK-NEXT:    ret
  %1 = getelementptr inbounds i8, ptr %s, i64 -16
  %2 = getelementptr inbounds i8, ptr %s, i64 -32
  %3 = getelementptr inbounds i8, ptr %s, i64 -48
  %4 = load <2 x i8>, ptr %3, align 1
  %5 = load <2 x i8>, ptr %2, align 1
  %6 = load <2 x i8>, ptr %1, align 1
  %7 = load <2 x i8>, ptr %s, align 1
  %8 = shufflevector <2 x i8> %4, <2 x i8> %5, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
  %9 = shufflevector <2 x i8> %6, <2 x i8> %7, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
  %10 = shufflevector <4 x i8> %8, <4 x i8> %9, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7>
  store <8 x i8> %10, ptr %d, align 1
  ret void
}

define void @constant_forward_stride3(ptr %s, ptr %d) {
; CHECK-LABEL: constant_forward_stride3:
; CHECK:       # %bb.0:
; CHECK-NEXT:    li a2, 16
; CHECK-NEXT:    vsetivli zero, 4, e16, mf2, ta, ma
; CHECK-NEXT:    vlse16.v v8, (a0), a2
; CHECK-NEXT:    vse16.v v8, (a1)
; CHECK-NEXT:    ret
  %1 = getelementptr inbounds i8, ptr %s, i64 16
  %2 = getelementptr inbounds i8, ptr %s, i64 32
  %3 = getelementptr inbounds i8, ptr %s, i64 48
  %4 = getelementptr inbounds i8, ptr %1, i64 0
  %5 = getelementptr inbounds i8, ptr %2, i64 0
  %6 = getelementptr inbounds i8, ptr %3, i64 0
  %7 = load <2 x i8>, ptr %s, align 1
  %8 = load <2 x i8>, ptr %4, align 1
  %9 = load <2 x i8>, ptr %5, align 1
  %10 = load <2 x i8>, ptr %6, align 1
  %11 = shufflevector <2 x i8> %7, <2 x i8> %8, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
  %12 = shufflevector <2 x i8> %9, <2 x i8> %10, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
  %13 = shufflevector <4 x i8> %11, <4 x i8> %12, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7>
  store <8 x i8> %13, ptr %d, align 1
  ret void
}

define void @constant_back_stride(ptr %s, ptr %d) {
; CHECK-LABEL: constant_back_stride:
; CHECK:       # %bb.0:
; CHECK-NEXT:    li a2, -16
; CHECK-NEXT:    vsetivli zero, 4, e16, mf2, ta, ma
; CHECK-NEXT:    vlse16.v v8, (a0), a2
; CHECK-NEXT:    vse16.v v8, (a1)
; CHECK-NEXT:    ret
  %1 = getelementptr inbounds i8, ptr %s, i64 -16
  %2 = getelementptr inbounds i8, ptr %s, i64 -32
  %3 = getelementptr inbounds i8, ptr %s, i64 -48
  %4 = load <2 x i8>, ptr %s, align 1
  %5 = load <2 x i8>, ptr %1, align 1
  %6 = load <2 x i8>, ptr %2, align 1
  %7 = load <2 x i8>, ptr %3, align 1
  %8 = shufflevector <2 x i8> %4, <2 x i8> %5, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
  %9 = shufflevector <2 x i8> %6, <2 x i8> %7, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
  %10 = shufflevector <4 x i8> %8, <4 x i8> %9, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7>
  store <8 x i8> %10, ptr %d, align 1
  ret void
}

define void @constant_back_stride2(ptr %s, ptr %d) {
; CHECK-LABEL: constant_back_stride2:
; CHECK:       # %bb.0:
; CHECK-NEXT:    addi a0, a0, 48
; CHECK-NEXT:    li a2, -16
; CHECK-NEXT:    vsetivli zero, 4, e16, mf2, ta, ma
; CHECK-NEXT:    vlse16.v v8, (a0), a2
; CHECK-NEXT:    vse16.v v8, (a1)
; CHECK-NEXT:    ret
  %1 = getelementptr inbounds i8, ptr %s, i64 16
  %2 = getelementptr inbounds i8, ptr %s, i64 32
  %3 = getelementptr inbounds i8, ptr %s, i64 48
  %4 = load <2 x i8>, ptr %3, align 1
  %5 = load <2 x i8>, ptr %2, align 1
  %6 = load <2 x i8>, ptr %1, align 1
  %7 = load <2 x i8>, ptr %s, align 1
  %8 = shufflevector <2 x i8> %4, <2 x i8> %5, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
  %9 = shufflevector <2 x i8> %6, <2 x i8> %7, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
  %10 = shufflevector <4 x i8> %8, <4 x i8> %9, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7>
  store <8 x i8> %10, ptr %d, align 1
  ret void
}

define void @constant_back_stride3(ptr %s, ptr %d) {
; CHECK-LABEL: constant_back_stride3:
; CHECK:       # %bb.0:
; CHECK-NEXT:    li a2, -16
; CHECK-NEXT:    vsetivli zero, 4, e16, mf2, ta, ma
; CHECK-NEXT:    vlse16.v v8, (a0), a2
; CHECK-NEXT:    vse16.v v8, (a1)
; CHECK-NEXT:    ret
  %1 = getelementptr inbounds i8, ptr %s, i64 -16
  %2 = getelementptr inbounds i8, ptr %s, i64 -32
  %3 = getelementptr inbounds i8, ptr %s, i64 -48
  %4 = getelementptr inbounds i8, ptr %1, i64 0
  %5 = getelementptr inbounds i8, ptr %2, i64 0
  %6 = getelementptr inbounds i8, ptr %3, i64 0
  %7 = load <2 x i8>, ptr %s, align 1
  %8 = load <2 x i8>, ptr %4, align 1
  %9 = load <2 x i8>, ptr %5, align 1
  %10 = load <2 x i8>, ptr %6, align 1
  %11 = shufflevector <2 x i8> %7, <2 x i8> %8, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
  %12 = shufflevector <2 x i8> %9, <2 x i8> %10, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
  %13 = shufflevector <4 x i8> %11, <4 x i8> %12, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7>
  store <8 x i8> %13, ptr %d, align 1
  ret void
}

define void @constant_zero_stride(ptr %s, ptr %d) {
; CHECK-LABEL: constant_zero_stride:
; CHECK:       # %bb.0:
; CHECK-NEXT:    vsetivli zero, 2, e8, mf8, ta, ma
; CHECK-NEXT:    vle8.v v8, (a0)
; CHECK-NEXT:    vmv1r.v v9, v8
; CHECK-NEXT:    vsetivli zero, 4, e8, mf4, ta, ma
; CHECK-NEXT:    vslideup.vi v9, v8, 2
; CHECK-NEXT:    vse8.v v9, (a1)
; CHECK-NEXT:    ret
  %1 = getelementptr inbounds i8, ptr %s, i64 0
  %2 = load <2 x i8>, ptr %s, align 1
  %3 = load <2 x i8>, ptr %1, align 1
  %4 = shufflevector <2 x i8> %2, <2 x i8> %3, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
  store <4 x i8> %4, ptr %d, align 1
  ret void
}

;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
; RV32: {{.*}}
; RV64: {{.*}}
llvm/llvm/test/CodeGen/RISCV/rvv/concat-vectors-constant-stride.ll
