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()
319 zend_basic_block *block = &cfg->blocks[i]; in ssa_verify_integrity() local
320 int *predecessors = &cfg->predecessors[block->predecessor_offset]; in ssa_verify_integrity()
323 if (i != 0 && block->start < (block-1)->start + (block-1)->len) { in ssa_verify_integrity()
325 i, block->start, (block-1)->start + (block-1)->len); in ssa_verify_integrity()
327 if (i != cfg->blocks_count-1 && block->start + block->len > (block+1)->start) { in ssa_verify_integrity()
329 i, block->start + block->len, (block+1)->start); in ssa_verify_integrity()
332 for (j = block->start; j < block->start + block->len; j++) { in ssa_verify_integrity()
338 if (!(block->flags & ZEND_BB_REACHABLE)) { in ssa_verify_integrity()
345 for (s = 0; s < block->successors_count; s++) { in ssa_verify_integrity()
347 if (block->successors[s] < 0) { in ssa_verify_integrity()
350 next_block = &cfg->blocks[block->successors[s]]; in ssa_verify_integrity()
352 FAIL("Successor %d of %d not reachable\n", block->successors[s], i); in ssa_verify_integrity()
355 FAIL("Block %d predecessors missing %d\n", block->successors[s], i); in ssa_verify_integrity()
359 for (j = 0; j < block->predecessors_count; j++) { in ssa_verify_integrity()
369 for (k = 0; k < block->predecessors_count; k++) { in ssa_verify_integrity()
