[PATCH] D126443: [AArch64][NFC] Modify the test case

[LiqinWeng via Phabricator via llvm-commits]

Miss_Grape created this revision.
Miss_Grape added a reviewer: joechrisellis.
Herald added a subscriber: kristof.beyls.
Herald added a project: All.
Miss_Grape requested review of this revision.
Herald added subscribers: llvm-commits, jacquesguan.
Herald added a project: LLVM.

Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D126443

Files:
  llvm/test/Verifier/extract-vector-mismatched-element-types.ll
  llvm/test/Verifier/insert-extract-intrinsics-invalid.ll
  llvm/test/Verifier/insert-vector-mismatched-element-types.ll


Index: llvm/test/Verifier/insert-vector-mismatched-element-types.ll
===================================================================
--- 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: experimental_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.experimental.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.experimental.vector.insert.nxv16i8.v4i16(<vscale x 16 x i8>, <4 x i16>, i64)
Index: llvm/test/Verifier/insert-extract-intrinsics-invalid.ll
===================================================================
--- llvm/test/Verifier/insert-extract-intrinsics-invalid.ll
+++ llvm/test/Verifier/insert-extract-intrinsics-invalid.ll
@@ -62,6 +62,22 @@
   ret <vscale x 8 x i32> %1
 }
 
+;
+; Test that extractions/insertion elements type are validated.
+;
+
+; CHECK: experimental_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.experimental.vector.extract.v16i16.nxv16i8(<vscale x 16 x i8> %vec, i64 0)
+  ret <16 x i16> %retval
+}
+
+; CHECK: experimental_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.experimental.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 3 x i32> @llvm.experimental.vector.extract.nxv8i32.nxv3i32(<vscale x 8 x i32>, i64)
 declare <vscale x 8 x i32> @llvm.experimental.vector.insert.nxv8i32.nxv3i32(<vscale x 8 x i32>, <vscale x 3 x i32>, i64)
 declare <vscale x 8 x i32> @llvm.experimental.vector.insert.nxv8i32.v3i32(<vscale x 8 x i32>, <3 x i32>, i64)
@@ -70,3 +86,5 @@
 declare <4 x i32> @llvm.experimental.vector.extract.v4i32.v8i32(<8 x i32>, i64)
 declare <8 x i32> @llvm.experimental.vector.insert.v8i32.v3i32(<8 x i32>, <3 x i32>, i64)
 declare <8 x i32> @llvm.experimental.vector.insert.v8i32.v4i32(<8 x i32>, <4 x i32>, i64)
+declare <16 x i16> @llvm.experimental.vector.extract.v16i16.nxv16i8(<vscale x 16 x i8>, i64)
+declare <vscale x 16 x i8> @llvm.experimental.vector.insert.nxv16i8.v4i16(<vscale x 16 x i8>, <4 x i16>, i64)
Index: llvm/test/Verifier/extract-vector-mismatched-element-types.ll
===================================================================
--- 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: experimental_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.experimental.vector.extract.v16i16.nxv16i8(<vscale x 16 x i8> %vec, i64 0)
-  ret <16 x i16> %retval
-}
-
-declare <16 x i16> @llvm.experimental.vector.extract.v16i16.nxv16i8(<vscale x 16 x i8>, i64)


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D126443.432182.patch
Type: text/x-patch
Size: 3395 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220526/fd0215a2/attachment.bin>