Lines Matching defs:bbGatesList
112 bool Verifier::RunStateGatesCheck(const Circuit *circuit, const std::vector<GateRef> &bbGatesList,
115 for (const auto &bbGate : bbGatesList) {
121 bool Verifier::RunCFGSoundnessCheck(const Circuit *circuit, const std::vector<GateRef> &bbGatesList,
124 for (const auto &bbGate : bbGatesList) {
191 bool Verifier::RunCFGReducibilityCheck(const Circuit *circuit, const std::vector<GateRef> &bbGatesList,
195 for (const auto &curGate : bbGatesList) {
266 const std::vector<GateRef> &bbGatesList, const std::vector<GateRef> &fixedGatesList)
271 for (const auto &gate : bbGatesList) {
420 void Verifier::FindFixedGates(const Circuit *circuit, const std::vector<GateRef> &bbGatesList,
424 for (const auto &bbGate : bbGatesList) {
487 std::vector<GateRef> bbGatesList;
490 Scheduler::CalculateDominatorTree(circuit, bbGatesList, bbGatesAddrToIdx, immDom);
491 if (!RunStateGatesCheck(circuit, bbGatesList, methodName)) {
497 if (!RunCFGSoundnessCheck(circuit, bbGatesList, bbGatesAddrToIdx)) {
509 std::vector<std::vector<size_t>> sonList(bbGatesList.size());
513 const size_t sizeLog = std::ceil(std::log2(static_cast<double>(bbGatesList.size())) + 1);
514 std::vector<size_t> timeIn(bbGatesList.size());
515 std::vector<size_t> timeOut(bbGatesList.size());
517 jumpUp.assign(bbGatesList.size(), std::vector<size_t>(sizeLog + 1));
572 if (!RunCFGReducibilityCheck(circuit, bbGatesList, bbGatesAddrToIdx, isAncestor)) {
579 FindFixedGates(circuit, bbGatesList, fixedGatesList);
593 if (!RunFlowCyclesFind(circuit, &schedulableGatesList, bbGatesList, fixedGatesList)) {