4  * you may not use this file except in compliance with the License.
145         GateAccessor::ConstUseIterator use;  in RunCFGIsDAGCheck()  member
157         auto &use = curState.use;  in RunCFGIsDAGCheck()  local
158         if (use == uses.end()) {  in RunCFGIsDAGCheck()
163         if (gateAcc.IsState(*use) && use.GetIndex() < gateAcc.GetStateCount(*use)) {  in RunCFGIsDAGCheck()
164             if (gateAcc.IsVisited(*use)) {  in RunCFGIsDAGCheck()
168                 LOG_COMPILER(ERROR) << "(id=" << gateAcc.GetId(*use) << ") is succ of "  in RunCFGIsDAGCheck()
171                           << "(id=" << gateAcc.GetId(*use) << ") without loop back edges";  in RunCFGIsDAGCheck()
174             if (gateAcc.IsFinished(*use) || gateAcc.IsLoopBack(*use)) {  in RunCFGIsDAGCheck()
175                 ++use;  in RunCFGIsDAGCheck()
178             gateAcc.SetVisited(*use);  in RunCFGIsDAGCheck()
179             auto newUses = gateAcc.ConstUses(*use);  in RunCFGIsDAGCheck()
180             dfsStack.push({*use, newUses, newUses.begin()});  in RunCFGIsDAGCheck()
182         ++use;  in RunCFGIsDAGCheck()
195             for (auto use = uses.begin(); use != uses.end(); use++) {  in RunCFGReducibilityCheck()  local
196                 if (use.GetIndex() >= circuit->LoadGatePtrConst(*use)->GetStateCount()) {  in RunCFGReducibilityCheck()
199                 ASSERT(circuit->LoadGatePtrConst(*use)->GetMetaData()->IsState());  in RunCFGReducibilityCheck()
200                 bool isDom = isAncestor(bbGatesAddrToIdx.at(*use), bbGatesAddrToIdx.at(curGate));  in RunCFGReducibilityCheck()
204 …                 LOG_COMPILER(ERROR) << "(id=" << circuit->GetId(*use) << ") is loop back succ of "  in RunCFGReducibilityCheck()
206                     LOG_COMPILER(ERROR) << "(id=" << circuit->GetId(*use) << ") does not dominate "  in RunCFGReducibilityCheck()