Searched refs:TypeErasedDataflowAnalysisState (Results 1 – 7 of 7) sorted by relevance
106 llvm::ArrayRef<std::optional<TypeErasedDataflowAnalysisState>> in AnalysisContext()124 llvm::ArrayRef<std::optional<TypeErasedDataflowAnalysisState>> BlockStates;175 std::vector<const TypeErasedDataflowAnalysisState *> All;176 std::deque<TypeErasedDataflowAnalysisState> Owned;178 TypeErasedDataflowAnalysisState179 join(const TypeErasedDataflowAnalysisState &L, in join()180 const TypeErasedDataflowAnalysisState &R) { in join()190 void addOwned(TypeErasedDataflowAnalysisState State) { in addOwned()194 void addUnowned(const TypeErasedDataflowAnalysisState &State) { in addUnowned()197 TypeErasedDataflowAnalysisState take() && { in take()[all …]
88 void recordState(TypeErasedDataflowAnalysisState &State) override { in recordState()
267 void recordState(TypeErasedDataflowAnalysisState &State) override { in recordState()
120 struct TypeErasedDataflowAnalysisState { struct127 TypeErasedDataflowAnalysisState(TypeErasedLattice Lattice, Environment Env) in TypeErasedDataflowAnalysisState() argument130 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) {340 const TypeErasedDataflowAnalysisState &State) mutable {354 const TypeErasedDataflowAnalysisState &State) mutable {