This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH 1/3][AArch64] Improve zero extend
- From: "Richard Earnshaw (lists)" <Richard dot Earnshaw at arm dot com>
- To: Wilco Dijkstra <Wilco dot Dijkstra at arm dot com>, GCC Patches <gcc-patches at gcc dot gnu dot org>
- Cc: nd <nd at arm dot com>, James Greenhalgh <James dot Greenhalgh at arm dot com>
- Date: Tue, 19 Jul 2016 16:50:50 +0100
- Subject: Re: [PATCH 1/3][AArch64] Improve zero extend
- Authentication-results: sourceware.org; auth=none
- References: <HE1PR0801MB14820225033FB30E44F0350C83300@HE1PR0801MB1482.eurprd08.prod.outlook.com>
On 19/07/16 16:30, Wilco Dijkstra wrote:
> This patchset improves zero extend costs and code generation.
>
> When zero extending a 32-bit register, we emit a "mov", but currently
> report the cost of the "mov" incorrectly.
>
> In terms of speed, we currently say the cost is that of an extend
> operation. But the cost of a "mov" is the cost of 1 instruction, so fix
> that.
>
> In terms of size, we currently say that the "mov" takes 0 instructions.
> Fix it by changing it to 1.
>
> Bootstrapped and tested on aarch64-none-elf.
>
> 2016-07-19 Kristina Martsenko <kristina.martsenko@arm.com>
>
> * config/aarch64/aarch64.c (aarch64_rtx_costs): Fix cost of zero extend.
>
> ---
> gcc/config/aarch64/aarch64.c | 6 ++----
> 1 file changed, 2 insertions(+), 4 deletions(-)
>
> diff --git a/gcc/config/aarch64/aarch64.c b/gcc/config/aarch64/aarch64.c
> index d4c5665cf4d0b046a6129c35007fc2ae8265812f..bddffc3ab28cde3a996fd13c060de36227315fb5 100644
> --- a/gcc/config/aarch64/aarch64.c
> +++ b/gcc/config/aarch64/aarch64.c
> @@ -6430,12 +6430,10 @@ cost_plus:
> {
> int op_cost = rtx_cost (op0, VOIDmode, ZERO_EXTEND, 0, speed);
>
> - if (!op_cost && speed)
> - /* MOV. */
> - *cost += extra_cost->alu.extend;
> - else
> + if (op_cost)
> /* Free, the cost is that of the SI mode operation. */
> *cost = op_cost;
> + /* Otherwise MOV. */
I don't think the comments help explain the logic here. I think it
would be better to write something like:
/* If OP_COST is non-zero, then the cost of the zero extend
is effectively the cost of the inner operation. Otherwise
we have a MOV instruction and we take the cost from the MOV
itself. This is true independently of whether we are
optimizing for space or time. */
if (op_cost)
...
OK with that change.
R.
>
> return true;
> }
>