Advice needed how to avoid generation of extra sign_extends in .md file

Advice needed how to avoid generation of extra sign_extends in .md file

[Igor Shevlyakov]

Hi everybody,

I wonder if somebody know how to make back-end generate better code
under following conditions:

- 32 bit opearations always sign extend their result into whole 64-bit
result registers.
- conditional branches work only on 64-bit registers
- loads are always sign-extending.

now if we have

int64 a, b;
int32 c, d, f;

c = d + f;
a = b + c;


How to avoid sign_extend before second plus since result of 'addsi3' was
already extended?

Even worse:

int16 *pi, j;
int64 a,b;


j = *pi + 3;
a = b + j;

Doesn't really requires any extensions since *pi already sign extended
target register and we could use same instruction to add 16-bits as for
add 32-bits and result will be 64-bit sign extended in that case.
But I couldn't come up with idea how to teach .md file all that.

Thanks a lot
Igor

Re: Advice needed how to avoid generation of extra sign_extends in .md file

[Richard Henderson]

On Thu, Oct 03, 2002 at 06:09:21PM -0700, Igor Shevlyakov wrote:
> - 32 bit opearations always sign extend their result into whole 64-bit
> result registers.
> - conditional branches work only on 64-bit registers
> - loads are always sign-extending.

See the alpha port, which has these same characteristics.


r~

Re: Advice needed how to avoid generation of extra sign_extends in .md file

[Jim Wilson]

See also the MIPS port which also has the same problem, and which uses a
different solution than the alpha port.  I don't know offhand which solution
is better.

Jim