i386: Fix uninitialized register after peephole2 conversion [PR107404]
commit553b1d3dd5b9253ebdf66ee3260c717d5b807dd1
authorUros Bizjak <ubizjak@gmail.com>
Thu, 3 Nov 2022 13:17:42 +0000 (3 14:17 +0100)
committerUros Bizjak <ubizjak@gmail.com>
Thu, 3 Nov 2022 13:18:35 +0000 (3 14:18 +0100)
treefa5381011389c9b13a06a9dd7d0dc9a56b5bc76b
parent2ff0e62275b1c322a8b65f38f8336f37d31c30e4
i386: Fix uninitialized register after peephole2 conversion [PR107404]

The eliminate reg-reg move by inverting the condition of
a cmove #2 peephole2 converts the following sequence:

  473: bx:DI=[r14:DI*0x8+r12:DI]
  960: r15:DI=r8:DI
  485: {flags:CCC=cmp(r15:DI+bx:DI,bx:DI);r15:DI=r15:DI+bx:DI;}
  737: r15:DI={(geu(flags:CCC,0))?r15:DI:bx:DI}

to:

 1110: {flags:CCC=cmp(r8:DI+bx:DI,bx:DI);r8:DI=r8:DI+bx:DI;}
 1111: r15:DI=[r14:DI*0x8+r12:DI]
 1112: r15:DI={(geu(flags:CCC,0))?r8:DI:r15:DI}

Please note that(insn 1110) uses register BX, but its
initialization was eliminated.

Avoid conversion if eliminated move intialized a register, used
in the moved instruction.

2022-11-03  Uroš Bizjak  <ubizjak@gmail.com>

gcc/ChangeLog:

PR target/107404
* config/i386/i386.md (eliminate reg-reg move by inverting the
condition of a cmove #2 peephole2): Check if eliminated move
initialized a register, used in the moved instruction.

gcc/testsuite/ChangeLog:

PR target/107404
* g++.target/i386/pr107404.C: New test.
gcc/config/i386/i386.md
gcc/testsuite/g++.target/i386/pr107404.C [new file with mode: 0644]