[Bug tree-optimization/21694] Missed forwprop opportunity into COND_EXPR

2006-01-19 Thread pinskia at gcc dot gnu dot org
--- Comment #6 from pinskia at gcc dot gnu dot org 2006-01-19 16:06 --- Fixed by: 2006-01-09 Jeff Law <[EMAIL PROTECTED]> * tree-ssa-dom.c (simplify_cond_and_lookup_avail_expr): Remove code to propagate the RHS of a cast into COND_EXPR_COND. Remove now unused

[Bug tree-optimization/21694] Missed forwprop opportunity into COND_EXPR

2005-10-23 Thread pinskia at gcc dot gnu dot org
--- Comment #5 from pinskia at gcc dot gnu dot org 2005-10-24 03:19 --- This is fixed in the simplify-dom-branch. See: http://gcc.gnu.org/ml/gcc-cvs/2005-10/msg00830.html -- pinskia at gcc dot gnu dot org changed: What|Removed |Added --

[Bug tree-optimization/21694] Missed forwprop opportunity into COND_EXPR

2005-05-21 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-05-21 17:01 --- (In reply to comment #2) > There is a reason why forwprop does not do this, the SSA_NAME is used twice. If we run forwprop > before FRE, it will catch it in this We are interested in the number of immediate

[Bug tree-optimization/21694] Missed forwprop opportunity into COND_EXPR

2005-05-21 Thread pinskia at gcc dot gnu dot org
--- Additional Comments From pinskia at gcc dot gnu dot org 2005-05-21 15:01 --- Confirmed, here is a testcase which makes sure that we don't have to worry about the one use property of forwprop: enum tree_code { AAA, BBB, CCC }; struct tree_common { enum tree_code code : 8; }

[Bug tree-optimization/21694] Missed forwprop opportunity into COND_EXPR

2005-05-21 Thread pinskia at gcc dot gnu dot org
--- Additional Comments From pinskia at gcc dot gnu dot org 2005-05-21 12:38 --- There is a reason why forwprop does not do this, the SSA_NAME is used twice. If we run forwprop before FRE, it will catch it in this See PR 19703 for a case where DOM messes up catching something like th

[Bug tree-optimization/21694] Missed forwprop opportunity into COND_EXPR

2005-05-21 Thread kazu at cs dot umass dot edu
--- Additional Comments From kazu at cs dot umass dot edu 2005-05-21 09:45 --- The DOM's optimization comes from find_equivalent_equality_comparison, which makes a COND_EXPR absorb a narrowing cast. We could port this to tree-ssa-forwprop.c. -- http://gcc.gnu.org/bugzilla/show_bug.c