Lines Matching refs:block
68 static inline bool is_in_predecessors(zend_cfg *cfg, zend_basic_block *block, int check) { in is_in_predecessors() argument
69 int i, *predecessors = &cfg->predecessors[block->predecessor_offset]; in is_in_predecessors()
70 for (i = 0; i < block->predecessors_count; i++) { in is_in_predecessors()
78 static inline bool is_in_successors(zend_basic_block *block, int check) { in is_in_successors() argument
80 for (s = 0; s < block->successors_count; s++) { in is_in_successors()
81 if (block->successors[s] == check) { in is_in_successors()
361 zend_basic_block *block = &cfg->blocks[i]; in ssa_verify_integrity() local
362 int *predecessors = &cfg->predecessors[block->predecessor_offset]; in ssa_verify_integrity()
365 if (i != 0 && block->start < (block-1)->start + (block-1)->len) { in ssa_verify_integrity()
367 i, block->start, (block-1)->start + (block-1)->len); in ssa_verify_integrity()
369 if (i != cfg->blocks_count-1 && block->start + block->len > (block+1)->start) { in ssa_verify_integrity()
371 i, block->start + block->len, (block+1)->start); in ssa_verify_integrity()
374 for (j = block->start; j < block->start + block->len; j++) { in ssa_verify_integrity()
380 if (!(block->flags & ZEND_BB_REACHABLE)) { in ssa_verify_integrity()
387 for (s = 0; s < block->successors_count; s++) { in ssa_verify_integrity()
389 if (block->successors[s] < 0) { in ssa_verify_integrity()
392 next_block = &cfg->blocks[block->successors[s]]; in ssa_verify_integrity()
394 FAIL("Successor %d of %d not reachable\n", block->successors[s], i); in ssa_verify_integrity()
397 FAIL("Block %d predecessors missing %d\n", block->successors[s], i); in ssa_verify_integrity()
401 for (j = 0; j < block->predecessors_count; j++) { in ssa_verify_integrity()
411 for (k = 0; k < block->predecessors_count; k++) { in ssa_verify_integrity()
