x86_64: Use peephole2 to eliminate redundant moves.
authorRoger Sayle <roger@nextmovesoftware.com>
Wed, 12 Aug 2020 07:31:25 +0000 (08:31 +0100)
committerRoger Sayle <roger@nextmovesoftware.com>
Wed, 12 Aug 2020 07:31:25 +0000 (08:31 +0100)
commit778c15d3ca1d0ee026de67d56ad763a4a8ad302a
tree11c7e4a6020e9f73b7f57da90698a9ac0804fe8a
parent82c4b78dbef6f03838e3040688c934360a09513f
x86_64: Use peephole2 to eliminate redundant moves.

The recent fix for mul_widen_cost revealed an interesting
quirk of ira/reload register allocation on x86_64.  As shown in
https://gcc.gnu.org/pipermail/gcc-patches/2020-August/551648.html
for gcc.target/i386/pr71321.c we generate the following code that
performs unnecessary register shuffling.

        movl    $-51, %edx
        movl    %edx, %eax
        mulb    %dil

Various discussions in bugzilla seem to point to reload preferring
not to load constants directly into CLASS_LIKELY_SPILLED_P registers.
Whatever the cause, one solution (workaround), that doesn't involve
rewriting a register allocator, is to use peephole2 to spot this
wierdness and eliminate it.  With this peephole2 the above three
instructions (from pr71321.c) are replaced with:

        movl    $-51, %eax
        mulb    %dil

2020-08-12  Roger Sayle  <roger@nextmovesoftware.com>
    Uroš Bizjak  <ubizjak@gmail.com>

gcc/ChangeLog
* config/i386/i386.md (peephole2): Reduce unnecessary
register shuffling produced by register allocation.
gcc/config/i386/i386.md