100                               const SmallPtrSetImpl<Value *> &InsertedValues,  in refineInstruction()  argument
103   auto GetRange = [&Solver, &InsertedValues](Value *Op) {  in refineInstruction()
106     if (InsertedValues.contains(Op)) {  in refineInstruction()
169                               SmallPtrSetImpl<Value *> &InsertedValues,  in replaceSignedInst()  argument
190     if (InsertedValues.count(Op0) || !isNonNegative(Op0))  in replaceSignedInst()
202     if (InsertedValues.count(Op0) || !isNonNegative(Op0))  in replaceSignedInst()
212     if (InsertedValues.count(Op0) || InsertedValues.count(Op1) ||  in replaceSignedInst()
229   InsertedValues.insert(NewInst);  in replaceSignedInst()
238                                       SmallPtrSetImpl<Value *> &InsertedValues,  in simplifyInstsInBlock()  argument
251     } else if (replaceSignedInst(*this, InsertedValues, Inst)) {  in simplifyInstsInBlock()
254     } else if (refineInstruction(*this, InsertedValues, Inst)) {  in simplifyInstsInBlock()