Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Miri subtree update #126193

Merged
merged 69 commits into from
Jun 9, 2024
Merged
Show file tree
Hide file tree
Changes from 2 commits
Commits
Show all changes
69 commits
Select commit Hold shift + click to select a range
887c130
solarish platform add supports for available-parallelism.
devnexen May 24, 2024
d3974fa
reorder code
RalfJung May 26, 2024
b531ca7
Auto merge of #3629 - devnexen:illumos_num_cpus, r=RalfJung
bors May 26, 2024
38870cf
avoid using macro_use
RalfJung May 26, 2024
da6c08e
Auto merge of #3634 - RalfJung:macro_use, r=RalfJung
bors May 26, 2024
d562cec
Preparing for merge from rustc
RalfJung May 27, 2024
8058933
Merge from rustc
RalfJung May 27, 2024
84f70ab
fmt
RalfJung May 27, 2024
79c30b6
Auto merge of #3635 - RalfJung:rustup, r=RalfJung
bors May 27, 2024
fcb4cf5
avoid repeating the Provenance parameter everywhere
RalfJung May 27, 2024
98a3ac9
also add type aliases for the pointer types
RalfJung May 27, 2024
2c1a5a7
Auto merge of #3636 - RalfJung:provenance-type-aliases, r=RalfJung
bors May 27, 2024
4277ddf
Preparing for merge from rustc
May 28, 2024
54db9aa
Merge from rustc
May 28, 2024
ef86cbd
Auto merge of #3639 - rust-lang:rustup-2024-05-28, r=RalfJung
bors May 28, 2024
4991fd9
move ./miri environment variables to CONTRIBUTING
RalfJung May 28, 2024
9d162eb
Auto merge of #3641 - RalfJung:env-vars, r=RalfJung
bors May 28, 2024
d5235f9
Fix "local crate" detection
narpfel May 28, 2024
483485e
Add a benchmark for creating large uninit allocations
saethlin May 27, 2024
ec5327d
Auto merge of #3638 - saethlin:big-alloc-bench, r=RalfJung
bors May 29, 2024
a963103
add tests for local crate detection
narpfel May 28, 2024
5bf7832
Preparing for merge from rustc
May 30, 2024
8faa34e
Merge from rustc
May 30, 2024
a200d38
fmt
May 30, 2024
daeb68a
make env/var test deterministic
RalfJung May 30, 2024
8a7338a
Auto merge of #3645 - rust-lang:rustup-2024-05-30, r=RalfJung
bors May 30, 2024
00644c1
add a comment
RalfJung May 30, 2024
58f3894
Auto merge of #3644 - narpfel:local-crates-metadata-format-update, r=…
bors May 30, 2024
0453f37
Preparing for merge from rustc
Jun 5, 2024
7950562
Merge from rustc
Jun 5, 2024
9a77692
fmt
Jun 5, 2024
56438c3
Auto merge of #3648 - rust-lang:rustup-2024-06-05, r=RalfJung
bors Jun 5, 2024
14f65cb
Preparing for merge from rustc
Jun 7, 2024
f0ea91c
Merge from rustc
Jun 7, 2024
60f7aab
Auto merge of #3652 - rust-lang:rustup-2024-06-07, r=RalfJung
bors Jun 7, 2024
27d9a46
Fix stage in contributing
Noratrieb Jun 7, 2024
dce1bbf
Remove --stage entirely from contributing
Noratrieb Jun 7, 2024
4c18f2a
Auto merge of #3654 - Nilstrieb:patch-1, r=RalfJung
bors Jun 7, 2024
a269cf5
Add eventfd shim
tiif Jun 8, 2024
20b3527
Auto merge of #3650 - tiif:feat/eventfd, r=oli-obk
bors Jun 8, 2024
3fa1d47
add support for `pclmulqdq`
folkertdev May 28, 2024
ea73f00
comment nits
RalfJung Jun 8, 2024
4d5fd11
Auto merge of #3640 - folkertdev:add-pclmulqdq, r=RalfJung
bors Jun 8, 2024
ca3d93a
portable-simd: add test for non-power-of-2 bitmask
RalfJung Jun 8, 2024
1f1dd65
Auto merge of #3655 - RalfJung:simd-bitmask, r=RalfJung
bors Jun 8, 2024
1ae0053
Preparing for merge from rustc
RalfJung Jun 8, 2024
5367235
Merge from rustc
RalfJung Jun 8, 2024
989dfb1
Auto merge of #3656 - RalfJung:rustup, r=RalfJung
bors Jun 8, 2024
a13a9ab
simd_bitmask: nicer error when the mask is too big
RalfJung Jun 9, 2024
d5fa08c
Auto merge of #3659 - RalfJung:bitmask-too-large, r=RalfJung
bors Jun 9, 2024
91e53aa
simd_select_bitmask: fix intrinsic name in error
RalfJung Jun 9, 2024
773415d
Auto merge of #3660 - RalfJung:wrong-error, r=RalfJung
bors Jun 9, 2024
110b092
simd_bitmask: work correctly for sizes like 24
RalfJung Jun 9, 2024
ba45198
use strict ops in some places
RalfJung Jun 9, 2024
de822dc
Auto merge of #3662 - RalfJung:simd-bitmask, r=RalfJung
bors Jun 9, 2024
844450a
First attempt
tiif Jun 7, 2024
0bca4e1
Convert u128 to nanosecond
tiif Jun 7, 2024
9f60709
Remove test
tiif Jun 7, 2024
9cf04b5
Use modulo operation to convert nanosecond to Duration
tiif Jun 7, 2024
aa83235
Move duration division out
tiif Jun 7, 2024
d0fb350
Add comment for u128 to u64 conversion.
tiif Jun 9, 2024
e85c521
Checked add for duration update
tiif Jun 9, 2024
21d66af
Saturate to u64::MAX
tiif Jun 9, 2024
40182be
Run cargo fmt
tiif Jun 9, 2024
509eec1
Auto merge of #3653 - tiif:bug/futex_ice, r=RalfJung
bors Jun 9, 2024
87c4d29
don't panic if time computaton overflows
RalfJung Jun 9, 2024
b5ae8bd
Auto merge of #3663 - RalfJung:timeouts, r=RalfJung
bors Jun 9, 2024
69512c7
Follow up fix for eventfd shim
tiif Jun 9, 2024
ad85a20
Auto merge of #3661 - tiif:fix/eventfd, r=RalfJung
bors Jun 9, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 2 additions & 3 deletions src/tools/miri/cargo-miri/src/main.rs
Original file line number Diff line number Diff line change
@@ -1,15 +1,14 @@
#![allow(clippy::useless_format, clippy::derive_partial_eq_without_eq, rustc::internal)]

