Home
last modified time | relevance | path

Searched refs:boundSum (Results 1 – 25 of 26) sorted by relevance

12

/dports/lang/maude/maude-2.7.1/src/Utility/
H A DsequenceAssignment.cc59 SequenceAssignment::computeBoundSum(const IntVec& bounds, IntVec& boundSum) in computeBoundSum() argument
81 boundSum[i] = sum; in computeBoundSum()
H A DsequenceAssignment.hh61 void computeBoundSum(const IntVec& bounds, IntVec& boundSum);
/dports/databases/mongodb36/mongodb-src-r3.6.23/src/third_party/mozjs-45/extract/js/src/jit/
H A DRangeAnalysis.h44 LinearSum boundSum; member
50 LoopIterationBound(MBasicBlock* header, MTest* test, LinearSum boundSum, LinearSum currentSum) in LoopIterationBound()
52 boundSum(boundSum), currentSum(currentSum) in LoopIterationBound()
H A DLoopUnroller.cpp182 LinearSum remainingIterationsInequality(bound->boundSum); in go()
H A DRangeAnalysis.cpp1870 iterationBound->boundSum.dump(sp); in analyzeLoop()
2096 LinearSum limitSum(loopBound->boundSum); in analyzeLoopPhi()
/dports/www/firefox-esr/firefox-91.8.0/js/src/jit/
H A DRangeAnalysis.h60 LinearSum boundSum; member
67 const LinearSum& boundSum, const LinearSum& currentSum) in LoopIterationBound()
70 boundSum(boundSum), in LoopIterationBound()
H A DRangeAnalysis.cpp1973 iterationBound->boundSum.dump(sp); in analyzeLoop()
2231 LinearSum limitSum(loopBound->boundSum); in analyzeLoopPhi()
/dports/www/firefox/firefox-99.0/js/src/jit/
H A DRangeAnalysis.h60 LinearSum boundSum; member
67 const LinearSum& boundSum, const LinearSum& currentSum) in LoopIterationBound()
70 boundSum(boundSum), in LoopIterationBound()
H A DRangeAnalysis.cpp1977 iterationBound->boundSum.dump(sp); in analyzeLoop()
2235 LinearSum limitSum(loopBound->boundSum); in analyzeLoopPhi()
/dports/www/firefox-legacy/firefox-52.8.0esr/js/src/jit/
H A DRangeAnalysis.h44 LinearSum boundSum; member
50 LoopIterationBound(MBasicBlock* header, MTest* test, LinearSum boundSum, LinearSum currentSum) in LoopIterationBound()
52 boundSum(boundSum), currentSum(currentSum) in LoopIterationBound()
H A DLoopUnroller.cpp185 LinearSum remainingIterationsInequality(bound->boundSum); in go()
H A DRangeAnalysis.cpp1970 iterationBound->boundSum.dump(sp); in analyzeLoop()
2198 LinearSum limitSum(loopBound->boundSum); in analyzeLoopPhi()
/dports/lang/spidermonkey60/firefox-60.9.0/js/src/jit/
H A DRangeAnalysis.h39 LinearSum boundSum; member
46 const LinearSum& boundSum, const LinearSum& currentSum) in LoopIterationBound()
49 boundSum(boundSum), in LoopIterationBound()
H A DLoopUnroller.cpp176 LinearSum remainingIterationsInequality(bound->boundSum); in go()
H A DRangeAnalysis.cpp1722 iterationBound->boundSum.dump(sp); in analyzeLoop()
1923 LinearSum limitSum(loopBound->boundSum); in analyzeLoopPhi()
/dports/mail/thunderbird/thunderbird-91.8.0/js/src/jit/
H A DRangeAnalysis.h60 LinearSum boundSum; member
67 const LinearSum& boundSum, const LinearSum& currentSum) in LoopIterationBound()
70 boundSum(boundSum), in LoopIterationBound()
H A DRangeAnalysis.cpp1973 iterationBound->boundSum.dump(sp); in analyzeLoop()
2231 LinearSum limitSum(loopBound->boundSum); in analyzeLoopPhi()
/dports/lang/spidermonkey78/firefox-78.9.0/js/src/jit/
H A DRangeAnalysis.h41 LinearSum boundSum; member
48 const LinearSum& boundSum, const LinearSum& currentSum) in LoopIterationBound()
51 boundSum(boundSum), in LoopIterationBound()
H A DRangeAnalysis.cpp1937 iterationBound->boundSum.dump(sp); in analyzeLoop()
2195 LinearSum limitSum(loopBound->boundSum); in analyzeLoopPhi()
/dports/math/clasp/clasp-3.3.5/clasp/
H A Dsolver_types.h201 …STAT(uint64 boundSum; DOXY(levels kept because of root level) , "levels_bounded" , VALUE(boundS…
214 boundSum += bLevel - uipLevel; in update()
220 uint64 jumped() const { return jumpSum - boundSum; } in jumped()
222 double avgBound() const { return ratio(boundSum, bounded); } in avgBound()
/dports/math/clingo/clingo-5.5.1/clasp/clasp/
H A Dsolver_types.h201 …STAT(uint64 boundSum; DOXY(levels kept because of root level) , "levels_bounded" , VALUE(boundS…
214 boundSum += bLevel - uipLevel; in update()
220 uint64 jumped() const { return jumpSum - boundSum; } in jumped()
222 double avgBound() const { return ratio(boundSum, bounded); } in avgBound()
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/
H A Dsolver_types.h201 …STAT(uint64 boundSum; DOXY(levels kept because of root level) , "levels_bounded" , VALUE(boundS…
214 boundSum += bLevel - uipLevel; in update()
220 uint64 jumped() const { return jumpSum - boundSum; } in jumped()
222 double avgBound() const { return ratio(boundSum, bounded); } in avgBound()
/dports/math/clasp/clasp-3.3.5/src/
H A Dclasp_output.cpp452 printKeyValue("Levels", st.boundSum); in printJumpStats()
1215 …%3u Sum: %6" PRIu64" Ratio: %6.2f%%)\n", st.avgBound(), st.maxBound, st.boundSum, 100.0 - (st.jump… in printJumps()
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/
H A Dclasp_output.cpp452 printKeyValue("Levels", st.boundSum); in printJumpStats()
1215 …%3u Sum: %6" PRIu64" Ratio: %6.2f%%)\n", st.avgBound(), st.maxBound, st.boundSum, 100.0 - (st.jump… in printJumps()
/dports/math/clingo/clingo-5.5.1/clasp/src/
H A Dclasp_output.cpp452 printKeyValue("Levels", st.boundSum); in printJumpStats()
1215 …%3u Sum: %6" PRIu64" Ratio: %6.2f%%)\n", st.avgBound(), st.maxBound, st.boundSum, 100.0 - (st.jump… in printJumps()

12