/seL4-camkes-master/tools/riscv-pk/softfloat/ |
H A D | f128_le.c | 46 uint_fast64_t uiA64, uiA0; local 52 uiA64 = uA.ui.v64; 57 if ( isNaNF128UI( uiA64, uiA0 ) || isNaNF128UI( uiB64, uiB0 ) ) { 61 signA = signF128UI64( uiA64 ); 66 || ! (((uiA64 | uiB64) & UINT64_C( 0x7FFFFFFFFFFFFFFF )) 68 : ((uiA64 == uiB64) && (uiA0 == uiB0)) 69 || (signA ^ softfloat_lt128( uiA64, uiA0, uiB64, uiB0 ));
|
H A D | f128_lt.c | 46 uint_fast64_t uiA64, uiA0; local 52 uiA64 = uA.ui.v64; 57 if ( isNaNF128UI( uiA64, uiA0 ) || isNaNF128UI( uiB64, uiB0 ) ) { 61 signA = signF128UI64( uiA64 ); 66 && (((uiA64 | uiB64) & UINT64_C( 0x7FFFFFFFFFFFFFFF )) 68 : ((uiA64 != uiB64) || (uiA0 != uiB0)) 69 && (signA ^ softfloat_lt128( uiA64, uiA0, uiB64, uiB0 ));
|
H A D | extF80_eq.c | 47 uint_fast16_t uiA64; local 54 uiA64 = uA.s.signExp; 59 if ( isNaNExtF80UI( uiA64, uiA0 ) || isNaNExtF80UI( uiB64, uiB0 ) ) { 61 softfloat_isSigNaNExtF80UI( uiA64, uiA0 ) 70 && ((uiA64 == uiB64) || (! uiA0 && ! ((uiA64 | uiB64) & 0x7FFF)));
|
H A D | f128_eq.c | 47 uint_fast64_t uiA64, uiA0; local 52 uiA64 = uA.ui.v64; 57 if ( isNaNF128UI( uiA64, uiA0 ) || isNaNF128UI( uiB64, uiB0 ) ) { 59 softfloat_isSigNaNF128UI( uiA64, uiA0 ) 68 && ( (uiA64 == uiB64) 69 || (! uiA0 && ! ((uiA64 | uiB64) & UINT64_C( 0x7FFFFFFFFFFFFFFF )))
|
H A D | extF80M_le_quiet.c | 58 uint_fast16_t uiA64; local 70 uiA64 = aSPtr->signExp; 76 if ( isNaNExtF80UI( uiA64, uiA0 ) || isNaNExtF80UI( uiB64, uiB0 ) ) { 78 softfloat_isSigNaNExtF80UI( uiA64, uiA0 ) 87 signA = signExtF80UI64( uiA64 ); 88 if ( (uiA64 ^ uiB64) & 0x8000 ) { 100 if ( uiA64 == uiB64 ) { 104 ltMags = (uiA64 < uiB64);
|
H A D | extF80M_lt_quiet.c | 58 uint_fast16_t uiA64; local 70 uiA64 = aSPtr->signExp; 76 if ( isNaNExtF80UI( uiA64, uiA0 ) || isNaNExtF80UI( uiB64, uiB0 ) ) { 78 softfloat_isSigNaNExtF80UI( uiA64, uiA0 ) 87 signA = signExtF80UI64( uiA64 ); 88 if ( (uiA64 ^ uiB64) & 0x8000 ) { 100 if ( uiA64 == uiB64 ) { 104 ltMags = (uiA64 < uiB64);
|
H A D | extF80_le_quiet.c | 47 uint_fast16_t uiA64; local 55 uiA64 = uA.s.signExp; 60 if ( isNaNExtF80UI( uiA64, uiA0 ) || isNaNExtF80UI( uiB64, uiB0 ) ) { 62 softfloat_isSigNaNExtF80UI( uiA64, uiA0 ) 69 signA = signExtF80UI64( uiA64 ); 73 ? signA || ! (((uiA64 | uiB64) & 0x7FFF) | uiA0 | uiB0) 74 : ((uiA64 == uiB64) && (uiA0 == uiB0)) 75 || (signA ^ softfloat_lt128( uiA64, uiA0, uiB64, uiB0 ));
|
H A D | extF80_lt_quiet.c | 47 uint_fast16_t uiA64; local 55 uiA64 = uA.s.signExp; 60 if ( isNaNExtF80UI( uiA64, uiA0 ) || isNaNExtF80UI( uiB64, uiB0 ) ) { 62 softfloat_isSigNaNExtF80UI( uiA64, uiA0 ) 69 signA = signExtF80UI64( uiA64 ); 73 ? signA && (((uiA64 | uiB64) & 0x7FFF) | uiA0 | uiB0) 74 : ((uiA64 != uiB64) || (uiA0 != uiB0)) 75 && (signA ^ softfloat_lt128( uiA64, uiA0, uiB64, uiB0 ));
|
H A D | f128_le_quiet.c | 47 uint_fast64_t uiA64, uiA0; local 53 uiA64 = uA.ui.v64; 58 if ( isNaNF128UI( uiA64, uiA0 ) || isNaNF128UI( uiB64, uiB0 ) ) { 60 softfloat_isSigNaNF128UI( uiA64, uiA0 ) 67 signA = signF128UI64( uiA64 ); 72 || ! (((uiA64 | uiB64) & UINT64_C( 0x7FFFFFFFFFFFFFFF )) 74 : ((uiA64 == uiB64) && (uiA0 == uiB0)) 75 || (signA ^ softfloat_lt128( uiA64, uiA0, uiB64, uiB0 ));
|
H A D | f128_lt_quiet.c | 47 uint_fast64_t uiA64, uiA0; local 53 uiA64 = uA.ui.v64; 58 if ( isNaNF128UI( uiA64, uiA0 ) || isNaNF128UI( uiB64, uiB0 ) ) { 60 softfloat_isSigNaNF128UI( uiA64, uiA0 ) 67 signA = signF128UI64( uiA64 ); 72 && (((uiA64 | uiB64) & UINT64_C( 0x7FFFFFFFFFFFFFFF )) 74 : ((uiA64 != uiB64) || (uiA0 != uiB0)) 75 && (signA ^ softfloat_lt128( uiA64, uiA0, uiB64, uiB0 ));
|
H A D | s_propagateNaNExtF80UI.c | 44 | Interpreting the unsigned integer formed from concatenating `uiA64' and 54 uint_fast16_t uiA64, 63 softfloat_isSigNaNExtF80UI( uiA64, uiA0 ) 53 softfloat_propagateNaNExtF80UI( uint_fast16_t uiA64, uint_fast64_t uiA0, uint_fast16_t uiB64, uint_fast64_t uiB0 ) argument
|
H A D | s_propagateNaNF128UI.c | 44 | Interpreting the unsigned integer formed from concatenating `uiA64' and 54 uint_fast64_t uiA64, 63 softfloat_isSigNaNF128UI( uiA64, uiA0 ) 53 softfloat_propagateNaNF128UI( uint_fast64_t uiA64, uint_fast64_t uiA0, uint_fast64_t uiB64, uint_fast64_t uiB0 ) argument
|
H A D | extF80M_eq.c | 58 uint_fast16_t uiA64; local 69 uiA64 = aSPtr->signExp; 75 if ( isNaNExtF80UI( uiA64, uiA0 ) || isNaNExtF80UI( uiB64, uiB0 ) ) { 77 softfloat_isSigNaNExtF80UI( uiA64, uiA0 ) 87 return (uiA64 == uiB64) || ! uiA0;
|
H A D | extF80_eq_signaling.c | 46 uint_fast16_t uiA64; local 53 uiA64 = uA.s.signExp; 58 if ( isNaNExtF80UI( uiA64, uiA0 ) || isNaNExtF80UI( uiB64, uiB0 ) ) { 64 && ((uiA64 == uiB64) || (! uiA0 && ! ((uiA64 | uiB64) & 0x7FFF)));
|
H A D | extF80_to_f128.c | 47 uint_fast16_t uiA64; local 58 uiA64 = uA.s.signExp; 60 exp = expExtF80UI64( uiA64 ); 63 softfloat_extF80UIToCommonNaN( uiA64, uiA0, &commonNaN ); 66 sign = signExtF80UI64( uiA64 );
|
H A D | f128_eq_signaling.c | 46 uint_fast64_t uiA64, uiA0; local 51 uiA64 = uA.ui.v64; 56 if ( isNaNF128UI( uiA64, uiA0 ) || isNaNF128UI( uiB64, uiB0 ) ) { 62 && ( (uiA64 == uiB64) 63 || (! uiA0 && ! ((uiA64 | uiB64) & UINT64_C( 0x7FFFFFFFFFFFFFFF )))
|
H A D | f128_to_ui32.c | 48 uint_fast64_t uiA64, uiA0; local 57 uiA64 = uA.ui.v64; 59 sign = signF128UI64( uiA64 ); 60 exp = expF128UI64( uiA64 ); 61 sig64 = fracF128UI64( uiA64 ) | (uiA0 != 0);
|
H A D | f128_to_ui32_r_minMag.c | 47 uint_fast64_t uiA64, uiA0; local 57 uiA64 = uA.ui.v64; 59 exp = expF128UI64( uiA64 ); 60 sig64 = fracF128UI64( uiA64 ) | (uiA0 != 0); 72 sign = signF128UI64( uiA64 );
|
H A D | extF80M_le.c | 57 uint_fast16_t uiA64; local 69 uiA64 = aSPtr->signExp; 75 if ( isNaNExtF80UI( uiA64, uiA0 ) || isNaNExtF80UI( uiB64, uiB0 ) ) { 81 signA = signExtF80UI64( uiA64 ); 82 if ( (uiA64 ^ uiB64) & 0x8000 ) { 94 if ( uiA64 == uiB64 ) { 98 ltMags = (uiA64 < uiB64);
|
H A D | extF80M_lt.c | 57 uint_fast16_t uiA64; local 69 uiA64 = aSPtr->signExp; 75 if ( isNaNExtF80UI( uiA64, uiA0 ) || isNaNExtF80UI( uiB64, uiB0 ) ) { 81 signA = signExtF80UI64( uiA64 ); 82 if ( (uiA64 ^ uiB64) & 0x8000 ) { 94 if ( uiA64 == uiB64 ) { 98 ltMags = (uiA64 < uiB64);
|
H A D | extF80_le.c | 47 uint_fast16_t uiA64; local 55 uiA64 = uA.s.signExp; 60 if ( isNaNExtF80UI( uiA64, uiA0 ) || isNaNExtF80UI( uiB64, uiB0 ) ) { 64 signA = signExtF80UI64( uiA64 ); 68 ? signA || ! (((uiA64 | uiB64) & 0x7FFF) | uiA0 | uiB0) 69 : ((uiA64 == uiB64) && (uiA0 == uiB0)) 70 || (signA ^ softfloat_lt128( uiA64, uiA0, uiB64, uiB0 ));
|
H A D | extF80_lt.c | 47 uint_fast16_t uiA64; local 55 uiA64 = uA.s.signExp; 60 if ( isNaNExtF80UI( uiA64, uiA0 ) || isNaNExtF80UI( uiB64, uiB0 ) ) { 64 signA = signExtF80UI64( uiA64 ); 68 ? signA && (((uiA64 | uiB64) & 0x7FFF) | uiA0 | uiB0) 69 : ((uiA64 != uiB64) || (uiA0 != uiB0)) 70 && (signA ^ softfloat_lt128( uiA64, uiA0, uiB64, uiB0 ));
|
H A D | extF80M_eq_signaling.c | 57 uint_fast16_t uiA64; local 68 uiA64 = aSPtr->signExp; 74 if ( isNaNExtF80UI( uiA64, uiA0 ) || isNaNExtF80UI( uiB64, uiB0 ) ) { 81 return (uiA64 == uiB64) || ! uiA0;
|
H A D | extF80_to_i32.c | 48 uint_fast16_t uiA64; local 57 uiA64 = uA.s.signExp; 58 sign = signExtF80UI64( uiA64 ); 59 exp = expExtF80UI64( uiA64 );
|
H A D | extF80_to_i64.c | 48 uint_fast16_t uiA64; local 59 uiA64 = uA.s.signExp; 60 sign = signExtF80UI64( uiA64 ); 61 exp = expExtF80UI64( uiA64 );
|