]> git.ipfire.org Git - thirdparty/gcc.git/commit
i386: fix ix86_hardreg_mov_ok with lra_in_progress
authorkonglin1 <lingling.kong@intel.com>
Thu, 9 May 2024 01:48:56 +0000 (09:48 +0800)
committerkonglin1 <lingling.kong@intel.com>
Thu, 9 May 2024 01:49:02 +0000 (09:49 +0800)
commitbaf1a677955a4dcfffe8d93966900af96600d642
tree18f95b52879239a822fa86e5740bb52867734174
parentce51e6727c9d69bbab0e766c449e60fd41f5f2f9
i386: fix ix86_hardreg_mov_ok with lra_in_progress

Originally eliminate_regs_in_insnit will transform
(parallel [
  (set (reg:QI 130)
    (plus:QI (subreg:QI (reg:DI 19 frame) 0)
      (const_int 96)))
  (clobber (reg:CC 17 flag))]) {*addqi_1}
to
(set (reg:QI 130)
 (subreg:QI (reg:DI 19 frame) 0)) {*movqi_internal}
when verify_changes.

But with No Flags add, it transforms
(set (reg:QI 5 di)
  (plus:QI (subreg:QI (reg:DI 19 frame) 0)
   (const_int 96))) {*addqi_1_nf}
to
(set (reg:QI 5 di)
 (subreg:QI (reg:DI 19 frame) 0)) {*addqi_1_nf}.
there is no extra clobbers at the end, and
its dest reg just is a hardreg. For ix86_hardreg_mov_ok,
it returns false. So it fails to update insn and causes
the ICE when transform to movqi_internal.

But actually it is ok and safe for ix86_hardreg_mov_ok
when lra_in_progress.

And tested the spec2017, the performance was not affected.

gcc/ChangeLog:

* config/i386/i386.cc (ix86_hardreg_mov_ok): Relax
hard reg mov restriction when lra in progress.
gcc/config/i386/i386.cc