Update error message and add test file

Author: AmrDeveloper

clang/lib/CIR/Dialect/IR/CIRDialect.cpp

@@ -1433,7 +1433,7 @@ LogicalResult cir::ShiftOp::verify() {
     return emitOpError() << "input types cannot be one vector and one scalar";
 
   if (isOp1Vec && !mlir::isa<cir::VectorType>(getResult().getType())) {
-    return emitOpError() << "shift amount must have the type of the result "
+    return emitOpError() << "the type of the result must be a vector "
                          << "if it is vector shift";
   }
   return mlir::success();

clang/test/CIR/IR/invalid-vector-shift-wrong-result-type.cir

@@ -0,0 +1,17 @@
+// RUN: cir-opt %s -verify-diagnostics -split-input-file
+
+!s32i = !cir.int<s, 32>
+
+module  {
+  cir.func @foo() {
+    %1 = cir.const #cir.int<1> : !s32i
+    %2 = cir.const #cir.int<2> : !s32i
+    %3 = cir.const #cir.int<3> : !s32i
+    %4 = cir.const #cir.int<4> : !s32i
+    %5 = cir.vec.create(%1, %2, %3, %4 : !s32i, !s32i, !s32i, !s32i) : !cir.vector<4 x !s32i>
+    %6 = cir.vec.create(%1, %2, %3, %4 : !s32i, !s32i, !s32i, !s32i) : !cir.vector<4 x !s32i>
+    // expected-error @below {{the type of the result must be a vector if it is vector shift}}
+    %7 = cir.shift(left, %5 : !cir.vector<4 x !s32i>, %6 : !cir.vector<4 x !s32i>) -> !s32i
+    cir.return
+  }
+}