diff options
| author | Jeff Law <jlaw@ventanamicro.com> | 2024-07-22 10:11:57 -0600 |
|---|---|---|
| committer | Thomas Koenig <tkoenig@gcc.gnu.org> | 2024-07-28 19:05:45 +0200 |
| commit | f357bfdb41779139e1658433bffa9e7dbee534c5 (patch) | |
| tree | bfade848d55e1d09ae65ba9912716ebd16c6ed76 | |
| parent | 14f605f17b8ee8e8a2dc3b4292420ea5f5d2cf8d (diff) | |
| download | gcc-f357bfdb41779139e1658433bffa9e7dbee534c5.zip gcc-f357bfdb41779139e1658433bffa9e7dbee534c5.tar.gz gcc-f357bfdb41779139e1658433bffa9e7dbee534c5.tar.bz2 | |
[4/n][PR rtl-optimization/115877] Correct SUBREG handling in a destination
If we encounter something during SET handling that we can not handle, the safe
thing to do is to ignore the destination and continue the loop.
We've actually been trying to do slightly better with SUBREG destinations by
iterating into SUBREG_REG. It turns out that wasn't working as expected.
The problem is once we "continue" we lose the state that we were inside the SET
and thus we ended up ignoring the destination completely rather than tracking
the SUBREG_REG object. This could be fixed by restarting SET processing, but I
just don't see this as all that important to handle. So rather than leave the
code as-is, not working per design, I'm twiddling it to use the common 'skip
subrtxs and continue' idiom used elsewhere.
This is a prerequisite for another patch in this series. Specifically I have a
patch that explicitly tracks if we skipped a destination rather than trying to
imply it from the state of LIVE_TMP. So this is probably NFC right now, but
that's a short-lived NFC.
Bootstrapped and regression tested on x86 and also run as part of a larger kit
on the crosses in my tester.
PR rtl-optimization/115877
gcc/
* ext-dce.cc (ext_dce_process_sets): More correctly handle SUBREG
destinations.
| -rw-r--r-- | gcc/ext-dce.cc | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/gcc/ext-dce.cc b/gcc/ext-dce.cc index 44f64e2..21feabd 100644 --- a/gcc/ext-dce.cc +++ b/gcc/ext-dce.cc @@ -270,11 +270,18 @@ ext_dce_process_sets (rtx_insn *insn, rtx obj, bitmap live_tmp) = GET_MODE_MASK (GET_MODE_INNER (GET_MODE (x))); if (SUBREG_P (x)) { - /* If we have a SUBREG that is too wide, just continue the loop - and let the iterator go down into SUBREG_REG. */ + /* If we have a SUBREG destination that is too wide, just + skip the destination rather than continuing this iterator. + While continuing would be better, we'd need to strip the + subreg and restart within the SET processing rather than + the top of the loop which just complicates the flow even + more. */ if (!is_a <scalar_int_mode> (GET_MODE (SUBREG_REG (x)), &outer_mode) || GET_MODE_BITSIZE (outer_mode) > 64) - continue; + { + iter.skip_subrtxes (); + continue; + } /* We can safely strip a paradoxical subreg. The inner mode will be narrower than the outer mode. We'll clear fewer bits in |