mirror of
https://github.com/rust-lang/rust.git
synced 2025-06-04 19:29:07 +00:00
Auto merge of #116138 - RalfJung:miri, r=RalfJung
Miri subtree update r? `@ghost`
This commit is contained in:
bors
commit
96ab09dbdd
4
src/tools/miri/.github/workflows/ci.yml
vendored
4
src/tools/miri/.github/workflows/ci.yml
vendored
@ -10,7 +10,7 @@ on:
|
|||||||
branches:
|
branches:
|
||||||
- 'master'
|
- 'master'
|
||||||
schedule:
|
schedule:
|
||||||
- cron: '11 5 * * *' # At 5:11 UTC every day.
|
- cron: '44 4 * * *' # At 4:44 UTC every day.
|
||||||
|
|
||||||
defaults:
|
defaults:
|
||||||
run:
|
run:
|
||||||
@ -208,7 +208,7 @@ jobs:
|
|||||||
git push -u origin $BRANCH
|
git push -u origin $BRANCH
|
||||||
- name: Create Pull Request
|
- name: Create Pull Request
|
||||||
run: |
|
run: |
|
||||||
PR=$(gh pr create -B master --title 'Automatic sync from rustc' --body '' --label subtree-sync)
|
PR=$(gh pr create -B master --title 'Automatic sync from rustc' --body '')
|
||||||
~/.local/bin/zulip-send --user $ZULIP_BOT_EMAIL --api-key $ZULIP_API_TOKEN --site https://rust-lang.zulipchat.com \
|
~/.local/bin/zulip-send --user $ZULIP_BOT_EMAIL --api-key $ZULIP_API_TOKEN --site https://rust-lang.zulipchat.com \
|
||||||
--stream miri --subject "Cron Job Failure (miri, $(date -u +%Y-%m))" \
|
--stream miri --subject "Cron Job Failure (miri, $(date -u +%Y-%m))" \
|
||||||
--message "A PR doing a rustc-pull [has been automatically created]($PR) for your convenience."
|
--message "A PR doing a rustc-pull [has been automatically created]($PR) for your convenience."
|
||||||
|
|||||||
@ -32,17 +32,6 @@ version = "1.0.71"
|
|||||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||||
checksum = "9c7d0618f0e0b7e8ff11427422b64564d5fb0be1940354bfe2e0529b18a9d9b8"
|
checksum = "9c7d0618f0e0b7e8ff11427422b64564d5fb0be1940354bfe2e0529b18a9d9b8"
|
||||||
|
|
||||||
[[package]]
|
|
||||||
name = "atty"
|
|
||||||
version = "0.2.14"
|
|
||||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
||||||
checksum = "d9b39be18770d11421cdb1b9947a45dd3f37e93092cbf377614828a319d5fee8"
|
|
||||||
dependencies = [
|
|
||||||
"hermit-abi 0.1.19",
|
|
||||||
"libc",
|
|
||||||
"winapi",
|
|
||||||
]
|
|
||||||
|
|
||||||
[[package]]
|
[[package]]
|
||||||
name = "autocfg"
|
name = "autocfg"
|
||||||
version = "1.1.0"
|
version = "1.1.0"
|
||||||
@ -70,6 +59,12 @@ version = "1.3.2"
|
|||||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||||
checksum = "bef38d45163c2f1dde094a7dfd33ccf595c92905c8f8f4fdc18d06fb1037718a"
|
checksum = "bef38d45163c2f1dde094a7dfd33ccf595c92905c8f8f4fdc18d06fb1037718a"
|
||||||
|
|
||||||
|
[[package]]
|
||||||
|
name = "bitflags"
|
||||||
|
version = "2.4.0"
|
||||||
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||||
|
checksum = "b4682ae6287fcf752ecaabbfcc7b6f9b72aa33933dc23a554d853aea8eea8635"
|
||||||
|
|
||||||
[[package]]
|
[[package]]
|
||||||
name = "bstr"
|
name = "bstr"
|
||||||
version = "1.4.0"
|
version = "1.4.0"
|
||||||
@ -155,13 +150,13 @@ dependencies = [
|
|||||||
|
|
||||||
[[package]]
|
[[package]]
|
||||||
name = "colored"
|
name = "colored"
|
||||||
version = "2.0.0"
|
version = "2.0.4"
|
||||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||||
checksum = "b3616f750b84d8f0de8a58bda93e08e2a81ad3f523089b05f1dffecab48c6cbd"
|
checksum = "2674ec482fbc38012cf31e6c42ba0177b431a0cb6f15fe40efa5aab1bda516f6"
|
||||||
dependencies = [
|
dependencies = [
|
||||||
"atty",
|
"is-terminal",
|
||||||
"lazy_static",
|
"lazy_static",
|
||||||
"winapi",
|
"windows-sys 0.48.0",
|
||||||
]
|
]
|
||||||
|
|
||||||
[[package]]
|
[[package]]
|
||||||
@ -201,12 +196,12 @@ checksum = "56254986775e3233ffa9c4d7d3faaf6d36a2c09d30b20687e9f88bc8bafc16c8"
|
|||||||
|
|
||||||
[[package]]
|
[[package]]
|
||||||
name = "env_logger"
|
name = "env_logger"
|
||||||
version = "0.9.3"
|
version = "0.10.0"
|
||||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||||
checksum = "a12e6657c4c97ebab115a42dcee77225f7f482cdd841cf7088c657a42e9e00e7"
|
checksum = "85cdab6a89accf66733ad5a1693a4dcced6aeff64602b634530dd73c1f3ee9f0"
|
||||||
dependencies = [
|
dependencies = [
|
||||||
"atty",
|
|
||||||
"humantime",
|
"humantime",
|
||||||
|
"is-terminal",
|
||||||
"log",
|
"log",
|
||||||
"regex",
|
"regex",
|
||||||
"termcolor",
|
"termcolor",
|
||||||
@ -269,15 +264,6 @@ version = "0.27.2"
|
|||||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||||
checksum = "ad0a93d233ebf96623465aad4046a8d3aa4da22d4f4beba5388838c8a434bbb4"
|
checksum = "ad0a93d233ebf96623465aad4046a8d3aa4da22d4f4beba5388838c8a434bbb4"
|
||||||
|
|
||||||
[[package]]
|
|
||||||
name = "hermit-abi"
|
|
||||||
version = "0.1.19"
|
|
||||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
||||||
checksum = "62b467343b94ba476dcb2500d242dadbb39557df889310ac77c5d99100aaac33"
|
|
||||||
dependencies = [
|
|
||||||
"libc",
|
|
||||||
]
|
|
||||||
|
|
||||||
[[package]]
|
[[package]]
|
||||||
name = "hermit-abi"
|
name = "hermit-abi"
|
||||||
version = "0.3.1"
|
version = "0.3.1"
|
||||||
@ -311,11 +297,22 @@ version = "1.0.10"
|
|||||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||||
checksum = "9c66c74d2ae7e79a5a8f7ac924adbe38ee42a859c6539ad869eb51f0b52dc220"
|
checksum = "9c66c74d2ae7e79a5a8f7ac924adbe38ee42a859c6539ad869eb51f0b52dc220"
|
||||||
dependencies = [
|
dependencies = [
|
||||||
"hermit-abi 0.3.1",
|
"hermit-abi",
|
||||||
"libc",
|
"libc",
|
||||||
"windows-sys 0.48.0",
|
"windows-sys 0.48.0",
|
||||||
]
|
]
|
||||||
|
|
||||||
|
[[package]]
|
||||||
|
name = "is-terminal"
|
||||||
|
version = "0.4.9"
|
||||||
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||||
|
checksum = "cb0889898416213fab133e1d33a0e5858a48177452750691bde3666d0fdbaf8b"
|
||||||
|
dependencies = [
|
||||||
|
"hermit-abi",
|
||||||
|
"rustix 0.38.14",
|
||||||
|
"windows-sys 0.48.0",
|
||||||
|
]
|
||||||
|
|
||||||
[[package]]
|
[[package]]
|
||||||
name = "itoa"
|
name = "itoa"
|
||||||
version = "1.0.6"
|
version = "1.0.6"
|
||||||
@ -330,9 +327,9 @@ checksum = "e2abad23fbc42b3700f2f279844dc832adb2b2eb069b2df918f455c4e18cc646"
|
|||||||
|
|
||||||
[[package]]
|
[[package]]
|
||||||
name = "libc"
|
name = "libc"
|
||||||
version = "0.2.142"
|
version = "0.2.148"
|
||||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||||
checksum = "6a987beff54b60ffa6d51982e1aa1146bc42f19bd26be28b0586f252fccf5317"
|
checksum = "9cdc71e17332e86d2e1d38c1f99edcb6288ee11b815fb1a4b049eaa2114d369b"
|
||||||
|
|
||||||
[[package]]
|
[[package]]
|
||||||
name = "libffi"
|
name = "libffi"
|
||||||
@ -369,6 +366,12 @@ version = "0.3.7"
|
|||||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||||
checksum = "ece97ea872ece730aed82664c424eb4c8291e1ff2480247ccf7409044bc6479f"
|
checksum = "ece97ea872ece730aed82664c424eb4c8291e1ff2480247ccf7409044bc6479f"
|
||||||
|
|
||||||
|
[[package]]
|
||||||
|
name = "linux-raw-sys"
|
||||||
|
version = "0.4.7"
|
||||||
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||||
|
checksum = "1a9bad9f94746442c783ca431b22403b519cd7fbeed0533fdd6328b2f2212128"
|
||||||
|
|
||||||
[[package]]
|
[[package]]
|
||||||
name = "lock_api"
|
name = "lock_api"
|
||||||
version = "0.4.9"
|
version = "0.4.9"
|
||||||
@ -454,7 +457,7 @@ version = "0.26.2"
|
|||||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||||
checksum = "bfdda3d196821d6af13126e40375cdf7da646a96114af134d5f417a9a1dc8e1a"
|
checksum = "bfdda3d196821d6af13126e40375cdf7da646a96114af134d5f417a9a1dc8e1a"
|
||||||
dependencies = [
|
dependencies = [
|
||||||
"bitflags",
|
"bitflags 1.3.2",
|
||||||
"cfg-if",
|
"cfg-if",
|
||||||
"libc",
|
"libc",
|
||||||
"static_assertions",
|
"static_assertions",
|
||||||
@ -581,7 +584,7 @@ version = "0.2.16"
|
|||||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||||
checksum = "fb5a58c1855b4b6819d59012155603f0b22ad30cad752600aadfcb695265519a"
|
checksum = "fb5a58c1855b4b6819d59012155603f0b22ad30cad752600aadfcb695265519a"
|
||||||
dependencies = [
|
dependencies = [
|
||||||
"bitflags",
|
"bitflags 1.3.2",
|
||||||
]
|
]
|
||||||
|
|
||||||
[[package]]
|
[[package]]
|
||||||
@ -590,7 +593,7 @@ version = "0.3.5"
|
|||||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||||
checksum = "567664f262709473930a4bf9e51bf2ebf3348f2e748ccc50dea20646858f8f29"
|
checksum = "567664f262709473930a4bf9e51bf2ebf3348f2e748ccc50dea20646858f8f29"
|
||||||
dependencies = [
|
dependencies = [
|
||||||
"bitflags",
|
"bitflags 1.3.2",
|
||||||
]
|
]
|
||||||
|
|
||||||
[[package]]
|
[[package]]
|
||||||
@ -655,11 +658,24 @@ version = "0.37.19"
|
|||||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||||
checksum = "acf8729d8542766f1b2cf77eb034d52f40d375bb8b615d0b147089946e16613d"
|
checksum = "acf8729d8542766f1b2cf77eb034d52f40d375bb8b615d0b147089946e16613d"
|
||||||
dependencies = [
|
dependencies = [
|
||||||
"bitflags",
|
"bitflags 1.3.2",
|
||||||
"errno",
|
"errno",
|
||||||
"io-lifetimes",
|
"io-lifetimes",
|
||||||
"libc",
|
"libc",
|
||||||
"linux-raw-sys",
|
"linux-raw-sys 0.3.7",
|
||||||
|
"windows-sys 0.48.0",
|
||||||
|
]
|
||||||
|
|
||||||
|
[[package]]
|
||||||
|
name = "rustix"
|
||||||
|
version = "0.38.14"
|
||||||
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||||
|
checksum = "747c788e9ce8e92b12cd485c49ddf90723550b654b32508f979b71a7b1ecda4f"
|
||||||
|
dependencies = [
|
||||||
|
"bitflags 2.4.0",
|
||||||
|
"errno",
|
||||||
|
"libc",
|
||||||
|
"linux-raw-sys 0.4.7",
|
||||||
"windows-sys 0.48.0",
|
"windows-sys 0.48.0",
|
||||||
]
|
]
|
||||||
|
|
||||||
@ -756,7 +772,7 @@ dependencies = [
|
|||||||
"cfg-if",
|
"cfg-if",
|
||||||
"fastrand",
|
"fastrand",
|
||||||
"redox_syscall 0.3.5",
|
"redox_syscall 0.3.5",
|
||||||
"rustix",
|
"rustix 0.37.19",
|
||||||
"windows-sys 0.45.0",
|
"windows-sys 0.45.0",
|
||||||
]
|
]
|
||||||
|
|
||||||
|
|||||||
@ -362,7 +362,7 @@ Some of these are **unsound**, which means they can lead
|
|||||||
to Miri failing to detect cases of undefined behavior in a program.
|
to Miri failing to detect cases of undefined behavior in a program.
|
||||||
|
|
||||||
* `-Zmiri-disable-abi-check` disables checking [function ABI]. Using this flag
|
* `-Zmiri-disable-abi-check` disables checking [function ABI]. Using this flag
|
||||||
is **unsound**.
|
is **unsound**. This flag is **deprecated**.
|
||||||
* `-Zmiri-disable-alignment-check` disables checking pointer alignment, so you
|
* `-Zmiri-disable-alignment-check` disables checking pointer alignment, so you
|
||||||
can focus on other failures, but it means Miri can miss bugs in your program.
|
can focus on other failures, but it means Miri can miss bugs in your program.
|
||||||
Using this flag is **unsound**.
|
Using this flag is **unsound**.
|
||||||
|
|||||||
@ -339,9 +339,9 @@ impl Command {
|
|||||||
"Confirmed that the push round-trips back to Miri properly. Please create a rustc PR:"
|
"Confirmed that the push round-trips back to Miri properly. Please create a rustc PR:"
|
||||||
);
|
);
|
||||||
println!(
|
println!(
|
||||||
// Open PR with `subtree-sync` label to satisfy the `no-merges` triagebot check
|
// Open PR with `subtree update` title to silence the `no-merges` triagebot check
|
||||||
// See https://github.com/rust-lang/rust/pull/114157
|
// See https://github.com/rust-lang/rust/pull/114157
|
||||||
" https://github.com/rust-lang/rust/compare/{github_user}:{branch}?quick_pull=1&labels=subtree-sync"
|
" https://github.com/rust-lang/rust/compare/{github_user}:{branch}?quick_pull=1&title=Miri+subtree+update"
|
||||||
);
|
);
|
||||||
|
|
||||||
drop(josh);
|
drop(josh);
|
||||||
|
|||||||
@ -1 +1 @@
|
|||||||
366dab13f711df90a6891411458544199d159cbc
|
42ca6e4e5760a548a6fa858482de6d237f6fb3b8
|
||||||
|
|||||||
@ -28,9 +28,9 @@ use rustc_middle::{
|
|||||||
middle::exported_symbols::{
|
middle::exported_symbols::{
|
||||||
ExportedSymbol, SymbolExportInfo, SymbolExportKind, SymbolExportLevel,
|
ExportedSymbol, SymbolExportInfo, SymbolExportKind, SymbolExportLevel,
|
||||||
},
|
},
|
||||||
query::{LocalCrate},
|
query::LocalCrate,
|
||||||
util::Providers,
|
|
||||||
ty::TyCtxt,
|
ty::TyCtxt,
|
||||||
|
util::Providers,
|
||||||
};
|
};
|
||||||
use rustc_session::config::{CrateType, ErrorOutputType, OptLevel};
|
use rustc_session::config::{CrateType, ErrorOutputType, OptLevel};
|
||||||
use rustc_session::search_paths::PathKind;
|
use rustc_session::search_paths::PathKind;
|
||||||
@ -359,6 +359,10 @@ fn main() {
|
|||||||
since it is now enabled by default"
|
since it is now enabled by default"
|
||||||
);
|
);
|
||||||
} else if arg == "-Zmiri-disable-abi-check" {
|
} else if arg == "-Zmiri-disable-abi-check" {
|
||||||
|
eprintln!(
|
||||||
|
"WARNING: the flag `-Zmiri-disable-abi-check` is deprecated and planned to be removed.\n\
|
||||||
|
If you have a use-case for it, please file an issue."
|
||||||
|
);
|
||||||
miri_config.check_abi = false;
|
miri_config.check_abi = false;
|
||||||
} else if arg == "-Zmiri-disable-isolation" {
|
} else if arg == "-Zmiri-disable-isolation" {
|
||||||
if matches!(isolation_enabled, Some(true)) {
|
if matches!(isolation_enabled, Some(true)) {
|
||||||
|
|||||||
111
src/tools/miri/src/borrow_tracker/tree_borrows/exhaustive.rs
Normal file
111
src/tools/miri/src/borrow_tracker/tree_borrows/exhaustive.rs
Normal file
@ -0,0 +1,111 @@
|
|||||||
|
//! Exhaustive testing utilities.
|
||||||
|
//! (These are used in Tree Borrows `#[test]`s for thorough verification
|
||||||
|
//! of the behavior of the state machine of permissions,
|
||||||
|
//! but the contents of this file are extremely generic)
|
||||||
|
#![cfg(test)]
|
||||||
|
|
||||||
|
pub trait Exhaustive: Sized {
|
||||||
|
fn exhaustive() -> Box<dyn Iterator<Item = Self>>;
|
||||||
|
}
|
||||||
|
|
||||||
|
macro_rules! precondition {
|
||||||
|
($cond:expr) => {
|
||||||
|
if !$cond {
|
||||||
|
continue;
|
||||||
|
}
|
||||||
|
};
|
||||||
|
}
|
||||||
|
pub(crate) use precondition;
|
||||||
|
|
||||||
|
// Trivial impls of `Exhaustive` for the standard types with 0, 1 and 2 elements respectively.
|
||||||
|
|
||||||
|
impl Exhaustive for ! {
|
||||||
|
fn exhaustive() -> Box<dyn Iterator<Item = Self>> {
|
||||||
|
Box::new(std::iter::empty())
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl Exhaustive for () {
|
||||||
|
fn exhaustive() -> Box<dyn Iterator<Item = Self>> {
|
||||||
|
Box::new(std::iter::once(()))
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl Exhaustive for bool {
|
||||||
|
fn exhaustive() -> Box<dyn Iterator<Item = Self>> {
|
||||||
|
Box::new(vec![true, false].into_iter())
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
// Some container impls for `Exhaustive`.
|
||||||
|
|
||||||
|
impl<T> Exhaustive for Option<T>
|
||||||
|
where
|
||||||
|
T: Exhaustive + 'static,
|
||||||
|
{
|
||||||
|
fn exhaustive() -> Box<dyn Iterator<Item = Self>> {
|
||||||
|
Box::new(std::iter::once(None).chain(T::exhaustive().map(Some)))
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl<T1, T2> Exhaustive for (T1, T2)
|
||||||
|
where
|
||||||
|
T1: Exhaustive + Clone + 'static,
|
||||||
|
T2: Exhaustive + 'static,
|
||||||
|
{
|
||||||
|
fn exhaustive() -> Box<dyn Iterator<Item = Self>> {
|
||||||
|
Box::new(T1::exhaustive().flat_map(|t1| T2::exhaustive().map(move |t2| (t1.clone(), t2))))
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl<T> Exhaustive for [T; 1]
|
||||||
|
where
|
||||||
|
T: Exhaustive + 'static,
|
||||||
|
{
|
||||||
|
fn exhaustive() -> Box<dyn Iterator<Item = Self>> {
|
||||||
|
Box::new(T::exhaustive().map(|t| [t]))
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl<T> Exhaustive for [T; 2]
|
||||||
|
where
|
||||||
|
T: Exhaustive + Clone + 'static,
|
||||||
|
{
|
||||||
|
fn exhaustive() -> Box<dyn Iterator<Item = Self>> {
|
||||||
|
Box::new(T::exhaustive().flat_map(|t1| T::exhaustive().map(move |t2| [t1.clone(), t2])))
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl<T> Exhaustive for [T; 3]
|
||||||
|
where
|
||||||
|
T: Exhaustive + Clone + 'static,
|
||||||
|
{
|
||||||
|
fn exhaustive() -> Box<dyn Iterator<Item = Self>> {
|
||||||
|
Box::new(
|
||||||
|
<[T; 2]>::exhaustive()
|
||||||
|
.flat_map(|[t1, t2]| T::exhaustive().map(move |t3| [t1.clone(), t2.clone(), t3])),
|
||||||
|
)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl<T> Exhaustive for [T; 4]
|
||||||
|
where
|
||||||
|
T: Exhaustive + Clone + 'static,
|
||||||
|
{
|
||||||
|
fn exhaustive() -> Box<dyn Iterator<Item = Self>> {
|
||||||
|
Box::new(<[T; 2]>::exhaustive().flat_map(|[t1, t2]| {
|
||||||
|
<[T; 2]>::exhaustive().map(move |[t3, t4]| [t1.clone(), t2.clone(), t3, t4])
|
||||||
|
}))
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl<T> Exhaustive for [T; 5]
|
||||||
|
where
|
||||||
|
T: Exhaustive + Clone + 'static,
|
||||||
|
{
|
||||||
|
fn exhaustive() -> Box<dyn Iterator<Item = Self>> {
|
||||||
|
Box::new(<[T; 2]>::exhaustive().flat_map(|[t1, t2]| {
|
||||||
|
<[T; 3]>::exhaustive().map(move |[t3, t4, t5]| [t1.clone(), t2.clone(), t3, t4, t5])
|
||||||
|
}))
|
||||||
|
}
|
||||||
|
}
|
||||||
@ -15,6 +15,10 @@ pub mod diagnostics;
|
|||||||
mod perms;
|
mod perms;
|
||||||
mod tree;
|
mod tree;
|
||||||
mod unimap;
|
mod unimap;
|
||||||
|
|
||||||
|
#[cfg(test)]
|
||||||
|
mod exhaustive;
|
||||||
|
|
||||||
use perms::Permission;
|
use perms::Permission;
|
||||||
pub use tree::Tree;
|
pub use tree::Tree;
|
||||||
|
|
||||||
@ -271,6 +275,10 @@ trait EvalContextPrivExt<'mir: 'ecx, 'tcx: 'mir, 'ecx>: crate::MiriInterpCxExt<'
|
|||||||
diagnostics::AccessCause::Reborrow,
|
diagnostics::AccessCause::Reborrow,
|
||||||
)?;
|
)?;
|
||||||
// Record the parent-child pair in the tree.
|
// Record the parent-child pair in the tree.
|
||||||
|
// FIXME: We should eventually ensure that the following `assert` holds, because
|
||||||
|
// some "exhaustive" tests consider only the initial configurations that satisfy it.
|
||||||
|
// The culprit is `Permission::new_active` in `tb_protect_place`.
|
||||||
|
//assert!(new_perm.initial_state.is_initial());
|
||||||
tree_borrows.new_child(orig_tag, new_tag, new_perm.initial_state, range, span)?;
|
tree_borrows.new_child(orig_tag, new_tag, new_perm.initial_state, range, span)?;
|
||||||
drop(tree_borrows);
|
drop(tree_borrows);
|
||||||
|
|
||||||
@ -283,7 +291,7 @@ trait EvalContextPrivExt<'mir: 'ecx, 'tcx: 'mir, 'ecx>: crate::MiriInterpCxExt<'
|
|||||||
// interleaving, but wether UB happens can depend on whether a write occurs in the
|
// interleaving, but wether UB happens can depend on whether a write occurs in the
|
||||||
// future...
|
// future...
|
||||||
let is_write = new_perm.initial_state.is_active()
|
let is_write = new_perm.initial_state.is_active()
|
||||||
|| (new_perm.initial_state.is_reserved() && new_perm.protector.is_some());
|
|| (new_perm.initial_state.is_reserved(None) && new_perm.protector.is_some());
|
||||||
if is_write {
|
if is_write {
|
||||||
// Need to get mutable access to alloc_extra.
|
// Need to get mutable access to alloc_extra.
|
||||||
// (Cannot always do this as we can do read-only reborrowing on read-only allocations.)
|
// (Cannot always do this as we can do read-only reborrowing on read-only allocations.)
|
||||||
|
|||||||
@ -6,7 +6,7 @@ use crate::borrow_tracker::tree_borrows::tree::AccessRelatedness;
|
|||||||
use crate::borrow_tracker::AccessKind;
|
use crate::borrow_tracker::AccessKind;
|
||||||
|
|
||||||
/// The activation states of a pointer.
|
/// The activation states of a pointer.
|
||||||
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
||||||
enum PermissionPriv {
|
enum PermissionPriv {
|
||||||
/// represents: a local reference that has not yet been written to;
|
/// represents: a local reference that has not yet been written to;
|
||||||
/// allows: child reads, foreign reads, foreign writes if type is freeze;
|
/// allows: child reads, foreign reads, foreign writes if type is freeze;
|
||||||
@ -48,6 +48,13 @@ impl PartialOrd for PermissionPriv {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
impl PermissionPriv {
|
||||||
|
/// Check if `self` can be the initial state of a pointer.
|
||||||
|
fn is_initial(&self) -> bool {
|
||||||
|
matches!(self, Reserved { ty_is_freeze: _ } | Frozen)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
/// This module controls how each permission individually reacts to an access.
|
/// This module controls how each permission individually reacts to an access.
|
||||||
/// Although these functions take `protected` as an argument, this is NOT because
|
/// Although these functions take `protected` as an argument, this is NOT because
|
||||||
/// we check protector violations here, but because some permissions behave differently
|
/// we check protector violations here, but because some permissions behave differently
|
||||||
@ -66,7 +73,6 @@ mod transition {
|
|||||||
|
|
||||||
/// A non-child node was read-accessed: noop on non-protected Reserved, advance to Frozen otherwise.
|
/// A non-child node was read-accessed: noop on non-protected Reserved, advance to Frozen otherwise.
|
||||||
fn foreign_read(state: PermissionPriv, protected: bool) -> Option<PermissionPriv> {
|
fn foreign_read(state: PermissionPriv, protected: bool) -> Option<PermissionPriv> {
|
||||||
use Option::*;
|
|
||||||
Some(match state {
|
Some(match state {
|
||||||
// Non-writeable states just ignore foreign reads.
|
// Non-writeable states just ignore foreign reads.
|
||||||
non_writeable @ (Frozen | Disabled) => non_writeable,
|
non_writeable @ (Frozen | Disabled) => non_writeable,
|
||||||
@ -134,7 +140,7 @@ mod transition {
|
|||||||
|
|
||||||
/// Public interface to the state machine that controls read-write permissions.
|
/// Public interface to the state machine that controls read-write permissions.
|
||||||
/// This is the "private `enum`" pattern.
|
/// This is the "private `enum`" pattern.
|
||||||
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash, PartialOrd)]
|
||||||
pub struct Permission {
|
pub struct Permission {
|
||||||
inner: PermissionPriv,
|
inner: PermissionPriv,
|
||||||
}
|
}
|
||||||
@ -147,6 +153,11 @@ pub struct PermTransition {
|
|||||||
}
|
}
|
||||||
|
|
||||||
impl Permission {
|
impl Permission {
|
||||||
|
/// Check if `self` can be the initial state of a pointer.
|
||||||
|
pub fn is_initial(&self) -> bool {
|
||||||
|
self.inner.is_initial()
|
||||||
|
}
|
||||||
|
|
||||||
/// Default initial permission of the root of a new tree.
|
/// Default initial permission of the root of a new tree.
|
||||||
pub fn new_active() -> Self {
|
pub fn new_active() -> Self {
|
||||||
Self { inner: Active }
|
Self { inner: Active }
|
||||||
@ -166,14 +177,24 @@ impl Permission {
|
|||||||
matches!(self.inner, Active)
|
matches!(self.inner, Active)
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn is_reserved(self) -> bool {
|
// Leave `interior_mut` as `None` if interior mutability
|
||||||
matches!(self.inner, Reserved { .. })
|
// is irrelevant.
|
||||||
|
pub fn is_reserved(self, interior_mut: Option<bool>) -> bool {
|
||||||
|
match (interior_mut, self.inner) {
|
||||||
|
(None, Reserved { .. }) => true,
|
||||||
|
(Some(b1), Reserved { ty_is_freeze: b2 }) => b1 == b2,
|
||||||
|
_ => false,
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn is_frozen(self) -> bool {
|
pub fn is_frozen(self) -> bool {
|
||||||
matches!(self.inner, Frozen)
|
matches!(self.inner, Frozen)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
pub fn is_disabled(self) -> bool {
|
||||||
|
matches!(self.inner, Disabled)
|
||||||
|
}
|
||||||
|
|
||||||
/// Apply the transition to the inner PermissionPriv.
|
/// Apply the transition to the inner PermissionPriv.
|
||||||
pub fn perform_access(
|
pub fn perform_access(
|
||||||
kind: AccessKind,
|
kind: AccessKind,
|
||||||
@ -229,7 +250,8 @@ pub mod diagnostics {
|
|||||||
f,
|
f,
|
||||||
"{}",
|
"{}",
|
||||||
match self {
|
match self {
|
||||||
Reserved { .. } => "Reserved",
|
Reserved { ty_is_freeze: true } => "Reserved",
|
||||||
|
Reserved { ty_is_freeze: false } => "Reserved (interior mutable)",
|
||||||
Active => "Active",
|
Active => "Active",
|
||||||
Frozen => "Frozen",
|
Frozen => "Frozen",
|
||||||
Disabled => "Disabled",
|
Disabled => "Disabled",
|
||||||
@ -397,43 +419,35 @@ pub mod diagnostics {
|
|||||||
#[cfg(test)]
|
#[cfg(test)]
|
||||||
mod propagation_optimization_checks {
|
mod propagation_optimization_checks {
|
||||||
pub use super::*;
|
pub use super::*;
|
||||||
|
use crate::borrow_tracker::tree_borrows::exhaustive::{precondition, Exhaustive};
|
||||||
|
|
||||||
mod util {
|
impl Exhaustive for PermissionPriv {
|
||||||
pub use super::*;
|
fn exhaustive() -> Box<dyn Iterator<Item = Self>> {
|
||||||
impl PermissionPriv {
|
Box::new(
|
||||||
/// Enumerate all states
|
vec![Active, Frozen, Disabled]
|
||||||
pub fn all() -> impl Iterator<Item = Self> {
|
.into_iter()
|
||||||
vec![
|
.chain(bool::exhaustive().map(|ty_is_freeze| Reserved { ty_is_freeze })),
|
||||||
Active,
|
)
|
||||||
Reserved { ty_is_freeze: true },
|
|
||||||
Reserved { ty_is_freeze: false },
|
|
||||||
Frozen,
|
|
||||||
Disabled,
|
|
||||||
]
|
|
||||||
.into_iter()
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
}
|
||||||
|
|
||||||
impl Permission {
|
impl Exhaustive for Permission {
|
||||||
pub fn all() -> impl Iterator<Item = Self> {
|
fn exhaustive() -> Box<dyn Iterator<Item = Self>> {
|
||||||
PermissionPriv::all().map(|inner| Self { inner })
|
Box::new(PermissionPriv::exhaustive().map(|inner| Self { inner }))
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
}
|
||||||
|
|
||||||
impl AccessKind {
|
impl Exhaustive for AccessKind {
|
||||||
/// Enumerate all AccessKind.
|
fn exhaustive() -> Box<dyn Iterator<Item = Self>> {
|
||||||
pub fn all() -> impl Iterator<Item = Self> {
|
use AccessKind::*;
|
||||||
use AccessKind::*;
|
Box::new(vec![Read, Write].into_iter())
|
||||||
[Read, Write].into_iter()
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
}
|
||||||
|
|
||||||
impl AccessRelatedness {
|
impl Exhaustive for AccessRelatedness {
|
||||||
/// Enumerate all relative positions
|
fn exhaustive() -> Box<dyn Iterator<Item = Self>> {
|
||||||
pub fn all() -> impl Iterator<Item = Self> {
|
use AccessRelatedness::*;
|
||||||
use AccessRelatedness::*;
|
Box::new(vec![This, StrictChildAccess, AncestorAccess, DistantAccess].into_iter())
|
||||||
[This, StrictChildAccess, AncestorAccess, DistantAccess].into_iter()
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@ -442,16 +456,22 @@ mod propagation_optimization_checks {
|
|||||||
// Even if the protector has disappeared.
|
// Even if the protector has disappeared.
|
||||||
fn all_transitions_idempotent() {
|
fn all_transitions_idempotent() {
|
||||||
use transition::*;
|
use transition::*;
|
||||||
for old in PermissionPriv::all() {
|
for old in PermissionPriv::exhaustive() {
|
||||||
for (old_protected, new_protected) in [(true, true), (true, false), (false, false)] {
|
for (old_protected, new_protected) in <(bool, bool)>::exhaustive() {
|
||||||
for access in AccessKind::all() {
|
// Protector can't appear out of nowhere: either the permission was
|
||||||
for rel_pos in AccessRelatedness::all() {
|
// created with a protector (`old_protected = true`) and it then may
|
||||||
if let Some(new) = perform_access(access, rel_pos, old, old_protected) {
|
// or may not lose it (`new_protected = false`, resp. `new_protected = true`),
|
||||||
assert_eq!(
|
// or it didn't have one upon creation and never will
|
||||||
new,
|
// (`old_protected = new_protected = false`).
|
||||||
perform_access(access, rel_pos, new, new_protected).unwrap()
|
// We thus eliminate from this test and all other tests
|
||||||
);
|
// the case where the tag is initially unprotected and later becomes protected.
|
||||||
}
|
precondition!(old_protected || !new_protected);
|
||||||
|
for (access, rel_pos) in <(AccessKind, AccessRelatedness)>::exhaustive() {
|
||||||
|
if let Some(new) = perform_access(access, rel_pos, old, old_protected) {
|
||||||
|
assert_eq!(
|
||||||
|
new,
|
||||||
|
perform_access(access, rel_pos, new, new_protected).unwrap()
|
||||||
|
);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@ -459,13 +479,16 @@ mod propagation_optimization_checks {
|
|||||||
}
|
}
|
||||||
|
|
||||||
#[test]
|
#[test]
|
||||||
|
#[rustfmt::skip]
|
||||||
fn foreign_read_is_noop_after_foreign_write() {
|
fn foreign_read_is_noop_after_foreign_write() {
|
||||||
use transition::*;
|
use transition::*;
|
||||||
let old_access = AccessKind::Write;
|
let old_access = AccessKind::Write;
|
||||||
let new_access = AccessKind::Read;
|
let new_access = AccessKind::Read;
|
||||||
for old in PermissionPriv::all() {
|
for old in PermissionPriv::exhaustive() {
|
||||||
for (old_protected, new_protected) in [(true, true), (true, false), (false, false)] {
|
for [old_protected, new_protected] in <[bool; 2]>::exhaustive() {
|
||||||
for rel_pos in AccessRelatedness::all().filter(|rel| rel.is_foreign()) {
|
precondition!(old_protected || !new_protected);
|
||||||
|
for rel_pos in AccessRelatedness::exhaustive() {
|
||||||
|
precondition!(rel_pos.is_foreign());
|
||||||
if let Some(new) = perform_access(old_access, rel_pos, old, old_protected) {
|
if let Some(new) = perform_access(old_access, rel_pos, old, old_protected) {
|
||||||
assert_eq!(
|
assert_eq!(
|
||||||
new,
|
new,
|
||||||
@ -480,18 +503,44 @@ mod propagation_optimization_checks {
|
|||||||
#[test]
|
#[test]
|
||||||
// Check that all transitions are consistent with the order on PermissionPriv,
|
// Check that all transitions are consistent with the order on PermissionPriv,
|
||||||
// i.e. Reserved -> Active -> Frozen -> Disabled
|
// i.e. Reserved -> Active -> Frozen -> Disabled
|
||||||
fn access_transitions_progress_increasing() {
|
fn permissionpriv_partialord_is_reachability() {
|
||||||
use transition::*;
|
let reach = {
|
||||||
for old in PermissionPriv::all() {
|
let mut reach = rustc_data_structures::fx::FxHashSet::default();
|
||||||
for protected in [true, false] {
|
// One-step transitions + reflexivity
|
||||||
for access in AccessKind::all() {
|
for start in PermissionPriv::exhaustive() {
|
||||||
for rel_pos in AccessRelatedness::all() {
|
reach.insert((start, start));
|
||||||
if let Some(new) = perform_access(access, rel_pos, old, protected) {
|
for (access, rel) in <(AccessKind, AccessRelatedness)>::exhaustive() {
|
||||||
assert!(old <= new);
|
for prot in bool::exhaustive() {
|
||||||
|
if let Some(end) = transition::perform_access(access, rel, start, prot) {
|
||||||
|
reach.insert((start, end));
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
// Transitive closure
|
||||||
|
let mut finished = false;
|
||||||
|
while !finished {
|
||||||
|
finished = true;
|
||||||
|
for [start, mid, end] in <[PermissionPriv; 3]>::exhaustive() {
|
||||||
|
if reach.contains(&(start, mid))
|
||||||
|
&& reach.contains(&(mid, end))
|
||||||
|
&& !reach.contains(&(start, end))
|
||||||
|
{
|
||||||
|
finished = false;
|
||||||
|
reach.insert((start, end));
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
reach
|
||||||
|
};
|
||||||
|
// Check that it matches `<`
|
||||||
|
for [p1, p2] in <[PermissionPriv; 2]>::exhaustive() {
|
||||||
|
let le12 = p1 <= p2;
|
||||||
|
let reach12 = reach.contains(&(p1, p2));
|
||||||
|
assert!(
|
||||||
|
le12 == reach12,
|
||||||
|
"`{p1} reach {p2}` ({reach12}) does not match `{p1} <= {p2}` ({le12})"
|
||||||
|
);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
@ -10,6 +10,8 @@
|
|||||||
//! and the relative position of the access;
|
//! and the relative position of the access;
|
||||||
//! - idempotency properties asserted in `perms.rs` (for optimizations)
|
//! - idempotency properties asserted in `perms.rs` (for optimizations)
|
||||||
|
|
||||||
|
use std::fmt;
|
||||||
|
|
||||||
use smallvec::SmallVec;
|
use smallvec::SmallVec;
|
||||||
|
|
||||||
use rustc_const_eval::interpret::InterpResult;
|
use rustc_const_eval::interpret::InterpResult;
|
||||||
@ -26,8 +28,10 @@ use crate::borrow_tracker::tree_borrows::{
|
|||||||
use crate::borrow_tracker::{AccessKind, GlobalState, ProtectorKind};
|
use crate::borrow_tracker::{AccessKind, GlobalState, ProtectorKind};
|
||||||
use crate::*;
|
use crate::*;
|
||||||
|
|
||||||
|
mod tests;
|
||||||
|
|
||||||
/// Data for a single *location*.
|
/// Data for a single *location*.
|
||||||
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
||||||
pub(super) struct LocationState {
|
pub(super) struct LocationState {
|
||||||
/// A location is initialized when it is child-accessed for the first time (and the initial
|
/// A location is initialized when it is child-accessed for the first time (and the initial
|
||||||
/// retag initializes the location for the range covered by the type), and it then stays
|
/// retag initializes the location for the range covered by the type), and it then stays
|
||||||
@ -65,10 +69,25 @@ impl LocationState {
|
|||||||
self
|
self
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/// Check if the location has been initialized, i.e. if it has
|
||||||
|
/// ever been accessed through a child pointer.
|
||||||
pub fn is_initialized(&self) -> bool {
|
pub fn is_initialized(&self) -> bool {
|
||||||
self.initialized
|
self.initialized
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/// Check if the state can exist as the initial permission of a pointer.
|
||||||
|
///
|
||||||
|
/// Do not confuse with `is_initialized`, the two are almost orthogonal
|
||||||
|
/// as apart from `Active` which is not initial and must be initialized,
|
||||||
|
/// any other permission can have an arbitrary combination of being
|
||||||
|
/// initial/initialized.
|
||||||
|
/// FIXME: when the corresponding `assert` in `tree_borrows/mod.rs` finally
|
||||||
|
/// passes and can be uncommented, remove this `#[allow(dead_code)]`.
|
||||||
|
#[cfg_attr(not(test), allow(dead_code))]
|
||||||
|
pub fn is_initial(&self) -> bool {
|
||||||
|
self.permission.is_initial()
|
||||||
|
}
|
||||||
|
|
||||||
pub fn permission(&self) -> Permission {
|
pub fn permission(&self) -> Permission {
|
||||||
self.permission
|
self.permission
|
||||||
}
|
}
|
||||||
@ -172,6 +191,16 @@ impl LocationState {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
impl fmt::Display for LocationState {
|
||||||
|
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
|
||||||
|
write!(f, "{}", self.permission)?;
|
||||||
|
if !self.initialized {
|
||||||
|
write!(f, "?")?;
|
||||||
|
}
|
||||||
|
Ok(())
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
/// Tree structure with both parents and children since we want to be
|
/// Tree structure with both parents and children since we want to be
|
||||||
/// able to traverse the tree efficiently in both directions.
|
/// able to traverse the tree efficiently in both directions.
|
||||||
#[derive(Clone, Debug)]
|
#[derive(Clone, Debug)]
|
||||||
@ -665,87 +694,3 @@ impl AccessRelatedness {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(test)]
|
|
||||||
mod commutation_tests {
|
|
||||||
use super::*;
|
|
||||||
impl LocationState {
|
|
||||||
pub fn all() -> impl Iterator<Item = Self> {
|
|
||||||
// We keep `latest_foreign_access` at `None` as that's just a cache.
|
|
||||||
Permission::all().flat_map(|permission| {
|
|
||||||
[false, true].into_iter().map(move |initialized| {
|
|
||||||
Self { permission, initialized, latest_foreign_access: None }
|
|
||||||
})
|
|
||||||
})
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
#[test]
|
|
||||||
#[rustfmt::skip]
|
|
||||||
// Exhaustive check that for any starting configuration loc,
|
|
||||||
// for any two read accesses r1 and r2, if `loc + r1 + r2` is not UB
|
|
||||||
// and results in `loc'`, then `loc + r2 + r1` is also not UB and results
|
|
||||||
// in the same final state `loc'`.
|
|
||||||
// This lets us justify arbitrary read-read reorderings.
|
|
||||||
fn all_read_accesses_commute() {
|
|
||||||
let kind = AccessKind::Read;
|
|
||||||
// Two of the four combinations of `AccessRelatedness` are trivial,
|
|
||||||
// but we might as well check them all.
|
|
||||||
for rel1 in AccessRelatedness::all() {
|
|
||||||
for rel2 in AccessRelatedness::all() {
|
|
||||||
// Any protector state works, but we can't move reads across function boundaries
|
|
||||||
// so the two read accesses occur under the same protector.
|
|
||||||
for &protected in &[true, false] {
|
|
||||||
for loc in LocationState::all() {
|
|
||||||
// Apply 1 then 2. Failure here means that there is UB in the source
|
|
||||||
// and we skip the check in the target.
|
|
||||||
let mut loc12 = loc;
|
|
||||||
let Ok(_) = loc12.perform_access(kind, rel1, protected) else { continue };
|
|
||||||
let Ok(_) = loc12.perform_access(kind, rel2, protected) else { continue };
|
|
||||||
|
|
||||||
// If 1 followed by 2 succeeded, then 2 followed by 1 must also succeed...
|
|
||||||
let mut loc21 = loc;
|
|
||||||
loc21.perform_access(kind, rel2, protected).unwrap();
|
|
||||||
loc21.perform_access(kind, rel1, protected).unwrap();
|
|
||||||
|
|
||||||
// ... and produce the same final result.
|
|
||||||
assert_eq!(
|
|
||||||
loc12, loc21,
|
|
||||||
"Read accesses {:?} followed by {:?} do not commute !",
|
|
||||||
rel1, rel2
|
|
||||||
);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
#[test]
|
|
||||||
#[rustfmt::skip]
|
|
||||||
// Ensure that of 2 accesses happen, one foreign and one a child, and we are protected, that we
|
|
||||||
// get UB unless they are both reads.
|
|
||||||
fn protected_enforces_noalias() {
|
|
||||||
for rel1 in AccessRelatedness::all() {
|
|
||||||
for rel2 in AccessRelatedness::all() {
|
|
||||||
if rel1.is_foreign() == rel2.is_foreign() {
|
|
||||||
// We want to check pairs of accesses where one is foreign and one is not.
|
|
||||||
continue;
|
|
||||||
}
|
|
||||||
for kind1 in AccessKind::all() {
|
|
||||||
for kind2 in AccessKind::all() {
|
|
||||||
for mut state in LocationState::all() {
|
|
||||||
let protected = true;
|
|
||||||
let Ok(_) = state.perform_access(kind1, rel1, protected) else { continue };
|
|
||||||
let Ok(_) = state.perform_access(kind2, rel2, protected) else { continue };
|
|
||||||
// If these were both allowed, it must have been two reads.
|
|
||||||
assert!(
|
|
||||||
kind1 == AccessKind::Read && kind2 == AccessKind::Read,
|
|
||||||
"failed to enforce noalias between two accesses that are not both reads"
|
|
||||||
);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|||||||
658
src/tools/miri/src/borrow_tracker/tree_borrows/tree/tests.rs
Normal file
658
src/tools/miri/src/borrow_tracker/tree_borrows/tree/tests.rs
Normal file
@ -0,0 +1,658 @@
|
|||||||
|
//! Tests for the tree
|
||||||
|
#![cfg(test)]
|
||||||
|
|
||||||
|
use super::*;
|
||||||
|
use crate::borrow_tracker::tree_borrows::exhaustive::{precondition, Exhaustive};
|
||||||
|
use std::fmt;
|
||||||
|
|
||||||
|
impl Exhaustive for LocationState {
|
||||||
|
fn exhaustive() -> Box<dyn Iterator<Item = Self>> {
|
||||||
|
// We keep `latest_foreign_access` at `None` as that's just a cache.
|
||||||
|
Box::new(<(Permission, bool)>::exhaustive().map(|(permission, initialized)| {
|
||||||
|
Self { permission, initialized, latest_foreign_access: None }
|
||||||
|
}))
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
#[rustfmt::skip]
|
||||||
|
// Exhaustive check that for any starting configuration loc,
|
||||||
|
// for any two read accesses r1 and r2, if `loc + r1 + r2` is not UB
|
||||||
|
// and results in `loc'`, then `loc + r2 + r1` is also not UB and results
|
||||||
|
// in the same final state `loc'`.
|
||||||
|
// This lets us justify arbitrary read-read reorderings.
|
||||||
|
fn all_read_accesses_commute() {
|
||||||
|
let kind = AccessKind::Read;
|
||||||
|
// Two of the four combinations of `AccessRelatedness` are trivial,
|
||||||
|
// but we might as well check them all.
|
||||||
|
for [rel1, rel2] in <[AccessRelatedness; 2]>::exhaustive() {
|
||||||
|
// Any protector state works, but we can't move reads across function boundaries
|
||||||
|
// so the two read accesses occur under the same protector.
|
||||||
|
for protected in bool::exhaustive() {
|
||||||
|
for loc in LocationState::exhaustive() {
|
||||||
|
// Apply 1 then 2. Failure here means that there is UB in the source
|
||||||
|
// and we skip the check in the target.
|
||||||
|
let mut loc12 = loc;
|
||||||
|
precondition!(loc12.perform_access(kind, rel1, protected).is_ok());
|
||||||
|
precondition!(loc12.perform_access(kind, rel2, protected).is_ok());
|
||||||
|
|
||||||
|
// If 1 followed by 2 succeeded, then 2 followed by 1 must also succeed...
|
||||||
|
let mut loc21 = loc;
|
||||||
|
loc21.perform_access(kind, rel2, protected).unwrap();
|
||||||
|
loc21.perform_access(kind, rel1, protected).unwrap();
|
||||||
|
|
||||||
|
// ... and produce the same final result.
|
||||||
|
assert_eq!(
|
||||||
|
loc12, loc21,
|
||||||
|
"Read accesses {:?} followed by {:?} do not commute !",
|
||||||
|
rel1, rel2
|
||||||
|
);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
#[rustfmt::skip]
|
||||||
|
// Ensure that of 2 accesses happen, one foreign and one a child, and we are protected, that we
|
||||||
|
// get UB unless they are both reads.
|
||||||
|
fn protected_enforces_noalias() {
|
||||||
|
for [rel1, rel2] in <[AccessRelatedness; 2]>::exhaustive() {
|
||||||
|
// We want to check pairs of accesses where one is foreign and one is not.
|
||||||
|
precondition!(rel1.is_foreign() != rel2.is_foreign());
|
||||||
|
for [kind1, kind2] in <[AccessKind; 2]>::exhaustive() {
|
||||||
|
for mut state in LocationState::exhaustive() {
|
||||||
|
let protected = true;
|
||||||
|
precondition!(state.perform_access(kind1, rel1, protected).is_ok());
|
||||||
|
precondition!(state.perform_access(kind2, rel2, protected).is_ok());
|
||||||
|
// If these were both allowed, it must have been two reads.
|
||||||
|
assert!(
|
||||||
|
kind1 == AccessKind::Read && kind2 == AccessKind::Read,
|
||||||
|
"failed to enforce noalias between two accesses that are not both reads"
|
||||||
|
);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
/// We are going to exhaustively test the possibily of inserting
|
||||||
|
/// a spurious read in some code.
|
||||||
|
///
|
||||||
|
/// We choose some pointer `x` through which we want a spurious read to be inserted.
|
||||||
|
/// `x` must thus be reborrowed, not have any children, and initially start protected.
|
||||||
|
///
|
||||||
|
/// To check if inserting a spurious read is possible, we observe the behavior
|
||||||
|
/// of some pointer `y` different from `x` (possibly from a different thread, thus
|
||||||
|
/// the protectors on `x` and `y` are not necessarily well-nested).
|
||||||
|
/// It must be the case that no matter the context, the insertion of a spurious read
|
||||||
|
/// through `x` does not introduce UB in code that did not already have UB.
|
||||||
|
///
|
||||||
|
/// Testing this will need some setup to simulate the evolution of the permissions
|
||||||
|
/// of `x` and `y` under arbitrary code. This arbitrary code of course includes
|
||||||
|
/// read and write accesses through `x` and `y`, but it must also consider
|
||||||
|
/// the less obvious:
|
||||||
|
/// - accesses through pointers that are *neither* `x` nor `y`,
|
||||||
|
/// - retags of `y` that change its relative position to `x`.
|
||||||
|
///
|
||||||
|
///
|
||||||
|
/// The general code pattern thus looks like
|
||||||
|
/// [thread 1] || [thread 2]
|
||||||
|
/// || y exists
|
||||||
|
/// retag x (protect) ||
|
||||||
|
/// arbitrary code
|
||||||
|
/// read/write x/y/other
|
||||||
|
/// or retag y
|
||||||
|
/// or unprotect y
|
||||||
|
/// <spurious read x> ||
|
||||||
|
/// arbitrary code
|
||||||
|
/// read/write x/y/other
|
||||||
|
/// or retag y
|
||||||
|
/// or unprotect y
|
||||||
|
/// or unprotect x
|
||||||
|
///
|
||||||
|
/// `x` must still be protected at the moment the spurious read is inserted
|
||||||
|
/// because spurious reads are impossible in general on unprotected tags.
|
||||||
|
mod spurious_read {
|
||||||
|
use super::*;
|
||||||
|
|
||||||
|
/// Accessed pointer.
|
||||||
|
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
|
||||||
|
enum PtrSelector {
|
||||||
|
X,
|
||||||
|
Y,
|
||||||
|
Other,
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Relative position of `x` and `y`.
|
||||||
|
/// `y` cannot be a child of `x` because `x` gets retagged as the first
|
||||||
|
/// thing in the pattern, so it cannot have children.
|
||||||
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
||||||
|
enum RelPosXY {
|
||||||
|
MutuallyForeign,
|
||||||
|
/// X is a child of Y.
|
||||||
|
XChildY,
|
||||||
|
}
|
||||||
|
|
||||||
|
impl Exhaustive for PtrSelector {
|
||||||
|
fn exhaustive() -> Box<dyn Iterator<Item = Self>> {
|
||||||
|
use PtrSelector::*;
|
||||||
|
Box::new(vec![X, Y, Other].into_iter())
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl fmt::Display for PtrSelector {
|
||||||
|
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
|
||||||
|
match self {
|
||||||
|
PtrSelector::X => write!(f, "x"),
|
||||||
|
PtrSelector::Y => write!(f, "y"),
|
||||||
|
PtrSelector::Other => write!(f, "z"),
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl Exhaustive for RelPosXY {
|
||||||
|
fn exhaustive() -> Box<dyn Iterator<Item = Self>> {
|
||||||
|
use RelPosXY::*;
|
||||||
|
Box::new(vec![MutuallyForeign, XChildY].into_iter())
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl fmt::Display for RelPosXY {
|
||||||
|
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
|
||||||
|
match self {
|
||||||
|
RelPosXY::MutuallyForeign => write!(f, "x and y are mutually foreign"),
|
||||||
|
RelPosXY::XChildY => write!(f, "x is a child of y"),
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl PtrSelector {
|
||||||
|
/// Knowing the relative position of `x` to `y`, determine the relative
|
||||||
|
/// position of the accessed pointer defined by `self` relative to each `x`
|
||||||
|
/// and `y`.
|
||||||
|
///
|
||||||
|
/// The output is not necessarily well-defined in general, but it
|
||||||
|
/// is unique when considered up to equivalence by `AccessRelatedness::is_foreign`
|
||||||
|
/// (e.g. having `RelPosXY::XChildY` and `PtrSelector::Other`, strictly
|
||||||
|
/// speaking it is impossible to determine if `Other` is a `DistantAccess`
|
||||||
|
/// or an `AncestorAccess` relative to `y`, but it doesn't really matter
|
||||||
|
/// because `DistantAccess.is_foreign() == AncestorAccess.is_foreign()`).
|
||||||
|
fn rel_pair(self, xy_rel: RelPosXY) -> (AccessRelatedness, AccessRelatedness) {
|
||||||
|
use AccessRelatedness::*;
|
||||||
|
match xy_rel {
|
||||||
|
RelPosXY::MutuallyForeign =>
|
||||||
|
match self {
|
||||||
|
PtrSelector::X => (This, DistantAccess),
|
||||||
|
PtrSelector::Y => (DistantAccess, This),
|
||||||
|
PtrSelector::Other => (DistantAccess, DistantAccess),
|
||||||
|
},
|
||||||
|
RelPosXY::XChildY =>
|
||||||
|
match self {
|
||||||
|
PtrSelector::X => (This, StrictChildAccess),
|
||||||
|
PtrSelector::Y => (AncestorAccess, This),
|
||||||
|
PtrSelector::Other => (DistantAccess, DistantAccess),
|
||||||
|
},
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Arbitrary access parametrized by the relative position of `x` and `y`
|
||||||
|
/// to each other.
|
||||||
|
#[derive(Debug, Clone, Copy)]
|
||||||
|
struct TestAccess {
|
||||||
|
ptr: PtrSelector,
|
||||||
|
kind: AccessKind,
|
||||||
|
}
|
||||||
|
|
||||||
|
impl Exhaustive for TestAccess {
|
||||||
|
fn exhaustive() -> Box<dyn Iterator<Item = Self>> {
|
||||||
|
Box::new(
|
||||||
|
<(PtrSelector, AccessKind)>::exhaustive()
|
||||||
|
.map(|(ptr, kind)| TestAccess { ptr, kind }),
|
||||||
|
)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl fmt::Display for TestAccess {
|
||||||
|
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
|
||||||
|
let kind_text = match self.kind {
|
||||||
|
AccessKind::Read => "read",
|
||||||
|
AccessKind::Write => "write",
|
||||||
|
};
|
||||||
|
write!(f, "{kind_text} {}", self.ptr)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
type AllowRet = ();
|
||||||
|
type NoRet = !;
|
||||||
|
#[derive(Clone)]
|
||||||
|
/// Events relevant to the evolution of 2 pointers are
|
||||||
|
/// - any access to the same location
|
||||||
|
/// - end of one of them being protected
|
||||||
|
/// - a retag that would change their relative position
|
||||||
|
/// The type `TestEvent` models these kinds of events.
|
||||||
|
///
|
||||||
|
/// In order to prevent `x` or `y` from losing their protector,
|
||||||
|
/// choose a type `RetX` or `RetY` that is not inhabited.
|
||||||
|
/// e.g.
|
||||||
|
/// - `TestEvent<AllowRet, AllowRet>` is any event including end of protector on either `x` or `y`
|
||||||
|
/// - `TestEvent<NoRet, NoRet>` is any access
|
||||||
|
/// - `TestEvent<NoRet, AllowRet>` allows for `y` to lose its protector but not `x`
|
||||||
|
enum TestEvent<RetX, RetY> {
|
||||||
|
Access(TestAccess),
|
||||||
|
RetX(RetX),
|
||||||
|
RetY(RetY),
|
||||||
|
/// The inner `LocStateProt` must be an initial state (as per the `is_initial` function)
|
||||||
|
RetagY(LocStateProt),
|
||||||
|
}
|
||||||
|
|
||||||
|
impl<RetX, RetY> Exhaustive for TestEvent<RetX, RetY>
|
||||||
|
where
|
||||||
|
RetX: Exhaustive + 'static,
|
||||||
|
RetY: Exhaustive + 'static,
|
||||||
|
{
|
||||||
|
fn exhaustive() -> Box<dyn Iterator<Item = Self>> {
|
||||||
|
Box::new(
|
||||||
|
<TestAccess>::exhaustive()
|
||||||
|
.map(|acc| Self::Access(acc))
|
||||||
|
.chain(RetX::exhaustive().map(|retx| Self::RetX(retx)))
|
||||||
|
.chain(RetY::exhaustive().map(|rety| Self::RetY(rety)))
|
||||||
|
.chain(
|
||||||
|
LocStateProt::exhaustive()
|
||||||
|
.filter_map(|s| s.is_initial().then_some(Self::RetagY(s))),
|
||||||
|
),
|
||||||
|
)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl<RetX, RetY> fmt::Display for TestEvent<RetX, RetY> {
|
||||||
|
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
|
||||||
|
match self {
|
||||||
|
TestEvent::Access(acc) => write!(f, "{acc}"),
|
||||||
|
// The fields of the `Ret` variants just serve to make them
|
||||||
|
// impossible to instanciate via the `RetX = NoRet` type; we can
|
||||||
|
// always ignore their value.
|
||||||
|
TestEvent::RetX(_) => write!(f, "ret x"),
|
||||||
|
TestEvent::RetY(_) => write!(f, "ret y"),
|
||||||
|
TestEvent::RetagY(newp) => write!(f, "retag y ({newp})"),
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
#[derive(Clone, PartialEq, Eq, Hash)]
|
||||||
|
/// The state of a pointer on a location, including the protector.
|
||||||
|
/// It is represented here with the protector bound to the `LocationState` rather
|
||||||
|
/// than the `Map<Location, LocationState>` as is normally the case,
|
||||||
|
/// but since all our exhaustive tests look at a single location
|
||||||
|
/// there's no risk of `prot` for different locations of the same tag getting
|
||||||
|
/// out of sync.
|
||||||
|
struct LocStateProt {
|
||||||
|
state: LocationState,
|
||||||
|
prot: bool,
|
||||||
|
}
|
||||||
|
|
||||||
|
impl LocStateProt {
|
||||||
|
fn is_initial(&self) -> bool {
|
||||||
|
self.state.is_initial()
|
||||||
|
}
|
||||||
|
|
||||||
|
fn perform_access(&self, kind: AccessKind, rel: AccessRelatedness) -> Result<Self, ()> {
|
||||||
|
let mut state = self.state;
|
||||||
|
state.perform_access(kind, rel, self.prot).map_err(|_| ())?;
|
||||||
|
Ok(Self { state, prot: self.prot })
|
||||||
|
}
|
||||||
|
|
||||||
|
fn end_protector(&self) -> Self {
|
||||||
|
Self { prot: false, state: self.state }
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl Exhaustive for LocStateProt {
|
||||||
|
fn exhaustive() -> Box<dyn Iterator<Item = Self>> {
|
||||||
|
Box::new(
|
||||||
|
<(LocationState, bool)>::exhaustive().map(|(state, prot)| Self { state, prot }),
|
||||||
|
)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl fmt::Display for LocStateProt {
|
||||||
|
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
|
||||||
|
write!(f, "{}", self.state)?;
|
||||||
|
if self.prot {
|
||||||
|
write!(f, ", protect")?;
|
||||||
|
}
|
||||||
|
Ok(())
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
#[derive(Clone, PartialEq, Eq, Hash)]
|
||||||
|
/// The states of two pointers to the same location,
|
||||||
|
/// and their relationship to each other in the tree.
|
||||||
|
///
|
||||||
|
/// Note that the two states interact: using one pointer can have
|
||||||
|
/// an impact on the other.
|
||||||
|
/// This makes `LocStateProtPair` more meaningful than a simple
|
||||||
|
/// `(LocStateProt, LocStateProt)` where the two states are not guaranteed
|
||||||
|
/// to be updated at the same time.
|
||||||
|
/// Some `LocStateProtPair` may be unreachable through normal means
|
||||||
|
/// such as `x: Active, y: Active` in the case of mutually foreign pointers.
|
||||||
|
struct LocStateProtPair {
|
||||||
|
xy_rel: RelPosXY,
|
||||||
|
x: LocStateProt,
|
||||||
|
y: LocStateProt,
|
||||||
|
}
|
||||||
|
|
||||||
|
impl LocStateProtPair {
|
||||||
|
fn perform_test_access(self, acc: &TestAccess) -> Result<Self, ()> {
|
||||||
|
let (xrel, yrel) = acc.ptr.rel_pair(self.xy_rel);
|
||||||
|
let x = self.x.perform_access(acc.kind, xrel)?;
|
||||||
|
let y = self.y.perform_access(acc.kind, yrel)?;
|
||||||
|
Ok(Self { x, y, ..self })
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Perform a read on the given pointer if its state is `initialized`.
|
||||||
|
/// Must be called just after reborrowing a pointer.
|
||||||
|
fn read_if_initialized(self, ptr: PtrSelector) -> Result<Self, ()> {
|
||||||
|
let initialized = match ptr {
|
||||||
|
PtrSelector::X => self.x.state.initialized,
|
||||||
|
PtrSelector::Y => self.y.state.initialized,
|
||||||
|
PtrSelector::Other =>
|
||||||
|
panic!(
|
||||||
|
"the `initialized` status of `PtrSelector::Other` is unknown, do not pass it to `read_if_initialized`"
|
||||||
|
),
|
||||||
|
};
|
||||||
|
if initialized {
|
||||||
|
self.perform_test_access(&TestAccess { ptr, kind: AccessKind::Read })
|
||||||
|
} else {
|
||||||
|
Ok(self)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
fn end_protector_x(self) -> Result<Self, ()> {
|
||||||
|
let x = self.x.end_protector();
|
||||||
|
Ok(Self { x, ..self })
|
||||||
|
}
|
||||||
|
|
||||||
|
fn end_protector_y(self) -> Result<Self, ()> {
|
||||||
|
let y = self.y.end_protector();
|
||||||
|
Ok(Self { y, ..self })
|
||||||
|
}
|
||||||
|
|
||||||
|
fn retag_y(self, new_y: LocStateProt) -> Result<Self, ()> {
|
||||||
|
assert!(new_y.is_initial());
|
||||||
|
// `xy_rel` changes to "mutually foreign" now: `y` can no longer be a parent of `x`.
|
||||||
|
Self { y: new_y, xy_rel: RelPosXY::MutuallyForeign, ..self }
|
||||||
|
.read_if_initialized(PtrSelector::Y)
|
||||||
|
}
|
||||||
|
|
||||||
|
fn perform_test_event<RetX, RetY>(self, evt: &TestEvent<RetX, RetY>) -> Result<Self, ()> {
|
||||||
|
match evt {
|
||||||
|
TestEvent::Access(acc) => self.perform_test_access(acc),
|
||||||
|
// The fields of the `Ret` variants just serve to make them
|
||||||
|
// impossible to instanciate via the `RetX = NoRet` type; we can
|
||||||
|
// always ignore their value.
|
||||||
|
TestEvent::RetX(_) => self.end_protector_x(),
|
||||||
|
TestEvent::RetY(_) => self.end_protector_y(),
|
||||||
|
TestEvent::RetagY(newp) => self.retag_y(newp.clone()),
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl Exhaustive for LocStateProtPair {
|
||||||
|
fn exhaustive() -> Box<dyn Iterator<Item = Self>> {
|
||||||
|
Box::new(<[LocStateProt; 2]>::exhaustive().flat_map(|[x, y]| {
|
||||||
|
RelPosXY::exhaustive()
|
||||||
|
.map(move |xy_rel| Self { x: x.clone(), y: y.clone(), xy_rel })
|
||||||
|
}))
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl fmt::Display for LocStateProtPair {
|
||||||
|
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
|
||||||
|
write!(f, "x:{}, y:{}", self.x, self.y)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Arbitrary sequence of events, as experienced by two mutually foreign pointers
|
||||||
|
/// to the same location.
|
||||||
|
#[derive(Clone)]
|
||||||
|
struct OpaqueCode<RetX, RetY> {
|
||||||
|
events: Vec<TestEvent<RetX, RetY>>,
|
||||||
|
}
|
||||||
|
|
||||||
|
impl<RetX, RetY> fmt::Display for OpaqueCode<RetX, RetY> {
|
||||||
|
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
|
||||||
|
for evt in &self.events {
|
||||||
|
write!(f, "{evt}; ")?;
|
||||||
|
}
|
||||||
|
Ok(())
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl LocStateProtPair {
|
||||||
|
/// List all sequences of operations that start at `self` and do not cause UB
|
||||||
|
/// There are no duplicates: all sequences returned lead to distinct final states
|
||||||
|
/// (though the sequence is not guaranteed to be the shortest possible sequence of events).
|
||||||
|
/// Yields the states it reaches, and the sequence of operations that got us there.
|
||||||
|
fn all_states_reachable_via_opaque_code<RetX, RetY>(
|
||||||
|
self,
|
||||||
|
) -> impl Iterator<Item = (Self, OpaqueCode<RetX, RetY>)>
|
||||||
|
where
|
||||||
|
RetX: Exhaustive + Clone + 'static,
|
||||||
|
RetY: Exhaustive + Clone + 'static,
|
||||||
|
{
|
||||||
|
// We compute the reachable set of `Self` from `self` by non-UB `OpaqueCode`.
|
||||||
|
// Configurations are `(reach: Self, code: OpaqueCode)` tuples
|
||||||
|
// for which `code` applied to `self` returns `Ok(reach)`.
|
||||||
|
|
||||||
|
// Stack of all configurations left to handle.
|
||||||
|
let mut handle: Vec<(Self, OpaqueCode<_, _>)> =
|
||||||
|
vec![(self, OpaqueCode { events: Vec::new() })];
|
||||||
|
// Code that can be applied to `self`, and final state.
|
||||||
|
let mut paths: Vec<(Self, OpaqueCode<_, _>)> = Default::default();
|
||||||
|
// Already explored states reachable from `self`
|
||||||
|
let mut seen: FxHashSet<Self> = Default::default();
|
||||||
|
// This is essentially just computing the transitive closure by `perform_test_event`,
|
||||||
|
// most of the work lies in remembering the path up to the current state.
|
||||||
|
while let Some((state, path)) = handle.pop() {
|
||||||
|
for evt in <TestEvent<RetX, RetY>>::exhaustive() {
|
||||||
|
if let Ok(next) = state.clone().perform_test_event(&evt) {
|
||||||
|
if seen.insert(next.clone()) {
|
||||||
|
let mut evts = path.clone();
|
||||||
|
evts.events.push(evt);
|
||||||
|
paths.push((next.clone(), evts.clone()));
|
||||||
|
handle.push((next, evts));
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
paths.into_iter()
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl LocStateProtPair {
|
||||||
|
#[rustfmt::skip]
|
||||||
|
/// Two states (by convention `self` is the source and `other` is the target)
|
||||||
|
/// are "distinguishable" if there exists a sequence of instructions
|
||||||
|
/// that causes UB in the target but not in the source.
|
||||||
|
/// This implementation simply explores the reachable space
|
||||||
|
/// by all sequences of `TestEvent`.
|
||||||
|
/// This function can be instanciated with `RetX` and `RetY`
|
||||||
|
/// among `NoRet` or `AllowRet` to resp. forbid/allow `x`/`y` to lose their
|
||||||
|
/// protector.
|
||||||
|
fn distinguishable<RetX, RetY>(&self, other: &Self) -> bool
|
||||||
|
where
|
||||||
|
RetX: Exhaustive + 'static,
|
||||||
|
RetY: Exhaustive + 'static,
|
||||||
|
{
|
||||||
|
if self == other { return false; }
|
||||||
|
let mut states = vec![(self.clone(), other.clone())];
|
||||||
|
let mut seen = FxHashSet::default();
|
||||||
|
while let Some(state) = states.pop() {
|
||||||
|
if !seen.insert(state.clone()) { continue; };
|
||||||
|
let (source, target) = state;
|
||||||
|
for evt in <TestEvent<RetX, RetY>>::exhaustive() {
|
||||||
|
// Generate successor states through events (accesses and protector ends)
|
||||||
|
let Ok(new_source) = source.clone().perform_test_event(&evt) else { continue; };
|
||||||
|
let Ok(new_target) = target.clone().perform_test_event(&evt) else { return true; };
|
||||||
|
if new_source == new_target { continue; }
|
||||||
|
states.push((new_source, new_target));
|
||||||
|
}
|
||||||
|
}
|
||||||
|
false
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
#[should_panic]
|
||||||
|
// This is why `Reserved -> Frozen` on foreign read for protected references
|
||||||
|
// prevents the insertion of spurious reads: the transition can cause UB in the target
|
||||||
|
// later down the line.
|
||||||
|
fn reserved_frozen_protected_distinguishable() {
|
||||||
|
let source = LocStateProtPair {
|
||||||
|
xy_rel: RelPosXY::MutuallyForeign,
|
||||||
|
x: LocStateProt {
|
||||||
|
state: LocationState::new(Permission::new_frozen()).with_access(),
|
||||||
|
prot: true,
|
||||||
|
},
|
||||||
|
y: LocStateProt {
|
||||||
|
state: LocationState::new(Permission::new_reserved(false)),
|
||||||
|
prot: true,
|
||||||
|
},
|
||||||
|
};
|
||||||
|
let acc = TestAccess { ptr: PtrSelector::X, kind: AccessKind::Read };
|
||||||
|
let target = source.clone().perform_test_access(&acc).unwrap();
|
||||||
|
assert!(source.y.state.permission.is_reserved(None));
|
||||||
|
assert!(target.y.state.permission.is_frozen());
|
||||||
|
assert!(!source.distinguishable::<(), ()>(&target))
|
||||||
|
}
|
||||||
|
|
||||||
|
#[derive(Clone, Debug)]
|
||||||
|
struct Pattern {
|
||||||
|
/// The relative position of `x` and `y` at the beginning of the arbitrary
|
||||||
|
/// code (i.e., just after `x` got created).
|
||||||
|
/// Might change during the execution if said arbitrary code contains any `retag y`.
|
||||||
|
xy_rel: RelPosXY,
|
||||||
|
/// Permission that `x` will be created as
|
||||||
|
/// (always protected until a possible `ret x` in the second phase).
|
||||||
|
/// This one should be initial (as per `is_initial`).
|
||||||
|
x_retag_perm: LocationState,
|
||||||
|
/// Permission that `y` has at the beginning of the pattern.
|
||||||
|
/// Can be any state, not necessarily initial
|
||||||
|
/// (since `y` exists already before the pattern starts).
|
||||||
|
/// This state might be reset during the execution if the opaque code
|
||||||
|
/// contains any `retag y`, but only to an initial state this time.
|
||||||
|
y_current_perm: LocationState,
|
||||||
|
/// Whether `y` starts with a protector.
|
||||||
|
/// Might change if the opaque code contains any `ret y`.
|
||||||
|
y_protected: bool,
|
||||||
|
}
|
||||||
|
|
||||||
|
impl Exhaustive for Pattern {
|
||||||
|
fn exhaustive() -> Box<dyn Iterator<Item = Self>> {
|
||||||
|
let mut v = Vec::new();
|
||||||
|
for xy_rel in RelPosXY::exhaustive() {
|
||||||
|
for (x_retag_perm, y_current_perm) in <(LocationState, LocationState)>::exhaustive()
|
||||||
|
{
|
||||||
|
// We can only do spurious reads for initialized locations anyway.
|
||||||
|
precondition!(x_retag_perm.initialized);
|
||||||
|
// And `x` just got retagged, so it must be initial.
|
||||||
|
precondition!(x_retag_perm.permission.is_initial());
|
||||||
|
for y_protected in bool::exhaustive() {
|
||||||
|
v.push(Pattern { xy_rel, x_retag_perm, y_current_perm, y_protected });
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
Box::new(v.into_iter())
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl fmt::Display for Pattern {
|
||||||
|
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
|
||||||
|
let (x, y) = self.retag_permissions();
|
||||||
|
write!(f, "{}; ", self.xy_rel)?;
|
||||||
|
write!(f, "y: ({}); ", y,)?;
|
||||||
|
write!(f, "retag x ({}); ", x)?;
|
||||||
|
|
||||||
|
write!(f, "<arbitrary code>; <spurious read x>;")?;
|
||||||
|
Ok(())
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl Pattern {
|
||||||
|
/// Return the permission that `y` starts as, and the permission that we
|
||||||
|
/// will retag `x` with.
|
||||||
|
/// This does not yet include a possible read-on-reborrow through `x`.
|
||||||
|
fn retag_permissions(&self) -> (LocStateProt, LocStateProt) {
|
||||||
|
let x = LocStateProt { state: self.x_retag_perm, prot: true };
|
||||||
|
let y = LocStateProt { state: self.y_current_perm, prot: self.y_protected };
|
||||||
|
(x, y)
|
||||||
|
}
|
||||||
|
|
||||||
|
/// State that the pattern deterministically produces immediately after
|
||||||
|
/// the retag of `x`.
|
||||||
|
fn initial_state(&self) -> Result<LocStateProtPair, ()> {
|
||||||
|
let (x, y) = self.retag_permissions();
|
||||||
|
let state = LocStateProtPair { xy_rel: self.xy_rel, x, y };
|
||||||
|
state.read_if_initialized(PtrSelector::X)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
#[test]
|
||||||
|
#[should_panic]
|
||||||
|
/// For each of the patterns described above, execute it once
|
||||||
|
/// as-is, and once with a spurious read inserted. Report any UB
|
||||||
|
/// in the target but not in the source.
|
||||||
|
fn test_all_patterns() {
|
||||||
|
let mut ok = 0;
|
||||||
|
let mut err = 0;
|
||||||
|
for pat in Pattern::exhaustive() {
|
||||||
|
let Ok(initial_source) = pat.initial_state() else {
|
||||||
|
// Failed to retag `x` in the source (e.g. `y` was protected Active)
|
||||||
|
continue;
|
||||||
|
};
|
||||||
|
// `x` must stay protected, but the function protecting `y` might return here
|
||||||
|
for (final_source, opaque) in
|
||||||
|
initial_source.all_states_reachable_via_opaque_code::</*X*/ NoRet, /*Y*/ AllowRet>()
|
||||||
|
{
|
||||||
|
// Both executions are identical up to here.
|
||||||
|
// Now we do nothing in the source and in the target we do a spurious read.
|
||||||
|
// Then we check if the resulting states are distinguishable.
|
||||||
|
let distinguishable = {
|
||||||
|
assert!(final_source.x.prot);
|
||||||
|
let spurious_read = TestAccess { ptr: PtrSelector::X, kind: AccessKind::Read };
|
||||||
|
if let Ok(final_target) =
|
||||||
|
final_source.clone().perform_test_access(&spurious_read)
|
||||||
|
{
|
||||||
|
// Only after the spurious read has been executed can `x` lose its
|
||||||
|
// protector.
|
||||||
|
final_source
|
||||||
|
.distinguishable::</*X*/ AllowRet, /*Y*/ AllowRet>(&final_target)
|
||||||
|
.then_some(format!("{}", final_target))
|
||||||
|
} else {
|
||||||
|
Some(format!("UB"))
|
||||||
|
}
|
||||||
|
};
|
||||||
|
if let Some(final_target) = distinguishable {
|
||||||
|
eprintln!(
|
||||||
|
"For pattern '{}', inserting a spurious read through x makes the final state '{}' instead of '{}' which is observable",
|
||||||
|
pat, final_target, final_source
|
||||||
|
);
|
||||||
|
eprintln!(" (arbitrary code instanciated with '{}')", opaque);
|
||||||
|
err += 1;
|
||||||
|
// We found an instanciation of the opaque code that makes this Pattern
|
||||||
|
// fail, we don't really need to check the rest.
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
ok += 1;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
if err > 0 {
|
||||||
|
panic!(
|
||||||
|
"Test failed after {}/{} patterns had UB in the target but not the source",
|
||||||
|
err,
|
||||||
|
ok + err
|
||||||
|
)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
@ -1,5 +1,3 @@
|
|||||||
pub mod convert;
|
|
||||||
|
|
||||||
use std::cmp;
|
use std::cmp;
|
||||||
use std::iter;
|
use std::iter;
|
||||||
use std::num::NonZeroUsize;
|
use std::num::NonZeroUsize;
|
||||||
@ -1033,7 +1031,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
|
|||||||
) {
|
) {
|
||||||
// Floating point value is NaN (flagged with INVALID_OP) or outside the range
|
// Floating point value is NaN (flagged with INVALID_OP) or outside the range
|
||||||
// of values of the integer type (flagged with OVERFLOW or UNDERFLOW).
|
// of values of the integer type (flagged with OVERFLOW or UNDERFLOW).
|
||||||
return None
|
return None;
|
||||||
} else {
|
} else {
|
||||||
// Floating point value can be represented by the integer type after rounding.
|
// Floating point value can be represented by the integer type after rounding.
|
||||||
// The INEXACT flag is ignored on purpose to allow rounding.
|
// The INEXACT flag is ignored on purpose to allow rounding.
|
||||||
@ -1051,7 +1049,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
|
|||||||
) {
|
) {
|
||||||
// Floating point value is NaN (flagged with INVALID_OP) or outside the range
|
// Floating point value is NaN (flagged with INVALID_OP) or outside the range
|
||||||
// of values of the integer type (flagged with OVERFLOW or UNDERFLOW).
|
// of values of the integer type (flagged with OVERFLOW or UNDERFLOW).
|
||||||
return None
|
return None;
|
||||||
} else {
|
} else {
|
||||||
// Floating point value can be represented by the integer type after rounding.
|
// Floating point value can be represented by the integer type after rounding.
|
||||||
// The INEXACT flag is ignored on purpose to allow rounding.
|
// The INEXACT flag is ignored on purpose to allow rounding.
|
||||||
|
|||||||
@ -1,49 +0,0 @@
|
|||||||
use implementations::NarrowerThan;
|
|
||||||
|
|
||||||
/// Replacement for `as` casts going from wide integer to narrower integer.
|
|
||||||
///
|
|
||||||
/// # Example
|
|
||||||
///
|
|
||||||
/// ```ignore
|
|
||||||
/// let x = 99_u64;
|
|
||||||
/// let lo = x.truncate::<u16>();
|
|
||||||
/// // lo is of type u16, equivalent to `x as u16`.
|
|
||||||
/// ```
|
|
||||||
pub(crate) trait Truncate: Sized {
|
|
||||||
fn truncate<To>(self) -> To
|
|
||||||
where
|
|
||||||
To: NarrowerThan<Self>,
|
|
||||||
{
|
|
||||||
NarrowerThan::truncate_from(self)
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
impl Truncate for u16 {}
|
|
||||||
impl Truncate for u32 {}
|
|
||||||
impl Truncate for u64 {}
|
|
||||||
impl Truncate for u128 {}
|
|
||||||
|
|
||||||
mod implementations {
|
|
||||||
pub(crate) trait NarrowerThan<T> {
|
|
||||||
fn truncate_from(wide: T) -> Self;
|
|
||||||
}
|
|
||||||
|
|
||||||
macro_rules! impl_narrower_than {
|
|
||||||
($(NarrowerThan<{$($ty:ty),*}> for $self:ty)*) => {
|
|
||||||
$($(
|
|
||||||
impl NarrowerThan<$ty> for $self {
|
|
||||||
fn truncate_from(wide: $ty) -> Self {
|
|
||||||
wide as Self
|
|
||||||
}
|
|
||||||
}
|
|
||||||
)*)*
|
|
||||||
};
|
|
||||||
}
|
|
||||||
|
|
||||||
impl_narrower_than! {
|
|
||||||
NarrowerThan<{u128, u64, u32, u16}> for u8
|
|
||||||
NarrowerThan<{u128, u64, u32}> for u16
|
|
||||||
NarrowerThan<{u128, u64}> for u32
|
|
||||||
NarrowerThan<{u128}> for u64
|
|
||||||
}
|
|
||||||
}
|
|
||||||
@ -65,12 +65,16 @@ impl<'mir, 'tcx> EvalContextExt<'tcx> for super::MiriInterpCx<'mir, 'tcx> {
|
|||||||
right.to_scalar().to_target_usize(self)?,
|
right.to_scalar().to_target_usize(self)?,
|
||||||
self.machine.layouts.usize,
|
self.machine.layouts.usize,
|
||||||
);
|
);
|
||||||
let (result, overflowing) =
|
let (result, overflowing) = self.overflowing_binary_op(bin_op, &left, &right)?;
|
||||||
self.overflowing_binary_op(bin_op, &left, &right)?;
|
|
||||||
// Construct a new pointer with the provenance of `ptr` (the LHS).
|
// Construct a new pointer with the provenance of `ptr` (the LHS).
|
||||||
let result_ptr =
|
let result_ptr = Pointer::new(
|
||||||
Pointer::new(ptr.provenance, Size::from_bytes(result.to_scalar().to_target_usize(self)?));
|
ptr.provenance,
|
||||||
(ImmTy::from_scalar(Scalar::from_maybe_pointer(result_ptr, self), left.layout), overflowing)
|
Size::from_bytes(result.to_scalar().to_target_usize(self)?),
|
||||||
|
);
|
||||||
|
(
|
||||||
|
ImmTy::from_scalar(Scalar::from_maybe_pointer(result_ptr, self), left.layout),
|
||||||
|
overflowing,
|
||||||
|
)
|
||||||
}
|
}
|
||||||
|
|
||||||
_ => span_bug!(self.cur_span(), "Invalid operator on pointers: {:?}", bin_op),
|
_ => span_bug!(self.cur_span(), "Invalid operator on pointers: {:?}", bin_op),
|
||||||
|
|||||||
@ -88,10 +88,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
|
|||||||
this.write_pointer(ptr, &place)?;
|
this.write_pointer(ptr, &place)?;
|
||||||
}
|
}
|
||||||
|
|
||||||
this.write_immediate(
|
this.write_immediate(Immediate::new_slice(alloc.ptr(), len, this), dest)?;
|
||||||
Immediate::new_slice(alloc.ptr(), len, this),
|
|
||||||
dest,
|
|
||||||
)?;
|
|
||||||
}
|
}
|
||||||
// storage for pointers is allocated by the caller
|
// storage for pointers is allocated by the caller
|
||||||
1 => {
|
1 => {
|
||||||
|
|||||||
@ -22,7 +22,7 @@ use rustc_target::{
|
|||||||
};
|
};
|
||||||
|
|
||||||
use super::backtrace::EvalContextExt as _;
|
use super::backtrace::EvalContextExt as _;
|
||||||
use crate::helpers::{convert::Truncate, target_os_is_unix};
|
use crate::helpers::target_os_is_unix;
|
||||||
use crate::*;
|
use crate::*;
|
||||||
|
|
||||||
/// Returned by `emulate_foreign_item_by_name`.
|
/// Returned by `emulate_foreign_item_by_name`.
|
||||||
@ -981,30 +981,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
|
|||||||
throw_unsup_format!("unsupported `llvm.prefetch` type argument: {}", ty);
|
throw_unsup_format!("unsupported `llvm.prefetch` type argument: {}", ty);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
"llvm.x86.addcarry.64" if this.tcx.sess.target.arch == "x86_64" => {
|
// FIXME: Move these to an `arm` submodule.
|
||||||
// Computes u8+u64+u64, returning tuple (u8,u64) comprising the output carry and truncated sum.
|
|
||||||
let [c_in, a, b] = this.check_shim(abi, Abi::Unadjusted, link_name, args)?;
|
|
||||||
let c_in = this.read_scalar(c_in)?.to_u8()?;
|
|
||||||
let a = this.read_scalar(a)?.to_u64()?;
|
|
||||||
let b = this.read_scalar(b)?.to_u64()?;
|
|
||||||
|
|
||||||
#[allow(clippy::arithmetic_side_effects)]
|
|
||||||
// adding two u64 and a u8 cannot wrap in a u128
|
|
||||||
let wide_sum = u128::from(c_in) + u128::from(a) + u128::from(b);
|
|
||||||
#[allow(clippy::arithmetic_side_effects)] // it's a u128, we can shift by 64
|
|
||||||
let (c_out, sum) = ((wide_sum >> 64).truncate::<u8>(), wide_sum.truncate::<u64>());
|
|
||||||
|
|
||||||
let c_out_field = this.project_field(dest, 0)?;
|
|
||||||
this.write_scalar(Scalar::from_u8(c_out), &c_out_field)?;
|
|
||||||
let sum_field = this.project_field(dest, 1)?;
|
|
||||||
this.write_scalar(Scalar::from_u64(sum), &sum_field)?;
|
|
||||||
}
|
|
||||||
"llvm.x86.sse2.pause"
|
|
||||||
if this.tcx.sess.target.arch == "x86" || this.tcx.sess.target.arch == "x86_64" =>
|
|
||||||
{
|
|
||||||
let [] = this.check_shim(abi, Abi::C { unwind: false }, link_name, args)?;
|
|
||||||
this.yield_active_thread();
|
|
||||||
}
|
|
||||||
"llvm.aarch64.isb" if this.tcx.sess.target.arch == "aarch64" => {
|
"llvm.aarch64.isb" if this.tcx.sess.target.arch == "aarch64" => {
|
||||||
let [arg] = this.check_shim(abi, Abi::Unadjusted, link_name, args)?;
|
let [arg] = this.check_shim(abi, Abi::Unadjusted, link_name, args)?;
|
||||||
let arg = this.read_scalar(arg)?.to_i32()?;
|
let arg = this.read_scalar(arg)?.to_i32()?;
|
||||||
@ -1032,13 +1009,34 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
name if name.starts_with("llvm.x86.sse.") => {
|
// Used to implement the x86 `_mm{,256,512}_popcnt_epi{8,16,32,64}` and wasm
|
||||||
return shims::x86::sse::EvalContextExt::emulate_x86_sse_intrinsic(
|
// `{i,u}8x16_popcnt` functions.
|
||||||
this, link_name, abi, args, dest,
|
name if name.starts_with("llvm.ctpop.v") => {
|
||||||
);
|
let [op] = this.check_shim(abi, Abi::C { unwind: false }, link_name, args)?;
|
||||||
|
|
||||||
|
let (op, op_len) = this.operand_to_simd(op)?;
|
||||||
|
let (dest, dest_len) = this.place_to_simd(dest)?;
|
||||||
|
|
||||||
|
assert_eq!(dest_len, op_len);
|
||||||
|
|
||||||
|
for i in 0..dest_len {
|
||||||
|
let op = this.read_immediate(&this.project_index(&op, i)?)?;
|
||||||
|
// Use `to_uint` to get a zero-extended `u128`. Those
|
||||||
|
// extra zeros will not affect `count_ones`.
|
||||||
|
let res = op.to_scalar().to_uint(op.layout.size)?.count_ones();
|
||||||
|
|
||||||
|
this.write_scalar(
|
||||||
|
Scalar::from_uint(res, op.layout.size),
|
||||||
|
&this.project_index(&dest, i)?,
|
||||||
|
)?;
|
||||||
|
}
|
||||||
}
|
}
|
||||||
name if name.starts_with("llvm.x86.sse2.") => {
|
|
||||||
return shims::x86::sse2::EvalContextExt::emulate_x86_sse2_intrinsic(
|
name if name.starts_with("llvm.x86.")
|
||||||
|
&& (this.tcx.sess.target.arch == "x86"
|
||||||
|
|| this.tcx.sess.target.arch == "x86_64") =>
|
||||||
|
{
|
||||||
|
return shims::x86::EvalContextExt::emulate_x86_intrinsic(
|
||||||
this, link_name, abi, args, dest,
|
this, link_name, abi, args, dest,
|
||||||
);
|
);
|
||||||
}
|
}
|
||||||
|
|||||||
@ -458,7 +458,6 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
|
|||||||
dest.layout.ty
|
dest.layout.ty
|
||||||
)
|
)
|
||||||
})?
|
})?
|
||||||
.into()
|
|
||||||
}
|
}
|
||||||
(ty::Float(FloatTy::F64), ty::Int(_) | ty::Uint(_)) if unsafe_cast => {
|
(ty::Float(FloatTy::F64), ty::Int(_) | ty::Uint(_)) if unsafe_cast => {
|
||||||
let f = op.to_scalar().to_f64()?;
|
let f = op.to_scalar().to_f64()?;
|
||||||
@ -469,7 +468,6 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
|
|||||||
dest.layout.ty
|
dest.layout.ty
|
||||||
)
|
)
|
||||||
})?
|
})?
|
||||||
.into()
|
|
||||||
}
|
}
|
||||||
// Ptr-to-ptr cast
|
// Ptr-to-ptr cast
|
||||||
(ty::RawPtr(..), ty::RawPtr(..)) if ptr_cast =>
|
(ty::RawPtr(..), ty::RawPtr(..)) if ptr_cast =>
|
||||||
|
|||||||
@ -1,11 +1,98 @@
|
|||||||
use rustc_middle::mir;
|
use rustc_middle::mir;
|
||||||
|
use rustc_span::Symbol;
|
||||||
use rustc_target::abi::Size;
|
use rustc_target::abi::Size;
|
||||||
|
use rustc_target::spec::abi::Abi;
|
||||||
|
|
||||||
use crate::*;
|
use crate::*;
|
||||||
use helpers::bool_to_simd_element;
|
use helpers::bool_to_simd_element;
|
||||||
|
use shims::foreign_items::EmulateByNameResult;
|
||||||
|
|
||||||
pub(super) mod sse;
|
mod sse;
|
||||||
pub(super) mod sse2;
|
mod sse2;
|
||||||
|
|
||||||
|
impl<'mir, 'tcx: 'mir> EvalContextExt<'mir, 'tcx> for crate::MiriInterpCx<'mir, 'tcx> {}
|
||||||
|
pub(super) trait EvalContextExt<'mir, 'tcx: 'mir>:
|
||||||
|
crate::MiriInterpCxExt<'mir, 'tcx>
|
||||||
|
{
|
||||||
|
fn emulate_x86_intrinsic(
|
||||||
|
&mut self,
|
||||||
|
link_name: Symbol,
|
||||||
|
abi: Abi,
|
||||||
|
args: &[OpTy<'tcx, Provenance>],
|
||||||
|
dest: &PlaceTy<'tcx, Provenance>,
|
||||||
|
) -> InterpResult<'tcx, EmulateByNameResult<'mir, 'tcx>> {
|
||||||
|
let this = self.eval_context_mut();
|
||||||
|
// Prefix should have already been checked.
|
||||||
|
let unprefixed_name = link_name.as_str().strip_prefix("llvm.x86.").unwrap();
|
||||||
|
match unprefixed_name {
|
||||||
|
// Used to implement the `_addcarry_u32` and `_addcarry_u64` functions.
|
||||||
|
// Computes a + b with input and output carry. The input carry is an 8-bit
|
||||||
|
// value, which is interpreted as 1 if it is non-zero. The output carry is
|
||||||
|
// an 8-bit value that will be 0 or 1.
|
||||||
|
// https://www.intel.com/content/www/us/en/docs/cpp-compiler/developer-guide-reference/2021-8/addcarry-u32-addcarry-u64.html
|
||||||
|
"addcarry.32" | "addcarry.64" => {
|
||||||
|
if unprefixed_name == "addcarry.64" && this.tcx.sess.target.arch != "x86_64" {
|
||||||
|
return Ok(EmulateByNameResult::NotSupported);
|
||||||
|
}
|
||||||
|
|
||||||
|
let [c_in, a, b] = this.check_shim(abi, Abi::Unadjusted, link_name, args)?;
|
||||||
|
let c_in = this.read_scalar(c_in)?.to_u8()? != 0;
|
||||||
|
let a = this.read_immediate(a)?;
|
||||||
|
let b = this.read_immediate(b)?;
|
||||||
|
|
||||||
|
let (sum, overflow1) = this.overflowing_binary_op(mir::BinOp::Add, &a, &b)?;
|
||||||
|
let (sum, overflow2) = this.overflowing_binary_op(
|
||||||
|
mir::BinOp::Add,
|
||||||
|
&sum,
|
||||||
|
&ImmTy::from_uint(c_in, a.layout),
|
||||||
|
)?;
|
||||||
|
let c_out = overflow1 | overflow2;
|
||||||
|
|
||||||
|
this.write_scalar(Scalar::from_u8(c_out.into()), &this.project_field(dest, 0)?)?;
|
||||||
|
this.write_immediate(*sum, &this.project_field(dest, 1)?)?;
|
||||||
|
}
|
||||||
|
// Used to implement the `_subborrow_u32` and `_subborrow_u64` functions.
|
||||||
|
// Computes a - b with input and output borrow. The input borrow is an 8-bit
|
||||||
|
// value, which is interpreted as 1 if it is non-zero. The output borrow is
|
||||||
|
// an 8-bit value that will be 0 or 1.
|
||||||
|
// https://www.intel.com/content/www/us/en/docs/cpp-compiler/developer-guide-reference/2021-8/subborrow-u32-subborrow-u64.html
|
||||||
|
"subborrow.32" | "subborrow.64" => {
|
||||||
|
if unprefixed_name == "subborrow.64" && this.tcx.sess.target.arch != "x86_64" {
|
||||||
|
return Ok(EmulateByNameResult::NotSupported);
|
||||||
|
}
|
||||||
|
|
||||||
|
let [b_in, a, b] = this.check_shim(abi, Abi::Unadjusted, link_name, args)?;
|
||||||
|
let b_in = this.read_scalar(b_in)?.to_u8()? != 0;
|
||||||
|
let a = this.read_immediate(a)?;
|
||||||
|
let b = this.read_immediate(b)?;
|
||||||
|
|
||||||
|
let (sub, overflow1) = this.overflowing_binary_op(mir::BinOp::Sub, &a, &b)?;
|
||||||
|
let (sub, overflow2) = this.overflowing_binary_op(
|
||||||
|
mir::BinOp::Sub,
|
||||||
|
&sub,
|
||||||
|
&ImmTy::from_uint(b_in, a.layout),
|
||||||
|
)?;
|
||||||
|
let b_out = overflow1 | overflow2;
|
||||||
|
|
||||||
|
this.write_scalar(Scalar::from_u8(b_out.into()), &this.project_field(dest, 0)?)?;
|
||||||
|
this.write_immediate(*sub, &this.project_field(dest, 1)?)?;
|
||||||
|
}
|
||||||
|
|
||||||
|
name if name.starts_with("sse.") => {
|
||||||
|
return sse::EvalContextExt::emulate_x86_sse_intrinsic(
|
||||||
|
this, link_name, abi, args, dest,
|
||||||
|
);
|
||||||
|
}
|
||||||
|
name if name.starts_with("sse2.") => {
|
||||||
|
return sse2::EvalContextExt::emulate_x86_sse2_intrinsic(
|
||||||
|
this, link_name, abi, args, dest,
|
||||||
|
);
|
||||||
|
}
|
||||||
|
_ => return Ok(EmulateByNameResult::NotSupported),
|
||||||
|
}
|
||||||
|
Ok(EmulateByNameResult::NeedsJumping)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
/// Floating point comparison operation
|
/// Floating point comparison operation
|
||||||
///
|
///
|
||||||
|
|||||||
@ -10,7 +10,9 @@ use crate::*;
|
|||||||
use shims::foreign_items::EmulateByNameResult;
|
use shims::foreign_items::EmulateByNameResult;
|
||||||
|
|
||||||
impl<'mir, 'tcx: 'mir> EvalContextExt<'mir, 'tcx> for crate::MiriInterpCx<'mir, 'tcx> {}
|
impl<'mir, 'tcx: 'mir> EvalContextExt<'mir, 'tcx> for crate::MiriInterpCx<'mir, 'tcx> {}
|
||||||
pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
|
pub(super) trait EvalContextExt<'mir, 'tcx: 'mir>:
|
||||||
|
crate::MiriInterpCxExt<'mir, 'tcx>
|
||||||
|
{
|
||||||
fn emulate_x86_sse_intrinsic(
|
fn emulate_x86_sse_intrinsic(
|
||||||
&mut self,
|
&mut self,
|
||||||
link_name: Symbol,
|
link_name: Symbol,
|
||||||
|
|||||||
@ -13,7 +13,9 @@ use crate::*;
|
|||||||
use shims::foreign_items::EmulateByNameResult;
|
use shims::foreign_items::EmulateByNameResult;
|
||||||
|
|
||||||
impl<'mir, 'tcx: 'mir> EvalContextExt<'mir, 'tcx> for crate::MiriInterpCx<'mir, 'tcx> {}
|
impl<'mir, 'tcx: 'mir> EvalContextExt<'mir, 'tcx> for crate::MiriInterpCx<'mir, 'tcx> {}
|
||||||
pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
|
pub(super) trait EvalContextExt<'mir, 'tcx: 'mir>:
|
||||||
|
crate::MiriInterpCxExt<'mir, 'tcx>
|
||||||
|
{
|
||||||
fn emulate_x86_sse2_intrinsic(
|
fn emulate_x86_sse2_intrinsic(
|
||||||
&mut self,
|
&mut self,
|
||||||
link_name: Symbol,
|
link_name: Symbol,
|
||||||
@ -61,11 +63,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
|
|||||||
let right = this.int_to_int_or_float(&right, twice_wide)?;
|
let right = this.int_to_int_or_float(&right, twice_wide)?;
|
||||||
|
|
||||||
// Calculate left + right + 1
|
// Calculate left + right + 1
|
||||||
let added = this.wrapping_binary_op(
|
let added = this.wrapping_binary_op(mir::BinOp::Add, &left, &right)?;
|
||||||
mir::BinOp::Add,
|
|
||||||
&left,
|
|
||||||
&right,
|
|
||||||
)?;
|
|
||||||
let added = this.wrapping_binary_op(
|
let added = this.wrapping_binary_op(
|
||||||
mir::BinOp::Add,
|
mir::BinOp::Add,
|
||||||
&added,
|
&added,
|
||||||
@ -80,10 +78,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
|
|||||||
)?;
|
)?;
|
||||||
|
|
||||||
// Narrow back to the original type
|
// Narrow back to the original type
|
||||||
let res = this.int_to_int_or_float(
|
let res = this.int_to_int_or_float(÷d, dest.layout)?;
|
||||||
÷d,
|
|
||||||
dest.layout,
|
|
||||||
)?;
|
|
||||||
this.write_immediate(*res, &dest)?;
|
this.write_immediate(*res, &dest)?;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@ -110,11 +105,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
|
|||||||
let right = this.int_to_int_or_float(&right, twice_wide)?;
|
let right = this.int_to_int_or_float(&right, twice_wide)?;
|
||||||
|
|
||||||
// Multiply
|
// Multiply
|
||||||
let multiplied = this.wrapping_binary_op(
|
let multiplied = this.wrapping_binary_op(mir::BinOp::Mul, &left, &right)?;
|
||||||
mir::BinOp::Mul,
|
|
||||||
&left,
|
|
||||||
&right,
|
|
||||||
)?;
|
|
||||||
// Keep the high half
|
// Keep the high half
|
||||||
let high = this.wrapping_binary_op(
|
let high = this.wrapping_binary_op(
|
||||||
mir::BinOp::Shr,
|
mir::BinOp::Shr,
|
||||||
@ -123,10 +114,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
|
|||||||
)?;
|
)?;
|
||||||
|
|
||||||
// Narrow back to the original type
|
// Narrow back to the original type
|
||||||
let res = this.int_to_int_or_float(
|
let res = this.int_to_int_or_float(&high, dest.layout)?;
|
||||||
&high,
|
|
||||||
dest.layout,
|
|
||||||
)?;
|
|
||||||
this.write_immediate(*res, &dest)?;
|
this.write_immediate(*res, &dest)?;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@ -424,8 +412,8 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
|
|||||||
let right_res =
|
let right_res =
|
||||||
i8::try_from(right).unwrap_or(if right < 0 { i8::MIN } else { i8::MAX });
|
i8::try_from(right).unwrap_or(if right < 0 { i8::MIN } else { i8::MAX });
|
||||||
|
|
||||||
this.write_scalar(Scalar::from_i8(left_res.try_into().unwrap()), &left_dest)?;
|
this.write_scalar(Scalar::from_i8(left_res), &left_dest)?;
|
||||||
this.write_scalar(Scalar::from_i8(right_res.try_into().unwrap()), &right_dest)?;
|
this.write_scalar(Scalar::from_i8(right_res), &right_dest)?;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
// Used to implement the _mm_packus_epi16 function.
|
// Used to implement the _mm_packus_epi16 function.
|
||||||
@ -485,11 +473,8 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
|
|||||||
let right_res =
|
let right_res =
|
||||||
i16::try_from(right).unwrap_or(if right < 0 { i16::MIN } else { i16::MAX });
|
i16::try_from(right).unwrap_or(if right < 0 { i16::MIN } else { i16::MAX });
|
||||||
|
|
||||||
this.write_scalar(Scalar::from_i16(left_res.try_into().unwrap()), &left_dest)?;
|
this.write_scalar(Scalar::from_i16(left_res), &left_dest)?;
|
||||||
this.write_scalar(
|
this.write_scalar(Scalar::from_i16(right_res), &right_dest)?;
|
||||||
Scalar::from_i16(right_res.try_into().unwrap()),
|
|
||||||
&right_dest,
|
|
||||||
)?;
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
// Used to implement _mm_min_sd and _mm_max_sd functions.
|
// Used to implement _mm_min_sd and _mm_max_sd functions.
|
||||||
@ -770,6 +755,12 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
|
|||||||
|
|
||||||
this.write_scalar(Scalar::from_u32(res.try_into().unwrap()), dest)?;
|
this.write_scalar(Scalar::from_u32(res.try_into().unwrap()), dest)?;
|
||||||
}
|
}
|
||||||
|
// Used to implement the `_mm_pause` function.
|
||||||
|
// The intrinsic is used to hint the processor that the code is in a spin-loop.
|
||||||
|
"pause" => {
|
||||||
|
let [] = this.check_shim(abi, Abi::C { unwind: false }, link_name, args)?;
|
||||||
|
this.yield_active_thread();
|
||||||
|
}
|
||||||
_ => return Ok(EmulateByNameResult::NotSupported),
|
_ => return Ok(EmulateByNameResult::NotSupported),
|
||||||
}
|
}
|
||||||
Ok(EmulateByNameResult::NeedsJumping)
|
Ok(EmulateByNameResult::NeedsJumping)
|
||||||
|
|||||||
@ -1,3 +1,5 @@
|
|||||||
|
WARNING: the flag `-Zmiri-disable-abi-check` is deprecated and planned to be removed.
|
||||||
|
If you have a use-case for it, please file an issue.
|
||||||
thread '<unnamed>' panicked at $DIR/unwind_top_of_stack.rs:LL:CC:
|
thread '<unnamed>' panicked at $DIR/unwind_top_of_stack.rs:LL:CC:
|
||||||
explicit panic
|
explicit panic
|
||||||
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
|
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
|
||||||
|
|||||||
@ -1,3 +1,5 @@
|
|||||||
|
WARNING: the flag `-Zmiri-disable-abi-check` is deprecated and planned to be removed.
|
||||||
|
If you have a use-case for it, please file an issue.
|
||||||
thread 'main' panicked at $DIR/exported_symbol_bad_unwind1.rs:LL:CC:
|
thread 'main' panicked at $DIR/exported_symbol_bad_unwind1.rs:LL:CC:
|
||||||
explicit panic
|
explicit panic
|
||||||
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
|
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
|
||||||
|
|||||||
@ -1,3 +1,5 @@
|
|||||||
|
WARNING: the flag `-Zmiri-disable-abi-check` is deprecated and planned to be removed.
|
||||||
|
If you have a use-case for it, please file an issue.
|
||||||
error: Undefined Behavior: unwinding past a stack frame that does not allow unwinding
|
error: Undefined Behavior: unwinding past a stack frame that does not allow unwinding
|
||||||
--> $DIR/bad_miri_start_panic.rs:LL:CC
|
--> $DIR/bad_miri_start_panic.rs:LL:CC
|
||||||
|
|
|
|
||||||
|
|||||||
@ -16,14 +16,14 @@ LL | *y = 1;
|
|||||||
|
|
|
|
||||||
= help: this indicates a potential bug in the program: it performed an invalid operation, but the Tree Borrows rules it violated are still experimental
|
= help: this indicates a potential bug in the program: it performed an invalid operation, but the Tree Borrows rules it violated are still experimental
|
||||||
= help: the accessed tag <TAG> (y, callee:y, caller:y) is foreign to the protected tag <TAG> (callee:x) (i.e., it is not a child)
|
= help: the accessed tag <TAG> (y, callee:y, caller:y) is foreign to the protected tag <TAG> (callee:x) (i.e., it is not a child)
|
||||||
= help: this foreign write access would cause the protected tag <TAG> (callee:x) (currently Reserved) to become Disabled
|
= help: this foreign write access would cause the protected tag <TAG> (callee:x) (currently Reserved (interior mutable)) to become Disabled
|
||||||
= help: protected tags must never be Disabled
|
= help: protected tags must never be Disabled
|
||||||
help: the accessed tag <TAG> was created here
|
help: the accessed tag <TAG> was created here
|
||||||
--> $DIR/cell-protected-write.rs:LL:CC
|
--> $DIR/cell-protected-write.rs:LL:CC
|
||||||
|
|
|
|
||||||
LL | let y = (&mut *n).get();
|
LL | let y = (&mut *n).get();
|
||||||
| ^^^^^^^^^
|
| ^^^^^^^^^
|
||||||
help: the protected tag <TAG> was created here, in the initial state Reserved
|
help: the protected tag <TAG> was created here, in the initial state Reserved (interior mutable)
|
||||||
--> $DIR/cell-protected-write.rs:LL:CC
|
--> $DIR/cell-protected-write.rs:LL:CC
|
||||||
|
|
|
|
||||||
LL | unsafe fn write_second(x: &mut UnsafeCell<u8>, y: *mut u8) {
|
LL | unsafe fn write_second(x: &mut UnsafeCell<u8>, y: *mut u8) {
|
||||||
|
|||||||
@ -0,0 +1,2 @@
|
|||||||
|
WARNING: the flag `-Zmiri-disable-abi-check` is deprecated and planned to be removed.
|
||||||
|
If you have a use-case for it, please file an issue.
|
||||||
217
src/tools/miri/tests/pass/intrinsics-x86-avx512.rs
Normal file
217
src/tools/miri/tests/pass/intrinsics-x86-avx512.rs
Normal file
@ -0,0 +1,217 @@
|
|||||||
|
// Ignore everything except x86 and x86_64
|
||||||
|
// Any additional target are added to CI should be ignored here
|
||||||
|
// (We cannot use `cfg`-based tricks here since the `target-feature` flags below only work on x86.)
|
||||||
|
//@ignore-target-aarch64
|
||||||
|
//@ignore-target-arm
|
||||||
|
//@ignore-target-avr
|
||||||
|
//@ignore-target-s390x
|
||||||
|
//@ignore-target-thumbv7em
|
||||||
|
//@ignore-target-wasm32
|
||||||
|
//@compile-flags: -C target-feature=+avx512f,+avx512vl,+avx512bitalg,+avx512vpopcntdq
|
||||||
|
|
||||||
|
#![feature(avx512_target_feature)]
|
||||||
|
#![feature(stdsimd)]
|
||||||
|
|
||||||
|
#[cfg(target_arch = "x86")]
|
||||||
|
use std::arch::x86::*;
|
||||||
|
#[cfg(target_arch = "x86_64")]
|
||||||
|
use std::arch::x86_64::*;
|
||||||
|
use std::mem::transmute;
|
||||||
|
|
||||||
|
fn main() {
|
||||||
|
assert!(is_x86_feature_detected!("avx512f"));
|
||||||
|
assert!(is_x86_feature_detected!("avx512vl"));
|
||||||
|
assert!(is_x86_feature_detected!("avx512bitalg"));
|
||||||
|
assert!(is_x86_feature_detected!("avx512vpopcntdq"));
|
||||||
|
|
||||||
|
unsafe {
|
||||||
|
test_avx512bitalg();
|
||||||
|
test_avx512vpopcntdq();
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
// Some of the constants in the tests below are just bit patterns. They should not
|
||||||
|
// be interpreted as integers; signedness does not make sense for them, but
|
||||||
|
// __mXXXi happens to be defined in terms of signed integers.
|
||||||
|
#[allow(overflowing_literals)]
|
||||||
|
#[target_feature(enable = "avx512bitalg,avx512f,avx512vl")]
|
||||||
|
unsafe fn test_avx512bitalg() {
|
||||||
|
// Mostly copied from library/stdarch/crates/core_arch/src/x86/avx512bitalg.rs
|
||||||
|
|
||||||
|
#[target_feature(enable = "avx512bitalg,avx512f")]
|
||||||
|
unsafe fn test_mm512_popcnt_epi16() {
|
||||||
|
let test_data = _mm512_set_epi16(
|
||||||
|
0, 1, 3, 7, 0xF, 0x1F, 0x3F, 0x7F, 0xFF, 0x1_FF, 0x3_FF, 0x7_FF, 0xF_FF, 0x1F_FF,
|
||||||
|
0x3F_FF, 0x7F_FF, 0xFF_FF, -1, -100, 255, 256, 2, 4, 8, 16, 32, 64, 128, 256, 512,
|
||||||
|
1024, 2048,
|
||||||
|
);
|
||||||
|
let actual_result = _mm512_popcnt_epi16(test_data);
|
||||||
|
let reference_result = _mm512_set_epi16(
|
||||||
|
0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 16, 12, 8, 1, 1, 1, 1, 1, 1,
|
||||||
|
1, 1, 1, 1, 1, 1,
|
||||||
|
);
|
||||||
|
assert_eq_m512i(actual_result, reference_result);
|
||||||
|
}
|
||||||
|
test_mm512_popcnt_epi16();
|
||||||
|
|
||||||
|
#[target_feature(enable = "avx512bitalg,avx512f,avx512vl")]
|
||||||
|
unsafe fn test_mm256_popcnt_epi16() {
|
||||||
|
let test_data = _mm256_set_epi16(
|
||||||
|
0, 1, 3, 7, 0xF, 0x1F, 0x3F, 0x7F, 0xFF, 0x1_FF, 0x3_FF, 0x7_FF, 0xF_FF, 0x1F_FF,
|
||||||
|
0x3F_FF, 0x7F_FF,
|
||||||
|
);
|
||||||
|
let actual_result = _mm256_popcnt_epi16(test_data);
|
||||||
|
let reference_result =
|
||||||
|
_mm256_set_epi16(0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15);
|
||||||
|
assert_eq_m256i(actual_result, reference_result);
|
||||||
|
}
|
||||||
|
test_mm256_popcnt_epi16();
|
||||||
|
|
||||||
|
#[target_feature(enable = "avx512bitalg,avx512f,avx512vl")]
|
||||||
|
unsafe fn test_mm_popcnt_epi16() {
|
||||||
|
let test_data = _mm_set_epi16(0, 1, 3, 7, 0xF, 0x1F, 0x3F, 0x7F);
|
||||||
|
let actual_result = _mm_popcnt_epi16(test_data);
|
||||||
|
let reference_result = _mm_set_epi16(0, 1, 2, 3, 4, 5, 6, 7);
|
||||||
|
assert_eq_m128i(actual_result, reference_result);
|
||||||
|
}
|
||||||
|
test_mm_popcnt_epi16();
|
||||||
|
|
||||||
|
#[target_feature(enable = "avx512bitalg,avx512f")]
|
||||||
|
unsafe fn test_mm512_popcnt_epi8() {
|
||||||
|
let test_data = _mm512_set_epi8(
|
||||||
|
0, 1, 3, 7, 0xF, 0x1F, 0x3F, 0x7F, 0xFF, -1, 2, 4, 8, 16, 32, 64, 128, 171, 206, 100,
|
||||||
|
217, 109, 253, 190, 177, 254, 179, 215, 230, 68, 201, 172, 183, 154, 84, 56, 227, 189,
|
||||||
|
140, 35, 117, 219, 169, 226, 170, 13, 22, 159, 251, 73, 121, 143, 145, 85, 91, 137, 90,
|
||||||
|
225, 21, 249, 211, 155, 228, 70,
|
||||||
|
);
|
||||||
|
let actual_result = _mm512_popcnt_epi8(test_data);
|
||||||
|
let reference_result = _mm512_set_epi8(
|
||||||
|
0, 1, 2, 3, 4, 5, 6, 7, 8, 8, 1, 1, 1, 1, 1, 1, 1, 5, 5, 3, 5, 5, 7, 6, 4, 7, 5, 6, 5,
|
||||||
|
2, 4, 4, 6, 4, 3, 3, 5, 6, 3, 3, 5, 6, 4, 4, 4, 3, 3, 6, 7, 3, 5, 5, 3, 4, 5, 3, 4, 4,
|
||||||
|
3, 6, 5, 5, 4, 3,
|
||||||
|
);
|
||||||
|
assert_eq_m512i(actual_result, reference_result);
|
||||||
|
}
|
||||||
|
test_mm512_popcnt_epi8();
|
||||||
|
|
||||||
|
#[target_feature(enable = "avx512bitalg,avx512f,avx512vl")]
|
||||||
|
unsafe fn test_mm256_popcnt_epi8() {
|
||||||
|
let test_data = _mm256_set_epi8(
|
||||||
|
0, 1, 3, 7, 0xF, 0x1F, 0x3F, 0x7F, 0xFF, -1, 2, 4, 8, 16, 32, 64, 128, 171, 206, 100,
|
||||||
|
217, 109, 253, 190, 177, 254, 179, 215, 230, 68, 201, 172,
|
||||||
|
);
|
||||||
|
let actual_result = _mm256_popcnt_epi8(test_data);
|
||||||
|
let reference_result = _mm256_set_epi8(
|
||||||
|
0, 1, 2, 3, 4, 5, 6, 7, 8, 8, 1, 1, 1, 1, 1, 1, 1, 5, 5, 3, 5, 5, 7, 6, 4, 7, 5, 6, 5,
|
||||||
|
2, 4, 4,
|
||||||
|
);
|
||||||
|
assert_eq_m256i(actual_result, reference_result);
|
||||||
|
}
|
||||||
|
test_mm256_popcnt_epi8();
|
||||||
|
|
||||||
|
#[target_feature(enable = "avx512bitalg,avx512f,avx512vl")]
|
||||||
|
unsafe fn test_mm_popcnt_epi8() {
|
||||||
|
let test_data =
|
||||||
|
_mm_set_epi8(0, 1, 3, 7, 0xF, 0x1F, 0x3F, 0x7F, 0xFF, -1, 2, 4, 8, 16, 32, 64);
|
||||||
|
let actual_result = _mm_popcnt_epi8(test_data);
|
||||||
|
let reference_result = _mm_set_epi8(0, 1, 2, 3, 4, 5, 6, 7, 8, 8, 1, 1, 1, 1, 1, 1);
|
||||||
|
assert_eq_m128i(actual_result, reference_result);
|
||||||
|
}
|
||||||
|
test_mm_popcnt_epi8();
|
||||||
|
}
|
||||||
|
|
||||||
|
#[target_feature(enable = "avx512vpopcntdq,avx512f,avx512vl")]
|
||||||
|
unsafe fn test_avx512vpopcntdq() {
|
||||||
|
// Mostly copied from library/stdarch/crates/core_arch/src/x86/avx512vpopcntdq.rs
|
||||||
|
|
||||||
|
#[target_feature(enable = "avx512vpopcntdq,avx512f")]
|
||||||
|
unsafe fn test_mm512_popcnt_epi32() {
|
||||||
|
let test_data = _mm512_set_epi32(
|
||||||
|
0,
|
||||||
|
1,
|
||||||
|
-1,
|
||||||
|
2,
|
||||||
|
7,
|
||||||
|
0xFF_FE,
|
||||||
|
0x7F_FF_FF_FF,
|
||||||
|
-100,
|
||||||
|
0x40_00_00_00,
|
||||||
|
103,
|
||||||
|
371,
|
||||||
|
552,
|
||||||
|
432_948,
|
||||||
|
818_826_998,
|
||||||
|
255,
|
||||||
|
256,
|
||||||
|
);
|
||||||
|
let actual_result = _mm512_popcnt_epi32(test_data);
|
||||||
|
let reference_result =
|
||||||
|
_mm512_set_epi32(0, 1, 32, 1, 3, 15, 31, 28, 1, 5, 6, 3, 10, 17, 8, 1);
|
||||||
|
assert_eq_m512i(actual_result, reference_result);
|
||||||
|
}
|
||||||
|
test_mm512_popcnt_epi32();
|
||||||
|
|
||||||
|
#[target_feature(enable = "avx512vpopcntdq,avx512f,avx512vl")]
|
||||||
|
unsafe fn test_mm256_popcnt_epi32() {
|
||||||
|
let test_data = _mm256_set_epi32(0, 1, -1, 2, 7, 0xFF_FE, 0x7F_FF_FF_FF, -100);
|
||||||
|
let actual_result = _mm256_popcnt_epi32(test_data);
|
||||||
|
let reference_result = _mm256_set_epi32(0, 1, 32, 1, 3, 15, 31, 28);
|
||||||
|
assert_eq_m256i(actual_result, reference_result);
|
||||||
|
}
|
||||||
|
test_mm256_popcnt_epi32();
|
||||||
|
|
||||||
|
#[target_feature(enable = "avx512vpopcntdq,avx512f,avx512vl")]
|
||||||
|
unsafe fn test_mm_popcnt_epi32() {
|
||||||
|
let test_data = _mm_set_epi32(0, 1, -1, -100);
|
||||||
|
let actual_result = _mm_popcnt_epi32(test_data);
|
||||||
|
let reference_result = _mm_set_epi32(0, 1, 32, 28);
|
||||||
|
assert_eq_m128i(actual_result, reference_result);
|
||||||
|
}
|
||||||
|
test_mm_popcnt_epi32();
|
||||||
|
|
||||||
|
#[target_feature(enable = "avx512vpopcntdq,avx512f")]
|
||||||
|
unsafe fn test_mm512_popcnt_epi64() {
|
||||||
|
let test_data = _mm512_set_epi64(0, 1, -1, 2, 7, 0xFF_FE, 0x7F_FF_FF_FF_FF_FF_FF_FF, -100);
|
||||||
|
let actual_result = _mm512_popcnt_epi64(test_data);
|
||||||
|
let reference_result = _mm512_set_epi64(0, 1, 64, 1, 3, 15, 63, 60);
|
||||||
|
assert_eq_m512i(actual_result, reference_result);
|
||||||
|
}
|
||||||
|
test_mm512_popcnt_epi64();
|
||||||
|
|
||||||
|
#[target_feature(enable = "avx512vpopcntdq,avx512vl")]
|
||||||
|
unsafe fn test_mm256_popcnt_epi64() {
|
||||||
|
let test_data = _mm256_set_epi64x(0, 1, -1, -100);
|
||||||
|
let actual_result = _mm256_popcnt_epi64(test_data);
|
||||||
|
let reference_result = _mm256_set_epi64x(0, 1, 64, 60);
|
||||||
|
assert_eq_m256i(actual_result, reference_result);
|
||||||
|
}
|
||||||
|
test_mm256_popcnt_epi64();
|
||||||
|
|
||||||
|
#[target_feature(enable = "avx512vpopcntdq,avx512vl")]
|
||||||
|
unsafe fn test_mm_popcnt_epi64() {
|
||||||
|
let test_data = _mm_set_epi64x(0, 1);
|
||||||
|
let actual_result = _mm_popcnt_epi64(test_data);
|
||||||
|
let reference_result = _mm_set_epi64x(0, 1);
|
||||||
|
assert_eq_m128i(actual_result, reference_result);
|
||||||
|
let test_data = _mm_set_epi64x(-1, -100);
|
||||||
|
let actual_result = _mm_popcnt_epi64(test_data);
|
||||||
|
let reference_result = _mm_set_epi64x(64, 60);
|
||||||
|
assert_eq_m128i(actual_result, reference_result);
|
||||||
|
}
|
||||||
|
test_mm_popcnt_epi64();
|
||||||
|
}
|
||||||
|
|
||||||
|
#[track_caller]
|
||||||
|
unsafe fn assert_eq_m512i(a: __m512i, b: __m512i) {
|
||||||
|
assert_eq!(transmute::<_, [i32; 16]>(a), transmute::<_, [i32; 16]>(b))
|
||||||
|
}
|
||||||
|
|
||||||
|
#[track_caller]
|
||||||
|
unsafe fn assert_eq_m256i(a: __m256i, b: __m256i) {
|
||||||
|
assert_eq!(transmute::<_, [u64; 4]>(a), transmute::<_, [u64; 4]>(b))
|
||||||
|
}
|
||||||
|
|
||||||
|
#[track_caller]
|
||||||
|
unsafe fn assert_eq_m128i(a: __m128i, b: __m128i) {
|
||||||
|
assert_eq!(transmute::<_, [u64; 2]>(a), transmute::<_, [u64; 2]>(b))
|
||||||
|
}
|
||||||
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
@ -1,3 +1,51 @@
|
|||||||
|
#[cfg(any(target_arch = "x86", target_arch = "x86_64"))]
|
||||||
|
mod x86 {
|
||||||
|
#[cfg(target_arch = "x86")]
|
||||||
|
use core::arch::x86 as arch;
|
||||||
|
#[cfg(target_arch = "x86_64")]
|
||||||
|
use core::arch::x86_64 as arch;
|
||||||
|
|
||||||
|
fn adc(c_in: u8, a: u32, b: u32) -> (u8, u32) {
|
||||||
|
let mut sum = 0;
|
||||||
|
// SAFETY: There are no safety requirements for calling `_addcarry_u32`.
|
||||||
|
// It's just unsafe for API consistency with other intrinsics.
|
||||||
|
let c_out = unsafe { arch::_addcarry_u32(c_in, a, b, &mut sum) };
|
||||||
|
(c_out, sum)
|
||||||
|
}
|
||||||
|
|
||||||
|
fn sbb(b_in: u8, a: u32, b: u32) -> (u8, u32) {
|
||||||
|
let mut sum = 0;
|
||||||
|
// SAFETY: There are no safety requirements for calling `_subborrow_u32`.
|
||||||
|
// It's just unsafe for API consistency with other intrinsics.
|
||||||
|
let b_out = unsafe { arch::_subborrow_u32(b_in, a, b, &mut sum) };
|
||||||
|
(b_out, sum)
|
||||||
|
}
|
||||||
|
|
||||||
|
pub fn main() {
|
||||||
|
assert_eq!(adc(0, 1, 1), (0, 2));
|
||||||
|
assert_eq!(adc(1, 1, 1), (0, 3));
|
||||||
|
assert_eq!(adc(2, 1, 1), (0, 3)); // any non-zero carry acts as 1!
|
||||||
|
assert_eq!(adc(u8::MAX, 1, 1), (0, 3));
|
||||||
|
assert_eq!(adc(0, u32::MAX, u32::MAX), (1, u32::MAX - 1));
|
||||||
|
assert_eq!(adc(1, u32::MAX, u32::MAX), (1, u32::MAX));
|
||||||
|
assert_eq!(adc(2, u32::MAX, u32::MAX), (1, u32::MAX));
|
||||||
|
assert_eq!(adc(u8::MAX, u32::MAX, u32::MAX), (1, u32::MAX));
|
||||||
|
|
||||||
|
assert_eq!(sbb(0, 1, 1), (0, 0));
|
||||||
|
assert_eq!(sbb(1, 1, 1), (1, u32::MAX));
|
||||||
|
assert_eq!(sbb(2, 1, 1), (1, u32::MAX)); // any non-zero borrow acts as 1!
|
||||||
|
assert_eq!(sbb(u8::MAX, 1, 1), (1, u32::MAX));
|
||||||
|
assert_eq!(sbb(0, 2, 1), (0, 1));
|
||||||
|
assert_eq!(sbb(1, 2, 1), (0, 0));
|
||||||
|
assert_eq!(sbb(2, 2, 1), (0, 0));
|
||||||
|
assert_eq!(sbb(u8::MAX, 2, 1), (0, 0));
|
||||||
|
assert_eq!(sbb(0, 1, 2), (1, u32::MAX));
|
||||||
|
assert_eq!(sbb(1, 1, 2), (1, u32::MAX - 1));
|
||||||
|
assert_eq!(sbb(2, 1, 2), (1, u32::MAX - 1));
|
||||||
|
assert_eq!(sbb(u8::MAX, 1, 2), (1, u32::MAX - 1));
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
#[cfg(target_arch = "x86_64")]
|
#[cfg(target_arch = "x86_64")]
|
||||||
mod x86_64 {
|
mod x86_64 {
|
||||||
use core::arch::x86_64 as arch;
|
use core::arch::x86_64 as arch;
|
||||||
@ -10,13 +58,42 @@ mod x86_64 {
|
|||||||
(c_out, sum)
|
(c_out, sum)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
fn sbb(b_in: u8, a: u64, b: u64) -> (u8, u64) {
|
||||||
|
let mut sum = 0;
|
||||||
|
// SAFETY: There are no safety requirements for calling `_subborrow_u64`.
|
||||||
|
// It's just unsafe for API consistency with other intrinsics.
|
||||||
|
let b_out = unsafe { arch::_subborrow_u64(b_in, a, b, &mut sum) };
|
||||||
|
(b_out, sum)
|
||||||
|
}
|
||||||
|
|
||||||
pub fn main() {
|
pub fn main() {
|
||||||
|
assert_eq!(adc(0, 1, 1), (0, 2));
|
||||||
assert_eq!(adc(1, 1, 1), (0, 3));
|
assert_eq!(adc(1, 1, 1), (0, 3));
|
||||||
assert_eq!(adc(3, u64::MAX, u64::MAX), (2, 1));
|
assert_eq!(adc(2, 1, 1), (0, 3)); // any non-zero carry acts as 1!
|
||||||
|
assert_eq!(adc(u8::MAX, 1, 1), (0, 3));
|
||||||
|
assert_eq!(adc(0, u64::MAX, u64::MAX), (1, u64::MAX - 1));
|
||||||
|
assert_eq!(adc(1, u64::MAX, u64::MAX), (1, u64::MAX));
|
||||||
|
assert_eq!(adc(2, u64::MAX, u64::MAX), (1, u64::MAX));
|
||||||
|
assert_eq!(adc(u8::MAX, u64::MAX, u64::MAX), (1, u64::MAX));
|
||||||
|
|
||||||
|
assert_eq!(sbb(0, 1, 1), (0, 0));
|
||||||
|
assert_eq!(sbb(1, 1, 1), (1, u64::MAX));
|
||||||
|
assert_eq!(sbb(2, 1, 1), (1, u64::MAX)); // any non-zero borrow acts as 1!
|
||||||
|
assert_eq!(sbb(u8::MAX, 1, 1), (1, u64::MAX));
|
||||||
|
assert_eq!(sbb(0, 2, 1), (0, 1));
|
||||||
|
assert_eq!(sbb(1, 2, 1), (0, 0));
|
||||||
|
assert_eq!(sbb(2, 2, 1), (0, 0));
|
||||||
|
assert_eq!(sbb(u8::MAX, 2, 1), (0, 0));
|
||||||
|
assert_eq!(sbb(0, 1, 2), (1, u64::MAX));
|
||||||
|
assert_eq!(sbb(1, 1, 2), (1, u64::MAX - 1));
|
||||||
|
assert_eq!(sbb(2, 1, 2), (1, u64::MAX - 1));
|
||||||
|
assert_eq!(sbb(u8::MAX, 1, 2), (1, u64::MAX - 1));
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
fn main() {
|
fn main() {
|
||||||
|
#[cfg(any(target_arch = "x86", target_arch = "x86_64"))]
|
||||||
|
x86::main();
|
||||||
#[cfg(target_arch = "x86_64")]
|
#[cfg(target_arch = "x86_64")]
|
||||||
x86_64::main();
|
x86_64::main();
|
||||||
}
|
}
|
||||||
|
|||||||
@ -10,5 +10,6 @@ allow-unauthenticated = [
|
|||||||
# Gives us the commands 'ready', 'author', 'blocked'
|
# Gives us the commands 'ready', 'author', 'blocked'
|
||||||
[shortcut]
|
[shortcut]
|
||||||
|
|
||||||
[no-merges]
|
# disabled until https://github.com/rust-lang/triagebot/pull/1720 lands
|
||||||
exclude_labels = ["rollup", "subtree-sync"]
|
#[no-merges]
|
||||||
|
#exclude_titles = ["Rollup of", "sync from rustc"]
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user