diff options
author | Maciej W. Rozycki <macro@orcam.me.uk> | 2024-12-25 22:23:39 +0000 |
---|---|---|
committer | Maciej W. Rozycki <macro@orcam.me.uk> | 2024-12-25 22:23:39 +0000 |
commit | 3c99ea19d26a2458302c54a33fbd17abfbef787a (patch) | |
tree | 625e31900af54d434869ff06bdec8ebe828c55e1 /gcc/ada/gcc-interface | |
parent | 665e0f9c08a9922ba06aeaa719fd4adc5a689df7 (diff) | |
download | gcc-3c99ea19d26a2458302c54a33fbd17abfbef787a.zip gcc-3c99ea19d26a2458302c54a33fbd17abfbef787a.tar.gz gcc-3c99ea19d26a2458302c54a33fbd17abfbef787a.tar.bz2 |
Alpha: Permit constant zero source for "insvmisaligndi"
Eliminate a redundant bitwise inclusive OR operation on the insertion of
constant zero into a bit-field, improving code produced at `-O2' from an
output sequence such as:
mov $31,$3 # Redundant!
ldq_u $1,7($16)
insqh $3,$16,$3 # Redundant!
ldq_u $2,0($16)
mskqh $1,$16,$1
mskql $2,$16,$2
bis $1,$3,$1 # Redundant!
stq_u $1,7($16)
stq_u $2,0($16)
ret $31,($26),1
to:
ldq_u $2,7($16)
ldq_u $1,0($16)
mskqh $2,$16,$2
stq_u $2,7($16)
mskql $1,$16,$1
stq_u $1,0($16)
ret $31,($26),1
for a quadword unaligned store operation. As shown in the example this
only triggers for the high-part store (and therefore only for 2-byte,
4-byte, and 8-byte stores), because `insXl' insns are fully expressed in
terms of RTL and therefore the insertion of zero is eliminated in later
RTL passes, however corresponding `insXh' insns are unspecs only, making
them impossible to see through.
We can get this optimal right from expand though, given that our handler
for "insvmisaligndi", i.e. `alpha_expand_unaligned_store', has explicit
provisions for `const0_rtx' source.
gcc/
* config/alpha/alpha.md (insvmisaligndi): Use "reg_or_0_operand"
rather than "register_operand" for operand 3.
gcc/testsuite/
* gcc.target/alpha/stlx0.c: New file.
* gcc.target/alpha/stqx0.c: New file.
* gcc.target/alpha/stwx0.c: New file.
* gcc.target/alpha/stwx0-bwx.c: New file.
Diffstat (limited to 'gcc/ada/gcc-interface')
0 files changed, 0 insertions, 0 deletions