remove the fixed-length vector check for the conversion extension

Author: YixingZhang007

mlir/include/mlir/Dialect/SPIRV/IR/SPIRVIntelExtOps.td

@@ -53,17 +53,11 @@ def SPIRV_INTELConvertFToBF16Op : SPIRV_IntelVendorOp<"ConvertFToBF16", [SameOpe
   ];
 
   let arguments = (ins
-    AnyTypeOf<[
-      SPIRV_Float32,
-      FixedVectorOfLengthAndType<[2, 3, 4, 8, 16], [SPIRV_Float32]>
-    ]>:$operand
+    SPIRV_ScalarOrVectorOf<SPIRV_Float32>:$operand
   );
 
   let results = (outs
-    AnyTypeOf<[
-      SPIRV_Int16,
-      FixedVectorOfLengthAndType<[2, 3, 4, 8, 16], [SPIRV_Int16]>
-    ]>:$result
+    SPIRV_ScalarOrVectorOf<SPIRV_Int16>:$result
   );
 
   let assemblyFormat = [{
@@ -105,17 +99,11 @@ def SPIRV_INTELConvertBF16ToFOp : SPIRV_IntelVendorOp<"ConvertBF16ToF", [SameOpe
   ];
 
   let arguments = (ins
-    AnyTypeOf<[
-      SPIRV_Int16,
-      FixedVectorOfLengthAndType<[2, 3, 4, 8, 16], [SPIRV_Int16]>
-    ]>:$operand
+    SPIRV_ScalarOrVectorOf<SPIRV_Int16>:$operand
   );
 
   let results = (outs
-    AnyTypeOf<[
-      SPIRV_Float32,
-      FixedVectorOfLengthAndType<[2, 3, 4, 8, 16], [SPIRV_Float32]>
-    ]>:$result
+    SPIRV_ScalarOrVectorOf<SPIRV_Float32>:$result
   );
 
   let assemblyFormat = [{
@@ -159,17 +147,11 @@ def SPIRV_INTELRoundFToTF32Op : SPIRV_IntelVendorOp<"RoundFToTF32", [SameOperand
   ];
 
   let arguments = (ins
-    AnyTypeOf<[
-      SPIRV_Float32,
-      FixedVectorOfLengthAndType<[2, 3, 4, 8, 16], [SPIRV_Float32]>
-    ]>:$operand
+    SPIRV_ScalarOrVectorOf<SPIRV_Float32>:$operand
   );
 
   let results = (outs
-    AnyTypeOf<[
-      SPIRV_Float32,
-      FixedVectorOfLengthAndType<[2, 3, 4, 8, 16], [SPIRV_Float32]>
-    ]>:$result
+    SPIRV_ScalarOrVectorOf<SPIRV_Float32>:$result
   );
 
   let assemblyFormat = [{

mlir/test/Dialect/SPIRV/IR/intel-ext-ops.mlir

@@ -21,7 +21,7 @@ spirv.func @f32_to_bf16_vec(%arg0 : vector<2xf32>) "None" {
 // -----
 
 spirv.func @f32_to_bf16_unsupported(%arg0 : f64) "None" {
-  // expected-error @+1 {{op operand #0 must be Float32 or fixed-length vector of Float32 values of length 2/3/4/8/16, but got 'f64'}}
+  // expected-error @+1 {{op operand #0 must be Float32 or vector of Float32 values of length 2/3/4/8/16, but got 'f64'}}
   %0 = spirv.INTEL.ConvertFToBF16 %arg0 : f64 to i16
   spirv.Return
 }
@@ -57,7 +57,7 @@ spirv.func @bf16_to_f32_vec(%arg0 : vector<2xi16>) "None" {
 // -----
 
 spirv.func @bf16_to_f32_unsupported(%arg0 : i16) "None" {
-  // expected-error @+1 {{op result #0 must be Float32 or fixed-length vector of Float32 values of length 2/3/4/8/16, but got 'f16'}}
+  // expected-error @+1 {{op result #0 must be Float32 or vector of Float32 values of length 2/3/4/8/16, but got 'f16'}}
   %0 = spirv.INTEL.ConvertBF16ToF %arg0 : i16 to f16
   spirv.Return
 }
@@ -93,7 +93,7 @@ spirv.func @f32_to_tf32_vec(%arg0 : vector<2xf32>) "None" {
 // -----
 
 spirv.func @f32_to_tf32_unsupported(%arg0 : f64) "None" {
-  // expected-error @+1 {{op operand #0 must be Float32 or fixed-length vector of Float32 values of length 2/3/4/8/16, but got 'f64'}}
+  // expected-error @+1 {{op operand #0 must be Float32 or vector of Float32 values of length 2/3/4/8/16, but got 'f64'}}
   %0 = spirv.INTEL.RoundFToTF32 %arg0 : f64 to f32
   spirv.Return
 }