Miri subtree update #122952
Miri subtree update #122952
Commits on Mar 17, 2024
-
Auto merge of rust-lang#3384 - rust-lang:rustup-2024-03-17, r=RalfJung
Automatic Rustup
-
-
Auto merge of rust-lang#3386 - RalfJung:ci, r=RalfJung
fix Zulip topic for PR-creation message
-
Commits on Mar 18, 2024
-
-
Auto merge of rust-lang#3388 - RalfJung:exposed, r=RalfJung
add exposed-provenance example where we miss UB Example by `@saethlin`
-
-
Auto merge of rust-lang#3387 - RalfJung:bench, r=RalfJung
make 'invalidate' benchmark shorter This is currently by far the slowest benchmark in our suite, taking >9s, when the second slowest takes 2.7s. So let's speed this up to 2.3s, making it still the second-slowest in the benchmark suite. `@saethlin` any objections? Also, why is this called "invalidate"? It got added in rust-lang/miri#3083 but I can't figure out the point of that name even after looking at the PR.^^ There should be a comment in the benchmark explaining what it is testing.
Commits on Mar 19, 2024
-
Auto merge of rust-lang#3390 - rust-lang:rustup-2024-03-19, r=oli-obk
Automatic Rustup
-
-
Auto merge of rust-lang#3391 - RalfJung:dedup, r=RalfJung
remove duplicate test This is basically the same as `tests/pass/imported_main.rs`.
Commits on Mar 20, 2024
-
run full mono-item collection on all MIRI_BE_RUSTC=target builds
this fixes compile_fail doctests with post-mono errors
-
Auto merge of rust-lang#3392 - RalfJung:post-mono, r=oli-obk
fix compile_fail doctests with post-mono errors Fixes rust-lang/miri#2423
Commits on Mar 21, 2024
-
Allow
llvm.x86.sse2.pauseinstrinsic to be called without SSE2The instrinsic is compiled to a `pause` instruction, which behaves like a no-op when SSE2 is not available. https://www.felixcloutier.com/x86/pause.html
-
Auto merge of rust-lang#3393 - eduardosm:x86-pause-without-sse2, r=Ra…
…lfJung Allow `llvm.x86.sse2.pause` instrinsic to be called without SSE2 The instrinsic is compiled to a `pause` instruction, which behaves like a no-op when SSE2 is not available. https://www.felixcloutier.com/x86/pause.html
Commits on Mar 23, 2024
-
Auto merge of rust-lang#3395 - rust-lang:rustup-2024-03-23, r=saethlin
Automatic Rustup
-
-
Auto merge of rust-lang#3396 - RalfJung:simd-float, r=RalfJung
add support for missing SIMD float intrinsics These are being exposed by `core::simd` with rust-lang#122905.
-
Auto merge of rust-lang#3385 - Zoxc:read-types, r=RalfJung
Report retags as distinct from real memory accesses for data races This changes the error reporting for data races such that reference invariants are no longer reported as real read and writes. Before: ``` Data race detected between (1) non-atomic write on thread `unnamed-6` and (2) non-atomic read on thread `unnamed-5` at alloc1034971+0x10c. (2) just happened here ``` After: ``` Data race detected between (1) non-atomic write on thread `unnamed-8` and (2) shared reference invariant on thread `unnamed-6` at alloc1018329+0x190. (2) just happened here ``` Non-atomic read accesses from the *other* thread don't have this information tracked so those are called `some potential non-atomic read access` here.
