* [Bug tree-optimization/32306] [4.3/4.4/4.5/4.6/4.7 Regression] redundant && || not eliminated
[not found] <bug-32306-4@http.gcc.gnu.org/bugzilla/>
@ 2011-06-27 15:13 ` rguenth at gcc dot gnu.org
2012-01-12 13:03 ` [Bug tree-optimization/32306] [4.4/4.5/4.6/4.7 " rguenth at gcc dot gnu.org
` (15 subsequent siblings)
16 siblings, 0 replies; 17+ messages in thread
From: rguenth at gcc dot gnu.org @ 2011-06-27 15:13 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32306
Richard Guenther <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.3.6 |4.4.7
--- Comment #18 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-06-27 12:14:35 UTC ---
4.3 branch is being closed, moving to 4.4.7 target.
^ permalink raw reply [flat|nested] 17+ messages in thread* [Bug tree-optimization/32306] [4.4/4.5/4.6/4.7 Regression] redundant && || not eliminated
[not found] <bug-32306-4@http.gcc.gnu.org/bugzilla/>
2011-06-27 15:13 ` [Bug tree-optimization/32306] [4.3/4.4/4.5/4.6/4.7 Regression] redundant && || not eliminated rguenth at gcc dot gnu.org
@ 2012-01-12 13:03 ` rguenth at gcc dot gnu.org
2012-03-13 15:26 ` [Bug tree-optimization/32306] [4.5/4.6/4.7/4.8 " jakub at gcc dot gnu.org
` (14 subsequent siblings)
16 siblings, 0 replies; 17+ messages in thread
From: rguenth at gcc dot gnu.org @ 2012-01-12 13:03 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32306
--- Comment #19 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-01-12 13:02:25 UTC ---
Shorter testcase, compilable and to the point. We are not able to CSE
the b1 && ... && b8 sequence because we produce control-flow for it
during gimplification.
void bar (short *array,
short b1, short b2, short b3, short b4,
short b5, short b6, short b7, short b8)
{
array[0] = b1 && b2 && b3 && b4 && b5 && b6 && b7 && b8;
array[1] = b1 && b2 && b3 && b4 && b5 && b6 && b7 && b8;
}
^ permalink raw reply [flat|nested] 17+ messages in thread* [Bug tree-optimization/32306] [4.5/4.6/4.7/4.8 Regression] redundant && || not eliminated
[not found] <bug-32306-4@http.gcc.gnu.org/bugzilla/>
2011-06-27 15:13 ` [Bug tree-optimization/32306] [4.3/4.4/4.5/4.6/4.7 Regression] redundant && || not eliminated rguenth at gcc dot gnu.org
2012-01-12 13:03 ` [Bug tree-optimization/32306] [4.4/4.5/4.6/4.7 " rguenth at gcc dot gnu.org
@ 2012-03-13 15:26 ` jakub at gcc dot gnu.org
2012-07-02 11:54 ` rguenth at gcc dot gnu.org
` (13 subsequent siblings)
16 siblings, 0 replies; 17+ messages in thread
From: jakub at gcc dot gnu.org @ 2012-03-13 15:26 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32306
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.4.7 |4.5.4
--- Comment #20 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-03-13 12:48:02 UTC ---
4.4 branch is being closed, moving to 4.5.4 target.
^ permalink raw reply [flat|nested] 17+ messages in thread* [Bug tree-optimization/32306] [4.5/4.6/4.7/4.8 Regression] redundant && || not eliminated
[not found] <bug-32306-4@http.gcc.gnu.org/bugzilla/>
` (2 preceding siblings ...)
2012-03-13 15:26 ` [Bug tree-optimization/32306] [4.5/4.6/4.7/4.8 " jakub at gcc dot gnu.org
@ 2012-07-02 11:54 ` rguenth at gcc dot gnu.org
2012-11-09 23:14 ` [Bug tree-optimization/32306] [4.6/4.7/4.8 " steven at gcc dot gnu.org
` (12 subsequent siblings)
16 siblings, 0 replies; 17+ messages in thread
From: rguenth at gcc dot gnu.org @ 2012-07-02 11:54 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32306
Richard Guenther <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.5.4 |4.6.4
--- Comment #21 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-07-02 11:53:42 UTC ---
The 4.5 branch is being closed, adjusting target milestone.
^ permalink raw reply [flat|nested] 17+ messages in thread* [Bug tree-optimization/32306] [4.6/4.7/4.8 Regression] redundant && || not eliminated
[not found] <bug-32306-4@http.gcc.gnu.org/bugzilla/>
` (3 preceding siblings ...)
2012-07-02 11:54 ` rguenth at gcc dot gnu.org
@ 2012-11-09 23:14 ` steven at gcc dot gnu.org
2013-01-10 11:26 ` jakub at gcc dot gnu.org
` (11 subsequent siblings)
16 siblings, 0 replies; 17+ messages in thread
From: steven at gcc dot gnu.org @ 2012-11-09 23:14 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32306
--- Comment #22 from Steven Bosscher <steven at gcc dot gnu.org> 2012-11-09 23:13:53 UTC ---
(In reply to comment #19)
> Shorter testcase, compilable and to the point. We are not able to CSE
> the b1 && ... && b8 sequence because we produce control-flow for it
> during gimplification.
Do you know why that is so?
^ permalink raw reply [flat|nested] 17+ messages in thread* [Bug tree-optimization/32306] [4.6/4.7/4.8 Regression] redundant && || not eliminated
[not found] <bug-32306-4@http.gcc.gnu.org/bugzilla/>
` (4 preceding siblings ...)
2012-11-09 23:14 ` [Bug tree-optimization/32306] [4.6/4.7/4.8 " steven at gcc dot gnu.org
@ 2013-01-10 11:26 ` jakub at gcc dot gnu.org
2013-04-12 15:18 ` [Bug tree-optimization/32306] [4.7/4.8/4.9 " jakub at gcc dot gnu.org
` (10 subsequent siblings)
16 siblings, 0 replies; 17+ messages in thread
From: jakub at gcc dot gnu.org @ 2013-01-10 11:26 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32306
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #23 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-01-10 11:26:09 UTC ---
It generally depends on the branch cost, e.g. out of #c19 testcase on x86_64 we
generate:
D.1729 = b1 != 0;
D.1730 = b2 != 0;
D.1731 = D.1729 & D.1730;
if (D.1731 != 0) goto <D.1732>; else goto <D.1727>;
<D.1732>:
D.1733 = b3 != 0;
D.1734 = b4 != 0;
D.1735 = D.1733 & D.1734;
if (D.1735 != 0) goto <D.1736>; else goto <D.1727>;
<D.1736>:
etc., but on other targets it could have just one comparison per conditional
jump, or on the other side 4. While the tests don't have side-effects, turning
too many &&s into &s wouldn't result in very good code, though of course would
make it easier to perform some optimizations. Anyway, you can write it in the
source as a series of ifs:
array[0] = 1;
if (!b1)
array[0] = 0;
else if (!b2)
array[0] = 0;
else if (!b3)
array[0] = 0;
...
and we wouldn't be able to optimize it anyway.
^ permalink raw reply [flat|nested] 17+ messages in thread* [Bug tree-optimization/32306] [4.7/4.8/4.9 Regression] redundant && || not eliminated
[not found] <bug-32306-4@http.gcc.gnu.org/bugzilla/>
` (5 preceding siblings ...)
2013-01-10 11:26 ` jakub at gcc dot gnu.org
@ 2013-04-12 15:18 ` jakub at gcc dot gnu.org
2014-06-12 13:49 ` [Bug tree-optimization/32306] [4.7/4.8/4.9/4.10 " rguenth at gcc dot gnu.org
` (9 subsequent siblings)
16 siblings, 0 replies; 17+ messages in thread
From: jakub at gcc dot gnu.org @ 2013-04-12 15:18 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32306
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.6.4 |4.7.4
--- Comment #24 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-04-12 15:17:03 UTC ---
GCC 4.6.4 has been released and the branch has been closed.
^ permalink raw reply [flat|nested] 17+ messages in thread* [Bug tree-optimization/32306] [4.7/4.8/4.9/4.10 Regression] redundant && || not eliminated
[not found] <bug-32306-4@http.gcc.gnu.org/bugzilla/>
` (6 preceding siblings ...)
2013-04-12 15:18 ` [Bug tree-optimization/32306] [4.7/4.8/4.9 " jakub at gcc dot gnu.org
@ 2014-06-12 13:49 ` rguenth at gcc dot gnu.org
2014-12-19 13:43 ` [Bug tree-optimization/32306] [4.8/4.9/5 " jakub at gcc dot gnu.org
` (8 subsequent siblings)
16 siblings, 0 replies; 17+ messages in thread
From: rguenth at gcc dot gnu.org @ 2014-06-12 13:49 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=32306
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.7.4 |4.8.4
--- Comment #25 from Richard Biener <rguenth at gcc dot gnu.org> ---
The 4.7 branch is being closed, moving target milestone to 4.8.4.
^ permalink raw reply [flat|nested] 17+ messages in thread* [Bug tree-optimization/32306] [4.8/4.9/5 Regression] redundant && || not eliminated
[not found] <bug-32306-4@http.gcc.gnu.org/bugzilla/>
` (7 preceding siblings ...)
2014-06-12 13:49 ` [Bug tree-optimization/32306] [4.7/4.8/4.9/4.10 " rguenth at gcc dot gnu.org
@ 2014-12-19 13:43 ` jakub at gcc dot gnu.org
2015-06-23 8:26 ` [Bug tree-optimization/32306] [4.8/4.9/5/6 " rguenth at gcc dot gnu.org
` (7 subsequent siblings)
16 siblings, 0 replies; 17+ messages in thread
From: jakub at gcc dot gnu.org @ 2014-12-19 13:43 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=32306
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.8.4 |4.8.5
--- Comment #26 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 4.8.4 has been released.
^ permalink raw reply [flat|nested] 17+ messages in thread* [Bug tree-optimization/32306] [4.8/4.9/5/6 Regression] redundant && || not eliminated
[not found] <bug-32306-4@http.gcc.gnu.org/bugzilla/>
` (8 preceding siblings ...)
2014-12-19 13:43 ` [Bug tree-optimization/32306] [4.8/4.9/5 " jakub at gcc dot gnu.org
@ 2015-06-23 8:26 ` rguenth at gcc dot gnu.org
2015-06-26 20:18 ` [Bug tree-optimization/32306] [4.9/5/6 " jakub at gcc dot gnu.org
` (6 subsequent siblings)
16 siblings, 0 replies; 17+ messages in thread
From: rguenth at gcc dot gnu.org @ 2015-06-23 8:26 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=32306
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.8.5 |4.9.3
--- Comment #27 from Richard Biener <rguenth at gcc dot gnu.org> ---
The gcc-4_8-branch is being closed, re-targeting regressions to 4.9.3.
^ permalink raw reply [flat|nested] 17+ messages in thread* [Bug tree-optimization/32306] [4.9/5/6 Regression] redundant && || not eliminated
[not found] <bug-32306-4@http.gcc.gnu.org/bugzilla/>
` (9 preceding siblings ...)
2015-06-23 8:26 ` [Bug tree-optimization/32306] [4.8/4.9/5/6 " rguenth at gcc dot gnu.org
@ 2015-06-26 20:18 ` jakub at gcc dot gnu.org
2015-06-26 20:38 ` jakub at gcc dot gnu.org
` (5 subsequent siblings)
16 siblings, 0 replies; 17+ messages in thread
From: jakub at gcc dot gnu.org @ 2015-06-26 20:18 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=32306
--- Comment #28 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 4.9.3 has been released.
^ permalink raw reply [flat|nested] 17+ messages in thread* [Bug tree-optimization/32306] [4.9/5/6 Regression] redundant && || not eliminated
[not found] <bug-32306-4@http.gcc.gnu.org/bugzilla/>
` (10 preceding siblings ...)
2015-06-26 20:18 ` [Bug tree-optimization/32306] [4.9/5/6 " jakub at gcc dot gnu.org
@ 2015-06-26 20:38 ` jakub at gcc dot gnu.org
2021-04-27 11:37 ` [Bug tree-optimization/32306] [8/9/10/11/12 " jakub at gcc dot gnu.org
` (4 subsequent siblings)
16 siblings, 0 replies; 17+ messages in thread
From: jakub at gcc dot gnu.org @ 2015-06-26 20:38 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=32306
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.9.3 |4.9.4
^ permalink raw reply [flat|nested] 17+ messages in thread* [Bug tree-optimization/32306] [8/9/10/11/12 Regression] redundant && || not eliminated
[not found] <bug-32306-4@http.gcc.gnu.org/bugzilla/>
` (11 preceding siblings ...)
2015-06-26 20:38 ` jakub at gcc dot gnu.org
@ 2021-04-27 11:37 ` jakub at gcc dot gnu.org
2021-07-28 7:04 ` [Bug tree-optimization/32306] [9/10/11/12 " rguenth at gcc dot gnu.org
` (3 subsequent siblings)
16 siblings, 0 replies; 17+ messages in thread
From: jakub at gcc dot gnu.org @ 2021-04-27 11:37 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=32306
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|11.0 |11.2
--- Comment #39 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 11.1 has been released, retargeting bugs to GCC 11.2.
^ permalink raw reply [flat|nested] 17+ messages in thread* [Bug tree-optimization/32306] [9/10/11/12 Regression] redundant && || not eliminated
[not found] <bug-32306-4@http.gcc.gnu.org/bugzilla/>
` (12 preceding siblings ...)
2021-04-27 11:37 ` [Bug tree-optimization/32306] [8/9/10/11/12 " jakub at gcc dot gnu.org
@ 2021-07-28 7:04 ` rguenth at gcc dot gnu.org
2022-04-21 7:47 ` rguenth at gcc dot gnu.org
` (2 subsequent siblings)
16 siblings, 0 replies; 17+ messages in thread
From: rguenth at gcc dot gnu.org @ 2021-07-28 7:04 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=32306
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|11.2 |11.3
--- Comment #40 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 11.2 is being released, retargeting bugs to GCC 11.3
^ permalink raw reply [flat|nested] 17+ messages in thread* [Bug tree-optimization/32306] [9/10/11/12 Regression] redundant && || not eliminated
[not found] <bug-32306-4@http.gcc.gnu.org/bugzilla/>
` (13 preceding siblings ...)
2021-07-28 7:04 ` [Bug tree-optimization/32306] [9/10/11/12 " rguenth at gcc dot gnu.org
@ 2022-04-21 7:47 ` rguenth at gcc dot gnu.org
2023-03-15 23:27 ` [Bug tree-optimization/32306] [10/11/12/13 " pinskia at gcc dot gnu.org
2023-05-29 10:01 ` [Bug tree-optimization/32306] [10/11/12/13/14 " jakub at gcc dot gnu.org
16 siblings, 0 replies; 17+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-04-21 7:47 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=32306
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|11.3 |11.4
--- Comment #41 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 11.3 is being released, retargeting bugs to GCC 11.4.
^ permalink raw reply [flat|nested] 17+ messages in thread* [Bug tree-optimization/32306] [10/11/12/13 Regression] redundant && || not eliminated
[not found] <bug-32306-4@http.gcc.gnu.org/bugzilla/>
` (14 preceding siblings ...)
2022-04-21 7:47 ` rguenth at gcc dot gnu.org
@ 2023-03-15 23:27 ` pinskia at gcc dot gnu.org
2023-05-29 10:01 ` [Bug tree-optimization/32306] [10/11/12/13/14 " jakub at gcc dot gnu.org
16 siblings, 0 replies; 17+ messages in thread
From: pinskia at gcc dot gnu.org @ 2023-03-15 23:27 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=32306
--- Comment #42 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Richard Biener from comment #19)
> Shorter testcase, compilable and to the point. We are not able to CSE
> the b1 && ... && b8 sequence because we produce control-flow for it
> during gimplification.
>
> void bar (short *array,
> short b1, short b2, short b3, short b4,
> short b5, short b6, short b7, short b8)
> {
> array[0] = b1 && b2 && b3 && b4 && b5 && b6 && b7 && b8;
> array[1] = b1 && b2 && b3 && b4 && b5 && b6 && b7 && b8;
> }
This reduced testcase we optimize since GCC 12.
^ permalink raw reply [flat|nested] 17+ messages in thread* [Bug tree-optimization/32306] [10/11/12/13/14 Regression] redundant && || not eliminated
[not found] <bug-32306-4@http.gcc.gnu.org/bugzilla/>
` (15 preceding siblings ...)
2023-03-15 23:27 ` [Bug tree-optimization/32306] [10/11/12/13 " pinskia at gcc dot gnu.org
@ 2023-05-29 10:01 ` jakub at gcc dot gnu.org
16 siblings, 0 replies; 17+ messages in thread
From: jakub at gcc dot gnu.org @ 2023-05-29 10:01 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=32306
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|11.4 |11.5
--- Comment #43 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 11.4 is being released, retargeting bugs to GCC 11.5.
^ permalink raw reply [flat|nested] 17+ messages in thread