/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/test/jdk/jdk/internal/math/FloatingDecimal/ |
H A D | OldFDBigIntForTest.java | 36 nWords = 1; in OldFDBigIntForTest() 49 data = new int[nWords = other.nWords]; in OldFDBigIntForTest() 55 nWords = n; in OldFDBigIntForTest() 128 while ( nWords > 1 && data[nWords-1] == 0 ) in lshiftMe() 200 r = new int[ ( v * ((long)data[nWords-1]&0xffffffffL) > 0xfffffffL ) ? nWords+1 : nWords ]; in mult() 247 int r[] = new int[ nWords + other.nWords ]; in mult() 280 if ( this.nWords >= other.nWords ){ in add() 354 if ( this.nWords > other.nWords ){ in cmp() 360 }else if ( this.nWords < other.nWords ){ in cmp() 410 if ( nWords != S.nWords ){ in quoRemIteration() [all …]
|
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/test/jdk/jdk/internal/math/FloatingDecimal/ |
H A D | OldFDBigIntForTest.java | 36 nWords = 1; in OldFDBigIntForTest() 49 data = new int[nWords = other.nWords]; in OldFDBigIntForTest() 55 nWords = n; in OldFDBigIntForTest() 128 while ( nWords > 1 && data[nWords-1] == 0 ) in lshiftMe() 200 r = new int[ ( v * ((long)data[nWords-1]&0xffffffffL) > 0xfffffffL ) ? nWords+1 : nWords ]; in mult() 247 int r[] = new int[ nWords + other.nWords ]; in mult() 280 if ( this.nWords >= other.nWords ){ in add() 354 if ( this.nWords > other.nWords ){ in cmp() 360 }else if ( this.nWords < other.nWords ){ in cmp() 410 if ( nWords != S.nWords ){ in quoRemIteration() [all …]
|
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/test/jdk/jdk/internal/math/FloatingDecimal/ |
H A D | OldFDBigIntForTest.java | 36 nWords = 1; in OldFDBigIntForTest() 49 data = new int[nWords = other.nWords]; in OldFDBigIntForTest() 55 nWords = n; in OldFDBigIntForTest() 128 while ( nWords > 1 && data[nWords-1] == 0 ) in lshiftMe() 200 r = new int[ ( v * ((long)data[nWords-1]&0xffffffffL) > 0xfffffffL ) ? nWords+1 : nWords ]; in mult() 247 int r[] = new int[ nWords + other.nWords ]; in mult() 280 if ( this.nWords >= other.nWords ){ in add() 354 if ( this.nWords > other.nWords ){ in cmp() 360 }else if ( this.nWords < other.nWords ){ in cmp() 410 if ( nWords != S.nWords ){ in quoRemIteration() [all …]
|
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/test/jdk/jdk/internal/math/FloatingDecimal/ |
H A D | OldFDBigIntForTest.java | 36 nWords = 1; in OldFDBigIntForTest() 49 data = new int[nWords = other.nWords]; in OldFDBigIntForTest() 55 nWords = n; in OldFDBigIntForTest() 128 while ( nWords > 1 && data[nWords-1] == 0 ) in lshiftMe() 200 r = new int[ ( v * ((long)data[nWords-1]&0xffffffffL) > 0xfffffffL ) ? nWords+1 : nWords ]; in mult() 247 int r[] = new int[ nWords + other.nWords ]; in mult() 280 if ( this.nWords >= other.nWords ){ in add() 354 if ( this.nWords > other.nWords ){ in cmp() 360 }else if ( this.nWords < other.nWords ){ in cmp() 410 if ( nWords != S.nWords ){ in quoRemIteration() [all …]
|
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/test/jdk/jdk/internal/math/FloatingDecimal/ |
H A D | OldFDBigIntForTest.java | 36 nWords = 1; in OldFDBigIntForTest() 49 data = new int[nWords = other.nWords]; in OldFDBigIntForTest() 55 nWords = n; in OldFDBigIntForTest() 128 while ( nWords > 1 && data[nWords-1] == 0 ) in lshiftMe() 200 r = new int[ ( v * ((long)data[nWords-1]&0xffffffffL) > 0xfffffffL ) ? nWords+1 : nWords ]; in mult() 247 int r[] = new int[ nWords + other.nWords ]; in mult() 280 if ( this.nWords >= other.nWords ){ in add() 354 if ( this.nWords > other.nWords ){ in cmp() 360 }else if ( this.nWords < other.nWords ){ in cmp() 410 if ( nWords != S.nWords ){ in quoRemIteration() [all …]
|
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/test/jdk/jdk/internal/math/FloatingDecimal/ |
H A D | OldFDBigIntForTest.java | 36 nWords = 1; in OldFDBigIntForTest() 49 data = new int[nWords = other.nWords]; in OldFDBigIntForTest() 55 nWords = n; in OldFDBigIntForTest() 128 while ( nWords > 1 && data[nWords-1] == 0 ) in lshiftMe() 200 r = new int[ ( v * ((long)data[nWords-1]&0xffffffffL) > 0xfffffffL ) ? nWords+1 : nWords ]; in mult() 247 int r[] = new int[ nWords + other.nWords ]; in mult() 280 if ( this.nWords >= other.nWords ){ in add() 354 if ( this.nWords > other.nWords ){ in cmp() 360 }else if ( this.nWords < other.nWords ){ in cmp() 410 if ( nWords != S.nWords ){ in quoRemIteration() [all …]
|
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/test/jdk/jdk/internal/math/FloatingDecimal/ |
H A D | OldFDBigIntForTest.java | 36 nWords = 1; in OldFDBigIntForTest() 49 data = new int[nWords = other.nWords]; in OldFDBigIntForTest() 55 nWords = n; in OldFDBigIntForTest() 128 while ( nWords > 1 && data[nWords-1] == 0 ) in lshiftMe() 200 r = new int[ ( v * ((long)data[nWords-1]&0xffffffffL) > 0xfffffffL ) ? nWords+1 : nWords ]; in mult() 247 int r[] = new int[ nWords + other.nWords ]; in mult() 280 if ( this.nWords >= other.nWords ){ in add() 354 if ( this.nWords > other.nWords ){ in cmp() 360 }else if ( this.nWords < other.nWords ){ in cmp() 410 if ( nWords != S.nWords ){ in quoRemIteration() [all …]
|
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jdk/test/sun/misc/FloatingDecimal/ |
H A D | OldFDBigIntForTest.java | 36 nWords = 1; in OldFDBigIntForTest() 49 data = new int[nWords = other.nWords]; in OldFDBigIntForTest() 55 nWords = n; in OldFDBigIntForTest() 128 while ( nWords > 1 && data[nWords-1] == 0 ) in lshiftMe() 200 r = new int[ ( v * ((long)data[nWords-1]&0xffffffffL) > 0xfffffffL ) ? nWords+1 : nWords ]; in mult() 247 int r[] = new int[ nWords + other.nWords ]; in mult() 280 if ( this.nWords >= other.nWords ){ in add() 354 if ( this.nWords > other.nWords ){ in cmp() 360 }else if ( this.nWords < other.nWords ){ in cmp() 410 if ( nWords != S.nWords ){ in quoRemIteration() [all …]
|
/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jdk/test/sun/misc/FloatingDecimal/ |
H A D | OldFDBigIntForTest.java | 36 nWords = 1; in OldFDBigIntForTest() 49 data = new int[nWords = other.nWords]; in OldFDBigIntForTest() 55 nWords = n; in OldFDBigIntForTest() 128 while ( nWords > 1 && data[nWords-1] == 0 ) in lshiftMe() 200 r = new int[ ( v * ((long)data[nWords-1]&0xffffffffL) > 0xfffffffL ) ? nWords+1 : nWords ]; in mult() 247 int r[] = new int[ nWords + other.nWords ]; in mult() 280 if ( this.nWords >= other.nWords ){ in add() 354 if ( this.nWords > other.nWords ){ in cmp() 360 }else if ( this.nWords < other.nWords ){ in cmp() 410 if ( nWords != S.nWords ){ in quoRemIteration() [all …]
|
/dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/test/jdk/jdk/internal/math/FloatingDecimal/ |
H A D | OldFDBigIntForTest.java | 36 nWords = 1; in OldFDBigIntForTest() 49 data = new int[nWords = other.nWords]; in OldFDBigIntForTest() 55 nWords = n; in OldFDBigIntForTest() 128 while ( nWords > 1 && data[nWords-1] == 0 ) in lshiftMe() 200 r = new int[ ( v * ((long)data[nWords-1]&0xffffffffL) > 0xfffffffL ) ? nWords+1 : nWords ]; in mult() 247 int r[] = new int[ nWords + other.nWords ]; in mult() 280 if ( this.nWords >= other.nWords ){ in add() 354 if ( this.nWords > other.nWords ){ in cmp() 360 }else if ( this.nWords < other.nWords ){ in cmp() 410 if ( nWords != S.nWords ){ in quoRemIteration() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat/ |
H A D | satTruth.h | 54 …line int Tru_ManEqual( word * pOut, word * pIn, int nWords ) { int w; for ( w = 0; w < nWords;… in Tru_ManEqual() argument 55 …tic inline int Tru_ManEqual0( word * pOut, int nWords ) { int w; for ( w = 0; w < n… in Tru_ManEqual0() argument 56 …tic inline int Tru_ManEqual1( word * pOut, int nWords ) { int w; for ( w = 0; w < n… in Tru_ManEqual1() argument 57 …nline word * Tru_ManCopy( word * pOut, word * pIn, int nWords ) { int w; for ( w = 0; w < nWords… in Tru_ManCopy() argument 58 …tic inline word * Tru_ManClear( word * pOut, int nWords ) { int w; for ( w = 0; w < n… in Tru_ManClear() argument 59 …atic inline word * Tru_ManFill( word * pOut, int nWords ) { int w; for ( w = 0; w < … in Tru_ManFill() argument 60 …atic inline word * Tru_ManNot( word * pOut, int nWords ) { int w; for ( w = 0; w < … in Tru_ManNot() argument 61 …nline word * Tru_ManAnd( word * pOut, word * pIn, int nWords ) { int w; for ( w = 0; w < nWords… in Tru_ManAnd() argument 66 … * pOut, word * pIn, int nWords, int fCompl ){ return fCompl ? Tru_ManCopyNot(pOut, pIn, nWords) :… in Tru_ManCopyNotCond() argument 67 … * pOut, word * pIn, int nWords, int fCompl ) { return fCompl ? Tru_ManAndNot(pOut, pIn, nWords) … in Tru_ManAndNotCond() argument [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssc/ |
H A D | sscSim.c | 79 for ( w = 0; w < nWords; w++ ) in Ssc_SimFindBit() 98 for ( w = 0; w < nWords; w++ ) in Ssc_SimCountBits() 125 memcpy( pArray + 2*i*nWords, p->pArray + i*nWords, sizeof(word) * nWords ); in Vec_WrdDoubleSimInfo() 167 Ssc_GiaResetPiPattern( p, nWords ); in Ssc_GiaRandomPiPattern() 172 for ( w = 1; w < nWords; w++ ) in Ssc_GiaRandomPiPattern() 219 for ( w = 0; w < nWords; w++ ) in Ssc_GiaTransferPiPattern() 263 pSim += nWords; in Ssc_GiaSimRound() 264 pSim0 += nWords; in Ssc_GiaSimRound() 274 pSim += nWords; in Ssc_GiaSimRound() 284 pSim += nWords; in Ssc_GiaSimRound() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
H A D | cecIso.c | 30 …nline unsigned * Cec_ManIsoInfo( unsigned * pStore, int nWords, int Id ) { return pStore + nWords … in Cec_ManIsoInfo() argument 56 for ( w = 0; w < nWords; w++ ) in Gia_ManIsoSimulate() 59 for ( w = 0; w < nWords; w++ ) in Gia_ManIsoSimulate() 65 for ( w = 0; w < nWords; w++ ) in Gia_ManIsoSimulate() 68 for ( w = 0; w < nWords; w++ ) in Gia_ManIsoSimulate() 89 for ( w = 0; w < nWords; w++ ) in Gia_ManIsoCopy() 109 for ( w = 0; w < nWords; w++ ) in Gia_ManIsoEqual() 130 for ( w = 0; w < nWords; w++ ) in Gia_ManIsoRandom() 153 for ( i = 0; i < nWords; i++ ) in Gia_ManIsoHashKey() 299 int nWords = 2; in Cec_ManDetectIsomorphism() local [all …]
|
/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/java.base/share/classes/jdk/internal/math/ |
H A D | FDBigInteger.java | 213 nWords = 2; in FDBigInteger() 370 int i = nWords; in trimLeadingZeros() 376 this.nWords = i; in trimLeadingZeros() 396 if (nWords == 0) { in getNormalizationBias() 654 if (nWords == 0) { in multBy10() 659 res[nWords] = multAndCarryBy10(data, nWords, res); in multBy10() 723 mult(this.data, this.nWords, pow5.data, pow5.nWords, r); in multByPow52() 955 int aLen = nWords; in cmp() 1166 int[] r = new int[nWords + other.nWords]; in mult() 1167 mult(this.data, this.nWords, other.data, other.nWords, r); in mult() [all …]
|
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/java.base/share/classes/jdk/internal/math/ |
H A D | FDBigInteger.java | 213 nWords = 2; in FDBigInteger() 370 int i = nWords; in trimLeadingZeros() 376 this.nWords = i; in trimLeadingZeros() 396 if (nWords == 0) { in getNormalizationBias() 654 if (nWords == 0) { in multBy10() 659 res[nWords] = multAndCarryBy10(data, nWords, res); in multBy10() 723 mult(this.data, this.nWords, pow5.data, pow5.nWords, r); in multByPow52() 955 int aLen = nWords; in cmp() 1166 int[] r = new int[nWords + other.nWords]; in mult() 1167 mult(this.data, this.nWords, other.data, other.nWords, r); in mult() [all …]
|
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/java.base/share/classes/jdk/internal/math/ |
H A D | FDBigInteger.java | 213 nWords = 2; in FDBigInteger() 370 int i = nWords; in trimLeadingZeros() 376 this.nWords = i; in trimLeadingZeros() 396 if (nWords == 0) { in getNormalizationBias() 654 if (nWords == 0) { in multBy10() 659 res[nWords] = multAndCarryBy10(data, nWords, res); in multBy10() 723 mult(this.data, this.nWords, pow5.data, pow5.nWords, r); in multByPow52() 955 int aLen = nWords; in cmp() 1166 int[] r = new int[nWords + other.nWords]; in mult() 1167 mult(this.data, this.nWords, other.data, other.nWords, r); in mult() [all …]
|
/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/sun/misc/ |
H A D | FDBigInteger.java | 213 nWords = 2; in FDBigInteger() 370 int i = nWords; in trimLeadingZeros() 376 this.nWords = i; in trimLeadingZeros() 396 if (nWords == 0) { in getNormalizationBias() 654 if (nWords == 0) { in multBy10() 659 res[nWords] = multAndCarryBy10(data, nWords, res); in multBy10() 723 mult(this.data, this.nWords, pow5.data, pow5.nWords, r); in multByPow52() 955 int aLen = nWords; in cmp() 1166 int[] r = new int[nWords + other.nWords]; in mult() 1167 mult(this.data, this.nWords, other.data, other.nWords, r); in mult() [all …]
|
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/java.base/share/classes/jdk/internal/math/ |
H A D | FDBigInteger.java | 213 nWords = 2; in FDBigInteger() 370 int i = nWords; in trimLeadingZeros() 376 this.nWords = i; in trimLeadingZeros() 396 if (nWords == 0) { in getNormalizationBias() 654 if (nWords == 0) { in multBy10() 659 res[nWords] = multAndCarryBy10(data, nWords, res); in multBy10() 723 mult(this.data, this.nWords, pow5.data, pow5.nWords, r); in multByPow52() 955 int aLen = nWords; in cmp() 1166 int[] r = new int[nWords + other.nWords]; in mult() 1167 mult(this.data, this.nWords, other.data, other.nWords, r); in mult() [all …]
|
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/sun/misc/ |
H A D | FDBigInteger.java | 213 nWords = 2; in FDBigInteger() 370 int i = nWords; in trimLeadingZeros() 376 this.nWords = i; in trimLeadingZeros() 396 if (nWords == 0) { in getNormalizationBias() 654 if (nWords == 0) { in multBy10() 659 res[nWords] = multAndCarryBy10(data, nWords, res); in multBy10() 723 mult(this.data, this.nWords, pow5.data, pow5.nWords, r); in multByPow52() 955 int aLen = nWords; in cmp() 1166 int[] r = new int[nWords + other.nWords]; in mult() 1167 mult(this.data, this.nWords, other.data, other.nWords, r); in mult() [all …]
|
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/kit/ |
H A D | kitTruth.c | 77 for ( i = 0; i < nWords; i++ ) in Kit_TruthSwapAdjacentVars() 128 for ( i = 0; i < nWords; i++ ) in Kit_TruthSwapAdjacentVars2() 132 for ( i = 0; i < nWords; i++ ) in Kit_TruthSwapAdjacentVars2() 136 for ( i = 0; i < nWords; i++ ) in Kit_TruthSwapAdjacentVars2() 140 for ( i = 0; i < nWords; i++ ) in Kit_TruthSwapAdjacentVars2() 258 for ( i = 0; i < nWords; i++ ) in Kit_TruthVarInSupport() 263 for ( i = 0; i < nWords; i++ ) in Kit_TruthVarInSupport() 1227 for ( k = 0; k < nWords; k++ ) in Kit_TruthCountOnesInCofs() 1365 assert( nWords <= 1024 ); in Kit_TruthHash() 1367 for ( i = 0; i < nWords; i++ ) in Kit_TruthHash() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaSimBase.c | 42 int nWords; member 88 … memcpy( Vec_WrdEntryP(vSims, Id*nWords), Vec_WrdEntryP(vSimsIn, i*nWords), sizeof(word)*nWords ); in Gia_ManSimPatAssignInputs() 113 for ( w = 0; w < nWords; w++ ) in Gia_ManSimPatSimPo() 147 …memcpy( Vec_WrdEntryP(vValues, nWords * i), Vec_WrdEntryP(vSims, nWords * Id), sizeof(word)* nWord… in Gia_ManSimPatValuesDerive() 158 …memcpy( Vec_WrdEntryP(vValues, nWords * i), Vec_WrdEntryP(vSims, nWords * Id), sizeof(word)* nWord… in Gia_ManSimPatValues() 342 Gia_ManSimPatWriteOne( pFile, Vec_WrdEntryP(vSimsIn, i*nWords), nWords ); in Gia_ManSimPatWrite() 795 Gia_ManSimRelAssignInputs( p, nWords * nMints, vSims, nWords, p->vSimsPi ); in Gia_ManSimRel() 799 … memset( Vec_WrdEntryP(vSims, iObj*nMints*nWords + nWords*m), 0xFF, sizeof(word)*nWords ); in Gia_ManSimRel() 801 … memset( Vec_WrdEntryP(vSims, iObj*nMints*nWords + nWords*m), 0x00, sizeof(word)*nWords ); in Gia_ManSimRel() 813 Gia_ManSimRelCollectOutputs( p, nWords * nMints, vSims, nWords, vVals, vRel ); in Gia_ManSimRel() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/ |
H A D | extraUtilTruth.c | 80 int i, k, nWords; in Extra_TruthElementary() local 81 nWords = Extra_TruthWordNum(nVars); in Extra_TruthElementary() 129 for ( i = 0; i < nWords; i++ ) in Extra_TruthSwapAdjacentVars() 180 for ( i = 0; i < nWords; i++ ) in Extra_TruthSwapAdjacentVars2() 184 for ( i = 0; i < nWords; i++ ) in Extra_TruthSwapAdjacentVars2() 188 for ( i = 0; i < nWords; i++ ) in Extra_TruthSwapAdjacentVars2() 192 for ( i = 0; i < nWords; i++ ) in Extra_TruthSwapAdjacentVars2() 864 for ( k = 0; k < nWords; k++ ) in Extra_TruthCountOnesInCofs() 980 assert( nWords <= 1024 ); in Extra_TruthHash() 982 for ( i = 0; i < nWords; i++ ) in Extra_TruthHash() [all …]
|
/dports/news/husky-fidoconf/husky-fidoconf-1.9.20191207/diskpoll/src/ |
H A D | words.cc | 17 nWords=0; in TWords() 24 nWords=0; in TWords() 28 nWords=1; in TWords() 39 if (nWords>0) in TWords() 72 { return nWords; in getNWords() 85 nWords=r.nWords; in TWords() 86 if (nWords) in TWords() 90 for (i=0;i<nWords;i++) in TWords() 105 nWords=r.nWords; in operator =() 106 if (nWords) in operator =() [all …]
|
/dports/news/husky-htick/husky-htick-1.9.20191207/diskpoll/src/ |
H A D | words.cc | 17 nWords=0; in TWords() 24 nWords=0; in TWords() 28 nWords=1; in TWords() 39 if (nWords>0) in TWords() 72 { return nWords; in getNWords() 85 nWords=r.nWords; in TWords() 86 if (nWords) in TWords() 90 for (i=0;i<nWords;i++) in TWords() 105 nWords=r.nWords; in operator =() 106 if (nWords) in operator =() [all …]
|
/dports/news/husky/husky-1.9.20191207/diskpoll/src/ |
H A D | words.cc | 17 nWords=0; in TWords() 24 nWords=0; in TWords() 28 nWords=1; in TWords() 39 if (nWords>0) in TWords() 72 { return nWords; in getNWords() 85 nWords=r.nWords; in TWords() 86 if (nWords) in TWords() 90 for (i=0;i<nWords;i++) in TWords() 105 nWords=r.nWords; in operator =() 106 if (nWords) in operator =() [all …]
|