38 lines · plain
1; RUN: not opt -passes=verify -S < %s 2>&1 >/dev/null | FileCheck %s2 3; CHECK: The splice index exceeds the range [-VL, VL-1] where VL is the known minimum number of elements in the vector4define <2 x double> @splice_v2f64_idx_neg3(<2 x double> %a, <2 x double> %b) #0 {5 %res = call <2 x double> @llvm.vector.splice.v2f64(<2 x double> %a, <2 x double> %b, i32 -3)6 ret <2 x double> %res7}8 9; CHECK: The splice index exceeds the range [-VL, VL-1] where VL is the known minimum number of elements in the vector10define <vscale x 2 x double> @splice_nxv2f64_idx_neg3_vscale_min1(<vscale x 2 x double> %a, <vscale x 2 x double> %b) #0 {11 %res = call <vscale x 2 x double> @llvm.vector.splice.nxv2f64(<vscale x 2 x double> %a, <vscale x 2 x double> %b, i32 -3)12 ret <vscale x 2 x double> %res13}14 15; CHECK: The splice index exceeds the range [-VL, VL-1] where VL is the known minimum number of elements in the vector16define <vscale x 2 x double> @splice_nxv2f64_idx_neg5_vscale_min2(<vscale x 2 x double> %a, <vscale x 2 x double> %b) #1 {17 %res = call <vscale x 2 x double> @llvm.vector.splice.nxv2f64(<vscale x 2 x double> %a, <vscale x 2 x double> %b, i32 -5)18 ret <vscale x 2 x double> %res19}20 21; CHECK: The splice index exceeds the range [-VL, VL-1] where VL is the known minimum number of elements in the vector22define <2 x double> @splice_v2f64_idx2(<2 x double> %a, <2 x double> %b) #0 {23 %res = call <2 x double> @llvm.vector.splice.v2f64(<2 x double> %a, <2 x double> %b, i32 2)24 ret <2 x double> %res25}26 27; CHECK: The splice index exceeds the range [-VL, VL-1] where VL is the known minimum number of elements in the vector28define <2 x double> @splice_v2f64_idx3(<2 x double> %a, <2 x double> %b) #1 {29 %res = call <2 x double> @llvm.vector.splice.v2f64(<2 x double> %a, <2 x double> %b, i32 4)30 ret <2 x double> %res31}32 33attributes #0 = { vscale_range(1,16) }34attributes #1 = { vscale_range(2,16) }35 36declare <2 x double> @llvm.vector.splice.v2f64(<2 x double>, <2 x double>, i32)37declare <vscale x 2 x double> @llvm.vector.splice.nxv2f64(<vscale x 2 x double>, <vscale x 2 x double>, i32)38