Thanks Eric, here is the new patch, validation is ongoing for ARM. Yvan
2013-09-24 Yvan Roux <yvan.r...@linaro.org>
Vladimir Makarov <vmaka...@redhat.com>
* rtlanal.c (lsb_bitfield_op_p): New predicate for bitfield operations
from the least significant bit.
(strip_address_mutations): Add bitfield operations handling.
(must_be_index_p): Add shifting and rotate operations handling.
(set_address_base): Use must_be_base_p predicate.
(set_address_index):Use must_be_index_p predicate.
On 24 September 2013 17:26, Eric Botcazou <ebotca...@adacore.com> wrote:
>> Sorry, I'm not sure I understand well, it means that you prefer the
>> shift_and _rotate_code_p notation, right ?
>
> Let's do the following in addition to the lsb_bitfield_op_p thing:
> 1. Replace the LO_SUM test in set_address_base by a call to must_be_base_p,
> 2. Replace the MULT || ASHIFT test in set_address_index by a call to
> must_be_index_p,
> 3. Add the new cases to must_be_index_p directly, with a comment saying that
> there are e.g. for the ARM.
>
> --
> Eric Botcazou
rtlanal.patch
Description: Binary data
