/seL4-test-master/tools/riscv-pk/softfloat/ |
H A D | s_compareNonnormExtF80M.c | 50 int32_t expA, expB; local 67 expA = expExtF80UI64( uiA64 ); 69 if ( expA == 0x7FFF ) { 79 if ( ! expA ) expA = 1; 82 expA += softfloat_normExtF80SigM( &sigA ); 84 expA = -128; 98 if ( expA < expB ) return 1; 99 if ( (expB < expA) || (sigB < sigA) ) return -1; 101 if ( expB < expA ) retur [all...] |
H A D | f32_sqrt.c | 49 int_fast16_t expA; local 62 expA = expF32UI( uiA ); 66 if ( expA == 0xFF ) { 77 if ( ! (expA | sigA) ) return a; 82 if ( ! expA ) { 85 expA = normExpSig.exp; 90 expZ = ((expA - 0x7F)>>1) + 0x7E; 91 expA &= 1; 94 ((uint_fast64_t) sigA * softfloat_approxRecipSqrt32_1( expA, sigA )) 96 if ( expA ) sig [all...] |
H A D | f16_sqrt.c | 52 int_fast8_t expA; local 69 expA = expF16UI( uiA ); 73 if ( expA == 0x1F ) { 84 if ( ! (expA | sigA) ) return a; 89 if ( ! expA ) { 92 expA = normExpSig.exp; 97 expZ = ((expA - 0xF)>>1) + 0xE; 98 expA &= 1; 100 index = (sigA>>6 & 0xE) + expA; 106 if ( expA ) ESqrR [all...] |
H A D | s_subMagsF32.c | 46 int_fast16_t expA; local 61 expA = expF32UI( uiA ); 67 expDiff = expA - expB; 71 if ( expA == 0xFF ) { 84 if ( expA ) --expA; 91 expZ = expA - shiftDist; 93 shiftDist = expA; 115 sigY = sigA + (expA ? 0x40000000 : sigA); 120 if ( expA [all...] |
H A D | s_subMagsF64.c | 47 int_fast16_t expA; local 61 expA = expF64UI( uiA ); 67 expDiff = expA - expB; 71 if ( expA == 0x7FF ) { 84 if ( expA ) --expA; 90 expZ = expA - shiftDist; 92 shiftDist = expA; 111 sigA += expA ? UINT64_C( 0x4000000000000000 ) : sigA; 119 if ( expA [all...] |
H A D | f64_sqrt.c | 49 int_fast16_t expA; local 64 expA = expF64UI( uiA ); 68 if ( expA == 0x7FF ) { 79 if ( ! (expA | sigA) ) return a; 84 if ( ! expA ) { 87 expA = normExpSig.exp; 95 expZ = ((expA - 0x3FF)>>1) + 0x3FE; 96 expA &= 1; 99 recipSqrt32 = softfloat_approxRecipSqrt32_1( expA, sig32A ); 101 if ( expA ) { [all...] |
H A D | s_addMagsF32.c | 45 int_fast16_t expA; local 58 expA = expF32UI( uiA ); 64 expDiff = expA - expB; 68 if ( ! expA ) { 72 if ( expA == 0xFF ) { 78 expZ = expA; 98 sigA += expA ? 0x20000000 : sigA; 101 if ( expA == 0xFF ) { 106 expZ = expA;
|
H A D | s_addMagsF64.c | 46 int_fast16_t expA; local 58 expA = expF64UI( uiA ); 64 expDiff = expA - expB; 68 if ( ! expA ) { 72 if ( expA == 0x7FF ) { 77 expZ = expA; 92 if ( expA ) { 99 if ( expA == 0x7FF ) { 104 expZ = expA;
|
H A D | s_subMagsF16.c | 46 int_fast8_t expA; local 62 expA = expF16UI( uiA ); 68 expDiff = expA - expB; 72 if ( expA == 0x1F ) { 85 if ( expA ) --expA; 92 expZ = expA - shiftDist; 94 shiftDist = expA; 114 if ( expA | sigA ) goto subEpsilon; 117 expZ = expA [all...] |
H A D | s_addMagsF16.c | 46 int_fast8_t expA; local 63 expA = expF16UI( uiA ); 69 expDiff = expA - expB; 73 if ( ! expA ) { 77 if ( expA == 0x1F ) { 83 expZ = expA; 104 if ( expA | sigA ) goto addEpsilon; 109 sigY = sigA + (expA ? 0x0400 : sigA); 115 if ( expA == 0x1F ) { 123 expZ = expA; [all...] |
H A D | f32_mul.c | 49 int_fast16_t expA; local 68 expA = expF32UI( uiA ); 78 if ( expA == 0xFF ) { 85 magBits = expA | sigA; 90 if ( ! expA ) { 93 expA = normExpSig.exp; 104 expZ = expA + expB - 0x7F;
|
H A D | extF80M_rem.c | 64 int32_t expA, expB; local 80 expA = expExtF80UI64( uiA64 ); 84 if ( (expA == 0x7FFF) || (expB == 0x7FFF) ) { 86 if ( expA == 0x7FFF ) goto invalid; 104 if ( ! expA ) expA = 1; 108 expA = 0; 111 expA += softfloat_normExtF80SigM( &sigA ); 115 expDiff = expA - expB; 194 if ( expA < [all...] |
H A D | s_addMagsExtF80.c | 53 int_fast32_t expA; local 68 expA = expExtF80UI64( uiA64 ); 74 expDiff = expA - expB; 76 if ( expA == 0x7FFF ) { 86 if ( ! expA ) { 92 expZ = expA; 105 if ( ! expA ) { 114 if ( expA == 0x7FFF ) { 120 expZ = expA;
|
H A D | s_addExtF80M.c | 53 int32_t expA; local 69 expA = expExtF80UI64( uiA64 ); 74 if ( (expA == 0x7FFF) || (expB == 0x7FFF) ) { 79 if ( (expA == 0x7FFF) && (uiZ64 != uiA64) ) { 93 if ( expA < expB ) { 95 expA = expB; 103 if ( ! expA ) expA = 1; 110 expDiff = expA - expB; 130 --expA; [all...] |
H A D | extF80M_mul.c | 64 int32_t expA; local 81 expA = expExtF80UI64( uiA64 ); 87 if ( (expA == 0x7FFF) || (expB == 0x7FFF) ) { 90 (! aSPtr->signif && (expA != 0x7FFF)) 102 if ( ! expA ) expA = 1; 106 expA += softfloat_normExtF80SigM( &sigA ); 116 expZ = expA + expB - 0x3FFE;
|
H A D | f128M_mul.c | 62 int32_t expA; local 81 expA = expF128UI96( uiA96 ); 87 if ( (expA == 0x7FFF) || (expB == 0x7FFF) ) { 90 if ( ! expA ) goto possiblyInvalid; 108 if ( expA ) { 114 expA = softfloat_shiftNormSigF128M( aWPtr, 0, sigA ); 115 if ( expA == -128 ) goto zero; 128 expZ = expA + expB - 0x4000;
|
H A D | s_subMagsExtF80.c | 53 int_fast32_t expA; local 67 expA = expExtF80UI64( uiA64 ); 73 expDiff = expA - expB; 76 if ( expA == 0x7FFF ) { 87 expZ = expA; 105 if ( ! expA ) { 122 if ( expA == 0x7FFF ) { 137 expZ = expA;
|
H A D | extF80M_sqrt.c | 60 int32_t expA; local 75 expA = expExtF80UI64( uiA64 ); 79 if ( expA == 0x7FFF ) { 90 if ( ! expA ) expA = 1; 96 expA += softfloat_normExtF80SigM( &rem64 ); 101 expZ = ((expA - 0x3FFF)>>1) + 0x3FFF; 102 expA &= 1; 103 softfloat_shortShiftLeft64To96M( rem64, 30 - expA, rem96 ); 105 recipSqrt32 = softfloat_approxRecipSqrt32_1( expA, sig32 [all...] |
H A D | f16_mul.c | 49 int_fast8_t expA; local 69 expA = expF16UI( uiA ); 79 if ( expA == 0x1F ) { 86 magBits = expA | sigA; 91 if ( ! expA ) { 94 expA = normExpSig.exp; 105 expZ = expA + expB - 0xF;
|
H A D | f32_div.c | 49 int_fast16_t expA; local 74 expA = expF32UI( uiA ); 84 if ( expA == 0xFF ) { 100 if ( ! (expA | sigA) ) goto invalid; 108 if ( ! expA ) { 111 expA = normExpSig.exp; 116 expZ = expA - expB + 0x7E;
|
H A D | f64_div.c | 49 int_fast16_t expA; local 71 expA = expF64UI( uiA ); 81 if ( expA == 0x7FF ) { 97 if ( ! (expA | sigA) ) goto invalid; 105 if ( ! expA ) { 108 expA = normExpSig.exp; 113 expZ = expA - expB + 0x3FE;
|
H A D | f64_mul.c | 49 int_fast16_t expA; local 73 expA = expF64UI( uiA ); 83 if ( expA == 0x7FF ) { 90 magBits = expA | sigA; 95 if ( ! expA ) { 98 expA = normExpSig.exp; 109 expZ = expA + expB - 0x3FF;
|
H A D | extF80_sqrt.c | 50 int_fast32_t expA; local 70 expA = expExtF80UI64( uiA64 ); 74 if ( expA == 0x7FFF ) { 92 if ( ! expA ) expA = 1; 96 expA += normExpSig.exp; 104 expZ = ((expA - 0x3FFF)>>1) + 0x3FFF; 105 expA &= 1; 107 recipSqrt32 = softfloat_approxRecipSqrt32_1( expA, sig32A ); 109 if ( expA ) { [all...] |
H A D | s_addF128M.c | 53 int32_t expA; local 76 expA = expF128UI96( uiA96 ); 81 if ( (expA == 0x7FFF) || (expB == 0x7FFF) ) { 86 if ( (expA == 0x7FFF) && (uiZ96 != uiA96) ) { 104 expA = expB; 114 if ( expA ) { 115 --expA; 126 expDiff = expA - expB; 203 ++expA; 208 (*roundPackRoutinePtr)( signZ, expA, extSig [all...] |
H A D | s_addMagsF128.c | 52 int_fast32_t expA; local 63 expA = expF128UI64( uiA64 ); 69 expDiff = expA - expB; 71 if ( expA == 0x7FFF ) { 78 if ( ! expA ) { 83 expZ = expA; 96 if ( expA ) { 108 if ( expA == 0x7FFF ) { 114 expZ = expA;
|