[PATCH] [i386] Set all_regs to true in the call to replace_rtx [PR102057]

[PATCH] [i386] Set all_regs to true in the call to replace_rtx [PR102057]

[Uros Bizjak]

[-- Attachment #1: Type: text/plain, Size: 403 bytes --]

We want to replace all REGs equal to FROM.

2021-08-26  Uroš Bizjak  <ubizjak@gmail.com>

gcc/
    PR target/102057
    * config/i386/i386.md (cmove reg-reg move elimination peephole2s):
    Set all_regs to true in the call to replace_rtx.

I was not able to create a testcase without warnings.

Bootstrapped and regression tested on x86_64-linux-gnu {,-m32}.

Pushed to master.

Uros.

[-- Attachment #2: p.diff.txt --]
[-- Type: text/plain, Size: 1112 bytes --]

diff --git a/gcc/config/i386/i386.md b/gcc/config/i386/i386.md
index 41d85623ad6..c80dcb57a18 100644
--- a/gcc/config/i386/i386.md
+++ b/gcc/config/i386/i386.md
@@ -19475,8 +19475,8 @@
 					  (match_dup 0)))]
 {
   operands[7] = SET_DEST (XVECEXP (PATTERN (peep2_next_insn (1)), 0, 0));
-  operands[8] = replace_rtx (operands[5], operands[0], operands[1]);
-  operands[9] = replace_rtx (operands[6], operands[0], operands[1]);
+  operands[8] = replace_rtx (operands[5], operands[0], operands[1], true);
+  operands[9] = replace_rtx (operands[6], operands[0], operands[1], true);
 })
 
 ;; Eliminate a reg-reg mov by inverting the condition of a cmov (#2).
@@ -19507,8 +19507,8 @@
 					  (match_dup 0)))]
 {
   operands[7] = SET_DEST (XVECEXP (PATTERN (peep2_next_insn (2)), 0, 0));
-  operands[8] = replace_rtx (operands[5], operands[0], operands[1]);
-  operands[9] = replace_rtx (operands[6], operands[0], operands[1]);
+  operands[8] = replace_rtx (operands[5], operands[0], operands[1], true);
+  operands[9] = replace_rtx (operands[6], operands[0], operands[1], true);
 })
 
 (define_expand "mov<mode>cc"