267 lines
9.4 KiB
LLVM
267 lines
9.4 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
|
|
; RUN: llc -mtriple=riscv32 -mattr=+experimental-v -verify-machineinstrs < %s \
|
|
; RUN: | FileCheck %s --check-prefix=RV32V
|
|
; RUN: llc -mtriple=riscv64 -mattr=+experimental-v -verify-machineinstrs < %s \
|
|
; RUN: | FileCheck %s --check-prefix=RV64V
|
|
|
|
define <vscale x 8 x i64> @vsplat_nxv8i64_1() {
|
|
; RV32V-LABEL: vsplat_nxv8i64_1:
|
|
; RV32V: # %bb.0:
|
|
; RV32V-NEXT: vsetvli a0, zero, e64,m8,ta,mu
|
|
; RV32V-NEXT: vmv.v.i v8, -1
|
|
; RV32V-NEXT: ret
|
|
;
|
|
; RV64V-LABEL: vsplat_nxv8i64_1:
|
|
; RV64V: # %bb.0:
|
|
; RV64V-NEXT: vsetvli a0, zero, e64,m8,ta,mu
|
|
; RV64V-NEXT: vmv.v.i v8, -1
|
|
; RV64V-NEXT: ret
|
|
%head = insertelement <vscale x 8 x i64> undef, i64 -1, i32 0
|
|
%splat = shufflevector <vscale x 8 x i64> %head, <vscale x 8 x i64> undef, <vscale x 8 x i32> zeroinitializer
|
|
ret <vscale x 8 x i64> %splat
|
|
}
|
|
|
|
define <vscale x 8 x i64> @vsplat_nxv8i64_2() {
|
|
; RV32V-LABEL: vsplat_nxv8i64_2:
|
|
; RV32V: # %bb.0:
|
|
; RV32V-NEXT: vsetvli a0, zero, e64,m8,ta,mu
|
|
; RV32V-NEXT: vmv.v.i v8, 4
|
|
; RV32V-NEXT: ret
|
|
;
|
|
; RV64V-LABEL: vsplat_nxv8i64_2:
|
|
; RV64V: # %bb.0:
|
|
; RV64V-NEXT: vsetvli a0, zero, e64,m8,ta,mu
|
|
; RV64V-NEXT: vmv.v.i v8, 4
|
|
; RV64V-NEXT: ret
|
|
%head = insertelement <vscale x 8 x i64> undef, i64 4, i32 0
|
|
%splat = shufflevector <vscale x 8 x i64> %head, <vscale x 8 x i64> undef, <vscale x 8 x i32> zeroinitializer
|
|
ret <vscale x 8 x i64> %splat
|
|
}
|
|
|
|
define <vscale x 8 x i64> @vsplat_nxv8i64_3() {
|
|
; RV32V-LABEL: vsplat_nxv8i64_3:
|
|
; RV32V: # %bb.0:
|
|
; RV32V-NEXT: addi a0, zero, 255
|
|
; RV32V-NEXT: vsetvli a1, zero, e64,m8,ta,mu
|
|
; RV32V-NEXT: vmv.v.x v8, a0
|
|
; RV32V-NEXT: ret
|
|
;
|
|
; RV64V-LABEL: vsplat_nxv8i64_3:
|
|
; RV64V: # %bb.0:
|
|
; RV64V-NEXT: addi a0, zero, 255
|
|
; RV64V-NEXT: vsetvli a1, zero, e64,m8,ta,mu
|
|
; RV64V-NEXT: vmv.v.x v8, a0
|
|
; RV64V-NEXT: ret
|
|
%head = insertelement <vscale x 8 x i64> undef, i64 255, i32 0
|
|
%splat = shufflevector <vscale x 8 x i64> %head, <vscale x 8 x i64> undef, <vscale x 8 x i32> zeroinitializer
|
|
ret <vscale x 8 x i64> %splat
|
|
}
|
|
|
|
define <vscale x 8 x i64> @vsplat_nxv8i64_4() {
|
|
; RV32V-LABEL: vsplat_nxv8i64_4:
|
|
; RV32V: # %bb.0:
|
|
; RV32V-NEXT: lui a0, 1028096
|
|
; RV32V-NEXT: addi a0, a0, -1281
|
|
; RV32V-NEXT: vsetvli a1, zero, e64,m8,ta,mu
|
|
; RV32V-NEXT: vmv.v.x v8, a0
|
|
; RV32V-NEXT: addi a0, zero, 32
|
|
; RV32V-NEXT: vsll.vx v8, v8, a0
|
|
; RV32V-NEXT: vsrl.vx v8, v8, a0
|
|
; RV32V-NEXT: ret
|
|
;
|
|
; RV64V-LABEL: vsplat_nxv8i64_4:
|
|
; RV64V: # %bb.0:
|
|
; RV64V-NEXT: addi a0, zero, 251
|
|
; RV64V-NEXT: slli a0, a0, 24
|
|
; RV64V-NEXT: addi a0, a0, -1281
|
|
; RV64V-NEXT: vsetvli a1, zero, e64,m8,ta,mu
|
|
; RV64V-NEXT: vmv.v.x v8, a0
|
|
; RV64V-NEXT: ret
|
|
%head = insertelement <vscale x 8 x i64> undef, i64 4211079935, i32 0
|
|
%splat = shufflevector <vscale x 8 x i64> %head, <vscale x 8 x i64> undef, <vscale x 8 x i32> zeroinitializer
|
|
ret <vscale x 8 x i64> %splat
|
|
}
|
|
|
|
define <vscale x 8 x i64> @vsplat_nxv8i64_5(i64 %a) {
|
|
; RV32V-LABEL: vsplat_nxv8i64_5:
|
|
; RV32V: # %bb.0:
|
|
; RV32V-NEXT: vsetvli a2, zero, e64,m8,ta,mu
|
|
; RV32V-NEXT: vmv.v.x v8, a1
|
|
; RV32V-NEXT: addi a1, zero, 32
|
|
; RV32V-NEXT: vsll.vx v8, v8, a1
|
|
; RV32V-NEXT: vmv.v.x v16, a0
|
|
; RV32V-NEXT: vsll.vx v16, v16, a1
|
|
; RV32V-NEXT: vsrl.vx v16, v16, a1
|
|
; RV32V-NEXT: vor.vv v8, v16, v8
|
|
; RV32V-NEXT: ret
|
|
;
|
|
; RV64V-LABEL: vsplat_nxv8i64_5:
|
|
; RV64V: # %bb.0:
|
|
; RV64V-NEXT: vsetvli a1, zero, e64,m8,ta,mu
|
|
; RV64V-NEXT: vmv.v.x v8, a0
|
|
; RV64V-NEXT: ret
|
|
%head = insertelement <vscale x 8 x i64> undef, i64 %a, i32 0
|
|
%splat = shufflevector <vscale x 8 x i64> %head, <vscale x 8 x i64> undef, <vscale x 8 x i32> zeroinitializer
|
|
ret <vscale x 8 x i64> %splat
|
|
}
|
|
|
|
define <vscale x 8 x i64> @vadd_vx_nxv8i64_6(<vscale x 8 x i64> %v) {
|
|
; RV32V-LABEL: vadd_vx_nxv8i64_6:
|
|
; RV32V: # %bb.0:
|
|
; RV32V-NEXT: vsetvli a0, zero, e64,m8,ta,mu
|
|
; RV32V-NEXT: vadd.vi v8, v8, 2
|
|
; RV32V-NEXT: ret
|
|
;
|
|
; RV64V-LABEL: vadd_vx_nxv8i64_6:
|
|
; RV64V: # %bb.0:
|
|
; RV64V-NEXT: vsetvli a0, zero, e64,m8,ta,mu
|
|
; RV64V-NEXT: vadd.vi v8, v8, 2
|
|
; RV64V-NEXT: ret
|
|
%head = insertelement <vscale x 8 x i64> undef, i64 2, i32 0
|
|
%splat = shufflevector <vscale x 8 x i64> %head, <vscale x 8 x i64> undef, <vscale x 8 x i32> zeroinitializer
|
|
%vret = add <vscale x 8 x i64> %v, %splat
|
|
ret <vscale x 8 x i64> %vret
|
|
}
|
|
|
|
define <vscale x 8 x i64> @vadd_vx_nxv8i64_7(<vscale x 8 x i64> %v) {
|
|
; RV32V-LABEL: vadd_vx_nxv8i64_7:
|
|
; RV32V: # %bb.0:
|
|
; RV32V-NEXT: vsetvli a0, zero, e64,m8,ta,mu
|
|
; RV32V-NEXT: vadd.vi v8, v8, -1
|
|
; RV32V-NEXT: ret
|
|
;
|
|
; RV64V-LABEL: vadd_vx_nxv8i64_7:
|
|
; RV64V: # %bb.0:
|
|
; RV64V-NEXT: vsetvli a0, zero, e64,m8,ta,mu
|
|
; RV64V-NEXT: vadd.vi v8, v8, -1
|
|
; RV64V-NEXT: ret
|
|
%head = insertelement <vscale x 8 x i64> undef, i64 -1, i32 0
|
|
%splat = shufflevector <vscale x 8 x i64> %head, <vscale x 8 x i64> undef, <vscale x 8 x i32> zeroinitializer
|
|
%vret = add <vscale x 8 x i64> %v, %splat
|
|
ret <vscale x 8 x i64> %vret
|
|
}
|
|
|
|
define <vscale x 8 x i64> @vadd_vx_nxv8i64_8(<vscale x 8 x i64> %v) {
|
|
; RV32V-LABEL: vadd_vx_nxv8i64_8:
|
|
; RV32V: # %bb.0:
|
|
; RV32V-NEXT: addi a0, zero, 255
|
|
; RV32V-NEXT: vsetvli a1, zero, e64,m8,ta,mu
|
|
; RV32V-NEXT: vadd.vx v8, v8, a0
|
|
; RV32V-NEXT: ret
|
|
;
|
|
; RV64V-LABEL: vadd_vx_nxv8i64_8:
|
|
; RV64V: # %bb.0:
|
|
; RV64V-NEXT: addi a0, zero, 255
|
|
; RV64V-NEXT: vsetvli a1, zero, e64,m8,ta,mu
|
|
; RV64V-NEXT: vadd.vx v8, v8, a0
|
|
; RV64V-NEXT: ret
|
|
%head = insertelement <vscale x 8 x i64> undef, i64 255, i32 0
|
|
%splat = shufflevector <vscale x 8 x i64> %head, <vscale x 8 x i64> undef, <vscale x 8 x i32> zeroinitializer
|
|
%vret = add <vscale x 8 x i64> %v, %splat
|
|
ret <vscale x 8 x i64> %vret
|
|
}
|
|
|
|
define <vscale x 8 x i64> @vadd_vx_nxv8i64_9(<vscale x 8 x i64> %v) {
|
|
; RV32V-LABEL: vadd_vx_nxv8i64_9:
|
|
; RV32V: # %bb.0:
|
|
; RV32V-NEXT: lui a0, 503808
|
|
; RV32V-NEXT: addi a0, a0, -1281
|
|
; RV32V-NEXT: vsetvli a1, zero, e64,m8,ta,mu
|
|
; RV32V-NEXT: vadd.vx v8, v8, a0
|
|
; RV32V-NEXT: ret
|
|
;
|
|
; RV64V-LABEL: vadd_vx_nxv8i64_9:
|
|
; RV64V: # %bb.0:
|
|
; RV64V-NEXT: lui a0, 503808
|
|
; RV64V-NEXT: addiw a0, a0, -1281
|
|
; RV64V-NEXT: vsetvli a1, zero, e64,m8,ta,mu
|
|
; RV64V-NEXT: vadd.vx v8, v8, a0
|
|
; RV64V-NEXT: ret
|
|
%head = insertelement <vscale x 8 x i64> undef, i64 2063596287, i32 0
|
|
%splat = shufflevector <vscale x 8 x i64> %head, <vscale x 8 x i64> undef, <vscale x 8 x i32> zeroinitializer
|
|
%vret = add <vscale x 8 x i64> %v, %splat
|
|
ret <vscale x 8 x i64> %vret
|
|
}
|
|
|
|
define <vscale x 8 x i64> @vadd_vx_nxv8i64_10(<vscale x 8 x i64> %v) {
|
|
; RV32V-LABEL: vadd_vx_nxv8i64_10:
|
|
; RV32V: # %bb.0:
|
|
; RV32V-NEXT: lui a0, 1028096
|
|
; RV32V-NEXT: addi a0, a0, -1281
|
|
; RV32V-NEXT: vsetvli a1, zero, e64,m8,ta,mu
|
|
; RV32V-NEXT: vmv.v.x v16, a0
|
|
; RV32V-NEXT: addi a0, zero, 32
|
|
; RV32V-NEXT: vsll.vx v16, v16, a0
|
|
; RV32V-NEXT: vsrl.vx v16, v16, a0
|
|
; RV32V-NEXT: vadd.vv v8, v8, v16
|
|
; RV32V-NEXT: ret
|
|
;
|
|
; RV64V-LABEL: vadd_vx_nxv8i64_10:
|
|
; RV64V: # %bb.0:
|
|
; RV64V-NEXT: addi a0, zero, 251
|
|
; RV64V-NEXT: slli a0, a0, 24
|
|
; RV64V-NEXT: addi a0, a0, -1281
|
|
; RV64V-NEXT: vsetvli a1, zero, e64,m8,ta,mu
|
|
; RV64V-NEXT: vadd.vx v8, v8, a0
|
|
; RV64V-NEXT: ret
|
|
%head = insertelement <vscale x 8 x i64> undef, i64 4211079935, i32 0
|
|
%splat = shufflevector <vscale x 8 x i64> %head, <vscale x 8 x i64> undef, <vscale x 8 x i32> zeroinitializer
|
|
%vret = add <vscale x 8 x i64> %v, %splat
|
|
ret <vscale x 8 x i64> %vret
|
|
}
|
|
|
|
define <vscale x 8 x i64> @vadd_vx_nxv8i64_11(<vscale x 8 x i64> %v) {
|
|
; RV32V-LABEL: vadd_vx_nxv8i64_11:
|
|
; RV32V: # %bb.0:
|
|
; RV32V-NEXT: vsetvli a0, zero, e64,m8,ta,mu
|
|
; RV32V-NEXT: vmv.v.i v16, 1
|
|
; RV32V-NEXT: addi a0, zero, 32
|
|
; RV32V-NEXT: vsll.vx v16, v16, a0
|
|
; RV32V-NEXT: lui a1, 1028096
|
|
; RV32V-NEXT: addi a1, a1, -1281
|
|
; RV32V-NEXT: vmv.v.x v24, a1
|
|
; RV32V-NEXT: vsll.vx v24, v24, a0
|
|
; RV32V-NEXT: vsrl.vx v24, v24, a0
|
|
; RV32V-NEXT: vor.vv v16, v24, v16
|
|
; RV32V-NEXT: vadd.vv v8, v8, v16
|
|
; RV32V-NEXT: ret
|
|
;
|
|
; RV64V-LABEL: vadd_vx_nxv8i64_11:
|
|
; RV64V: # %bb.0:
|
|
; RV64V-NEXT: addi a0, zero, 507
|
|
; RV64V-NEXT: slli a0, a0, 24
|
|
; RV64V-NEXT: addi a0, a0, -1281
|
|
; RV64V-NEXT: vsetvli a1, zero, e64,m8,ta,mu
|
|
; RV64V-NEXT: vadd.vx v8, v8, a0
|
|
; RV64V-NEXT: ret
|
|
%head = insertelement <vscale x 8 x i64> undef, i64 8506047231, i32 0
|
|
%splat = shufflevector <vscale x 8 x i64> %head, <vscale x 8 x i64> undef, <vscale x 8 x i32> zeroinitializer
|
|
%vret = add <vscale x 8 x i64> %v, %splat
|
|
ret <vscale x 8 x i64> %vret
|
|
}
|
|
|
|
define <vscale x 8 x i64> @vadd_vx_nxv8i64_12(<vscale x 8 x i64> %v, i64 %a) {
|
|
; RV32V-LABEL: vadd_vx_nxv8i64_12:
|
|
; RV32V: # %bb.0:
|
|
; RV32V-NEXT: vsetvli a2, zero, e64,m8,ta,mu
|
|
; RV32V-NEXT: vmv.v.x v16, a1
|
|
; RV32V-NEXT: addi a1, zero, 32
|
|
; RV32V-NEXT: vsll.vx v16, v16, a1
|
|
; RV32V-NEXT: vmv.v.x v24, a0
|
|
; RV32V-NEXT: vsll.vx v24, v24, a1
|
|
; RV32V-NEXT: vsrl.vx v24, v24, a1
|
|
; RV32V-NEXT: vor.vv v16, v24, v16
|
|
; RV32V-NEXT: vadd.vv v8, v8, v16
|
|
; RV32V-NEXT: ret
|
|
;
|
|
; RV64V-LABEL: vadd_vx_nxv8i64_12:
|
|
; RV64V: # %bb.0:
|
|
; RV64V-NEXT: vsetvli a1, zero, e64,m8,ta,mu
|
|
; RV64V-NEXT: vadd.vx v8, v8, a0
|
|
; RV64V-NEXT: ret
|
|
%head = insertelement <vscale x 8 x i64> undef, i64 %a, i32 0
|
|
%splat = shufflevector <vscale x 8 x i64> %head, <vscale x 8 x i64> undef, <vscale x 8 x i32> zeroinitializer
|
|
%vret = add <vscale x 8 x i64> %v, %splat
|
|
ret <vscale x 8 x i64> %vret
|
|
}
|