Re: [PATCH, Pointer Bounds Checker 23/x] Function split

2014-09-25 Thread Ilya Enkovich
On 23 Sep 09:55, Jeff Law wrote: > On 09/22/14 00:40, Ilya Enkovich wrote: > > > >Bounds don't have to vary for different pointers. E.g. p and p + 1 > >always have equal bounds. In this particular case we have function > >pointers and all of them have default bounds. > OK. It looked a bit odd an

Re: [PATCH, Pointer Bounds Checker 23/x] Function split

2014-09-23 Thread Jeff Law
On 09/22/14 00:40, Ilya Enkovich wrote: Bounds don't have to vary for different pointers. E.g. p and p + 1 always have equal bounds. In this particular case we have function pointers and all of them have default bounds. OK. It looked a bit odd and I wanted to make sure there wasn't something

Re: [PATCH, Pointer Bounds Checker 23/x] Function split

2014-09-21 Thread Ilya Enkovich
2014-09-19 23:45 GMT+04:00 Jeff Law : > On 09/16/14 03:09, Ilya Enkovich wrote: >>> >>> >>> I must be misunderstanding something then. I fundamentally don't see how >>> the return bounds are any different here than the return value. If we >>> have >>> exposed the bounds in the IL, then aren't the

Re: [PATCH, Pointer Bounds Checker 23/x] Function split

2014-09-19 Thread Jeff Law
On 09/16/14 03:09, Ilya Enkovich wrote: I must be misunderstanding something then. I fundamentally don't see how the return bounds are any different here than the return value. If we have exposed the bounds in the IL, then aren't they going to be handled just like any other object in the IL?

Re: [PATCH, Pointer Bounds Checker 23/x] Function split

2014-09-16 Thread Ilya Enkovich
2014-09-16 1:08 GMT+04:00 Jeff Law : > On 09/15/14 10:20, Ilya Enkovich wrote: A problem I'm trying to avoid is that bounds in return statement are not taken into account when checking for data dependencies between parts. It means we may have a case when return statement w

Re: [PATCH, Pointer Bounds Checker 23/x] Function split

2014-09-15 Thread Jeff Law
On 09/15/14 10:20, Ilya Enkovich wrote: A problem I'm trying to avoid is that bounds in return statement are not taken into account when checking for data dependencies between parts. It means we may have a case when return statement with bounds is put into split part but bounds producer is not.

Re: [PATCH, Pointer Bounds Checker 23/x] Function split

2014-09-15 Thread Ilya Enkovich
2014-09-15 19:39 GMT+04:00 Jeff Law : > On 09/15/14 03:51, Ilya Enkovich wrote: 2014-08-15 Ilya Enkovich * ipa-split.c: Include tree-chkp.h. (find_retbnd): New. (consider_split): Do not split retbnd and retval producers.

Re: [PATCH, Pointer Bounds Checker 23/x] Function split

2014-09-15 Thread Jeff Law
On 09/15/14 03:51, Ilya Enkovich wrote: 2014-08-15 Ilya Enkovich * ipa-split.c: Include tree-chkp.h. (find_retbnd): New. (consider_split): Do not split retbnd and retval producers. (split_function): Propagate Pointer Bounds Checker instrum

Re: [PATCH, Pointer Bounds Checker 23/x] Function split

2014-09-15 Thread Ilya Enkovich
2014-09-03 23:12 GMT+04:00 Jeff Law : > On 08/18/14 09:55, Ilya Enkovich wrote: >> >> On 04 Jun 01:15, Jeff Law wrote: >>> >>> On 06/03/14 01:10, Ilya Enkovich wrote: Hi, This patch does not allow splitting in case bounds are returned until retutrned bounds are supported.

Re: [PATCH, Pointer Bounds Checker 23/x] Function split

2014-09-03 Thread Jeff Law
On 08/18/14 09:55, Ilya Enkovich wrote: On 04 Jun 01:15, Jeff Law wrote: On 06/03/14 01:10, Ilya Enkovich wrote: Hi, This patch does not allow splitting in case bounds are returned until retutrned bounds are supported. It also propagates instrumentation marks for generated call and function

Re: [PATCH, Pointer Bounds Checker 23/x] Function split

2014-08-18 Thread Ilya Enkovich
On 04 Jun 01:15, Jeff Law wrote: > On 06/03/14 01:10, Ilya Enkovich wrote: > >Hi, > > > >This patch does not allow splitting in case bounds are returned until > >retutrned bounds are supported. It also propagates instrumentation marks > >for generated call and function. > > > >Bootstrapped and t

Re: [PATCH, Pointer Bounds Checker 23/x] Function split

2014-06-06 Thread Ilya Enkovich
2014-06-04 11:15 GMT+04:00 Jeff Law : > On 06/03/14 01:10, Ilya Enkovich wrote: >> >> Hi, >> >> This patch does not allow splitting in case bounds are returned until >> retutrned bounds are supported. It also propagates instrumentation marks >> for generated call and function. >> >> Bootstrapped a

Re: [PATCH, Pointer Bounds Checker 23/x] Function split

2014-06-04 Thread Jeff Law
On 06/03/14 01:10, Ilya Enkovich wrote: Hi, This patch does not allow splitting in case bounds are returned until retutrned bounds are supported. It also propagates instrumentation marks for generated call and function. Bootstrapped and tested on linux-x86_64. Thanks, Ilya -- gcc/ 2014-06-

[PATCH, Pointer Bounds Checker 23/x] Function split

2014-06-03 Thread Ilya Enkovich
Hi, This patch does not allow splitting in case bounds are returned until retutrned bounds are supported. It also propagates instrumentation marks for generated call and function. Bootstrapped and tested on linux-x86_64. Thanks, Ilya -- gcc/ 2014-06-03 Ilya Enkovich * ipa-split.c