Rewriting function calls and signatures

Could you elaborate?

The dialect conversion framework has the signature conversion mechanism for converting things like function signatures, Dialect Conversion - MLIR. This will have to be coupled with patterns that convert function-like operations (for declarations that don’t have regions) and function calls.