https://github.com/akroviakov approved this pull request. LGTM. @silee2 This pass has its own utility for mangling, what do you think about a common xevm-native mangling that could be used by all conversions targeting xevm? https://github.com/llvm/llvm-project/pull/159878