Searched refs:lastBitMask (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/tools/riscv-pk/softfloat/
H A Df16_roundToInt.c49 uint_fast16_t uiZ, lastBitMask, roundBitsMask; local
95 lastBitMask = (uint_fast16_t) 1<<(0x19 - exp);
96 roundBitsMask = lastBitMask - 1;
98 uiZ += lastBitMask>>1;
100 uiZ += lastBitMask>>1;
101 if ( !(uiZ & roundBitsMask) ) uiZ &= ~lastBitMask;
111 if ( roundingMode == softfloat_round_odd ) uiZ |= lastBitMask;
H A Df32_roundToInt.c49 uint_fast32_t uiZ, lastBitMask, roundBitsMask; local
95 lastBitMask = (uint_fast32_t) 1<<(0x96 - exp);
96 roundBitsMask = lastBitMask - 1;
98 uiZ += lastBitMask>>1;
100 uiZ += lastBitMask>>1;
101 if ( !(uiZ & roundBitsMask) ) uiZ &= ~lastBitMask;
111 if ( roundingMode == softfloat_round_odd ) uiZ |= lastBitMask;
H A Df64_roundToInt.c49 uint_fast64_t uiZ, lastBitMask, roundBitsMask; local
95 lastBitMask = (uint_fast64_t) 1<<(0x433 - exp);
96 roundBitsMask = lastBitMask - 1;
98 uiZ += lastBitMask>>1;
100 uiZ += lastBitMask>>1;
101 if ( !(uiZ & roundBitsMask) ) uiZ &= ~lastBitMask;
111 if ( roundingMode == softfloat_round_odd ) uiZ |= lastBitMask;
H A DextF80M_roundToInt.c75 uint64_t sigZ, lastBitMask, roundBitsMask; local
144 lastBitMask = (uint64_t) 1<<(0x403E - exp);
145 roundBitsMask = lastBitMask - 1;
148 sigZ += lastBitMask>>1;
150 sigZ += lastBitMask>>1;
151 if ( !(sigZ & roundBitsMask) ) sigZ &= ~lastBitMask;
164 if ( roundingMode == softfloat_round_odd ) sigZ |= lastBitMask;
H A DextF80_roundToInt.c55 uint_fast64_t lastBitMask, roundBitsMask; local
124 lastBitMask = (uint_fast64_t) 1<<(0x403E - exp);
125 roundBitsMask = lastBitMask - 1;
128 sigZ += lastBitMask>>1;
130 sigZ += lastBitMask>>1;
131 if ( !(sigZ & roundBitsMask) ) sigZ &= ~lastBitMask;
144 if ( roundingMode == softfloat_round_odd ) sigZ |= lastBitMask;

Completed in 85 milliseconds