Lines Matching defs:ValueState
363 ValueState; // The state each value is in.
365 /// StructValueState - This maintains ValueState for values that have
445 return markConstant(ValueState[V], V, C);
472 return mergeInValue(ValueState[V], V, MergeWithV, Opts);
481 auto I = ValueState.insert(std::make_pair(V, ValueLatticeElement()));
559 } else if (auto It = ValueState.find(Inst); It != ValueState.end()) {
770 void removeLatticeValueFor(Value *V) { ValueState.erase(V); }
789 ValueState.find(V);
790 assert(I != ValueState.end() &&
791 "V not found in ValueState nor Paramstate map!");
812 markOverdefined(ValueState[V], V);
818 markConstantRange(ValueState[A], A, *Range);
1009 ValueState[&*NewArg].markConstant(Iter->Actual);
1019 ValueLatticeElement &NewValue = ValueState[&*NewArg];
1020 NewValue = ValueState[&*OldArg];
1278 if (ValueState[&I].isOverdefined())
1343 if (ValueState[&EVI].isOverdefined())
1370 if (SCCPSolver::isOverdefined(ValueState[&IVI]))
1409 if (ValueState[&I].isOverdefined())
1429 bool Changed = ValueState[&I].mergeIn(TVal);
1430 Changed |= ValueState[&I].mergeIn(FVal);
1432 pushToWorkListMsg(ValueState[&I], &I);
1439 ValueLatticeElement &IV = ValueState[&I];
1464 ValueLatticeElement &IV = ValueState[&I];
1486 ValueLatticeElement &IV = ValueState[&I];
1547 if (SCCPSolver::isOverdefined(ValueState[&I]))
1568 !SCCPSolver::isConstant(ValueState[&I]))
1577 if (SCCPSolver::isOverdefined(ValueState[&I]))
1649 if (ValueState[&I].isOverdefined())
1656 ValueLatticeElement &IV = ValueState[&I];
1774 if (ValueState[&CB].isOverdefined())
1785 mergeInValue(ValueState[&CB], &CB, CopyOfVal);
1799 ValueLatticeElement &IV = ValueState[&CB];