/seL4-test-master/tools/riscv-pk/softfloat/ |
H A D | extF80_sqrt.c | 51 uint_fast64_t sigA; local 71 sigA = uiA0; 75 if ( sigA & UINT64_C( 0x7FFFFFFFFFFFFFFF ) ) { 87 if ( ! sigA ) goto zero; 93 if ( ! (sigA & UINT64_C( 0x8000000000000000 )) ) { 94 if ( ! sigA ) goto zero; 95 normExpSig = softfloat_normSubnormalExtF80Sig( sigA ); 97 sigA = normExpSig.sig; 102 | `sigA'.) 106 sig32A = sigA>>3 [all...] |
H A D | f128M_mul.c | 67 uint32_t uiZ96, sigA[4]; local 109 sigA[indexWordHi( 4 )] = fracF128UI96( uiA96 ) | 0x00010000; 110 sigA[indexWord( 4, 2 )] = aWPtr[indexWord( 4, 2 )]; 111 sigA[indexWord( 4, 1 )] = aWPtr[indexWord( 4, 1 )]; 112 sigA[indexWord( 4, 0 )] = aWPtr[indexWord( 4, 0 )]; 114 expA = softfloat_shiftNormSigF128M( aWPtr, 0, sigA ); 129 softfloat_mul128MTo256M( sigA, sigB, sigProd );
|
H A D | f16_rem.c | 50 uint_fast16_t sigA; local 71 sigA = fracF16UI( uiA ); 79 if ( sigA || ((expB == 0x1F) && sigB) ) goto propagateNaN; 95 if ( ! sigA ) return a; 96 normExpSig = softfloat_normSubnormalF16Sig( sigA ); 98 sigA = normExpSig.sig; 102 rem = sigA | 0x0400;
|
H A D | f32_rem.c | 50 uint_fast32_t sigA; local 69 sigA = fracF32UI( uiA ); 77 if ( sigA || ((expB == 0xFF) && sigB) ) goto propagateNaN; 93 if ( ! sigA ) return a; 94 normExpSig = softfloat_normSubnormalF32Sig( sigA ); 96 sigA = normExpSig.sig; 100 rem = sigA | 0x00800000;
|
H A D | extF80M_rem.c | 67 uint64_t sigA; local 105 sigA = aSPtr->signif; 106 if ( ! (sigA & UINT64_C( 0x8000000000000000 )) ) { 107 if ( ! sigA ) { 111 expA += softfloat_normExtF80SigM( &sigA ); 117 rem[indexWord( 3, 2 )] = sigA>>34; 118 rem[indexWord( 3, 1 )] = sigA>>2; 119 rem[indexWord( 3, 0 )] = (uint32_t) sigA<<30; 195 sigA >>= 1 - expA; 199 zSPtr->signif = sigA; [all...] |
H A D | s_mulAddF16.c | 50 uint_fast16_t sigA; local 74 sigA = fracF16UI( uiA ); 85 if ( sigA || ((expB == 0x1F) && sigB) ) goto propagateNaN_ABC; 91 magBits = expA | sigA; 105 if ( ! sigA ) goto zeroProd; 106 normExpSig = softfloat_normSubnormalF16Sig( sigA ); 108 sigA = normExpSig.sig; 119 sigA = (sigA | 0x0400)<<4; 121 sigProd = (uint_fast32_t) sigA * sig [all...] |
H A D | s_mulAddF32.c | 50 uint_fast32_t sigA; local 74 sigA = fracF32UI( uiA ); 85 if ( sigA || ((expB == 0xFF) && sigB) ) goto propagateNaN_ABC; 91 magBits = expA | sigA; 105 if ( ! sigA ) goto zeroProd; 106 normExpSig = softfloat_normSubnormalF32Sig( sigA ); 108 sigA = normExpSig.sig; 119 sigA = (sigA | 0x00800000)<<7; 121 sigProd = (uint_fast64_t) sigA * sig [all...] |
H A D | extF80_mul.c | 51 uint_fast64_t sigA; local 74 sigA = uiA0; 86 (sigA & UINT64_C( 0x7FFFFFFFFFFFFFFF )) 96 magBits = expA | sigA; 102 if ( ! (sigA & UINT64_C( 0x8000000000000000 )) ) { 103 if ( ! sigA ) goto zero; 104 normExpSig = softfloat_normSubnormalExtF80Sig( sigA ); 106 sigA = normExpSig.sig; 118 sig128Z = softfloat_mul64To128( sigA, sigB );
|
H A D | extF80M_mul.c | 69 uint64_t uiZ0, sigA, sigB; local 103 sigA = aSPtr->signif; 104 if ( ! (sigA & UINT64_C( 0x8000000000000000 )) ) { 105 if ( ! sigA ) goto zero; 106 expA += softfloat_normExtF80SigM( &sigA ); 117 softfloat_mul64To128M( sigA, sigB, sigProd );
|
H A D | extF80M_div.c | 68 uint64_t sigA, x64; local 101 sigA = aSPtr->signif; 106 if ( ! sigA ) goto invalid; 113 if ( ! (sigA & UINT64_C( 0x8000000000000000 )) ) { 114 if ( ! sigA ) goto zero; 115 expA += softfloat_normExtF80SigM( &sigA ); 121 if ( sigA < x64 ) { 125 softfloat_shortShiftLeft64To96M( sigA, shiftDist, y );
|
H A D | f128_rem.c | 50 struct uint128 sigA; local 72 sigA.v64 = fracF128UI64( uiA64 ); 73 sigA.v0 = uiA0; 84 (sigA.v64 | sigA.v0) || ((expB == 0x7FFF) && (sigB.v64 | sigB.v0)) 103 if ( ! (sigA.v64 | sigA.v0) ) return a; 104 normExpSig = softfloat_normSubnormalF128Sig( sigA.v64, sigA.v0 ); 106 sigA [all...] |
H A D | s_mulAddF64.c | 52 uint_fast64_t sigA; local 74 sigA = fracF64UI( uiA ); 85 if ( sigA || ((expB == 0x7FF) && sigB) ) goto propagateNaN_ABC; 91 magBits = expA | sigA; 105 if ( ! sigA ) goto zeroProd; 106 normExpSig = softfloat_normSubnormalF64Sig( sigA ); 108 sigA = normExpSig.sig; 119 sigA = (sigA | UINT64_C( 0x0010000000000000 ))<<10; 121 sig128Z = softfloat_mul64To128( sigA, sig 252 uint64_t sigA; local [all...] |
H A D | extF80_div.c | 51 uint_fast64_t sigA; local 81 sigA = uiA0; 92 if ( sigA & UINT64_C( 0x7FFFFFFFFFFFFFFF ) ) goto propagateNaN; 108 if ( ! sigA ) goto invalid; 117 if ( ! (sigA & UINT64_C( 0x8000000000000000 )) ) { 118 if ( ! sigA ) goto zero; 119 normExpSig = softfloat_normSubnormalExtF80Sig( sigA ); 121 sigA = normExpSig.sig; 126 if ( sigA < sigB ) { 128 rem = softfloat_shortShiftLeft128( 0, sigA, 3 [all...] |
H A D | extF80_rem.c | 51 uint_fast64_t sigA; local 76 sigA = uiA0; 86 (sigA & UINT64_C( 0x7FFFFFFFFFFFFFFF )) 112 if ( ! (sigA & UINT64_C( 0x8000000000000000 )) ) { 113 if ( ! sigA ) { 117 normExpSig = softfloat_normSubnormalExtF80Sig( sigA ); 119 sigA = normExpSig.sig; 125 rem = softfloat_shortShiftLeft128( 0, sigA, 32 ); 133 q = (sigB <= sigA); 214 sigA >> [all...] |
H A D | f64_rem.c | 50 uint_fast64_t sigA; local 71 sigA = fracF64UI( uiA ); 79 if ( sigA || ((expB == 0x7FF) && sigB) ) goto propagateNaN; 98 if ( ! sigA ) return a; 99 normExpSig = softfloat_normSubnormalF64Sig( sigA ); 101 sigA = normExpSig.sig; 105 rem = sigA | UINT64_C( 0x0010000000000000 );
|
H A D | s_mulAddF128.c | 57 struct uint128 sigA; local 82 sigA.v64 = fracF128UI64( uiA64 ); 83 sigA.v0 = uiA0; 97 (sigA.v64 | sigA.v0) || ((expB == 0x7FFF) && (sigB.v64 | sigB.v0)) 106 magBits = expA | sigA.v64 | sigA.v0; 122 if ( ! (sigA.v64 | sigA.v0) ) goto zeroProd; 123 normExpSig = softfloat_normSubnormalF128Sig( sigA [all...] |
H A D | s_mulAddF128M.c | 61 uint32_t *ptr, uiZ96, sigA[4]; local 134 sigA[indexWordHi( 4 )] = fracF128UI96( uiA96 ) | 0x00010000; 135 sigA[indexWord( 4, 2 )] = aWPtr[indexWord( 4, 2 )]; 136 sigA[indexWord( 4, 1 )] = aWPtr[indexWord( 4, 1 )]; 137 sigA[indexWord( 4, 0 )] = aWPtr[indexWord( 4, 0 )]; 139 expA = softfloat_shiftNormSigF128M( aWPtr, 0, sigA ); 154 softfloat_mul128MTo256M( sigA, sigX, sigProd );
|