Re: [PATCH, Pointer Bounds Checker 14/x] Passes [15/n] Optimize redundant checks

2014-10-13 Thread Jeff Law
On 10/13/14 08:58, Ilya Enkovich wrote: I'll look into DOM and a possibility to use it for checks removal. But I give higher priority to builtins instrumentation and therefore prefer to delay this one and return to it after builtins instrumentation work or in case there is some spare time for it

Re: [PATCH, Pointer Bounds Checker 14/x] Passes [15/n] Optimize redundant checks

2014-10-13 Thread Ilya Enkovich
2014-10-10 20:56 GMT+04:00 Jeff Law : > On 10/10/14 09:50, Ilya Enkovich wrote: >> >> Checks and and intersection removal code was added as a simple pass >> catching trivial cases. I'm sure there are optimizations having >> common elements with what checker optimizer does. But initially we >> did

Re: [PATCH, Pointer Bounds Checker 14/x] Passes [15/n] Optimize redundant checks

2014-10-10 Thread Jeff Law
On 10/10/14 09:50, Ilya Enkovich wrote: Checks and and intersection removal code was added as a simple pass catching trivial cases. I'm sure there are optimizations having common elements with what checker optimizer does. But initially we didn't want to adopt existing optimizers because GIMPLE

Re: [PATCH, Pointer Bounds Checker 14/x] Passes [15/n] Optimize redundant checks

2014-10-10 Thread Ilya Enkovich
2014-10-09 21:41 GMT+04:00 Jeff Law : > On 10/08/14 13:22, Ilya Enkovich wrote: >> >> Hi, >> >> This patch adds removal of redundant (covered by other) checks into >> checker optimization. >> >> Thanks, >> Ilya >> -- >> 2014-10-08 Ilya Enkovich >> >> * tree-chkp.c (chkp_compare_checks):

Re: [PATCH, Pointer Bounds Checker 14/x] Passes [15/n] Optimize redundant checks

2014-10-09 Thread Jeff Law
On 10/08/14 13:22, Ilya Enkovich wrote: Hi, This patch adds removal of redundant (covered by other) checks into checker optimization. Thanks, Ilya -- 2014-10-08 Ilya Enkovich * tree-chkp.c (chkp_compare_checks): New. (chkp_remove_redundant_checks): New. (chkp_opt_ex

[PATCH, Pointer Bounds Checker 14/x] Passes [15/n] Optimize redundant checks

2014-10-08 Thread Ilya Enkovich
Hi, This patch adds removal of redundant (covered by other) checks into checker optimization. Thanks, Ilya -- 2014-10-08 Ilya Enkovich * tree-chkp.c (chkp_compare_checks): New. (chkp_remove_redundant_checks): New. (chkp_opt_execute): Run redundant checks removal