- Convert a softfloat type to its corresponding hostfloat type.
- Convert a hostfloat type to its corresponding softfloat type.
- Check that the number of args is what we expect.
- Retrieve the list of local crates that should have been passed by cargo-miri in MIRI_LOCAL_CRATES and turn them into
- Gets an instance for a path.