about summary refs log tree commit diff
path: root/tests/ui/float/target-has-reliable-nightly-float.rs
blob: 399f101f49ae28cc412dd1e6acb64e4571ce9c01 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
//@ run-pass
//@ compile-flags: --check-cfg=cfg(target_has_reliable_f16,target_has_reliable_f16_math,target_has_reliable_f128,target_has_reliable_f128_math)
// Verify that the feature gates and config work and are registered as known config
// options.

#![deny(unexpected_cfgs)]
#![feature(cfg_target_has_reliable_f16_f128)]

#[cfg(target_has_reliable_f16)]
pub fn has_f16() {}

#[cfg(target_has_reliable_f16_math)]
pub fn has_f16_math() {}

#[cfg(target_has_reliable_f128 )]
pub fn has_f128() {}

#[cfg(target_has_reliable_f128_math)]
pub fn has_f128_math() {}

fn main() {
    if cfg!(target_arch = "aarch64") &&
        cfg!(target_os = "linux") &&
        cfg!(not(target_env = "musl")) {
        // Aarch64+GNU+Linux is one target that has support for all features, so use it to spot
        // check that the compiler does indeed enable these gates.

        assert!(cfg!(target_has_reliable_f16));
        assert!(cfg!(target_has_reliable_f16_math));
        assert!(cfg!(target_has_reliable_f128));
        assert!(cfg!(target_has_reliable_f128_math));
    }
}