Lines Matching defs:CVPLatticeVal
57 class CVPLatticeVal {
72 CVPLatticeVal() = default;
73 CVPLatticeVal(CVPLatticeStateTy LatticeState) : LatticeState(LatticeState) {}
74 CVPLatticeVal(std::vector<Function *> &&Functions)
88 bool operator==(const CVPLatticeVal &RHS) const {
92 bool operator!=(const CVPLatticeVal &RHS) const {
104 /// uninteresting states (i.e., overdefined), CVPLatticeVal objects should be
116 : public AbstractLatticeFunction<CVPLatticeKey, CVPLatticeVal> {
119 : AbstractLatticeFunction(CVPLatticeVal(CVPLatticeVal::Undefined),
120 CVPLatticeVal(CVPLatticeVal::Overdefined),
121 CVPLatticeVal(CVPLatticeVal::Untracked)) {}
123 /// Compute and return a CVPLatticeVal for the given CVPLatticeKey.
124 CVPLatticeVal ComputeLatticeVal(CVPLatticeKey Key) override {
153 CVPLatticeVal MergeValues(CVPLatticeVal X, CVPLatticeVal Y) override {
161 std::back_inserter(Union), CVPLatticeVal::Compare{});
164 return CVPLatticeVal(std::move(Union));
172 Instruction &I, DenseMap<CVPLatticeKey, CVPLatticeVal> &ChangedValues,
173 SparseSolver<CVPLatticeKey, CVPLatticeVal> &SS) override {
191 /// Print the given CVPLatticeVal to the specified stream.
192 void PrintLatticeVal(CVPLatticeVal LV, raw_ostream &OS) override {
231 CVPLatticeVal computeConstant(Constant *C) {
233 return CVPLatticeVal(CVPLatticeVal::FunctionSet);
235 return CVPLatticeVal({F});
242 DenseMap<CVPLatticeKey, CVPLatticeVal> &ChangedValues,
243 SparseSolver<CVPLatticeKey, CVPLatticeVal> &SS) {
258 DenseMap<CVPLatticeKey, CVPLatticeVal> &ChangedValues,
259 SparseSolver<CVPLatticeKey, CVPLatticeVal> &SS) {
302 DenseMap<CVPLatticeKey, CVPLatticeVal> &ChangedValues,
303 SparseSolver<CVPLatticeKey, CVPLatticeVal> &SS) {
315 DenseMap<CVPLatticeKey, CVPLatticeVal> &ChangedValues,
316 SparseSolver<CVPLatticeKey, CVPLatticeVal> &SS) {
331 DenseMap<CVPLatticeKey, CVPLatticeVal> &ChangedValues,
332 SparseSolver<CVPLatticeKey, CVPLatticeVal> &SS) {
345 DenseMap<CVPLatticeKey, CVPLatticeVal> &ChangedValues,
346 SparseSolver<CVPLatticeKey, CVPLatticeVal> &SS) {
373 SparseSolver<CVPLatticeKey, CVPLatticeVal> Solver(&Lattice);
391 CVPLatticeVal LV = Solver.getExistingValueState(RegI);