dialects: (bufferization) MaterializeInDestination wrong operands

[francescodaghero]

xdsl/xdsl/dialects/bufferization.py

Lines 191 to 197 in 59e59ad

	class MaterializeInDestination(IRDLOperation):
	name = "bufferization.materialize_in_destination"
	T: ClassVar = VarConstraint("T", AnyTensorTypeConstr | AnyUnrankedTensorTypeConstr)
	source = operand_def(T)
	dest = operand_def(T)
	result = result_def(T)

The MaterializeInDestinationOp in MLIR allows the dest operand to be of any shaped type (e.g. Tensor or MemRef). It does not seem the case for xDSL, as the current implementation forces TensorType for all operands.

[alexarice]

Working on this now but will take a little time as we currently don't have the functional-type assembly format directive and it seems necessary to be able to get the custom format correct.