[Bug c/110376] Wrong code at -O1 on x86_64-linux-gnu

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

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

--- Comment #5 from Richard Biener  ---
(In reply to Andrew Pinski from comment #4)
> (In reply to Shaohua Li from comment #3)
> > You post a commit for fixing this bug. Does this mean this report is not a
> > DUP of 110228?
> 
> The commit was just a testcase (more testcases the better really); there
> were 3 different issues causing PR 110228 really, 2 for phiopt, one for
> ifcombine. Anyways all 3 have been fixed on the trunk. one of those 3 fixed
> this issue and a testcase was added just to make sure it does not get
> exposed again.

And all three different issues should have been separate bugs ...

[Bug c/110376] Wrong code at -O1 on x86_64-linux-gnu

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

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

--- Comment #4 from Andrew Pinski  ---
(In reply to Shaohua Li from comment #3)
> You post a commit for fixing this bug. Does this mean this report is not a
> DUP of 110228?

The commit was just a testcase (more testcases the better really); there were 3
different issues causing PR 110228 really, 2 for phiopt, one for ifcombine.
Anyways all 3 have been fixed on the trunk. one of those 3 fixed this issue and
a testcase was added just to make sure it does not get exposed again.

[Bug c/110376] Wrong code at -O1 on x86_64-linux-gnu

[shaohua.li at inf dot ethz.ch via Gcc-bugs]

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

--- Comment #3 from Shaohua Li  ---
You post a commit for fixing this bug. Does this mean this report is not a DUP
of 110228?

[Bug c/110376] Wrong code at -O1 on x86_64-linux-gnu

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

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

--- Comment #2 from CVS Commits  ---
The master branch has been updated by Richard Biener :

https://gcc.gnu.org/g:d4800a23d8d14213f9e461cd47e97a5c7271b1a9

commit r14-2291-gd4800a23d8d14213f9e461cd47e97a5c7271b1a9
Author: Richard Biener 
Date:   Tue Jul 4 12:27:56 2023 +0200

tree-optimization/110376 - testcase for fixed bug

This is a new testcase for the fixed bug.

PR tree-optimization/110376
* gcc.dg/torture/pr110376.c: New testcase.

[Bug c/110376] Wrong code at -O1 on x86_64-linux-gnu

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

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

Andrew Pinski  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |DUPLICATE

--- Comment #1 from Andrew Pinski  ---
The underlying issue is the same as PR 110228 .


Changing b to _Bool (and o to _Bool*) and phiopt doing:
phiopt match-simplify trying:
b_lsm_flag.31_11 != 0 ? b_lsm.30_12 : 1
Matching expression match.pd:1990, gimple-match-5.cc:23
Matching expression match.pd:1990, gimple-match-5.cc:23
Matching expression match.pd:1990, gimple-match-5.cc:23
Matching expression match.pd:1947, gimple-match-7.cc:20
Matching expression match.pd:2479, gimple-match-4.cc:35
Matching expression match.pd:2482, gimple-match-3.cc:66
Matching expression match.pd:2489, gimple-match-2.cc:58
Applying pattern match.pd:6456, gimple-match-6.cc:12915
Applying pattern match.pd:1378, gimple-match-3.cc:7714
Matching expression match.pd:1947, gimple-match-7.cc:20
Matching expression match.pd:1957, gimple-match-6.cc:46
Matching expression match.pd:1947, gimple-match-7.cc:20
Applying pattern match.pd:4745, gimple-match-2.cc:16250
Folded into the sequence:
_3 = ~b_lsm_flag.31_11;
_56 = _3 | b_lsm.30_12;
Removing basic block 9
;; basic block 9, loop depth 1
;;  pred:   8
;;  succ:   10

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