| /llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/ |
| H A D | SolverTest.cpp | 54 solve({X}), in TEST()
65 solve({NotX}), in TEST()
75 expectUnsatisfiable(solve({X, NotX})); in TEST()
86 solve({X, NotY}), in TEST()
139 expectSatisfiable(solve({XOrX}), _); in TEST()
158 expectSatisfiable(solve({XAndX}), _); in TEST()
172 solve({NotXOrY, NotXOrNotY}), in TEST()
229 expectSatisfiable(solve({XEqX}), _); in TEST()
240 solve({XEqY}), in TEST()
257 solve({XEqY, X, Y}), in TEST()
[all …]
|
| H A D | DebugSupportTest.cpp | 210 return WatchedLiteralsSolver().solve(std::move(ConstraintsSet)); in CheckSAT()
|
| /llvm-project-15.0.7/llvm/test/Transforms/Inline/ |
| H A D | callgraph-update.ll | 3 declare void @solve()
12 call void @solve()
|
| /llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | WatchedLiteralsSolver.h | 31 Result solve(llvm::DenseSet<BoolValue *> Vals) override;
|
| H A D | Solver.h | 90 virtual Result solve(llvm::DenseSet<BoolValue *> Vals) = 0;
|
| /llvm-project-15.0.7/llvm/test/Transforms/LowerSwitch/ |
| H A D | 2004-03-13-SwitchIsDefaultCrash.ll | 3 define void @solve() {
|
| /llvm-project-15.0.7/mlir/lib/Conversion/PDLToPDLInterp/ |
| H A D | RootOrdering.h | 107 unsigned solve();
|
| H A D | RootOrdering.cpp | 123 unsigned OptimalBranching::solve() { in solve() function in OptimalBranching
178 totalCost = solve(); in solve()
|
| /llvm-project-15.0.7/libcxx/test/libcxx/selftest/dsl/ |
| H A D | lit.local.cfg | 8 # To solve this problem, we pickle the substitutions and base64 encode that
|
| /llvm-project-15.0.7/mlir/docs/Rationale/ |
| H A D | RationaleGenericDAGRewriter.md | 32 solve many diverse domain challenges.
44 defines and explores a set of abstractions that can solve a wide range of
68 compiler in existence has to solve this problem many times over. One unifying
69 problem is that all of these systems are designed to solve one particular, and
70 usually, narrow problem: MLIR on the other hand would like to solve many of
270 The pattern infrastructure does not aim to solve all compiler problems, it is
279 consider this acceptable given the set of problems we are trying to solve - we
|
| /llvm-project-15.0.7/llvm/include/llvm/CodeGen/ |
| H A D | RegAllocPBQP.h | 292 Solution solve() { in solve() function
522 inline Solution solve(PBQPRAGraph& G) { in solve() function
526 return RegAllocSolver.solve(); in solve()
|
| /llvm-project-15.0.7/mlir/unittests/Conversion/PDLToPDLInterp/ |
| H A D | RootOrderingTest.cpp | 51 EXPECT_EQ(opt.solve(), cost); in check()
|
| /llvm-project-15.0.7/llvm/include/llvm/Transforms/Utils/ |
| H A D | SCCPSolver.h | 106 void solve();
|
| /llvm-project-15.0.7/llvm/test/Transforms/CodeExtractor/ |
| H A D | 2004-03-13-LoopExtractorCrash.ll | 3 define void @solve() {
|
| /llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/ |
| H A D | WatchedLiteralsSolver.cpp | 456 Solver::Result solve() && { in solve() function in clang::dataflow::WatchedLiteralsSolverImpl
710 Solver::Result WatchedLiteralsSolver::solve(llvm::DenseSet<BoolValue *> Vals) { in solve() function in clang::dataflow::WatchedLiteralsSolver
712 : WatchedLiteralsSolverImpl(Vals).solve(); in solve()
|
| /llvm-project-15.0.7/llvm/lib/Transforms/Scalar/ |
| H A D | SCCP.cpp | 216 Solver.solve(); in runSCCP()
512 Solver.solve(); in runIPSCCP()
521 Solver.solve(); in runIPSCCP()
|
| /llvm-project-15.0.7/clang-tools-extra/docs/clang-tidy/checks/bugprone/ |
| H A D | suspicious-semicolon.rst | 42 To solve the issue remove the stray semicolon or in case the empty body is
|
| /llvm-project-15.0.7/lldb/docs/status/ |
| H A D | goals.rst | 11 works". We aim to solve these long-standing problems where debuggers get
|
| /llvm-project-15.0.7/lldb/docs/use/ |
| H A D | links.rst | 33 Xcode’s view debugging tools to solve UI issues in your app more
|
| H A D | troubleshooting.rst | 53 again, sometimes doing a clean then build will solve the issue.This will fix
|
| /llvm-project-15.0.7/llvm/docs/GlobalISel/ |
| H A D | index.rst | 21 solve three major problems:
|
| /llvm-project-15.0.7/llvm/lib/Support/Unix/ |
| H A D | DynamicLibrary.inc | 75 // If this is darwin, it has some funky issues, try to solve them here. Some
|
| /llvm-project-15.0.7/llvm/lib/Transforms/Utils/ |
| H A D | SCCPSolver.cpp | 388 void solve();
1375 void SCCPInstVisitor::solve() { in solve() function in SCCPInstVisitor
1554 void SCCPSolver::solve() { Visitor->solve(); } in solve() function in SCCPSolver
|
| /llvm-project-15.0.7/clang-tools-extra/docs/clang-tidy/checks/readability/ |
| H A D | implicit-bool-conversion.rst | 33 In addition to issuing warnings, fix-it hints are provided to help solve the
|
| /llvm-project-15.0.7/clang/docs/ |
| H A D | ExternalClangExamples.rst | 79 cldoc tries to solve the issue of writing C/C++ software documentation
|