xref: /llvm-project/llvm/test/Verifier/invalid-splice.ll (revision bfc0317153dca75137fba00b5c28758d6f720963) 
1; RUN: not opt -passes=verify -S < %s 2>&1 >/dev/null | FileCheck %s
2
3; CHECK: The splice index exceeds the range [-VL, VL-1] where VL is the known minimum number of elements in the vector
4define <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> %res
7}
8
9; CHECK: The splice index exceeds the range [-VL, VL-1] where VL is the known minimum number of elements in the vector
10define <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> %res
13}
14
15; CHECK: The splice index exceeds the range [-VL, VL-1] where VL is the known minimum number of elements in the vector
16define <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> %res
19}
20
21; CHECK: The splice index exceeds the range [-VL, VL-1] where VL is the known minimum number of elements in the vector
22define <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> %res
25}
26
27; CHECK: The splice index exceeds the range [-VL, VL-1] where VL is the known minimum number of elements in the vector
28define <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> %res
31}
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