mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Bless tests

Browse Source
This commit is contained in:
Caleb Zulawski 2024-07-31 01:50:02 -04:00
parent 34f29a24bb
commit 3c48f6548b
3 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/tools/miri/tests/fail/function_calls/simd_feature_flag_difference.stderr
View File

@ -1,8 +1,8 @@
error: Undefined Behavior: calling a function that requires unavailable target features: avx
error: Undefined Behavior: calling a function that requires unavailable target features: avx, sse3, sse4.1, sse4.2, ssse3
--> $DIR/simd_feature_flag_difference.rs:LL:CC
|
LL | unsafe { foo(0.0, x) }
| ^^^^^^^^^^^ calling a function that requires unavailable target features: avx
| ^^^^^^^^^^^ calling a function that requires unavailable target features: avx, sse3, sse4.1, sse4.2, ssse3
|
= help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior
= help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information

2
src/tools/miri/tests/fail/function_calls/target_feature.rs
View File

@ -4,7 +4,7 @@
fn main() {
assert!(!is_x86_feature_detected!("ssse3"));
unsafe {
ssse3_fn(); //~ ERROR: calling a function that requires unavailable target features: ssse3
ssse3_fn(); //~ ERROR: calling a function that requires unavailable target features: sse3, ssse3
}
}

4
src/tools/miri/tests/fail/function_calls/target_feature.stderr
View File

@ -1,8 +1,8 @@
error: Undefined Behavior: calling a function that requires unavailable target features: ssse3
error: Undefined Behavior: calling a function that requires unavailable target features: sse3, ssse3
--> $DIR/target_feature.rs:LL:CC
|
LL | ssse3_fn();
| ^^^^^^^^^^ calling a function that requires unavailable target features: ssse3
| ^^^^^^^^^^ calling a function that requires unavailable target features: sse3, ssse3
|
= help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior
= help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information