--- Additional Comments From law at redhat dot com 2005-04-25 05:05 ---
Subject: Re: missed optimization (bool)
On Sat, 2005-04-23 at 13:49 +, rguenth at gcc dot gnu dot org wrote:
--- Additional Comments From rguenth at gcc dot gnu dot org 2005-04-23
13:49 ---
I guess
--- Additional Comments From law at redhat dot com 2005-04-25 05:05 ---
Fixed by:
http://gcc.gnu.org/ml/gcc-patches/2005-04/msg02426.html
--
What|Removed |Added
--- Additional Comments From law at redhat dot com 2005-04-23 01:10 ---
We're performing the requested optimization now. This should probably be
closed.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19516
--- Additional Comments From rguenth at gcc dot gnu dot org 2005-04-23
13:49 ---
I guess it will be not possible to fix this for 4.0.1? Then it is ok to close
the bug as fixed, but please put in a reference to the patch that fixed it.
Thanks for the work,
Richard.
--
What
--- Additional Comments From law at redhat dot com 2005-02-14 21:05 ---
Note the new jump thread selection code will catch this case. We get the
following code:
# BLOCK 0
# PRED: ENTRY [100.0%] (fallthru,exec)
# VUSE TMT.0_7;
D.1134_2 = *flag_1;
if (D.1134_2 != 0) goto L0;
--- Additional Comments From kazu at cs dot umass dot edu 2005-02-06 17:49
---
Hi Richard,
I didn't say that load elimination is the *only* way to take this
optimization opportunity.
DOM *can* thread incoming edges to a basic block with more than COND_EXPR
or SWITCH_EXPR in limited
--- Additional Comments From kazu at cs dot umass dot edu 2005-02-07 06:46
---
Note that PR 19804 is very closely related.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19516
--- Additional Comments From rguenth at tat dot physik dot uni-tuebingen
dot de 2005-01-23 11:13 ---
How comes, that if I change _Bool to int, after tree-optimizations we get
foo (flag)
{
int D.1121;
bb 0:
D.1121_2 = *flag_1;
if (D.1121_2 != 0) goto L0; else goto L3;
L0:;
bar
--- Additional Comments From kazu at cs dot umass dot edu 2005-01-22 18:34
---
This is what I get at the end of tree-ssa optimizations.
foo (flag)
{
int D.1318;
_Bool D.1317;
bb 0:
D.1317_2 = *flag_1;
if (D.1317_2 != 0) goto L0; else goto L1;
L0:;
bar ();
L1:;
D.1317_4 =
--- Additional Comments From pinskia at gcc dot gnu dot org 2005-01-18
23:47 ---
Confirmed, the issue is that DOM does not recognizes that b = *a; if(b) ... c =
*a; if (c) ... can be
changed (note the lacking of the != 0 which would be required for int/char,
etc.).
--
10 matches
Mail list logo
