diff options
Diffstat (limited to 'vendor/cpufeatures/src/miri.rs')
-rw-r--r-- | vendor/cpufeatures/src/miri.rs | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/vendor/cpufeatures/src/miri.rs b/vendor/cpufeatures/src/miri.rs new file mode 100644 index 000000000..8dff21c13 --- /dev/null +++ b/vendor/cpufeatures/src/miri.rs @@ -0,0 +1,20 @@ +//! Minimal miri support. +//! +//! Miri is an interpreter, and though it tries to emulate the target CPU +//! it does not support any target features. + +#[macro_export] +#[doc(hidden)] +macro_rules! __unless_target_features { + ($($tf:tt),+ => $body:expr ) => { + false + }; +} + +#[macro_export] +#[doc(hidden)] +macro_rules! __detect_target_features { + ($($tf:tt),+) => { + false + }; +} |