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: | Sebastian Bergmann | Date: | Tue, 15 Dec 2015 08:34:59 +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 3 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-89812@lists.php.net to get a copy of this message | ||
Am 15.12.2015 um 09:30 schrieb Dmitry Stogov:
> 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
Thank you!