[Bug tree-optimization/36389] New: [tuples] gimplify_cond_expr should be smarter

["jakub at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

gimplify_cond_expr creates a lot of garbage later passes need to clean up, e.g.
in the common case where gimplifying COND_EXPR with one branch GOTO_EXPR and
the other NULL, or both GOTO_EXPRs.
if (D.2106 == (struct B *) &b)
  {
    goto <D.2124>;
  }
becomes:
if (D.2106 == &b[0]) goto <D.2125> else goto <D.2126>
<D.2125>:
gimple_goto <D.2124>
gimple_goto <D.2127>
<D.2126>:
<D.2127>:
while obviously:
if (D.2106 == &b[0]) goto <D.2124> else goto <D.2125>
<D.2125>:
would be enough.


-- 
           Summary: [tuples] gimplify_cond_expr should be smarter
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: dnovillo at gcc dot gnu dot org
        ReportedBy: jakub at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36389