65                 LOG_COMPILER(ERROR) << "id: " << std::dec << circuit->GetId(gate);  in RunDataIntegrityCheck()
70                 LOG_COMPILER(ERROR) << "id: " << std::dec << circuit->GetId(gate);  in RunDataIntegrityCheck()
80                     LOG_COMPILER(ERROR) << "id: " << std::dec << circuit->GetId(gate);  in RunDataIntegrityCheck()
85                     LOG_COMPILER(ERROR) << "id: " << std::dec << circuit->GetId(gate);  in RunDataIntegrityCheck()
93                         LOG_COMPILER(ERROR) << "id: " << std::dec << circuit->GetId(gate);  in RunDataIntegrityCheck()
98                         LOG_COMPILER(ERROR) << "id: " << std::dec << circuit->GetId(gate);  in RunDataIntegrityCheck()
127                     LOG_COMPILER(ERROR) << "(id=" << circuit->GetId(predGate) << ") is pred of "  in RunCFGSoundnessCheck()
128                               << "(id=" << circuit->GetId(bbGate) << ")";  in RunCFGSoundnessCheck()
129 …            LOG_COMPILER(ERROR) << "(id=" << circuit->GetId(bbGate) << ") is reachable from entry";  in RunCFGSoundnessCheck()
130 …        LOG_COMPILER(ERROR) << "(id=" << circuit->GetId(predGate) << ") is unreachable from entry";  in RunCFGSoundnessCheck()
168                 LOG_COMPILER(ERROR) << "(id=" << gateAcc.GetId(*use) << ") is succ of "  in RunCFGIsDAGCheck()
169                           << "(id=" << gateAcc.GetId(cur) << ")";  in RunCFGIsDAGCheck()
170                 LOG_COMPILER(ERROR) << "(id=" << gateAcc.GetId(cur) << ") is reachable from "  in RunCFGIsDAGCheck()
171                           << "(id=" << gateAcc.GetId(*use) << ") without loop back edges";  in RunCFGIsDAGCheck()
204 …                 LOG_COMPILER(ERROR) << "(id=" << circuit->GetId(*use) << ") is loop back succ of "  in RunCFGReducibilityCheck()
205                               << "(id=" << circuit->GetId(curGate) << ")";  in RunCFGReducibilityCheck()
206                     LOG_COMPILER(ERROR) << "(id=" << circuit->GetId(*use) << ") does not dominate "  in RunCFGReducibilityCheck()
207                               << "(id=" << circuit->GetId(curGate) << ")";  in RunCFGReducibilityCheck()
244                                         << circuit->GetId(predGate)  in RunFixedGatesRelationsCheck()
246                                         << circuit->GetId(fixedGate) << ")";  in RunFixedGatesRelationsCheck()
324                     LOG_COMPILER(ERROR) << "(id=" << circuit->GetId(prev) << ") is prev of "  in RunFlowCyclesFind()
325                             << "(id=" << circuit->GetId(cur) << ")";  in RunFlowCyclesFind()
326                     LOG_COMPILER(ERROR) << "(id=" << circuit->GetId(prev) << ") is reachable from "  in RunFlowCyclesFind()
327                             << "(id=" << circuit->GetId(cur) << ") without passing selectors";  in RunFlowCyclesFind()