https://github.com/kuhar commented: > As an alternative we could allow arbitrary ordering in MLIR and sort functions in the serialization I'd prefer this since mlir doesn't have the same limitations https://github.com/llvm/llvm-project/pull/164956