Home
last modified time | relevance | path

Searched refs:ChangeResult (Results 1 – 10 of 10) sorted by relevance

/llvm-project-15.0.7/mlir/test/lib/Analysis/
H A DTestDataFlowFramework.cpp24 ChangeResult defaultInitialize() override { return join(0); } in defaultInitialize()
39 ChangeResult join(const FooState &rhs) { in join()
41 return ChangeResult::NoChange; in join()
44 ChangeResult join(uint64_t value) { in join()
47 return ChangeResult::Change; in join()
51 return before == *state ? ChangeResult::NoChange : ChangeResult::Change; in join()
55 ChangeResult set(const FooState &rhs) { in set()
57 return ChangeResult::NoChange; in set()
59 return ChangeResult::Change; in set()
134 ChangeResult result = ChangeResult::NoChange; in visitBlock()
[all …]
/llvm-project-15.0.7/mlir/include/mlir/Analysis/DataFlow/
H A DDeadCodeAnalysis.h45 ChangeResult defaultInitialize() override { return ChangeResult::NoChange; } in defaultInitialize()
48 ChangeResult setToLive();
105 ChangeResult defaultInitialize() override { return ChangeResult::NoChange; } in defaultInitialize()
114 ChangeResult setHasUnknownPredecessors() { in setHasUnknownPredecessors()
115 return std::exchange(allKnown, false) ? ChangeResult::Change in setHasUnknownPredecessors()
116 : ChangeResult::NoChange; in setHasUnknownPredecessors()
130 ChangeResult join(Operation *predecessor);
133 ChangeResult join(Operation *predecessor, ValueRange inputs);
H A DSparseAnalysis.h39 virtual ChangeResult join(const AbstractSparseLattice &rhs) = 0;
48 virtual ChangeResult markPessimisticFixpoint() = 0;
102 ChangeResult defaultInitialize() override { in defaultInitialize()
119 return ChangeResult::NoChange; in join()
127 ChangeResult join(const ValueT &rhs) { in join()
131 return ChangeResult::Change; in join()
143 return ChangeResult::NoChange; in join()
146 return ChangeResult::Change; in join()
152 ChangeResult markPessimisticFixpoint() override { in markPessimisticFixpoint()
154 return ChangeResult::NoChange; in markPessimisticFixpoint()
[all …]
H A DDenseAnalysis.h40 virtual ChangeResult join(const AbstractDenseLattice &rhs) = 0;
44 virtual ChangeResult reset() = 0;
/llvm-project-15.0.7/mlir/test/lib/Analysis/DataFlow/
H A DTestDenseDataFlowAnalysis.cpp65 ChangeResult defaultInitialize() override { return ChangeResult::NoChange; } in defaultInitialize()
69 ChangeResult reset() override { in reset()
71 return ChangeResult::NoChange; in reset()
73 return ChangeResult::Change; in reset()
80 ChangeResult join(const AbstractDenseLattice &lattice) override { in join()
82 ChangeResult result = ChangeResult::NoChange; in join()
87 result |= ChangeResult::Change; in join()
94 ChangeResult set(Value value, Operation *op) { in set()
96 ChangeResult result = ChangeResult::NoChange; in set()
98 result = ChangeResult::Change; in set()
[all …]
/llvm-project-15.0.7/mlir/include/mlir/Analysis/
H A DDataFlowFramework.h33 enum class ChangeResult { enum
37 inline ChangeResult operator|(ChangeResult lhs, ChangeResult rhs) {
38 return lhs == ChangeResult::Change ? lhs : rhs;
40 inline ChangeResult &operator|=(ChangeResult &lhs, ChangeResult rhs) {
44 inline ChangeResult operator&(ChangeResult lhs, ChangeResult rhs) {
45 return lhs == ChangeResult::NoChange ? lhs : rhs;
236 void propagateIfChanged(AnalysisState *state, ChangeResult changed);
296 virtual ChangeResult defaultInitialize() = 0;
393 void propagateIfChanged(AnalysisState *state, ChangeResult changed);
/llvm-project-15.0.7/mlir/lib/Analysis/DataFlow/
H A DDeadCodeAnalysis.cpp21 ChangeResult Executable::setToLive() { in setToLive()
23 return ChangeResult::NoChange; in setToLive()
25 return ChangeResult::Change; in setToLive()
62 ChangeResult PredecessorState::join(Operation *predecessor) { in join()
63 return knownPredecessors.insert(predecessor) ? ChangeResult::Change in join()
64 : ChangeResult::NoChange; in join()
67 ChangeResult PredecessorState::join(Operation *predecessor, ValueRange inputs) { in join()
68 ChangeResult result = join(predecessor); in join()
73 result |= ChangeResult::Change; in join()
H A DIntegerRangeAnalysis.cpp95 ChangeResult changed = lattice->join(attrs); in visitOperation()
138 ChangeResult changed = lattice->join(attrs); in visitNonControlFlowArguments()
/llvm-project-15.0.7/mlir/lib/Analysis/
H A DDataFlowFramework.cpp98 ChangeResult changed) { in propagateIfChanged()
99 if (changed == ChangeResult::Change) { in propagateIfChanged()
136 ChangeResult changed) { in propagateIfChanged()
/llvm-project-15.0.7/mlir/docs/Tutorials/
H A DDataFlowAnalysis.md163 ChangeResult join(const LatticeElement<ValueT> &rhs);
167 ChangeResult join(const ValueT &rhs);
172 ChangeResult markPessimisticFixPoint();
210 ChangeResult markAllPessimisticFixPoint(ValueRange values);
220 virtual ChangeResult visitOperation(
241 ChangeResult visitOperation(
253 ChangeResult result = ChangeResult::NoChange;