]> git.ipfire.org Git - thirdparty/gcc.git/commit
[LRA]: Exclude some hard regs for multi-reg inout reload pseudos used in asm in diffe...
authorVladimir N. Makarov <vmakarov@redhat.com>
Thu, 20 Apr 2023 14:02:13 +0000 (10:02 -0400)
committerVladimir N. Makarov <vmakarov@redhat.com>
Thu, 20 Apr 2023 15:05:33 +0000 (11:05 -0400)
commit1d2aa9a8cb8fd078af930347392cfdfc14e1551c
treeda96939f6410edf0c7897fea85a6004fe2ad1300
parentcae48a9d80790dcde6ae86122546c89a00d8bb4f
[LRA]: Exclude some hard regs for multi-reg inout reload pseudos used in asm in different mode

See gcc.c-torture/execute/20030222-1.c.  Consider the code for 32-bit (e.g. BE) target:
  int i, v; long x; x = v; asm ("" : "=r" (i) : "0" (x));
We generate the following RTL with reload insns:
  1. subreg:si(x:di, 0) = 0;
  2. subreg:si(x:di, 4) = v:si;
  3. t:di = x:di, dead x;
  4. asm ("" : "=r" (subreg:si(t:di,4)) : "0" (t:di))
  5. i:si = subreg:si(t:di,4);
If we assign hard reg of x to t, dead code elimination will remove insn #2
and we will use unitialized hard reg.  So exclude the hard reg of x for t.
We could ignore this problem for non-empty asm using all x value but it is hard to
check that the asm are expanded into insn realy using x and setting r.
The old reload pass used the same approach.

gcc/ChangeLog

* lra-constraints.cc (match_reload): Exclude some hard regs for
multi-reg inout reload pseudos used in asm in different mode.
gcc/lra-constraints.cc