Re: [PATCH, Pointer Bounds Checker 22/x] Inline

2014-09-24 Thread Jeff Law
On 09/24/14 01:28, Ilya Enkovich wrote: I'm a bit curious why you removed the original RETBND statement in value-prof, only to reinsert it. Is there some reason you needed to do that? After call transformation we have smth like that: if () new_lhs = direct_call (...); else old_lhs =

Re: [PATCH, Pointer Bounds Checker 22/x] Inline

2014-09-24 Thread Ilya Enkovich
2014-09-23 23:55 GMT+04:00 Jeff Law : > On 08/18/14 09:35, Ilya Enkovich wrote: >> >> Here is an updated version. >> >> Thanks, >> Ilya >> -- >> 2014-08-15 Ilya Enkovich >> >> * ipa-inline.c (early_inliner): Check edge has summary allocated. >> * tree-inline.c: Include tree-chkp.

Re: [PATCH, Pointer Bounds Checker 22/x] Inline

2014-09-23 Thread Jeff Law
On 08/18/14 09:35, Ilya Enkovich wrote: Here is an updated version. Thanks, Ilya -- 2014-08-15 Ilya Enkovich * ipa-inline.c (early_inliner): Check edge has summary allocated. * tree-inline.c: Include tree-chkp.h. (declare_return_variable): Add arg holding retu

Re: [PATCH, Pointer Bounds Checker 22/x] Inline

2014-09-15 Thread Ilya Enkovich
Ping 2014-08-18 19:35 GMT+04:00 Ilya Enkovich : > On 06 Jun 11:59, Ilya Enkovich wrote: >> 2014-06-03 13:07 GMT+04:00 Richard Biener : >> > On Mon, Jun 2, 2014 at 5:56 PM, Ilya Enkovich >> > wrote: >> >> + >> >> + /* If indirect call has following BUILT_IN_CHKP_BNDRET >> >> +call th

Re: [PATCH, Pointer Bounds Checker 22/x] Inline

2014-08-18 Thread Ilya Enkovich
On 06 Jun 11:59, Ilya Enkovich wrote: > 2014-06-03 13:07 GMT+04:00 Richard Biener : > > On Mon, Jun 2, 2014 at 5:56 PM, Ilya Enkovich > > wrote: > >> + > >> + /* If indirect call has following BUILT_IN_CHKP_BNDRET > >> +call then we need to make it's copy for the direct > >> +

Re: [PATCH, Pointer Bounds Checker 22/x] Inline

2014-06-06 Thread Ilya Enkovich
2014-06-03 13:07 GMT+04:00 Richard Biener : > On Mon, Jun 2, 2014 at 5:56 PM, Ilya Enkovich wrote: >> Hi, >> >> This patch adds support for inlining instrumented calls. Changes are mostly >> to support returned bounds. Also generated mem-to-mem assignments are >> registered to be later instrum

Re: [PATCH, Pointer Bounds Checker 22/x] Inline

2014-06-03 Thread Richard Biener
On Mon, Jun 2, 2014 at 5:56 PM, Ilya Enkovich wrote: > Hi, > > This patch adds support for inlining instrumented calls. Changes are mostly > to support returned bounds. Also generated mem-to-mem assignments are > registered to be later instrumented with appropriate bounds copy. > > Bootstrappe

[PATCH, Pointer Bounds Checker 22/x] Inline

2014-06-02 Thread Ilya Enkovich
Hi, This patch adds support for inlining instrumented calls. Changes are mostly to support returned bounds. Also generated mem-to-mem assignments are registered to be later instrumented with appropriate bounds copy. Bootstrapped and tested on linux-x86_64. Thanks, Ilya -- gcc/ 2014-06-02 I