[mlir][Arith] Disallow casting between scalable and fixed-length vectors
authorJavier Setoain <javier.setoain@gmail.com>
Fri, 11 Feb 2022 19:00:16 +0000 (19:00 +0000)
committerJavier Setoain <javier.setoain@gmail.com>
Tue, 15 Feb 2022 17:34:42 +0000 (17:34 +0000)
commit71705f531f6e34a4fe4e0a178d0269c6f11b5672
tree53e644babe474fcca0c9a683c5cb2f32962ab0f7
parent5bde97b17e751c32aae867ca1035fa146aed9221
[mlir][Arith] Disallow casting between scalable and fixed-length vectors

Casting between scalable vectors and fixed-length vectors doesn't make
sense. If one of the operands is scalable, the other has to be scalable
to be able to guarantee they have the same shape at runtime.

Differential Revision: https://reviews.llvm.org/D119568
mlir/lib/IR/TypeUtilities.cpp
mlir/test/Dialect/Arithmetic/invalid.mlir