[mlir][spirv] Allow mixed type cooperative matrix muladd
authorThomas Raoux <thomasraoux@google.com>
Thu, 18 Jun 2020 20:05:09 +0000 (13:05 -0700)
committerThomas Raoux <thomasraoux@google.com>
Thu, 18 Jun 2020 20:05:09 +0000 (13:05 -0700)
commit25cbfa0788846c7ec06affb9c0e0d4a87b510c02
treeb5ef2eea78119d3e15eeeb950ebbaa99fd6d3607
parent7c59120f6e4ca769ab2bfb26484eb8eaca2eadc0
[mlir][spirv] Allow mixed type cooperative matrix muladd

muladd can have differenti types for lhs/rhs and acc/destination. Change
verifier and update the test to use supported example.

Differential Revision: https://reviews.llvm.org/D82042
mlir/lib/Dialect/SPIRV/SPIRVOps.cpp
mlir/test/Dialect/SPIRV/cooperative-matrix.mlir