[PATCH, 3/6] Add recursion to make_param_constraints
Tom de Vries
Tom_deVries@mentor.com
Sun Nov 1 18:04:00 GMT 2015
On 27/10/15 13:56, Tom de Vries wrote:
> On 27/10/15 13:24, Tom de Vries wrote:
>> Thinking it over a bit more, I realized the constraint handling started
>> to be messy. I've reworked the patch series to simplify that first.
>>
>> 1 Simplify constraint handling
>> 2 Rename make_restrict_var_constraints to make_param_constraints
>> 3 Add recursion to make_param_constraints
>> 4 Add handle_param parameter to create_variable_info_for_1
>> 5 Handle recursive restrict pointer in
>> create_variable_info_for_1
>> 6 Handle restrict struct fields recursively
>>
>> Currently doing bootstrap and regtest on x86_64.
>>
>> I'll repost the patch series in reply to this message.
>>
>
> This patch:
> - registers the connection between a restrict pointer var and a
> restrict var in a new hash_map restrict_pointed_var.
> - move the restrict pointer constraint handling from
> intra_create_variable_infos to make_param_constraints
>
> The result of this and the two preceding patches is that the constraint
> handling for params in intra_create_variable_infos is reduced to a
> single call to make_param_constraints.
I've managed to eliminate this patch from the patch series, at the cost
of having to merge patches 4-6 into a single patch, rather than having a
more stepwise approach.
So, the new patch series is:
1 Rename make_restrict_var_constraints to make_param_constraints
2 Handle recursive restrict in function parameter
I'll repost in reply to this message.
Thanks,
- Tom
More information about the Gcc-patches
mailing list