Add invalid cases to test VectorType verify

Author: AmrDeveloper

clang/test/CIR/IR/invalid-vector-zero-size.cir

@@ -0,0 +1,10 @@
+// RUN: cir-opt %s -verify-diagnostics -split-input-file
+
+!s32i = !cir.int<s, 32>
+
+module  {
+
+// expected-error @below {{the number of vector elements must be non-zero}}
+cir.global external @vec_a = #cir.zero : !cir.vector<0 x !s32i>
+
+}

clang/test/CIR/IR/invalid-vector.cir

@@ -0,0 +1,10 @@
+// RUN: cir-opt %s -verify-diagnostics -split-input-file
+
+!s32i = !cir.int<s, 32>
+
+module  {
+
+// expected-error @below {{expected LLVM-compatible fixed-vector type}}
+cir.global external @vec_b = #cir.zero : !cir.vector<4 x !cir.array<!s32i x 10>>
+
+}