#[macro_use]
mod util;

mod arg;
mod phases;
mod setup;
mod util;

use std::{env, iter};

use crate::phases::*;
use crate::util::show_error;

/// Returns `true` if our flags look like they may be for rustdoc, i.e., this is cargo calling us to
/// be rustdoc. It's hard to be sure as cargo does not have a RUSTDOC_WRAPPER or an env var that
Expand Down
5 changes: 3 additions & 2 deletions src/tools/miri/cargo-miri/src/util.rs
Original file line number Diff line number Diff line change
Expand Up @@ -11,14 +11,15 @@ use serde::{Deserialize, Serialize};

pub use crate::arg::*;

pub fn show_error(msg: &impl std::fmt::Display) -> ! {
pub fn show_error_(msg: &impl std::fmt::Display) -> ! {
eprintln!("fatal error: {msg}");
std::process::exit(1)
}

macro_rules! show_error {
($($tt:tt)*) => { crate::util::show_error(&format_args!($($tt)*)) };
($($tt:tt)*) => { crate::util::show_error_(&format_args!($($tt)*)) };
}
pub(crate) use show_error;

/// The information to run a crate with the given environment.
#[derive(Clone, Serialize, Deserialize)]
Expand Down
3 changes: 2 additions & 1 deletion src/tools/miri/src/bin/miri.rs
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,6 @@
)]

// Some "regular" crates we want to share with rustc
#[macro_use]
extern crate tracing;

// The rustc crates we need
Expand All @@ -26,6 +25,8 @@ use std::num::NonZero;
use std::path::PathBuf;
use std::str::FromStr;

use tracing::debug;

use rustc_data_structures::sync::Lrc;
use rustc_driver::Compilation;
use rustc_hir::{self as hir, Node};
Expand Down
1 change: 1 addition & 0 deletions src/tools/miri/src/borrow_tracker/stacked_borrows/stack.rs
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,7 @@
use std::ops::Range;

use rustc_data_structures::fx::FxHashSet;
use tracing::trace;

use crate::borrow_tracker::{
stacked_borrows::{Item, Permission},
Expand Down
2 changes: 1 addition & 1 deletion src/tools/miri/src/concurrency/init_once.rs
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ use super::sync::EvalContextExtPriv as _;
use super::vector_clock::VClock;
use crate::*;

declare_id!(InitOnceId);
super::sync::declare_id!(InitOnceId);

#[derive(Default, Debug, Copy, Clone, PartialEq, Eq)]
/// The current status of a one time initialization.
Expand Down
3 changes: 1 addition & 2 deletions src/tools/miri/src/concurrency/mod.rs
Original file line number Diff line number Diff line change
@@ -1,8 +1,7 @@
pub mod data_race;
pub mod init_once;
mod range_object_map;
#[macro_use]
pub mod sync;
pub mod init_once;
pub mod thread;
mod vector_clock;
pub mod weak_memory;
Expand Down
1 change: 1 addition & 0 deletions src/tools/miri/src/concurrency/sync.rs
Original file line number Diff line number Diff line change
Expand Up @@ -61,6 +61,7 @@ macro_rules! declare_id {
}
};
}
pub(super) use declare_id;

declare_id!(MutexId);

Expand Down
4 changes: 2 additions & 2 deletions src/tools/miri/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -53,7 +53,6 @@

// Some "regular" crates we want to share with rustc
extern crate either;
#[macro_use]
extern crate tracing;

// The rustc crates we need
Expand All @@ -64,7 +63,6 @@ extern crate rustc_data_structures;
extern crate rustc_errors;
extern crate rustc_hir;
extern crate rustc_index;
#[macro_use]
extern crate rustc_middle;
extern crate rustc_session;
extern crate rustc_span;
Expand All @@ -91,6 +89,8 @@ mod range_map;
mod shims;

// Establish a "crate-wide prelude": we often import `crate::*`.
use rustc_middle::{bug, span_bug};
use tracing::{info, trace};

// Make all those symbols available in the same place as our own.
#[doc(no_inline)]
Expand Down