]> granicus.if.org Git - php/commit
Fix dominator tree construction
authorNikita Popov <nikic@php.net>
Sat, 27 Feb 2016 14:02:48 +0000 (15:02 +0100)
committerNikita Popov <nikic@php.net>
Sat, 27 Feb 2016 14:10:18 +0000 (15:10 +0100)
commit8d758e7be9fe4a54425f0f7bd71744e22eb7b77f
tree7a03df9c931476616f308deaa6fb68b3ee182392
parent2e94cba4301f3bc8adfb884c396cccf4ccadc656
Fix dominator tree construction

The used dominator intersection algorithm assumes a postorder
numbering of the CFG. The reversal of our natural numbering is
quite similar to postorder, but not the same.

In the future we should precompute both preorder/postorder
numberings and orderings, as these are useful in many places.
ext/opcache/Optimizer/zend_cfg.c