Lines Matching defs:CVPLatticeVal
55 class CVPLatticeVal {
70 CVPLatticeVal() : LatticeState(Undefined) {}
71 CVPLatticeVal(CVPLatticeStateTy LatticeState) : LatticeState(LatticeState) {}
72 CVPLatticeVal(std::vector<Function *> &&Functions)
86 bool operator==(const CVPLatticeVal &RHS) const {
90 bool operator!=(const CVPLatticeVal &RHS) const {
102 /// uninteresting states (i.e., overdefined), CVPLatticeVal objects should be
114 : public AbstractLatticeFunction<CVPLatticeKey, CVPLatticeVal> {
117 : AbstractLatticeFunction(CVPLatticeVal(CVPLatticeVal::Undefined),
118 CVPLatticeVal(CVPLatticeVal::Overdefined),
119 CVPLatticeVal(CVPLatticeVal::Untracked)) {}
121 /// Compute and return a CVPLatticeVal for the given CVPLatticeKey.
122 CVPLatticeVal ComputeLatticeVal(CVPLatticeKey Key) override {
151 CVPLatticeVal MergeValues(CVPLatticeVal X, CVPLatticeVal Y) override {
159 std::back_inserter(Union), CVPLatticeVal::Compare{});
162 return CVPLatticeVal(std::move(Union));
170 Instruction &I, DenseMap<CVPLatticeKey, CVPLatticeVal> &ChangedValues,
171 SparseSolver<CVPLatticeKey, CVPLatticeVal> &SS) override {
189 /// Print the given CVPLatticeVal to the specified stream.
190 void PrintLatticeVal(CVPLatticeVal LV, raw_ostream &OS) override {
229 CVPLatticeVal computeConstant(Constant *C) {
231 return CVPLatticeVal(CVPLatticeVal::FunctionSet);
233 return CVPLatticeVal({F});
240 DenseMap<CVPLatticeKey, CVPLatticeVal> &ChangedValues,
241 SparseSolver<CVPLatticeKey, CVPLatticeVal> &SS) {
256 DenseMap<CVPLatticeKey, CVPLatticeVal> &ChangedValues,
257 SparseSolver<CVPLatticeKey, CVPLatticeVal> &SS) {
300 DenseMap<CVPLatticeKey, CVPLatticeVal> &ChangedValues,
301 SparseSolver<CVPLatticeKey, CVPLatticeVal> &SS) {
313 DenseMap<CVPLatticeKey, CVPLatticeVal> &ChangedValues,
314 SparseSolver<CVPLatticeKey, CVPLatticeVal> &SS) {
329 DenseMap<CVPLatticeKey, CVPLatticeVal> &ChangedValues,
330 SparseSolver<CVPLatticeKey, CVPLatticeVal> &SS) {
343 DenseMap<CVPLatticeKey, CVPLatticeVal> &ChangedValues,
344 SparseSolver<CVPLatticeKey, CVPLatticeVal> &SS) {
371 SparseSolver<CVPLatticeKey, CVPLatticeVal> Solver(&Lattice);
389 CVPLatticeVal LV = Solver.getExistingValueState(RegI);