Lines Matching defs:ValueState

403       ValueState; // The state each value is in.
405   /// StructValueState - This maintains ValueState for values that have
485     return markConstant(ValueState[V], V, C);
518     return mergeInValue(ValueState[V], V, MergeWithV, Opts);
527     auto I = ValueState.insert(std::make_pair(V, ValueLatticeElement()));
605       } else if (auto It = ValueState.find(Inst); It != ValueState.end()) {
818   void removeLatticeValueFor(Value *V) { ValueState.erase(V); }
837         ValueState.find(V);
838     assert(I != ValueState.end() &&
839            "V not found in ValueState nor Paramstate map!");
860       markOverdefined(ValueState[V], V);
1068         ValueState[&*NewArg].markConstant(Iter->Actual);
1078         ValueLatticeElement &NewValue = ValueState[&*NewArg];
1079         NewValue = ValueState[&*OldArg];
1337   if (ValueState[&I].isOverdefined())
1402   if (ValueState[&EVI].isOverdefined())
1429   if (ValueState[&IVI].isOverdefined())
1468   if (ValueState[&I].isOverdefined())
1488   bool Changed = ValueState[&I].mergeIn(TVal);
1489   Changed |= ValueState[&I].mergeIn(FVal);
1491     pushToWorkListMsg(ValueState[&I], &I);
1498   ValueLatticeElement &IV = ValueState[&I];
1523   ValueLatticeElement &IV = ValueState[&I];
1545   ValueLatticeElement &IV = ValueState[&I];
1606   if (ValueState[&I].isOverdefined())
1627       !SCCPSolver::isConstant(ValueState[&I]))
1636   if (ValueState[&I].isOverdefined())
1648       return (void)markNotNull(ValueState[&I], &I);
1676     return (void)markNotNull(ValueState[&I], &I);
1732   if (ValueState[&I].isOverdefined())
1739   ValueLatticeElement &IV = ValueState[&I];
1859       if (ValueState[&CB].isOverdefined())
1870         mergeInValue(ValueState[&CB], &CB, CopyOfVal);
1884       ValueLatticeElement &IV = ValueState[&CB];