File tree 1 file changed +0
-32
lines changed
1 file changed +0
-32
lines changed Original file line number Diff line number Diff line change 22
22
/* The ssa_verify_integrity() function ensures that that certain invariants of the SSA form and
23
23
* CFG are upheld and prints messages to stderr if this is not the case. */
24
24
25
- #define FOREACH_PHI (phi ) do { \
26
- int _i; \
27
- for (_i = 0; _i < ssa->cfg.blocks_count; _i++) { \
28
- phi = ssa->blocks[_i].phis; \
29
- for (; phi; phi = phi->next) {
30
- #define FOREACH_PHI_END () \
31
- } \
32
- } \
33
- } while (0)
34
-
35
- #define FOREACH_BLOCK (block ) do { \
36
- int _i; \
37
- for (_i = 0; _i < ssa->cfg.blocks_count; _i++) { \
38
- (block) = &ssa->cfg.blocks[_i]; \
39
- if (!((block)->flags & ZEND_BB_REACHABLE)) { \
40
- continue; \
41
- }
42
- #define FOREACH_BLOCK_END () \
43
- } \
44
- } while (0)
45
-
46
- /* Does not support "break" */
47
- #define FOREACH_INSTR_NUM (i ) do { \
48
- zend_basic_block *_block; \
49
- FOREACH_BLOCK(_block) { \
50
- uint32_t _end = _block->start + _block->len; \
51
- for ((i) = _block->start; (i) < _end; (i)++) {
52
- #define FOREACH_INSTR_NUM_END () \
53
- } \
54
- } FOREACH_BLOCK_END(); \
55
- } while (0)
56
-
57
25
static inline zend_bool is_in_use_chain (zend_ssa * ssa , int var , int check ) {
58
26
int use ;
59
27
FOREACH_USE (& ssa -> vars [var ], use ) {
You can’t perform that action at this time.
0 commit comments