Searched refs:TypeErasedDataflowAnalysisState (Results 1 – 7 of 7) sorted by relevance
92 llvm::ArrayRef<std::optional<TypeErasedDataflowAnalysisState>> in AnalysisContext()110 llvm::ArrayRef<std::optional<TypeErasedDataflowAnalysisState>> BlockStates;161 std::vector<const TypeErasedDataflowAnalysisState *> All;162 std::deque<TypeErasedDataflowAnalysisState> Owned;164 TypeErasedDataflowAnalysisState165 join(const TypeErasedDataflowAnalysisState &L, in join()166 const TypeErasedDataflowAnalysisState &R) { in join()176 void addOwned(TypeErasedDataflowAnalysisState State) { in addOwned()180 void addUnowned(const TypeErasedDataflowAnalysisState &State) { in addUnowned()183 TypeErasedDataflowAnalysisState take() && { in take()[all …]
88 void recordState(TypeErasedDataflowAnalysisState &State) override { in recordState()
268 void recordState(TypeErasedDataflowAnalysisState &State) override { in recordState()
120 struct TypeErasedDataflowAnalysisState { struct127 TypeErasedDataflowAnalysisState(TypeErasedLattice Lattice, Environment Env) in TypeErasedDataflowAnalysisState() function130 TypeErasedDataflowAnalysisState fork() const { in fork() argument131 return TypeErasedDataflowAnalysisState(Lattice, Env.fork()); in fork()138 const CFGElement &, const TypeErasedDataflowAnalysisState &)>;160 llvm::Expected<std::vector<std::optional<TypeErasedDataflowAnalysisState>>>
33 llvm::ArrayRef<std::optional<TypeErasedDataflowAnalysisState>> in StmtToEnvMap()36 const TypeErasedDataflowAnalysisState &CurState) in StmtToEnvMap()46 llvm::ArrayRef<std::optional<TypeErasedDataflowAnalysisState>> BlockToState;48 const TypeErasedDataflowAnalysisState &CurState;
20 struct TypeErasedDataflowAnalysisState;62 virtual void recordState(TypeErasedDataflowAnalysisState &) {} in recordState() argument
242 const TypeErasedDataflowAnalysisState &State) {255 const TypeErasedDataflowAnalysisState &State) {279 std::move(OptState), [](TypeErasedDataflowAnalysisState &&State) {356 const TypeErasedDataflowAnalysisState &State) mutable {370 const TypeErasedDataflowAnalysisState &State) mutable {