Definition at line 125 of file inliner.cc.
◆ Validate()
static void dart::CalleeGraphValidator::Validate |
( |
FlowGraph * |
callee_graph | ) |
|
|
inlinestatic |
Definition at line 127 of file inliner.cc.
127 {
128#ifdef DEBUG
129 for (BlockIterator block_it = callee_graph->reverse_postorder_iterator();
130 !block_it.Done(); block_it.Advance()) {
131 BlockEntryInstr* entry = block_it.Current();
132
133 for (ForwardInstructionIterator it(entry); !it.Done(); it.Advance()) {
134 Instruction* current = it.Current();
135 if (current->IsBranch()) {
136 current = current->AsBranch()->comparison();
137 }
138
139
140 ASSERT(!current->IsTailCall());
141 ASSERT(!current->IsLoadIndexedUnsafe());
142 ASSERT(!current->IsStoreIndexedUnsafe());
143 }
144 }
145#endif
146 }
The documentation for this class was generated from the following file:
- third_party/dart-lang/sdk/runtime/vm/compiler/backend/inliner.cc