Searched refs:roundIncrement (Results 1 - 7 of 7) sorted by relevance
/seL4-camkes-master/tools/riscv-pk/softfloat/ |
H A D | s_roundToUI32.c | 48 uint_fast16_t roundIncrement, roundBits; local 53 roundIncrement = 0x800; 58 roundIncrement = 0; 66 if ( roundingMode == softfloat_round_max ) roundIncrement = 0xFFF; 70 sig += roundIncrement;
|
H A D | s_roundPackToF16.c | 48 uint_fast8_t roundIncrement, roundBits; local 57 roundIncrement = 0x8; 59 roundIncrement = 74 || (exp < -1) || (sig + roundIncrement < 0x8000); 81 } else if ( (0x1D < exp) || (0x8000 <= sig + roundIncrement) ) { 86 uiZ = packToF16UI( sign, 0x1F, 0 ) - ! roundIncrement; 92 sig = (sig + roundIncrement)>>4;
|
H A D | s_roundPackToF32.c | 48 uint_fast8_t roundIncrement, roundBits; local 57 roundIncrement = 0x40; 59 roundIncrement = 74 || (exp < -1) || (sig + roundIncrement < 0x80000000); 81 } else if ( (0xFD < exp) || (0x80000000 <= sig + roundIncrement) ) { 86 uiZ = packToF32UI( sign, 0xFF, 0 ) - ! roundIncrement; 92 sig = (sig + roundIncrement)>>7;
|
H A D | s_roundPackToF64.c | 48 uint_fast16_t roundIncrement, roundBits; local 57 roundIncrement = 0x200; 59 roundIncrement = 75 || (sig + roundIncrement < UINT64_C( 0x8000000000000000 )); 84 || (UINT64_C( 0x8000000000000000 ) <= sig + roundIncrement) 90 uiZ = packToF64UI( sign, 0x7FF, 0 ) - ! roundIncrement; 96 sig = (sig + roundIncrement)>>10;
|
H A D | s_roundPackMToExtF80M.c | 54 uint64_t sig, roundIncrement, roundMask, roundBits; local 68 roundIncrement = UINT64_C( 0x0000000000000400 ); 71 roundIncrement = UINT64_C( 0x0000008000000000 ); 80 roundIncrement = 97 || (sig <= (uint64_t) (sig + roundIncrement)); 109 sig += roundIncrement; 111 roundIncrement = roundMask + 1; 112 if ( roundNearEven && (roundBits<<1 == roundIncrement) ) { 113 roundMask |= roundIncrement; 120 || ((exp == 0x7FFE) && ((uint64_t) (sig + roundIncrement) < si [all...] |
H A D | s_roundPackToExtF80.c | 54 uint_fast64_t roundIncrement, roundMask, roundBits; local 65 roundIncrement = UINT64_C( 0x0000000000000400 ); 68 roundIncrement = UINT64_C( 0x0000008000000000 ); 75 roundIncrement = 92 || (sig <= (uint64_t) (sig + roundIncrement)); 104 sig += roundIncrement; 106 roundIncrement = roundMask + 1; 107 if ( roundNearEven && (roundBits<<1 == roundIncrement) ) { 108 roundMask |= roundIncrement; 115 || ((exp == 0x7FFE) && ((uint64_t) (sig + roundIncrement) < si [all...] |
H A D | s_roundToI32.c | 48 uint_fast16_t roundIncrement, roundBits; local 55 roundIncrement = 0x800; 60 roundIncrement = 0; 69 roundIncrement = 0xFFF; 73 sig += roundIncrement;
|
Completed in 36 milliseconds