llvm/test/Verifier/insert-vector-mismatched-element-types.ll

   1 ; RUN: not opt -verify -S < %s 2>&1 >/dev/null | FileCheck %s
   2
   3 ; CHECK: experimental_vector_insert parameters must have the same element type.
   4 define <vscale x 16 x i8> @invalid_mismatched_element_types(<vscale x 16 x i8> %vec, <4 x i16> %subvec) nounwind {
   5   %retval = call <vscale x 16 x i8> @llvm.experimental.vector.insert.nxv16i8.v4i16(<vscale x 16 x i8> %vec, <4 x i16> %subvec, i64 0)
   6   ret <vscale x 16 x i8> %retval
   7 }
   8
   9 declare <vscale x 16 x i8> @llvm.experimental.vector.insert.nxv16i8.v4i16(<vscale x 16 x i8>, <4 x i16>, i64)