Hi Sebastian,
On Sat, Dec 12, 2015 at 10:57 AM, Sebastian Bergmann <sebast...@php.net> wrote: > On 12/11/2015 03:24 PM, Dmitry Stogov wrote: > >> Commit: f243aaf9856fcbfdb08a59ff08f22cf48647cfc0 >> Author: Dmitry Stogov <dmi...@zend.com> Fri, 11 Dec 2015 >> 17:24:55 +0300 >> Parents: 5d2e287982c5986daa154fa1dae2d0be7f6965fa >> Branches: master >> >> Link: >> http://git.php.net/?p=php-src.git;a=commitdiff;h=f243aaf9856fcbfdb08a59ff08f22cf48647cfc0 >> >> Log: >> Added e-SSA based DFA optimisation framework (incomplete) >> > > Interesting. I know what SSA is but am not sure about e-SSA. Can you > explain or point me to a paper? Thanks! > If I remember properly, e-SSA was introduced in this paper: "ABCD: Eliminating Array Bounds Checks on Demand" http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=DD8C76953A60E6ECBC1DED02CFC8011C?doi=10.1.1.33.6934&rep=rep1&type=pdf The way it's going to be used in PHP based on algorithms described in "Speed and Precision in Range Analysis" http://homepages.dcc.ufmg.br/~fernando/publications/papers/SBLP12_victor.pdf Thanks. Dmitry. > -- > PHP Internals - PHP Runtime Development Mailing List > > To unsubscribe, visit: http://www.php.net/unsub.php > >
