Don't fail verifying unranked shapes as being the same as this could be valid...
authorJacques Pienaar <jpienaar@google.com>
Thu, 16 May 2019 19:57:35 +0000 (12:57 -0700)
committerMehdi Amini <joker.eph@gmail.com>
Mon, 20 May 2019 20:44:33 +0000 (13:44 -0700)
commite489e592467e6f7d62e0ed8ddb1bd20d0ecac19a
treea79d0f299f13190b4c0d3780cd6f2576ef5038f2
parent1982afb145bcd2a4252b6bd32edd42c52effd9aa
Don't fail verifying unranked shapes as being the same as this could be valid at runtime.

    tensor<*xf32> could be a tensor<1xf32> at runtime but this verifyShapeMatch would return failure and say function is invalid.

--

PiperOrigin-RevId: 248583038
mlir/lib/IR/Operation.cpp
mlir/unittests/IR/OpDefinitionTest.cpp