Re: Add support for copy specifier to fnspec

2020-11-12 Thread Richard Biener
On Thu, 12 Nov 2020, Jan Hubicka wrote: > Hi, > here is updated patch that replaces 'C' by '1'...'9' so we still have > place to specify size. > As discussed on IRC, this seems better alternative. > > Bootstrapped/regtested x86_64-linux, OK? OK. Richard. > Honza > > gcc/ChangeLog: > > 2020-1

Re: Add support for copy specifier to fnspec

2020-11-12 Thread Jan Hubicka
Hi, here is updated patch that replaces 'C' by '1'...'9' so we still have place to specify size. As discussed on IRC, this seems better alternative. Bootstrapped/regtested x86_64-linux, OK? Honza gcc/ChangeLog: 2020-11-12 Jan Hubicka * attr-fnspec.h: Update topleve comment.

Re: Add support for copy specifier to fnspec

2020-11-11 Thread Richard Biener
On Mon, 9 Nov 2020, Jan Hubicka wrote: > Hi, > this patch adds 'c' and 'C' fnspec for parameter that is copied to different > parameter. Main motivation is to get rid of wrong EAF_NOESCAPE flag on > the memcpy argument #2. I however also added arg_copies_to_arg_p > predicate that can be eventuall

Add support for copy specifier to fnspec

2020-11-09 Thread Jan Hubicka
Hi, this patch adds 'c' and 'C' fnspec for parameter that is copied to different parameter. Main motivation is to get rid of wrong EAF_NOESCAPE flag on the memcpy argument #2. I however also added arg_copies_to_arg_p predicate that can be eventually used by tree-ssa-structalias instead of special