3851   auto resultMatrix = result().getType().cast<spirv::MatrixType>();  in verify()  local
3862   if (inputMatrix.getNumColumns() != resultMatrix.getNumColumns())  in verify()
3867   if (inputMatrix.getNumRows() != resultMatrix.getNumRows())  in verify()
3872   if (inputMatrix.getElementType() != resultMatrix.getElementType())  in verify()
3978   auto resultMatrix = result().getType().cast<spirv::MatrixType>();  in verify()  local
3981   if (inputMatrix.getNumRows() != resultMatrix.getNumColumns())  in verify()
3985   if (inputMatrix.getNumColumns() != resultMatrix.getNumRows())  in verify()
3990   if (inputMatrix.getElementType() != resultMatrix.getElementType())  in verify()
4004   auto resultMatrix = result().getType().cast<spirv::MatrixType>();  in verify()  local
4012   if (rightMatrix.getNumColumns() != resultMatrix.getNumColumns())  in verify()
4017   if (rightMatrix.getElementType() != resultMatrix.getElementType())  in verify()
4022   if (leftMatrix.getElementType() != resultMatrix.getElementType())  in verify()
4027   if (leftMatrix.getNumRows() != resultMatrix.getNumRows())  in verify()