Miri subtree update#118281

Closed

RalfJung wants to merge 32 commits intorust-lang:masterfrom

Commits on Nov 19, 2023

Improve wording of `intrinsics-x86-*.rs` header
eduardosm
committed

Commits on Nov 21, 2023

Commits on Nov 22, 2023

Check that target features required by LLVM intrinsics are enabled
eduardosm
committed
Auto merge of #3180 - eduardosm:check-intrinsics-target-feature, r=RalfJung
bors
committed

Commits on Nov 23, 2023

Commits on Nov 24, 2023

Refactor `float_to_int_checked` to remove its generic parameter and reduce code duplication a bit
eduardosm
committed
Auto merge of #3185 - eduardosm:float_to_int_checked-generic, r=RalfJung
bors
committed