Simplify the verification of ExtractElementop.
authorGeoffrey Martin-Noble <gcmn@google.com>
Thu, 16 May 2019 22:18:49 +0000 (15:18 -0700)
committerMehdi Amini <joker.eph@gmail.com>
Mon, 20 May 2019 20:44:51 +0000 (13:44 -0700)
commit27e517f15a3b875b657f7e9d1a0776d73da77106
tree3b7f07403879143d06e6af83516f27db2775d1f4
parent7dc7de39f31cf21377a6f58e2609eb2b5697d5e2
Simplify the verification of ExtractElementop.

    Make it clear that it cares about the aggregate type being a vector or tensor and not just that it has a shape.
    Remove redundant validation from the custom method that is now covered by the tablegen'ed verification

    This is related to making MemRefs a ShapedType as well.

--

PiperOrigin-RevId: 248610443
mlir/include/mlir/IR/OpBase.td
mlir/lib/StandardOps/Ops.cpp
mlir/test/IR/invalid-ops.mlir