/seL4-test-master/tools/riscv-pk/softfloat/ |
H A D | f16_rem.c | 49 int_fast8_t expA; local 70 expA = expF16UI( uiA ); 78 if ( expA == 0x1F ) { 94 if ( ! expA ) { 97 expA = normExpSig.exp; 104 expDiff = expA - expB;
|
H A D | f32_rem.c | 49 int_fast16_t expA; local 68 expA = expF32UI( uiA ); 76 if ( expA == 0xFF ) { 92 if ( ! expA ) { 95 expA = normExpSig.exp; 102 expDiff = expA - expB;
|
H A D | extF80M_div.c | 64 int32_t expA; local 85 expA = expExtF80UI64( uiA64 ); 91 if ( (expA == 0x7FFF) || (expB == 0x7FFF) ) { 93 if ( expA == 0x7FFF ) { 112 if ( ! expA ) expA = 1; 115 expA += softfloat_normExtF80SigM( &sigA ); 119 expZ = expA - expB + 0x3FFF;
|
H A D | extF80_mul.c | 50 int_fast32_t expA; local 73 expA = expExtF80UI64( uiA64 ); 84 if ( expA == 0x7FFF ) { 96 magBits = expA | sigA; 101 if ( ! expA ) expA = 1; 105 expA += normExpSig.exp; 117 expZ = expA + expB - 0x3FFE;
|
H A D | f128M_rem.c | 61 int32_t expA, expB; local 77 expA = expF128UI96( uiA96 ); 81 if ( (expA == 0x7FFF) || (expB == 0x7FFF) ) { 83 if ( expA == 0x7FFF ) goto invalid; 88 if ( expA < expB - 1 ) goto copyA; 94 expA = softfloat_shiftNormSigF128M( aWPtr, 13, remPtr ); 95 if ( expA == -128 ) goto copyA; 99 expDiff = expA - expB;
|
H A D | f128M_sqrt.c | 63 int32_t expA, expZ; local 96 expA = softfloat_shiftNormSigF128M( aWPtr, 13 - (rawExpA & 1), rem ); 97 if ( expA == -128 ) goto copyA; 104 expZ = ((expA - 0x3FFF)>>1) + 0x3FFE; 105 expA &= 1; 107 if ( expA ) { 116 recipSqrt32 = softfloat_approxRecipSqrt32_1( expA, sig32A ); 118 if ( expA ) sig32Z >>= 1;
|
H A D | s_subMagsF128.c | 53 int_fast32_t expA; local 61 expA = expF128UI64( uiA64 ); 69 expDiff = expA - expB; 72 if ( expA == 0x7FFF ) { 79 expZ = expA; 97 if ( expA ) { 112 if ( expA == 0x7FFF ) { 126 expZ = expA;
|
H A D | extF80_rem.c | 50 int_fast32_t expA; local 75 expA = expExtF80UI64( uiA64 ); 84 if ( expA == 0x7FFF ) { 111 if ( ! expA ) expA = 1; 114 expA = 0; 118 expA += normExpSig.exp; 123 expDiff = expA - expB; 213 if ( expA < 1 ) { 214 sigA >>= 1 - expA; [all...] |
H A D | f128M_div.c | 62 int32_t expA; local 83 expA = expF128UI96( uiA96 ); 90 if ( (expA == 0x7FFF) || (expB == 0x7FFF) ) { 92 if ( expA == 0x7FFF ) { 100 expA = softfloat_shiftNormSigF128M( aWPtr, 13, y ); 102 if ( expA == -128 ) { 112 expZ = expA - expB + 0x3FFE;
|
H A D | f128_mul.c | 49 int_fast32_t expA; local 73 expA = expF128UI64( uiA64 ); 86 if ( expA == 0x7FFF ) { 97 magBits = expA | sigA.v64 | sigA.v0; 102 if ( ! expA ) { 105 expA = normExpSig.exp; 116 expZ = expA + expB - 0x4000;
|
H A D | f16_div.c | 52 int_fast8_t expA; local 78 expA = expF16UI( uiA ); 88 if ( expA == 0x1F ) { 104 if ( ! (expA | sigA) ) goto invalid; 112 if ( ! expA ) { 115 expA = normExpSig.exp; 120 expZ = expA - expB + 0xE;
|
H A D | f64_rem.c | 49 int_fast16_t expA; local 70 expA = expF64UI( uiA ); 78 if ( expA == 0x7FF ) { 88 if ( expA < expB - 1 ) return a; 97 if ( ! expA ) { 100 expA = normExpSig.exp; 107 expDiff = expA - expB;
|
H A D | s_mulAddF16.c | 49 int_fast8_t expA; local 73 expA = expF16UI( uiA ); 84 if ( expA == 0x1F ) { 91 magBits = expA | sigA; 104 if ( ! expA ) { 107 expA = normExpSig.exp; 118 expProd = expA + expB - 0xE;
|
H A D | s_mulAddF32.c | 49 int_fast16_t expA; local 73 expA = expF32UI( uiA ); 84 if ( expA == 0xFF ) { 91 magBits = expA | sigA; 104 if ( ! expA ) { 107 expA = normExpSig.exp; 118 expProd = expA + expB - 0x7E;
|
H A D | f128_sqrt.c | 49 int_fast32_t expA; local 69 expA = expF128UI64( uiA64 ); 74 if ( expA == 0x7FFF ) { 85 if ( ! (expA | sigA.v64 | sigA.v0) ) return a; 90 if ( ! expA ) { 93 expA = normExpSig.exp; 101 expZ = ((expA - 0x3FFF)>>1) + 0x3FFE; 102 expA &= 1; 105 recipSqrt32 = softfloat_approxRecipSqrt32_1( expA, sig32A ); 107 if ( expA ) { [all...] |
H A D | s_mulAddF64.c | 51 int_fast16_t expA; local 73 expA = expF64UI( uiA ); 84 if ( expA == 0x7FF ) { 91 magBits = expA | sigA; 104 if ( ! expA ) { 107 expA = normExpSig.exp; 118 expZ = expA + expB - 0x3FE; 251 int_fast16_t expA; local 272 expA = expF64UI( uiA ); 283 if ( expA [all...] |
H A D | extF80_div.c | 50 int_fast32_t expA; local 80 expA = expExtF80UI64( uiA64 ); 91 if ( expA == 0x7FFF ) { 116 if ( ! expA ) expA = 1; 120 expA += normExpSig.exp; 125 expZ = expA - expB + 0x3FFF;
|
H A D | f128_div.c | 49 int_fast32_t expA; local 76 expA = expF128UI64( uiA64 ); 89 if ( expA == 0x7FFF ) { 105 if ( ! (expA | sigA.v64 | sigA.v0) ) goto invalid; 113 if ( ! expA ) { 116 expA = normExpSig.exp; 121 expZ = expA - expB + 0x3FFE;
|
H A D | f128_rem.c | 49 int_fast32_t expA; local 71 expA = expF128UI64( uiA64 ); 82 if ( expA == 0x7FFF ) { 102 if ( ! expA ) { 105 expA = normExpSig.exp; 113 expDiff = expA - expB;
|
H A D | s_mulAddF128M.c | 54 int32_t expA; local 85 expA = expF128UI96( uiA96 ); 97 if ( (expA == 0x7FFF) || (expB == 0x7FFF) ) { 133 if ( expA ) { 139 expA = softfloat_shiftNormSigF128M( aWPtr, 0, sigA ); 140 if ( expA == -128 ) goto zeroProd; 153 expProd = expA + expB - 0x3FF0;
|
H A D | s_mulAddF128.c | 56 int_fast32_t expA; local 81 expA = expF128UI64( uiA64 ); 95 if ( expA == 0x7FFF ) { 106 magBits = expA | sigA.v64 | sigA.v0; 121 if ( ! expA ) { 124 expA = normExpSig.exp; 135 expZ = expA + expB - 0x3FFE;
|