Searched refs:absZ (Results 1 - 11 of 11) sorted by relevance

/seL4-camkes-master/tools/riscv-pk/softfloat/
H A DextF80M_to_i64_r_minMag.c64 uint64_t absZ; local
86 absZ = sig<<shiftDist;
87 if ( absZ>>shiftDist != sig ) goto invalid;
89 absZ = sig;
90 if ( shiftDist ) absZ >>= shiftDist;
91 if ( exact && shiftDist ) raiseInexact = (absZ<<shiftDist != sig);
94 if ( UINT64_C( 0x8000000000000000 ) < absZ ) goto invalid;
95 u.ui = -absZ;
98 if ( UINT64_C( 0x8000000000000000 ) <= absZ ) goto invalid;
99 z = absZ;
[all...]
H A DextF80M_to_i32_r_minMag.c65 uint32_t absZ; local
88 absZ = shiftedSig;
93 absZ = shiftedSig;
95 raiseInexact = ((uint64_t) absZ<<shiftDist != sig);
99 if ( 0x80000000 < absZ ) goto invalid;
100 u.ui = -absZ;
103 if ( 0x80000000 <= absZ ) goto invalid;
104 z = absZ;
H A Df32_to_i32_r_minMag.c52 int_fast32_t absZ; local
82 absZ = sig>>shiftDist;
83 if ( exact && ((uint_fast32_t) absZ<<shiftDist != sig) ) {
86 return sign ? -absZ : absZ;
H A Df128_to_i64_r_minMag.c53 int_fast64_t absZ; local
89 absZ = sig64<<negShiftDist | sig0>>(shiftDist & 63);
105 absZ = sig64>>shiftDist;
106 if ( exact && (sig0 || (absZ<<shiftDist != sig64)) ) {
110 return sign ? -absZ : absZ;
H A Df64_to_i64_r_minMag.c52 int_fast64_t absZ; local
79 absZ = sig<<-shiftDist;
92 absZ = sig>>shiftDist;
93 if ( exact && (absZ<<shiftDist != sig) ) {
97 return sign ? -absZ : absZ;
H A DextF80_to_i32_r_minMag.c52 int_fast32_t absZ; local
90 absZ = sig>>shiftDist;
91 if ( exact && ((uint_fast64_t) (uint_fast32_t) absZ<<shiftDist != sig) ) {
94 return sign ? -absZ : absZ;
H A Df128M_to_i32_r_minMag.c63 uint32_t absZ, uiZ; local
87 absZ = sig64>>shiftDist;
88 uiZ = sign ? -absZ : absZ;
90 if ( exact && ((uint64_t) absZ<<shiftDist != sig64) ) {
H A Df128_to_i32_r_minMag.c52 int_fast32_t absZ; local
91 absZ = sig64>>shiftDist;
93 exact && ((uint_fast64_t) (uint_fast32_t) absZ<<shiftDist != sig64)
97 return sign ? -absZ : absZ;
H A Df64_to_i32_r_minMag.c52 int_fast32_t absZ; local
89 absZ = sig>>shiftDist;
90 if ( exact && ((uint_fast64_t) (uint_fast32_t) absZ<<shiftDist != sig) ) {
93 return sign ? -absZ : absZ;
H A DextF80_to_i64_r_minMag.c52 int_fast64_t absZ; local
87 absZ = sig>>shiftDist;
91 return sign ? -absZ : absZ;
H A Df32_to_i64_r_minMag.c53 int_fast64_t absZ; local
86 absZ = sig64>>shiftDist;
91 return sign ? -absZ : absZ;

Completed in 42 milliseconds