rust-lang / miri

An interpreter for Rust's mid-level intermediate representation
Apache License 2.0
4.37k stars 337 forks source link

Remove dead Intel intrinsics #3691

Closed RalfJung closed 1 month ago

RalfJung commented 3 months ago

Since https://github.com/rust-lang/stdarch/pull/1584 there are some LLVM intel intrinsics that stdarch does not use any more, making them dead code in Miri. Might be a good idea to clean that up. :)

(I also wonder whether there's some good way to check, in the future, that we don't have other dead untested vendor intrinsics... maybe something that checks line coverage or so?)