Make shape matching work for any shaped type.
authorGeoffrey Martin-Noble <gcmn@google.com>
Sat, 18 May 2019 12:31:35 +0000 (05:31 -0700)
committerMehdi Amini <joker.eph@gmail.com>
Mon, 20 May 2019 20:47:09 +0000 (13:47 -0700)
commit22a8bc6ec393dcb2309d171f0a849105959e5c90
tree170aee8d81c4adffc3f335018afd05b0ba751368
parent3de0c7696b96c52e53e762b7df886aa0b071489b
Make shape matching work for any shaped type.

    The current implementation makes some assumptions about what can be a shaped type, which aren't really necessary. It also has strange behavior for types that aren't in the limited set it handles (e.g. dialect-defined types)

    Updated the comment to match the implementation.

    This is partially motivated by the desire to make MemRef a subclass of ShapedType

--

PiperOrigin-RevId: 248859674
mlir/lib/IR/Operation.cpp