/seL4-test-master/tools/riscv-pk/softfloat/ |
H A D | f16_rem.c | 57 int_fast8_t expDiff; local 104 expDiff = expA - expB; 105 if ( expDiff < 1 ) { 106 if ( expDiff < -1 ) return a; 108 if ( expDiff ) { 120 | subtraction from `expDiff'. 123 expDiff -= 31; 132 if ( expDiff < 0 ) break; 134 expDiff -= 29; 137 | (`expDiff' canno [all...] |
H A D | f32_rem.c | 57 int_fast16_t expDiff; local 102 expDiff = expA - expB; 103 if ( expDiff < 1 ) { 104 if ( expDiff < -1 ) return a; 106 if ( expDiff ) { 118 | subtraction from `expDiff'. 121 expDiff -= 31; 130 if ( expDiff < 0 ) break; 132 expDiff -= 29; 135 | (`expDiff' canno [all...] |
H A D | s_addMagsExtF80.c | 57 int_fast32_t expDiff; local 74 expDiff = expA - expB; 75 if ( ! expDiff ) { 97 if ( expDiff < 0 ) { 106 ++expDiff; 108 if ( ! expDiff ) goto newlyAligned; 110 sig64Extra = softfloat_shiftRightJam64Extra( sigA, 0, -expDiff ); 122 --expDiff; 124 if ( ! expDiff ) goto newlyAligned; 126 sig64Extra = softfloat_shiftRightJam64Extra( sigB, 0, expDiff ); [all...] |
H A D | s_subMagsExtF80.c | 57 int_fast32_t expDiff; local 73 expDiff = expA - expB; 74 if ( 0 < expDiff ) goto expABigger; 75 if ( expDiff < 0 ) goto expBBigger; 106 ++expDiff; 108 if ( ! expDiff ) goto newlyAlignedBBigger; 110 sig128 = softfloat_shiftRightJam128( sigA, 0, -expDiff ); 129 --expDiff; 131 if ( ! expDiff ) goto newlyAlignedABigger; 133 sig128 = softfloat_shiftRightJam128( sigB, 0, expDiff ); [all...] |
H A D | s_subMagsF32.c | 50 int_fast16_t expDiff; local 67 expDiff = expA - expB; 68 if ( ! expDiff ) { 104 if ( expDiff < 0 ) { 116 expDiff = -expDiff; 131 signZ, expZ, sigX - softfloat_shiftRightJam32( sigY, expDiff )
|
H A D | s_subMagsF16.c | 50 int_fast8_t expDiff; local 68 expDiff = expA - expB; 69 if ( ! expDiff ) { 103 if ( expDiff < 0 ) { 112 if ( expDiff <= -13 ) { 120 expDiff = -expDiff; 129 if ( 13 <= expDiff ) { 137 sig32Z = ((uint_fast32_t) sigX<<expDiff) - sigY;
|
H A D | s_addMagsF32.c | 49 int_fast16_t expDiff; local 64 expDiff = expA - expB; 65 if ( ! expDiff ) { 91 if ( expDiff < 0 ) { 99 sigA = softfloat_shiftRightJam32( sigA, -expDiff ); 108 sigB = softfloat_shiftRightJam32( sigB, expDiff );
|
H A D | s_addMagsF64.c | 50 int_fast16_t expDiff; local 64 expDiff = expA - expB; 65 if ( ! expDiff ) { 85 if ( expDiff < 0 ) { 97 sigA = softfloat_shiftRightJam64( sigA, -expDiff ); 110 sigB = softfloat_shiftRightJam64( sigB, expDiff );
|
H A D | s_subMagsF64.c | 51 int_fast16_t expDiff; local 67 expDiff = expA - expB; 68 if ( ! expDiff ) { 102 if ( expDiff < 0 ) { 112 sigA = softfloat_shiftRightJam64( sigA, -expDiff ); 125 sigB = softfloat_shiftRightJam64( sigB, expDiff );
|
H A D | s_addMagsF16.c | 50 int_fast8_t expDiff; local 69 expDiff = expA - expB; 70 if ( ! expDiff ) { 94 if ( expDiff < 0 ) { 102 if ( expDiff <= -13 ) { 110 shiftDist = 19 + expDiff; 119 if ( 13 <= expDiff ) { 126 shiftDist = 19 - expDiff;
|
H A D | extF80M_rem.c | 68 int32_t expDiff; local 89 | Doubling `expB' is an easy way to ensure that `expDiff' later is 115 expDiff = expA - expB; 116 if ( expDiff < -1 ) goto copyA; 125 if ( expDiff < 1 ) { 126 if ( expDiff ) { 136 expDiff -= 30; 139 if ( expDiff < 0 ) break; 145 expDiff -= 29; 148 | (`expDiff' canno [all...] |
H A D | f128M_rem.c | 64 int32_t expDiff; local 99 expDiff = expA - expB; 100 if ( expDiff < 1 ) { 101 if ( expDiff < -1 ) goto copyA; 102 if ( expDiff ) { 116 expDiff -= 30; 119 if ( expDiff < 0 ) break; 125 expDiff -= 29; 128 | (`expDiff' cannot be less than -29 here.) 130 q = (uint32_t) (q64>>32)>>(~expDiff [all...] |
H A D | f64_rem.c | 57 int_fast16_t expDiff; local 107 expDiff = expA - expB; 108 if ( expDiff < 1 ) { 109 if ( expDiff < -1 ) return a; 111 if ( expDiff ) { 123 | subtraction from `expDiff'. 126 expDiff -= 30; 135 if ( expDiff < 0 ) break; 144 expDiff -= 29; 147 | (`expDiff' canno [all...] |
H A D | s_addMagsF128.c | 56 int_fast32_t expDiff; local 69 expDiff = expA - expB; 70 if ( ! expDiff ) { 88 if ( expDiff < 0 ) { 99 ++expDiff; 101 if ( ! expDiff ) goto newlyAligned; 104 softfloat_shiftRightJam128Extra( sigA.v64, sigA.v0, 0, -expDiff ); 118 --expDiff; 120 if ( ! expDiff ) goto newlyAligned; 123 softfloat_shiftRightJam128Extra( sigB.v64, sigB.v0, 0, expDiff ); [all...] |
H A D | s_subMagsF128.c | 57 int_fast32_t expDiff, expZ; local 69 expDiff = expA - expB; 70 if ( 0 < expDiff ) goto expABigger; 71 if ( expDiff < 0 ) goto expBBigger; 100 ++expDiff; 101 if ( ! expDiff ) goto newlyAlignedBBigger; 103 sigA = softfloat_shiftRightJam128( sigA.v64, sigA.v0, -expDiff ); 121 --expDiff; 122 if ( ! expDiff ) goto newlyAlignedABigger; 124 sigB = softfloat_shiftRightJam128( sigB.v64, sigB.v0, expDiff ); [all...] |
H A D | s_mulAddF16.c | 65 int_fast8_t expDiff; local 140 expDiff = expProd - expC; 144 if ( expDiff <= 0 ) { 146 sigZ = sigC + softfloat_shiftRightJam32( sigProd, 16 - expDiff ); 152 (uint_fast32_t) sigC<<16, expDiff ); 163 if ( expDiff < 0 ) { 166 sig32Z = sig32C - softfloat_shiftRightJam32( sigProd, -expDiff ); 167 } else if ( ! expDiff ) { 177 sig32Z = sigProd - softfloat_shiftRightJam32( sig32C, expDiff );
|
H A D | s_mulAddF32.c | 65 int_fast16_t expDiff; local 140 expDiff = expProd - expC; 144 if ( expDiff <= 0 ) { 146 sigZ = sigC + softfloat_shiftRightJam64( sigProd, 32 - expDiff ); 152 (uint_fast64_t) sigC<<32, expDiff ); 163 if ( expDiff < 0 ) { 166 sig64Z = sig64C - softfloat_shiftRightJam64( sigProd, -expDiff ); 167 } else if ( ! expDiff ) { 177 sig64Z = sigProd - softfloat_shiftRightJam64( sig64C, expDiff );
|
H A D | s_mulAddF64.c | 65 int_fast16_t expDiff; local 141 expDiff = expZ - expC; 142 if ( expDiff < 0 ) { 144 if ( (signZ == signC) || (expDiff < -1) ) { 145 sig128Z.v64 = softfloat_shiftRightJam64( sig128Z.v64, -expDiff ); 150 } else if ( expDiff ) { 151 sig128C = softfloat_shiftRightJam128( sigC, 0, expDiff ); 158 if ( expDiff <= 0 ) { 173 if ( expDiff < 0 ) { 176 } else if ( ! expDiff ) { 265 int_fast16_t shiftDist, expDiff; local [all...] |
H A D | extF80_rem.c | 58 int_fast32_t expDiff; local 97 | that `expDiff' later is less than -1, which will result in returning 123 expDiff = expA - expB; 124 if ( expDiff < -1 ) goto copyA; 127 if ( expDiff < 1 ) { 128 if ( expDiff ) { 142 expDiff -= 30; 145 if ( expDiff < 0 ) break; 155 expDiff -= 29; 158 | (`expDiff' canno [all...] |
H A D | f128_rem.c | 57 int_fast32_t expDiff; local 113 expDiff = expA - expB; 114 if ( expDiff < 1 ) { 115 if ( expDiff < -1 ) return a; 116 if ( expDiff ) { 128 expDiff -= 30; 131 if ( expDiff < 0 ) break; 139 expDiff -= 29; 142 | (`expDiff' cannot be less than -29 here.) 144 q = (uint32_t) (q64>>32)>>(~expDiff [all...] |
H A D | s_mulAddF128M.c | 75 int32_t expDiff; local 171 expDiff = expProd - expC; 172 if ( expDiff <= 0 ) { 184 if ( expDiff ) { 185 softfloat_shiftRightJam160M( extSigPtr, -expDiff, extSigPtr ); 221 expDiff -= 128; 222 if ( 0 <= expDiff ) { 225 if ( expDiff ) softfloat_shiftRightJam160M( sigX, expDiff, sigX ); 245 shiftDist = expDiff [all...] |
H A D | s_mulAddF128.c | 71 int_fast32_t shiftDist, expDiff; local 161 expDiff = expZ - expC; 162 if ( expDiff < 0 ) { 164 if ( (signZ == signC) || (expDiff < -1) ) { 165 shiftDist -= expDiff; 186 if ( ! expDiff ) { 194 softfloat_shiftRightJam256M( sig256C, expDiff, sig256C ); 203 if ( expDiff <= 0 ) { 217 if ( expDiff < 0 ) { 219 if ( expDiff < [all...] |
H A D | s_addExtF80M.c | 63 int32_t expDiff; local 110 expDiff = expA - expB; 111 if ( expDiff ) { 117 softfloat_shiftRightJam96M( extSigX, expDiff, extSigX );
|
H A D | s_addF128M.c | 60 int32_t expDiff; local 126 expDiff = expA - expB; 127 if ( expDiff ) { 135 softfloat_shiftRightJam160M( extSigZ, expDiff, extSigZ );
|