RE: [PATCH] [Aarch64] Variable shift count truncation issues

[Michael Collison]

I updated the patch to resolve the big endian issues as recommended by Richard. 
I also changed all uses of 'can_create_pseudo_p' to '!reload_completed' to make 
the intent clearer.

Bootstrapped and tested on aarch64-linux-gnu. Okay for trunk?

2017-05-22  Kyrylo Tkachov  <kyrylo.tkac...@arm.com>
            Michael Collison <michael.colli...@arm.com>

        PR target/70119
        * config/aarch64/aarch64.md (*aarch64_<optab>_reg_<mode>3_mask1):
        New pattern.
        (*aarch64_reg_<mode>3_neg_mask2): New pattern.
        (*aarch64_reg_<mode>3_minus_mask): New pattern.
        (*aarch64_<optab>_reg_di3_mask2): New pattern.
        * config/aarch64/aarch64.c (aarch64_rtx_costs): Account for cost
        of shift when the shift amount is masked with constant equal to
        the size of the mode.
        * config/aarch64/predicates.md (subreg_lowpart_operator): New
        predicate.


2016-05-22  Kyrylo Tkachov  <kyrylo.tkac...@arm.com>
            Michael Collison <michael.colli...@arm.com>

        PR target/70119
        * gcc.target/aarch64/var_shift_mask_1.c: New test.
-----Original Message-----
From: Richard Sandiford [mailto:richard.sandif...@linaro.org] 
Sent: Tuesday, May 23, 2017 7:25 AM
To: Wilco Dijkstra <wilco.dijks...@arm.com>
Cc: Michael Collison <michael.colli...@arm.com>; GCC Patches 
<gcc-patches@gcc.gnu.org>; nd <n...@arm.com>
Subject: Re: [PATCH] [Aarch64] Variable shift count truncation issues

Wilco Dijkstra <wilco.dijks...@arm.com> writes:
> Richard Sandiford wrote:
>
>> Insn patterns shouldn't check can_create_pseudo_p, because there's no 
>> guarantee that the associated split happens before RA.  In this case 
>> it should be safe to reuse operand 0 after RA if you change it to:
>
> The goal is to only create and split this pattern before register allocation.
> It's a transient pattern, combine creates it, and it is split immediately 
> after.
>
> Maybe !reload_completed is clearer as that is what several other 
> define_insn_and_split patterns do?

But the concept of a transient pattern doesn't really exist.  We shouldn't rely 
for correctness on a split being applied before RA.

If all we want to do is match and split something that combine generates, it 
would be better to do it as a pure define_split.

Thanks,
Richard

pr5546v3.patch
Description: pr5546v3.patch