Searched refs:dataflow (Results 1 – 25 of 44) sorted by relevance
12
1 //===--- DataflowValues.h - Data structure for dataflow values --*- C++ -*-===//9 // This file defines a skeleton data structure for encapsulating the dataflow26 /// within the dataflow solver/transfer functions to determine what direction27 /// a dataflow analysis flows.30 namespace dataflow {33 } // end namespace dataflow36 /// DataflowValues. Container class to store dataflow values for a CFG.40 typename _AnalysisDirTag = dataflow::forward_analysis_tag >60 /// isForwardAnalysis - Returns true if the dataflow values are computed64 /// isBackwardAnalysis - Returns true if the dataflow value[all...]
21 namespace clang::dataflow {135 template <> struct DenseMapInfo<clang::dataflow::Atom> {136 using Atom = clang::dataflow::Atom;
29 namespace dataflow {117 const clang::dataflow::MapLattice<Key, ElementLattice> &M) {130 const clang::dataflow::VarMapLattice<ElementLattice> &M) {
9 // This file defines base types for building lattices to be used in dataflow18 namespace dataflow {28 } // namespace dataflow
25 namespace dataflow {
20 namespace dataflow {
17 namespace dataflow {
20 namespace dataflow {69 } // namespace dataflow
9 // This file defines a SAT solver implementation that can be used by dataflow22 namespace dataflow {55 } // namespace dataflow
23 namespace dataflow {
23 namespace dataflow {59 } // namespace dataflow
16 namespace clang::dataflow {89 } // namespace clang::dataflow
10 // dataflow analyses.25 namespace dataflow {27 /// An interface for a SAT solver that can be used by dataflow analyses.98 } // namespace dataflow
9 // This file defines type-erased base types and functions for building dataflow32 namespace dataflow {53 /// Type-erased base class for dataflow analyses built on a single lattice type.148 /// Performs dataflow analysis and returns a mapping from basic block IDs to149 /// dataflow analysis states that model the respective basic blocks. Indices of151 /// dataflow analysis cannot be performed successfully. Otherwise, calls167 } // namespace dataflow
30 namespace dataflow {
11 // dataflow analysis.37 "dataflow-log", llvm::cl::Hidden, llvm::cl::ValueOptional,38 llvm::cl::desc("Emit log of dataflow analysis. With no arg, writes textual "43 namespace dataflow {345 // If the -dataflow-log command-line flag was set, synthesize a logger. in DataflowAnalysisContext() 346 // This is ugly but provides a uniform method for ad-hoc debugging dataflow- in DataflowAnalysisContext() 361 } // namespace dataflow42 namespace dataflow { global() namespace
15 #define DEBUG_TYPE "dataflow"17 namespace clang::dataflow { in copyRecord() 133 } // namespace clang::dataflow
18 namespace dataflow { namespace 56 llvm_unreachable("Unknown clang::dataflow::Value::Kind enum"); in operator <<() 59 } // namespace dataflow in operator <<()
10 // structures used in the dataflow analyses, for debugging purposes.23 namespace dataflow { namespace 76 } // namespace dataflow in operator <<()
18 namespace clang::dataflow { namespace
27 namespace dataflow {48 UncheckedOptionalAccessModel(ASTContext &Ctx, dataflow::Environment &Env);
21 namespace dataflow {
15 namespace dataflow { namespace