[all-commits] [llvm/llvm-project] ddf2d6: [mlir][Vector] First step for 0D vector type

[Michal Terepeta via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ddf2d62c7dddf1e4a9012d96819ff1ed005fbb05
      https://github.com/llvm/llvm-project/commit/ddf2d62c7dddf1e4a9012d96819ff1ed005fbb05
  Author: Michal Terepeta <michalt at google.com>
  Date:   2021-11-17 (Wed, 17 Nov 2021)

  Changed paths:
    M mlir/include/mlir/IR/BuiltinTypes.td
    M mlir/lib/IR/BuiltinTypes.cpp
    M mlir/lib/Parser/TypeParser.cpp
    M mlir/test/IR/invalid.mlir
    M mlir/test/IR/parser.mlir

  Log Message:
  -----------
  [mlir][Vector] First step for 0D vector type

There seems to be a consensus that we should allow 0D vectors:
https://llvm.discourse.group/t/should-we-have-0-d-vectors/3097

This commit is only the first step: it changes the verifier and the parser to
allow vectors like `vector<f32>` (but does not allow explicit 0 dimensions,
i.e., `vector<0xf32>` is not allowed).

Reviewed By: nicolasvasilache

Differential Revision: https://reviews.llvm.org/D114086