Currently it looks like
InferTypeOpInterface generates builder functions that only depend on operands. It would be nice if it could also be used to omit result types in an operation’s assembly format.
For example, in this CIRCT pr, I omitted the result type of the concat operation where the previous signature:
%0 = comb.concat %false, %b : (i1, i4) -> i5
was simplified to:
%0 = comb.concat %false, %b : i1, i4
I had to implement a custom parser and printer but it would be nicer to be able to just write:
let assemblyFormat = "$inputs attr-dict `:` type($inputs)";
I was thinking here might be a good place to check for the presence of
InferTypeOpInterface and infer the result type. Does anyone have any thoughts on this?