This may be a more general MLIR question, but I’m wondering if there is a way to do type inference on RTL operations as they are built.
A simple example is
rtl.concat, whose result seems to be the sum of the bit-widths of its operands. Is there a way I can build an
rtl.concat in with just its operands and have it infer its result type? I’m currently using
mlirOperationCreate from the C bindings.