129               const DenseMap<Value *, unsigned> &Value2Index,  in getConstraint()  argument
136   auto GetOrAddIndex = [&Value2Index, &NewIndices](Value *V) -> unsigned {  in getConstraint()
137     auto V2I = Value2Index.find(V);  in getConstraint()
138     if (V2I != Value2Index.end())  in getConstraint()
144         NewIndices.insert({V, Value2Index.size() + NewIndices.size() + 1});  in getConstraint()
150                          Value2Index, NewIndices);  in getConstraint()
154         getConstraint(CmpInst::ICMP_UGE, Op0, Op1, Value2Index, NewIndices);  in getConstraint()
156         getConstraint(CmpInst::ICMP_ULE, Op0, Op1, Value2Index, NewIndices);  in getConstraint()
162     return getConstraint(CmpInst::ICMP_UGT, Op0, Op1, Value2Index, NewIndices);  in getConstraint()
194   SmallVector<int64_t, 8> R(Value2Index.size() + NewIndices.size() + 1, 0);  in getConstraint()
206 getConstraint(CmpInst *Cmp, const DenseMap<Value *, unsigned> &Value2Index,  in getConstraint()  argument
209                        Cmp->getOperand(1), Value2Index, NewIndices);  in getConstraint()
246                           DenseMap<Value *, unsigned> &Value2Index) {  in dumpWithNames()  argument
247   SmallVector<std::string> Names(Value2Index.size(), "");  in dumpWithNames()
248   for (auto &KV : Value2Index) {  in dumpWithNames()
334   DenseMap<Value *, unsigned> Value2Index;  in eliminateConstraints()  local
370         auto R = getConstraint(Cmp, Value2Index, NewIndices);  in eliminateConstraints()
442     auto R = getConstraint(CB.Condition, Value2Index, NewIndices);  in eliminateConstraints()
447       Value2Index.insert(KV);  in eliminateConstraints()
455         dumpWithNames(C, Value2Index);  in eliminateConstraints()