517                          const AvailableValueSet &AvailableSet);
579     AvailableValueSet &AvailableSet = BBS->AvailableIn;  in verifyFunction()  local
584       Verifier.verifyInstruction(&Tracker, I, AvailableSet);  in verifyFunction()
589       transferInstruction(I, Cleared, AvailableSet);  in verifyFunction()
640   AvailableValueSet AvailableSet = BBS->AvailableIn;  in removeValidUnrelocatedDefs()  local
687             isNotExclusivelyConstantDerived(V) && !AvailableSet.count(V)) {  in removeValidUnrelocatedDefs()
716       transferInstruction(I, Cleared, AvailableSet);  in removeValidUnrelocatedDefs()
783     const AvailableValueSet &AvailableSet) {  in verifyInstruction()  argument
807     auto hasValidUnrelocatedUse = [&AvailableSet, Tracker, baseTyLHS, baseTyRHS,  in verifyInstruction()
816         if (AvailableSet.count(LHS) || AvailableSet.count(RHS))  in verifyInstruction()
850       if (baseTyLHS == BaseType::NonConstant && !AvailableSet.count(LHS))  in verifyInstruction()
852       if (baseTyRHS == BaseType::NonConstant && !AvailableSet.count(RHS))  in verifyInstruction()
858           isNotExclusivelyConstantDerived(V) && !AvailableSet.count(V))  in verifyInstruction()