File tree Expand file tree Collapse file tree 2 files changed +13
-2
lines changed
tests/pass/function_calls Expand file tree Collapse file tree 2 files changed +13
-2
lines changed Original file line number Diff line number Diff line change @@ -110,8 +110,8 @@ case $HOST_TARGET in
110110 MIRI_TEST_TARGET=i686-pc-windows-gnu run_tests
111111 MIRI_TEST_TARGET=x86_64-unknown-freebsd run_tests_minimal hello integer vec panic/panic concurrency/simple atomic data_race env/var
112112 MIRI_TEST_TARGET=aarch64-linux-android run_tests_minimal hello integer vec panic/panic
113- MIRI_TEST_TARGET=wasm32-wasi run_tests_minimal no_std integer strings
114- MIRI_TEST_TARGET=wasm32-unknown-unknown run_tests_minimal no_std integer strings
113+ MIRI_TEST_TARGET=wasm32-wasi run_tests_minimal no_std integer strings wasm
114+ MIRI_TEST_TARGET=wasm32-unknown-unknown run_tests_minimal no_std integer strings wasm
115115 MIRI_TEST_TARGET=thumbv7em-none-eabihf run_tests_minimal no_std # no_std embedded architecture
116116 MIRI_TEST_TARGET=tests/avr.json MIRI_NO_STD=1 run_tests_minimal no_std # JSON target file
117117 ;;
Original file line number Diff line number Diff line change 1+ //@only-target-wasm32: tests WASM-specific behavior
2+ //@compile-flags: -C target-feature=-simd128
3+
4+ fn main ( ) {
5+ // Calling functions with `#[target_feature]` is not unsound on WASM, see #84988
6+ assert ! ( !cfg!( target_feature = "simd128" ) ) ;
7+ simd128_fn ( ) ;
8+ }
9+
10+ #[ target_feature( enable = "simd128" ) ]
11+ fn simd128_fn ( ) { }
You can’t perform that action at this time.
0 commit comments