diff options
| author | Vladimir N. Makarov <vmakarov@redhat.com> | 2023-08-04 08:04:44 -0400 |
|---|---|---|
| committer | Vladimir N. Makarov <vmakarov@redhat.com> | 2023-08-04 09:10:46 -0400 |
| commit | abf953042ace471720c1dc284b5f38e546fc0595 (patch) | |
| tree | dd62102fba5561abb81a7c72ac7ff1c5f95a6f2a /gcc/tree-vect-loop-manip.cc | |
| parent | 046640f9e53ae92a255e5269b0ca33b1f041b593 (diff) | |
| download | gcc-abf953042ace471720c1dc284b5f38e546fc0595.zip gcc-abf953042ace471720c1dc284b5f38e546fc0595.tar.gz gcc-abf953042ace471720c1dc284b5f38e546fc0595.tar.bz2 | |
LRA: Check input insn pattern hard regs against early clobber hard regs for live info
For the test case LRA generates wrong code for AVR cpymem_qi insn:
(insn 16 15 17 3 (parallel [
(set (mem:BLK (reg:HI 26 r26) [0 A8])
(mem:BLK (reg:HI 30 r30) [0 A8]))
(unspec [
(const_int 0 [0])
] UNSPEC_CPYMEM)
(use (reg:QI 52))
(clobber (reg:HI 26 r26))
(clobber (reg:HI 30 r30))
(clobber (reg:QI 0 r0))
(clobber (reg:QI 52))
]) "t.c":16:22 132 {cpymem_qi}
The insn gets the same value in r26 and r30. The culprit is clobbering
r30 and using r30 as input. For such situation LRA wrongly assumes that
r30 does not live before the insn. The patch is fixing it.
gcc/ChangeLog:
* lra-lives.cc (process_bb_lives): Check input insn pattern hard regs
against early clobber hard regs.
gcc/testsuite/ChangeLog:
* gcc.target/avr/lra-cpymem_qi.c: New.
Diffstat (limited to 'gcc/tree-vect-loop-manip.cc')
0 files changed, 0 insertions, 0 deletions