File tree Expand file tree Collapse file tree 5 files changed +19
-52
lines changed
library/coretests/tests/floats Expand file tree Collapse file tree 5 files changed +19
-52
lines changed Original file line number Diff line number Diff line change @@ -40,19 +40,6 @@ const NAN_MASK2: u128 = 0x00005555555555555555555555555555;
40
40
// FIXME(f16_f128,miri): many of these have to be disabled since miri does not yet support
41
41
// the intrinsics.
42
42
43
- #[ test]
44
- fn test_one ( ) {
45
- let one: f128 = 1.0f128 ;
46
- assert_biteq ! ( 1.0 , one) ;
47
- assert ! ( !one. is_infinite( ) ) ;
48
- assert ! ( one. is_finite( ) ) ;
49
- assert ! ( one. is_sign_positive( ) ) ;
50
- assert ! ( !one. is_sign_negative( ) ) ;
51
- assert ! ( !one. is_nan( ) ) ;
52
- assert ! ( one. is_normal( ) ) ;
53
- assert_eq ! ( Fp :: Normal , one. classify( ) ) ;
54
- }
55
-
56
43
#[ test]
57
44
fn test_is_nan ( ) {
58
45
let nan: f128 = f128:: NAN ;
Original file line number Diff line number Diff line change @@ -46,19 +46,6 @@ const NAN_MASK2: u16 = 0x0155;
46
46
// FIXME(f16_f128,miri): many of these have to be disabled since miri does not yet support
47
47
// the intrinsics.
48
48
49
- #[ test]
50
- fn test_one ( ) {
51
- let one: f16 = 1.0f16 ;
52
- assert_biteq ! ( 1.0 , one) ;
53
- assert ! ( !one. is_infinite( ) ) ;
54
- assert ! ( one. is_finite( ) ) ;
55
- assert ! ( one. is_sign_positive( ) ) ;
56
- assert ! ( !one. is_sign_negative( ) ) ;
57
- assert ! ( !one. is_nan( ) ) ;
58
- assert ! ( one. is_normal( ) ) ;
59
- assert_eq ! ( Fp :: Normal , one. classify( ) ) ;
60
- }
61
-
62
49
#[ test]
63
50
fn test_is_nan ( ) {
64
51
let nan: f16 = f16:: NAN ;
Original file line number Diff line number Diff line change @@ -30,19 +30,6 @@ const NAN_MASK2: u32 = 0x0055_5555;
30
30
/// They serve as a way to get an idea of the real precision of floating point operations on different platforms.
31
31
const APPROX_DELTA : f32 = if cfg ! ( miri) { 1e-4 } else { 1e-6 } ;
32
32
33
- #[ test]
34
- fn test_one ( ) {
35
- let one: f32 = 1.0f32 ;
36
- assert_biteq ! ( 1.0 , one) ;
37
- assert ! ( !one. is_infinite( ) ) ;
38
- assert ! ( one. is_finite( ) ) ;
39
- assert ! ( one. is_sign_positive( ) ) ;
40
- assert ! ( !one. is_sign_negative( ) ) ;
41
- assert ! ( !one. is_nan( ) ) ;
42
- assert ! ( one. is_normal( ) ) ;
43
- assert_eq ! ( Fp :: Normal , one. classify( ) ) ;
44
- }
45
-
46
33
#[ test]
47
34
fn test_is_nan ( ) {
48
35
let nan: f32 = f32:: NAN ;
Original file line number Diff line number Diff line change @@ -25,19 +25,6 @@ const NAN_MASK1: u64 = 0x000a_aaaa_aaaa_aaaa;
25
25
/// Second pattern over the mantissa
26
26
const NAN_MASK2 : u64 = 0x0005_5555_5555_5555 ;
27
27
28
- #[ test]
29
- fn test_one ( ) {
30
- let one: f64 = 1.0f64 ;
31
- assert_biteq ! ( 1.0 , one) ;
32
- assert ! ( !one. is_infinite( ) ) ;
33
- assert ! ( one. is_finite( ) ) ;
34
- assert ! ( one. is_sign_positive( ) ) ;
35
- assert ! ( !one. is_sign_negative( ) ) ;
36
- assert ! ( !one. is_nan( ) ) ;
37
- assert ! ( one. is_normal( ) ) ;
38
- assert_eq ! ( Fp :: Normal , one. classify( ) ) ;
39
- }
40
-
41
28
#[ test]
42
29
fn test_is_nan ( ) {
43
30
let nan: f64 = f64:: NAN ;
Original file line number Diff line number Diff line change @@ -361,6 +361,25 @@ float_test! {
361
361
}
362
362
}
363
363
364
+ float_test ! {
365
+ name: one,
366
+ attrs: {
367
+ f16: #[ cfg( any( miri, target_has_reliable_f16) ) ] ,
368
+ f128: #[ cfg( any( miri, target_has_reliable_f128) ) ] ,
369
+ } ,
370
+ test<Float > {
371
+ let one: Float = 1.0 ;
372
+ assert_biteq!( 1.0 , one) ;
373
+ assert!( !one. is_infinite( ) ) ;
374
+ assert!( one. is_finite( ) ) ;
375
+ assert!( one. is_sign_positive( ) ) ;
376
+ assert!( !one. is_sign_negative( ) ) ;
377
+ assert!( !one. is_nan( ) ) ;
378
+ assert!( one. is_normal( ) ) ;
379
+ assert!( matches!( one. classify( ) , Fp :: Normal ) ) ;
380
+ }
381
+ }
382
+
364
383
float_test ! {
365
384
name: min,
366
385
attrs: {
You can’t perform that action at this time.
0 commit comments