The process is reasonably straightforward if you can figure out what an instruction actually does.
Combined with another open PR (not by me) we can now run most zlib-rs tests with miri on x86_64. We skip some tests that call out to C libraries, but miri now tests our cursed allocator shenanigans and simd implementations.
We have a serious amount of unsafe code, so this additional validation is crucial!