Searched refs:LatticeJoinEffect (Results 1 – 12 of 12) sorted by relevance
95 LatticeJoinEffect join(const MapLattice &Other) { in join()96 LatticeJoinEffect Effect = LatticeJoinEffect::Unchanged; in join()101 Effect = LatticeJoinEffect::Changed; in join()102 } else if (It->second.join(O.second) == LatticeJoinEffect::Changed) in join()103 Effect = LatticeJoinEffect::Changed; in join()
29 LatticeJoinEffect join(const NoopLattice &Other) { in join()30 return LatticeJoinEffect::Unchanged; in join()
21 enum class LatticeJoinEffect { enum
81 virtual LatticeJoinEffect joinTypeErased(TypeErasedLattice &,
81 LatticeJoinEffect joinTypeErased(TypeErasedLattice &E1, in joinTypeErased()
167 LatticeJoinEffect join(const Environment &Other,
22 LatticeJoinEffect join(BooleanLattice Other) { in join()25 return Prev == Value ? LatticeJoinEffect::Unchanged in join()26 : LatticeJoinEffect::Changed; in join()94 ASSERT_EQ(Lattice1.join(Lattice2), LatticeJoinEffect::Changed); in TEST()104 ASSERT_EQ(Lattice.join(Lattice), LatticeJoinEffect::Unchanged); in TEST()125 ASSERT_EQ(Lattice2.join(Lattice1), LatticeJoinEffect::Unchanged); in TEST()136 ASSERT_EQ(Lattice1.join(Lattice2), LatticeJoinEffect::Changed); in TEST()
59 LatticeJoinEffect join(BooleanLattice Other) { in join()62 return Prev == Value ? LatticeJoinEffect::Unchanged in join()63 : LatticeJoinEffect::Changed; in join()
75 LatticeJoinEffect join(const ConstantPropagationLattice &Other) { in join()77 return LatticeJoinEffect::Unchanged; in join()81 return LatticeJoinEffect::Changed; in join()85 return LatticeJoinEffect::Changed; in join()
82 LatticeJoinEffect join(const ValueLattice &Other) { in join()84 return LatticeJoinEffect::Unchanged; in join()88 return LatticeJoinEffect::Changed; in join()92 return LatticeJoinEffect::Changed; in join()
96 LatticeJoinEffect join(const NonConvergingLattice &Other) { in join()98 return LatticeJoinEffect::Unchanged; in join()100 return LatticeJoinEffect::Changed; in join()138 LatticeJoinEffect join(const FunctionCallLattice &Other) { in join()140 return LatticeJoinEffect::Unchanged; in join()144 return CalledFunctions.size() == size_before ? LatticeJoinEffect::Unchanged in join()145 : LatticeJoinEffect::Changed; in join()
269 LatticeJoinEffect Environment::join(const Environment &Other, in join()273 auto Effect = LatticeJoinEffect::Unchanged; in join()279 Effect = LatticeJoinEffect::Changed; in join()283 Effect = LatticeJoinEffect::Changed; in join()288 Effect = LatticeJoinEffect::Changed; in join()316 Effect = LatticeJoinEffect::Changed; in join()