This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH, MPX, 2/X] Pointers Checker [14/25] Function splitting


2013/11/18 Jeff Law <law@redhat.com>:
> On 11/18/13 11:17, Ilya Enkovich wrote:
>>
>> 2013/11/18 Jeff Law <law@redhat.com>:
>>>
>>> On 11/18/13 03:22, Ilya Enkovich wrote:
>>>>
>>>>
>>>> Hi,
>>>>
>>>> Here is a patch to disable splitting when bounds transfer is required
>>>> for
>>>> splitted function.
>>>>
>>>> Thanks,
>>>> Ilya
>>>> --
>>>> 2013-11-13  Ilya Enkovich  <ilya.enkovich@intel.com>
>>>>
>>>>          * ipa-split.c: Include tree-chkp.h.
>>>>          (consider_split): Do not split when splitted
>>>>          part needs bounds transfer.
>>>
>>>
>>> ?!?  Is there some fundamental reason why this shouldn't "just work"?  I
>>> think more explanation is needed so we can evaluate this patch.
>>>
>>> jeff
>>>
>> Fundamental reason here is that we do not pass standalone bounds to
>> functions. Bounds are always passed in addition to pointer.
>
> Right, but isn't all that information available to both the caller and
> callee in this case?

How does pointer passed to regular function differ from pointer passed
to splitted function? How do I know then which pointer is to be passed
with bounds and wchich one is not? Moreover current ABI does not allow
to pass bounds with no pointer or pass bounds for some pointers in the
call only.

Ilya

>
> jeff


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]