Re: [RFC] Using function clones for Pointer Bounds Checker

2014-05-15 Thread Ilya Enkovich
2014-05-15 15:27 GMT+04:00 Richard Biener : > On Thu, May 15, 2014 at 1:07 PM, Ilya Enkovich wrote: >> 2014-05-14 19:09 GMT+04:00 H.J. Lu : >>> On Wed, May 14, 2014 at 1:18 AM, Ilya Enkovich >>> wrote: 2014-05-13 23:21 GMT+04:00 Jeff Law : > On 05/13/14 02:38, Ilya Enkovich wrote: >

Re: [RFC] Using function clones for Pointer Bounds Checker

2014-05-15 Thread Richard Biener
On Thu, May 15, 2014 at 1:07 PM, Ilya Enkovich wrote: > 2014-05-14 19:09 GMT+04:00 H.J. Lu : >> On Wed, May 14, 2014 at 1:18 AM, Ilya Enkovich >> wrote: >>> 2014-05-13 23:21 GMT+04:00 Jeff Law : On 05/13/14 02:38, Ilya Enkovich wrote: >>> >>> propagate constant bounds value and remo

Re: [RFC] Using function clones for Pointer Bounds Checker

2014-05-15 Thread Ilya Enkovich
2014-05-14 19:09 GMT+04:00 H.J. Lu : > On Wed, May 14, 2014 at 1:18 AM, Ilya Enkovich wrote: >> 2014-05-13 23:21 GMT+04:00 Jeff Law : >>> On 05/13/14 02:38, Ilya Enkovich wrote: >> >> propagate constant bounds value and remove checks in called function). > > > So from a linking

Re: [RFC] Using function clones for Pointer Bounds Checker

2014-05-15 Thread Ilya Enkovich
2014-05-14 19:09 GMT+04:00 H.J. Lu : > On Wed, May 14, 2014 at 1:18 AM, Ilya Enkovich wrote: >> 2014-05-13 23:21 GMT+04:00 Jeff Law : >>> On 05/13/14 02:38, Ilya Enkovich wrote: >> >> propagate constant bounds value and remove checks in called function). > > > So from a linking

Re: [RFC] Using function clones for Pointer Bounds Checker

2014-05-14 Thread H.J. Lu
On Wed, May 14, 2014 at 1:18 AM, Ilya Enkovich wrote: > 2014-05-13 23:21 GMT+04:00 Jeff Law : >> On 05/13/14 02:38, Ilya Enkovich wrote: > > propagate constant bounds value and remove checks in called function). So from a linking standpoint, presumably you have to mangle the

Re: [RFC] Using function clones for Pointer Bounds Checker

2014-05-14 Thread Ilya Enkovich
2014-05-13 23:21 GMT+04:00 Jeff Law : > On 05/13/14 02:38, Ilya Enkovich wrote: propagate constant bounds value and remove checks in called function). >>> >>> >>> So from a linking standpoint, presumably you have to mangle the >>> instrumented >>> caller/callee in some manner. Right? Or

Re: [RFC] Using function clones for Pointer Bounds Checker

2014-05-13 Thread Jeff Law
On 05/13/14 02:38, Ilya Enkovich wrote: propagate constant bounds value and remove checks in called function). So from a linking standpoint, presumably you have to mangle the instrumented caller/callee in some manner. Right? Or are you dynamically dispatching somehow? Originally the idea wa

Re: [RFC] Using function clones for Pointer Bounds Checker

2014-05-13 Thread Ilya Enkovich
2014-05-13 1:20 GMT+04:00 Jeff Law : > On 01/14/14 02:15, Ilya Enkovich wrote: >> >> Hi, >> >> I've been working for some time on the prototype of the Pointer Bounds >> Checker which uses function clones for instrumentation >> (http://gcc.gnu.org/ml/gcc-patches/2013-11/msg03327.html). After >> seve

Re: [RFC] Using function clones for Pointer Bounds Checker

2014-05-12 Thread Jeff Law
On 01/14/14 02:15, Ilya Enkovich wrote: Hi, I've been working for some time on the prototype of the Pointer Bounds Checker which uses function clones for instrumentation (http://gcc.gnu.org/ml/gcc-patches/2013-11/msg03327.html). After several experiments with this approach I want to share my res

Re: [RFC] Using function clones for Pointer Bounds Checker

2014-01-30 Thread Ilya Enkovich
> > Thanks for your comments! > > I'll continue my experiments with with my initial early_local_passes > splitting. Will just put there original functions bodies release to > avoid overhead for their useless optimizations. So, it will be 3 IPA > passes: > > 1. SSA build > 2. Make instrumented versi

Re: [RFC] Using function clones for Pointer Bounds Checker

2014-01-14 Thread Ilya Enkovich
2014/1/14 Richard Biener : > On Tue, Jan 14, 2014 at 1:47 PM, Ilya Enkovich wrote: >> 2014/1/14 Richard Biener : >>> On Tue, Jan 14, 2014 at 10:15 AM, Ilya Enkovich >>> wrote: Hi, I've been working for some time on the prototype of the Pointer Bounds Checker which uses functi

Re: [RFC] Using function clones for Pointer Bounds Checker

2014-01-14 Thread Richard Biener
On Tue, Jan 14, 2014 at 1:47 PM, Ilya Enkovich wrote: > 2014/1/14 Richard Biener : >> On Tue, Jan 14, 2014 at 10:15 AM, Ilya Enkovich >> wrote: >>> Hi, >>> >>> I've been working for some time on the prototype of the Pointer Bounds >>> Checker which uses function clones for instrumentation >>> (h

Re: [RFC] Using function clones for Pointer Bounds Checker

2014-01-14 Thread Ilya Enkovich
2014/1/14 Richard Biener : > On Tue, Jan 14, 2014 at 10:15 AM, Ilya Enkovich > wrote: >> Hi, >> >> I've been working for some time on the prototype of the Pointer Bounds >> Checker which uses function clones for instrumentation >> (http://gcc.gnu.org/ml/gcc-patches/2013-11/msg03327.html). After >

Re: [RFC] Using function clones for Pointer Bounds Checker

2014-01-14 Thread Richard Biener
On Tue, Jan 14, 2014 at 10:15 AM, Ilya Enkovich wrote: > Hi, > > I've been working for some time on the prototype of the Pointer Bounds > Checker which uses function clones for instrumentation > (http://gcc.gnu.org/ml/gcc-patches/2013-11/msg03327.html). After > several experiments with this approa

[RFC] Using function clones for Pointer Bounds Checker

2014-01-14 Thread Ilya Enkovich
Hi, I've been working for some time on the prototype of the Pointer Bounds Checker which uses function clones for instrumentation (http://gcc.gnu.org/ml/gcc-patches/2013-11/msg03327.html). After several experiments with this approach I want to share my results and ask for some feedback to make a d