Re: Re: com php-src: Added e-SSA based DFA optimisation framework (incomplete): ext/opcache/Optimizer/block_pass.c ext/opcache/Optimizer/dfa_pass.c
ext/opcache/Optimizer/zend_cfg.c ext/opcache/Optimizer/zend_cfg.h ext/opcache/Optimizer/zend_dfg.c ext/opcache/Optimizer/zend_dfg.h
ext/opcache/Optimizer/zend_dump.c ext/opcache/Optimizer/zend_dump.h ext/opcache/Optimizer/zend_optimizer.c ext/opcache/Optimizer/zend_optimizer.h
ext/opcache/Optimizer/zend_optim
| From: | Dmitry Stogov | Date: | Tue, 15 Dec 2015 08:30:54 +0000 |
| Subject: | Re: Re: com php-src: Added e-SSA based DFA optimisation framework (incomplete): ext/opcache/Optimizer/block_pass.c ext/opcache/Optimizer/dfa_pass.c ext/opcache/Optimizer/zend_cfg.c ext/opcache/Optimizer/zend_cfg.h ext/opcache/Optimizer/zend_dfg.c ext/opcache/Optimizer/zend_dfg.h ext/opcache/Optimizer/zend_dump.c ext/opcache/Optimizer/zend_dump.h ext/opcache/Optimizer/zend_optimizer.c ext/opcache/Optimizer/zend_optimizer.h ext/opcache/Optimizer/zend_optim |
||
| References: | 1 2 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-89811@lists.php.net to get a copy of this message | ||
Hi Sebastian,
On Sat, Dec 12, 2015 at 10:57 AM, Sebastian Bergmann <sebastian@php.net>
wrote:
> On 12/11/2015 03:24 PM, Dmitry Stogov wrote:
>
>> Commit: f243aaf9856fcbfdb08a59ff08f22cf48647cfc0
>> Author: Dmitry Stogov <dmitry@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
>
>