[llvm] 2a46255 - [NFC] Combine test cases of verifier

[Ben Shi via llvm-commits]

Author: Liqin.Weng
Date: 2022-08-14T10:12:16+08:00
New Revision: 2a4625530fb68bd5b7cf0d61372e93beaf053444

URL: https://github.com/llvm/llvm-project/commit/2a4625530fb68bd5b7cf0d61372e93beaf053444
DIFF: https://github.com/llvm/llvm-project/commit/2a4625530fb68bd5b7cf0d61372e93beaf053444.diff

LOG: [NFC] Combine test cases of verifier

Reviewed By: benshi001

Differential Revision: https://reviews.llvm.org/D126443

Added: 
    

Modified: 
    llvm/test/Verifier/insert-extract-intrinsics-invalid.ll

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


################################################################################
diff  --git a/llvm/test/Verifier/extract-vector-mismatched-element-types.ll b/llvm/test/Verifier/extract-vector-mismatched-element-types.ll
deleted file mode 100644
index 615210e381e3f..0000000000000
--- a/llvm/test/Verifier/extract-vector-mismatched-element-types.ll
+++ /dev/null
@@ -1,9 +0,0 @@
-; RUN: not opt -verify -S < %s 2>&1 >/dev/null | FileCheck %s
-
-; CHECK: vector_extract result must have the same element type as the input vector.
-define <16 x i16> @invalid_mismatched_element_types(<vscale x 16 x i8> %vec) nounwind {
-  %retval = call <16 x i16> @llvm.vector.extract.v16i16.nxv16i8(<vscale x 16 x i8> %vec, i64 0)
-  ret <16 x i16> %retval
-}
-
-declare <16 x i16> @llvm.vector.extract.v16i16.nxv16i8(<vscale x 16 x i8>, i64)

diff  --git a/llvm/test/Verifier/insert-extract-intrinsics-invalid.ll b/llvm/test/Verifier/insert-extract-intrinsics-invalid.ll
index a50004704dae2..f6dc7e30617a8 100644
--- a/llvm/test/Verifier/insert-extract-intrinsics-invalid.ll
+++ b/llvm/test/Verifier/insert-extract-intrinsics-invalid.ll
@@ -16,6 +16,22 @@ define <8 x i32> @insert_idx_not_constant_multiple(<8 x i32> %vec, <4 x i32> %su
   ret <8 x i32> %1
 }
 
+;
+; Test that extractions/insertion element types are validated.
+;
+
+; CHECK: vector_extract result must have the same element type as the input vector.
+define <16 x i16> @extract_invalid_mismatched_element_types(<vscale x 16 x i8> %vec) nounwind {
+  %retval = call <16 x i16> @llvm.vector.extract.v16i16.nxv16i8(<vscale x 16 x i8> %vec, i64 0)
+  ret <16 x i16> %retval
+}
+
+; CHECK: vector_insert parameters must have the same element type.
+define <vscale x 16 x i8> @insert_invalid_mismatched_element_types(<vscale x 16 x i8> %vec, <4 x i16> %subvec) nounwind {
+  %retval = call <vscale x 16 x i8> @llvm.vector.insert.nxv16i8.v4i16(<vscale x 16 x i8> %vec, <4 x i16> %subvec, i64 0)
+  ret <vscale x 16 x i8> %retval
+}
+
 ;
 ; Test that extractions/insertions which 'overrun' are captured.
 ;
@@ -70,3 +86,5 @@ declare <3 x i32> @llvm.vector.extract.v8i32.v3i32(<8 x i32>, i64)
 declare <4 x i32> @llvm.vector.extract.v4i32.v8i32(<8 x i32>, i64)
 declare <8 x i32> @llvm.vector.insert.v8i32.v3i32(<8 x i32>, <3 x i32>, i64)
 declare <8 x i32> @llvm.vector.insert.v8i32.v4i32(<8 x i32>, <4 x i32>, i64)
+declare <16 x i16> @llvm.vector.extract.v16i16.nxv16i8(<vscale x 16 x i8>, i64)
+declare <vscale x 16 x i8> @llvm.vector.insert.nxv16i8.v4i16(<vscale x 16 x i8>, <4 x i16>, i64)

diff  --git a/llvm/test/Verifier/insert-vector-mismatched-element-types.ll b/llvm/test/Verifier/insert-vector-mismatched-element-types.ll
deleted file mode 100644
index b8baae15329c1..0000000000000
--- a/llvm/test/Verifier/insert-vector-mismatched-element-types.ll
+++ /dev/null
@@ -1,9 +0,0 @@
-; RUN: not opt -verify -S < %s 2>&1 >/dev/null | FileCheck %s
-
-; CHECK: vector_insert parameters must have the same element type.
-define <vscale x 16 x i8> @invalid_mismatched_element_types(<vscale x 16 x i8> %vec, <4 x i16> %subvec) nounwind {
-  %retval = call <vscale x 16 x i8> @llvm.vector.insert.nxv16i8.v4i16(<vscale x 16 x i8> %vec, <4 x i16> %subvec, i64 0)
-  ret <vscale x 16 x i8> %retval
-}
-
-declare <vscale x 16 x i8> @llvm.vector.insert.nxv16i8.v4i16(<vscale x 16 x i8>, <4 x i16>, i64)