Lines Matching refs:block
69 static inline zend_bool is_in_predecessors(zend_cfg *cfg, zend_basic_block *block, int check) { in is_in_predecessors() argument
70 int i, *predecessors = &cfg->predecessors[block->predecessor_offset]; in is_in_predecessors()
71 for (i = 0; i < block->predecessors_count; i++) { in is_in_predecessors()
79 static inline zend_bool is_in_successors(zend_basic_block *block, int check) { in is_in_successors() argument
81 for (s = 0; s < block->successors_count; s++) { in is_in_successors()
82 if (block->successors[s] == check) { in is_in_successors()
309 zend_basic_block *block = &cfg->blocks[i]; in ssa_verify_integrity() local
310 int *predecessors = &cfg->predecessors[block->predecessor_offset]; in ssa_verify_integrity()
313 if (i != 0 && block->start < (block-1)->start + (block-1)->len) { in ssa_verify_integrity()
315 i, block->start, (block-1)->start + (block-1)->len); in ssa_verify_integrity()
317 if (i != cfg->blocks_count-1 && block->start + block->len > (block+1)->start) { in ssa_verify_integrity()
319 i, block->start + block->len, (block+1)->start); in ssa_verify_integrity()
322 for (j = block->start; j < block->start + block->len; j++) { in ssa_verify_integrity()
328 if (!(block->flags & ZEND_BB_REACHABLE)) { in ssa_verify_integrity()
335 for (s = 0; s < block->successors_count; s++) { in ssa_verify_integrity()
337 if (block->successors[s] < 0) { in ssa_verify_integrity()
340 next_block = &cfg->blocks[block->successors[s]]; in ssa_verify_integrity()
342 FAIL("Successor %d of %d not reachable\n", block->successors[s], i); in ssa_verify_integrity()
345 FAIL("Block %d predecessors missing %d\n", block->successors[s], i); in ssa_verify_integrity()
349 for (j = 0; j < block->predecessors_count; j++) { in ssa_verify_integrity()
359 for (k = 0; k < block->predecessors_count; k++) { in ssa_verify_integrity()
