; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
; RUN: llc --mtriple=loongarch64 --mattr=+lasx < %s | FileCheck %s

define <32 x i8> @insert_extract_v32i8(<32 x i8> %a) nounwind {
; CHECK-LABEL: insert_extract_v32i8:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    xvpermi.d $xr1, $xr0, 14
; CHECK-NEXT:    vpickve2gr.b $a0, $vr1, 15
; CHECK-NEXT:    vinsgr2vr.b $vr0, $a0, 1
; CHECK-NEXT:    ret
entry:
  %b = extractelement <32 x i8> %a, i32 31
  %c = insertelement <32 x i8> %a, i8 %b, i32 1
  ret <32 x i8> %c
}

define <16 x i16> @insert_extract_v16i16(<16 x i16> %a) nounwind {
; CHECK-LABEL: insert_extract_v16i16:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    xvpermi.d $xr1, $xr0, 14
; CHECK-NEXT:    vpickve2gr.h $a0, $vr1, 7
; CHECK-NEXT:    vinsgr2vr.h $vr0, $a0, 1
; CHECK-NEXT:    ret
entry:
  %b = extractelement <16 x i16> %a, i32 15
  %c = insertelement <16 x i16> %a, i16 %b, i32 1
  ret <16 x i16> %c
}

define <8 x i32> @insert_extract_v8i32(<8 x i32> %a) nounwind {
; CHECK-LABEL: insert_extract_v8i32:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    xvpickve2gr.w $a0, $xr0, 7
; CHECK-NEXT:    xvinsgr2vr.w $xr0, $a0, 1
; CHECK-NEXT:    ret
entry:
  %b = extractelement <8 x i32> %a, i32 7
  %c = insertelement <8 x i32> %a, i32 %b, i32 1
  ret <8 x i32> %c
}

define <8 x float> @insert_extract_v8f32(<8 x float> %a) nounwind {
; CHECK-LABEL: insert_extract_v8f32:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    xvpickve2gr.w $a0, $xr0, 7
; CHECK-NEXT:    xvinsgr2vr.w $xr0, $a0, 1
; CHECK-NEXT:    ret
entry:
  %b = extractelement <8 x float> %a, i32 7
  %c = insertelement <8 x float> %a, float %b, i32 1
  ret <8 x float> %c
}

define <4 x i64> @insert_extract_v4i64(<4 x i64> %a) nounwind {
; CHECK-LABEL: insert_extract_v4i64:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    xvpickve2gr.d $a0, $xr0, 3
; CHECK-NEXT:    xvinsgr2vr.d $xr0, $a0, 1
; CHECK-NEXT:    ret
entry:
  %b = extractelement <4 x i64> %a, i32 3
  %c = insertelement <4 x i64> %a, i64 %b, i32 1
  ret <4 x i64> %c
}

define <4 x double> @insert_extract_v4f64(<4 x double> %a) nounwind {
; CHECK-LABEL: insert_extract_v4f64:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    xvpickve2gr.d $a0, $xr0, 3
; CHECK-NEXT:    xvinsgr2vr.d $xr0, $a0, 1
; CHECK-NEXT:    ret
entry:
  %b = extractelement <4 x double> %a, i32 3
  %c = insertelement <4 x double> %a, double %b, i32 1
  ret <4 x double> %c
}