OpenE2K/rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Allow simd_insert and simd_extract in const_fn

Browse Source
This commit is contained in:
gnzlbg 2019-09-25 10:28:53 +02:00
parent e6239bb817
commit 3a6e96e8bc
4 changed files with 4 additions and 290 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/librustc_mir/transform/qualify_consts.rs
View File

@ -557,6 +557,8 @@ impl Qualif for IsNotPromotable {
| "saturating_add"
| "saturating_sub"
| "transmute"
| "simd_insert"
| "simd_extract"
=> return true,
_ => {}

2
src/test/ui/consts/const-eval/simd/insert_extract-fail.rs
View File

@ -1,4 +1,4 @@
// compile-flags: -Zunleash-the-miri-inside-of-you
#![feature(const_fn)]
#![feature(repr_simd)]
#![feature(platform_intrinsics)]
#![allow(non_camel_case_types)]

2
src/test/ui/consts/const-eval/simd/insert_extract.rs
View File

@ -1,5 +1,5 @@
// run-pass
// compile-flags: -Zunleash-the-miri-inside-of-you
#![feature(const_fn)]
#![feature(repr_simd)]
#![feature(platform_intrinsics)]
#![allow(non_camel_case_types)]

288
src/test/ui/consts/const-eval/simd/insert_extract.stderr
View File

@ -1,288 +0,0 @@
warning: skipping const checks
--> $DIR/insert_extract.rs:22:9
|
LL | assert_eq!(X0, 42);
| ^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:22:9
|
LL | assert_eq!(X0, 42);
| ^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:22:9
|
LL | assert_eq!(X0, 42);
| ^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:23:9
|
LL | assert_eq!(Y0, 42);
| ^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:23:9
|
LL | assert_eq!(Y0, 42);
| ^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:23:9
|
LL | assert_eq!(Y0, 42);
| ^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:32:9
|
LL | assert_eq!(X0, 13);
| ^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:32:9
|
LL | assert_eq!(X0, 13);
| ^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:32:9
|
LL | assert_eq!(X0, 13);
| ^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:33:9
|
LL | assert_eq!(X1, 42);
| ^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:33:9
|
LL | assert_eq!(X1, 42);
| ^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:33:9
|
LL | assert_eq!(X1, 42);
| ^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:34:9
|
LL | assert_eq!(Y0, 13);
| ^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:34:9
|
LL | assert_eq!(Y0, 13);
| ^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:34:9
|
LL | assert_eq!(Y0, 13);
| ^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:35:9
|
LL | assert_eq!(Y1, 42);
| ^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:35:9
|
LL | assert_eq!(Y1, 42);
| ^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:35:9
|
LL | assert_eq!(Y1, 42);
| ^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:46:9
|
LL | assert_eq!(X0, 13.);
| ^^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:46:9
|
LL | assert_eq!(X0, 13.);
| ^^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:46:9
|
LL | assert_eq!(X0, 13.);
| ^^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:47:9
|
LL | assert_eq!(X1, 42.);
| ^^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:47:9
|
LL | assert_eq!(X1, 42.);
| ^^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:47:9
|
LL | assert_eq!(X1, 42.);
| ^^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:48:9
|
LL | assert_eq!(X2, 15.);
| ^^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:48:9
|
LL | assert_eq!(X2, 15.);
| ^^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:48:9
|
LL | assert_eq!(X2, 15.);
| ^^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:49:9
|
LL | assert_eq!(Y0, 13.);
| ^^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:49:9
|
LL | assert_eq!(Y0, 13.);
| ^^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:49:9
|
LL | assert_eq!(Y0, 13.);
| ^^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:50:9
|
LL | assert_eq!(Y1, 42.);
| ^^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:50:9
|
LL | assert_eq!(Y1, 42.);
| ^^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:50:9
|
LL | assert_eq!(Y1, 42.);
| ^^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:51:9
|
LL | assert_eq!(Y2, 15.);
| ^^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:51:9
|
LL | assert_eq!(Y2, 15.);
| ^^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
warning: skipping const checks
--> $DIR/insert_extract.rs:51:9
|
LL | assert_eq!(Y2, 15.);
| ^^^^^^^^^^^^^^^^^^^^
|
= note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)