[InstSimplify] add tests for vector constant folding div/rem-by-0; NFC
llvm-svn: 297407
diff --git a/llvm/test/Transforms/InstSimplify/div.ll b/llvm/test/Transforms/InstSimplify/div.ll
index f0d6fbb..6412bdf 100644
--- a/llvm/test/Transforms/InstSimplify/div.ll
+++ b/llvm/test/Transforms/InstSimplify/div.ll
@@ -2,6 +2,22 @@
; Division-by-zero is undef. UB in any vector lane means the whole op is undef.
+define <2 x i8> @sdiv_zero_elt_vec_constfold(<2 x i8> %x) {
+; CHECK-LABEL: @sdiv_zero_elt_vec_constfold(
+; CHECK-NEXT: ret <2 x i8> <i8 undef, i8 0>
+;
+ %div = sdiv <2 x i8> <i8 1, i8 2>, <i8 0, i8 -42>
+ ret <2 x i8> %div
+}
+
+define <2 x i8> @udiv_zero_elt_vec_constfold(<2 x i8> %x) {
+; CHECK-LABEL: @udiv_zero_elt_vec_constfold(
+; CHECK-NEXT: ret <2 x i8> <i8 0, i8 undef>
+;
+ %div = udiv <2 x i8> <i8 1, i8 2>, <i8 42, i8 0>
+ ret <2 x i8> %div
+}
+
define <2 x i8> @sdiv_zero_elt_vec(<2 x i8> %x) {
; CHECK-LABEL: @sdiv_zero_elt_vec(
; CHECK-NEXT: ret <2 x i8> undef