diff options
| author | Uros Bizjak <ubizjak@gmail.com> | 2022-11-03 14:17:42 +0100 |
|---|---|---|
| committer | Uros Bizjak <ubizjak@gmail.com> | 2022-11-03 14:18:35 +0100 |
| commit | 553b1d3dd5b9253ebdf66ee3260c717d5b807dd1 (patch) | |
| tree | fa5381011389c9b13a06a9dd7d0dc9a56b5bc76b /gcc/fortran/trans-openmp.cc | |
| parent | 2ff0e62275b1c322a8b65f38f8336f37d31c30e4 (diff) | |
| download | gcc-553b1d3dd5b9253ebdf66ee3260c717d5b807dd1.zip gcc-553b1d3dd5b9253ebdf66ee3260c717d5b807dd1.tar.gz gcc-553b1d3dd5b9253ebdf66ee3260c717d5b807dd1.tar.bz2 | |
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.
Diffstat (limited to 'gcc/fortran/trans-openmp.cc')
0 files changed, 0 insertions, 0 deletions