Hi!
Uros' r15-7793 fixed this PR as well, I'm just committing tests
from the PR so that it can be closed.
Bootstrapped/regtested on x86_64-linux and i686-linux, committed to trunk
as obvious.
2025-03-04 Jakub Jelinek <ja...@redhat.com>
PR rtl-optimization/119071
* gcc.dg/pr119071.c: New test.
* gcc.c-torture/execute/pr119071.c: New test.
--- gcc/testsuite/gcc.dg/pr119071.c.jj 2025-03-03 21:39:28.828809833 +0100
+++ gcc/testsuite/gcc.dg/pr119071.c 2025-03-03 21:41:21.847251265 +0100
@@ -0,0 +1,45 @@
+/* PR rtl-optimization/119071 */
+/* { dg-do run } */
+/* { dg-options "-O2 -fgimple" } */
+
+int a, b;
+
+int __GIMPLE (ssa,startwith("expand"))
+foo (void)
+{
+ int _1;
+ int _2;
+ int _3;
+ int _5;
+ _Bool _7;
+ int _8;
+ int _9;
+ _Bool _14;
+ int _15;
+ int _16;
+ _Bool _17;
+ int _18;
+
+ __BB(2):
+ _1 = a;
+ _17 = _1 != _Literal (int) -2;
+ _18 = (int) _17;
+ _2 = _18 + _Literal (int) -1;
+ _3 = _2 + _18;
+ _14 = _3 != 1;
+ _15 = (int) _14;
+ _16 = -_15;
+ _7 = _3 == 1;
+ _9 = (int) _7;
+ _5 = _9 << _16;
+ _8 = _5 - _15;
+ b = _8;
+ return _8;
+}
+
+int
+main ()
+{
+ if (foo () != 1)
+ __builtin_abort ();
+}
--- gcc/testsuite/gcc.c-torture/execute/pr119071.c.jj 2025-03-03
21:40:21.931077530 +0100
+++ gcc/testsuite/gcc.c-torture/execute/pr119071.c 2025-03-03
21:40:11.765217724 +0100
@@ -0,0 +1,15 @@
+/* PR rtl-optimization/119071 */
+
+int a, b;
+
+int
+main ()
+{
+ int c = 0;
+ if (a + 2)
+ c = 1;
+ int d = (1 + c - 2 + c == 1) - 1;
+ b = ((d + 1) << d) + d;
+ if (b != 1)
+ __builtin_abort ();
+}
Jakub
