]> granicus.if.org Git - php/commit
projects / php / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6633e84) | patch
Optimize DJ spanning tree back-edge check
authorNikita Popov <nikita.ppv@gmail.com>
Thu, 16 Mar 2017 16:02:11 +0000 (17:02 +0100)
committerNikita Popov <nikita.ppv@gmail.com>
Thu, 16 Mar 2017 16:26:20 +0000 (17:26 +0100)
commitf1f68b60f5e6f75002560b44211f3449b25f918d
tree89705c1f08578f2fbce3b70a8d797a9c48455026tree | snapshot
parent6633e8492e6195c4085b04c65fb18addd0ac33a6commit | diff
Optimize DJ spanning tree back-edge check

Instead of walking the DJ spanning tree upwards, record entry and
exit times during the DFS and use these to determine whether CJ
edges are sp-back edges.
ext/opcache/Optimizer/zend_cfg.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.