The increasing diversity of CPU architectures in cloud and edge computing has driven the need for systems capable of supporting various CPUs. WebAssembly is a stack-based binary code format that runs on a variety of platforms and can be used in conjunction with live migration technology to migrate services running across different CPU architectures. The Ahead-of-Time (AOT) compilation technique in WebAssembly runtimes accelerates execution by precompiling code. However, this method complicates the preservation and restoration of platform-independent runtime states because WebAssembly value stacks are not preserved during compilation. This research introduces a method to incorporate migration functionality into WebAssembly AOT compilers. By instrumenting instructions during compilation, the proposed approach enables runtime state to be saved and restored using a platform-neutral snapshot format. To demonstrate this, we developed and evaluated Wanco, a WebAssembly compiler that supports live migration. Results from the evaluation show that this method reduces snapshot file sizes, checkpointing and restoring time, and achieves smoother program migrations compared to CRIU, a de facto standard Linux process live migration tool.