llvm/test/Verifier/invalid-splice.ll

   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
   4 define <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
  10 define <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
  16 define <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
  22 define <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
  28 define <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
  33 attributes #0 = { vscale_range(1,16) }
  34 attributes #1 = { vscale_range(2,16) }
  35
  36 declare <2 x double> @llvm.vector.splice.v2f64(<2 x double>, <2 x double>, i32)
  37 declare <vscale x 2 x double> @llvm.vector.splice.nxv2f64(<vscale x 2 x double>, <vscale x 2 x double>, i32)