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

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