[Bug tree-optimization/121067] [16 Regression] wrong code at -Os with "-fno-tree-pre -fno-code-hoisting -fno-tree-dominator-opts -fno-tree-fre" on x86_64-linux-gnu

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121067
Bug 121067 depends on bug 106883, which changed state.

Bug 106883 Summary: SLSR may generate signed wrap
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106883

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

[Bug tree-optimization/121067] [16 Regression] wrong code at -Os with "-fno-tree-pre -fno-code-hoisting -fno-tree-dominator-opts -fno-tree-fre" on x86_64-linux-gnu

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121067

Andrew Pinski  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |DUPLICATE

--- Comment #5 from Andrew Pinski  ---
Dup.

*** This bug has been marked as a duplicate of bug 121347 ***

[Bug tree-optimization/121067] [16 Regression] wrong code at -Os with "-fno-tree-pre -fno-code-hoisting -fno-tree-dominator-opts -fno-tree-fre" on x86_64-linux-gnu

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121067

Andrew Pinski  changed:

   What|Removed |Added

   Assignee|unassigned at gcc dot gnu.org  |pinskia at gcc dot 
gnu.org
 Ever confirmed|0   |1
 Status|UNCONFIRMED |ASSIGNED
   Last reconfirmed||2026-01-15

--- Comment #4 from Andrew Pinski  ---
I have a fix.

[Bug tree-optimization/121067] [16 Regression] wrong code at -Os with "-fno-tree-pre -fno-code-hoisting -fno-tree-dominator-opts -fno-tree-fre" on x86_64-linux-gnu

[law at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121067

Jeffrey A. Law  changed:

   What|Removed |Added

   Priority|P3  |P1

[Bug tree-optimization/121067] [16 Regression] wrong code at -Os with "-fno-tree-pre -fno-code-hoisting -fno-tree-dominator-opts -fno-tree-fre" on x86_64-linux-gnu

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121067

--- Comment #3 from Andrew Pinski  ---
(In reply to Andrew Pinski from comment #2)
>   a = _6;
>   slsr_18 = d_14 * 2;
>   _8 = _6 - slsr_18;

And that introduces an overflow ...

> 
> 
> From:
>   _5 = (int) e_12;
>   _6 = _5 + d_14;
>   a = _6;
>   _7 = (int) e_12;
>   _8 = _7 - d_14;

[Bug tree-optimization/121067] [16 Regression] wrong code at -Os with "-fno-tree-pre -fno-code-hoisting -fno-tree-dominator-opts -fno-tree-fre" on x86_64-linux-gnu

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121067

--- Comment #2 from Andrew Pinski  ---
  a = _6;
  slsr_18 = d_14 * 2;
  _8 = _6 - slsr_18;


From:
  _5 = (int) e_12;
  _6 = _5 + d_14;
  a = _6;
  _7 = (int) e_12;
  _8 = _7 - d_14;

[Bug tree-optimization/121067] [16 Regression] wrong code at -Os with "-fno-tree-pre -fno-code-hoisting -fno-tree-dominator-opts -fno-tree-fre" on x86_64-linux-gnu

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121067

--- Comment #1 from Andrew Pinski  ---
-fno-tree-slsr fixes the issue ...

[Bug tree-optimization/121067] [16 Regression] wrong code at -Os with "-fno-tree-pre -fno-code-hoisting -fno-tree-dominator-opts -fno-tree-fre" on x86_64-linux-gnu

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121067

Andrew Pinski  changed:

   What|Removed |Added

   Keywords||wrong-code
Summary|wrong code at -Os with  |[16 Regression] wrong code
   |"-fno-tree-pre  |at -Os with "-fno-tree-pre
   |-fno-code-hoisting  |-fno-code-hoisting
   |-fno-tree-dominator-opts|-fno-tree-dominator-opts
   |-fno-tree-fre" on   |-fno-tree-fre" on
   |x86_64-linux-gnu|x86_64-linux-gnu
   Target Milestone|--- |16.0
 Target||x86_64-linux-gnu