Home
last modified time | relevance | path

Searched refs:Solution (Results 1 – 25 of 40) sorted by relevance

12

/src/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DSolver.h50 static Result Satisfiable(llvm::DenseMap<Atom, Assignment> Solution) { in Satisfiable()
51 return Result(Status::Satisfiable, std::move(Solution)); in Satisfiable()
69 return Solution; in getSolution()
74 std::optional<llvm::DenseMap<Atom, Assignment>> Solution) in Result()
75 : SATCheckStatus(SATCheckStatus), Solution(std::move(Solution)) {} in Result()
78 std::optional<llvm::DenseMap<Atom, Assignment>> Solution; member
/src/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DDebugSupport.cpp66 if (auto Solution = R.getSolution()) { in operator <<() local
68 Solution->begin(), Solution->end()}; in operator <<()
H A DWatchedLiteralsSolver.cpp248 llvm::DenseMap<Atom, Solver::Result::Assignment> Solution; in buildSolution() local
253 Solution[Atomic.second] = in buildSolution()
258 return Solution; in buildSolution()
/src/contrib/llvm-project/llvm/include/llvm/CodeGen/PBQP/
H A DSolution.h26 class Solution {
33 Solution() = default;
H A DReductionRules.h180 Solution backpropagate(GraphT& G, StackT stack) { in backpropagate()
185 Solution s; in backpropagate()
/src/crypto/openssl/doc/designs/
H A Dxof.md75 #### Proposal 2 (Proposed Solution)
200 ### Solution 1
219 ### Solution 2
237 ### Solution 3
251 ### Solution 4 (Proposed Solution)
/src/contrib/llvm-project/llvm/lib/CodeGen/
H A DRegAllocPBQP.cpp175 const PBQP::Solution &Solution,
717 const PBQP::Solution &Solution, in mapPBQPToRegAlloc() argument
735 unsigned AllocOpt = Solution.getSelection(NId); in mapPBQPToRegAlloc()
871 PBQP::Solution Solution = PBQP::RegAlloc::solve(G); in runOnMachineFunction() local
872 PBQPAllocComplete = mapPBQPToRegAlloc(G, Solution, VRM, *VRegSpiller); in runOnMachineFunction()
/src/contrib/llvm-project/llvm/include/llvm/CodeGen/
H A DRegAllocPBQP.h292 Solution solve() { in solve()
294 Solution S; in solve()
520 inline Solution solve(PBQPRAGraph& G) { in solve()
522 return Solution(); in solve()
/src/crypto/krb5/src/ccapi/test/
H A DPingtest.sln2 Microsoft Visual Studio Solution File, Format Version 9.00
/src/crypto/krb5/src/ccapi/lib/win/
H A DWINCCAPI.sln2 Microsoft Visual Studio Solution File, Format Version 9.00
/src/crypto/krb5/src/ccapi/server/win/
H A DServer.sln2 Microsoft Visual Studio Solution File, Format Version 9.00
/src/contrib/unifdef/win32/
H A Dunifdef.sln2 Microsoft Visual Studio Solution File, Format Version 11.00
/src/contrib/bc/vs/
H A Dbc.sln2 Microsoft Visual Studio Solution File, Format Version 12.00
H A Dbcl.sln2 Microsoft Visual Studio Solution File, Format Version 12.00
/src/sys/contrib/libsodium/
H A Dlibsodium.sln2 Microsoft Visual Studio Solution File, Format Version 12.00
/src/sys/contrib/libsodium/builds/msvc/vs2015/
H A Dlibsodium.sln2 Microsoft Visual Studio Solution File, Format Version 12.00
/src/sys/contrib/libsodium/builds/msvc/vs2013/
H A Dlibsodium.sln2 Microsoft Visual Studio Solution File, Format Version 12.00
/src/sys/contrib/libsodium/builds/msvc/vs2017/
H A Dlibsodium.sln2 Microsoft Visual Studio Solution File, Format Version 12.00
/src/sys/contrib/libsodium/builds/msvc/vs2012/
H A Dlibsodium.sln2 Microsoft Visual Studio Solution File, Format Version 12.00
/src/sys/contrib/libsodium/builds/msvc/vs2010/
H A Dlibsodium.sln2 Microsoft Visual Studio Solution File, Format Version 11.00
/src/contrib/wpa/wpa_supplicant/vs2005/
H A Dwpa_supplicant.sln2 Microsoft Visual Studio Solution File, Format Version 9.00
/src/contrib/llvm-project/llvm/lib/Transforms/Scalar/
H A DLoopStrengthReduce.cpp2266 void SolveRecurse(SmallVectorImpl<const Formula *> &Solution,
2272 void Solve(SmallVectorImpl<const Formula *> &Solution) const;
2289 void ImplementSolution(const SmallVectorImpl<const Formula *> &Solution);
5423 void LSRInstance::SolveRecurse(SmallVectorImpl<const Formula *> &Solution, in SolveRecurse() argument
5484 SolveRecurse(Solution, SolutionCost, Workspace, NewCost, in SolveRecurse()
5496 Solution = Workspace; in SolveRecurse()
5505 void LSRInstance::Solve(SmallVectorImpl<const Formula *> &Solution) const { in Solve()
5515 SolveRecurse(Solution, SolutionCost, Workspace, CurCost, in Solve()
5517 if (Solution.empty()) { in Solve()
5531 Solution[i]->print(dbgs()); in Solve()
[all …]
/src/contrib/one-true-awk/testdir/
H A Dfunstack.ok367 for the Solution of Two-Point Boundary
558 J. A. Howell ACM Algorithm 406: Exact Solution of
561 C. W. Gear ACM Algorithm 407: DIFSUB for Solution
799 G. W. Stewart Algorithm 432: The Solution of the
1098 W. H. Kautz Cellular Arrays for the Solution of
1111 G. W. Stewart ACM Algorithm 432: Solution of the
1206 Prentiss Robinson New Method for the Solution of the
1284 W. P. Crowley ACM Algorithm 443: Solution of the
1452 F. Fiala ACM Algorithm 449: Solution of Linear
1759 B. Einarsson Solution of the transcendental equation
[all …]
/src/contrib/llvm-project/llvm/lib/Target/PowerPC/
H A DPPCSchedule440.td21 // Carlos Sosa and Brant Knudson. IBM System Blue Gene Solution:
/src/contrib/sendmail/
H A DKNOWNBUGS79 the default configuration. Solution: fix the DNS at the sender side.

12