OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

re PR bootstrap/65060 (r220696 breaks bootstrap on Linux/x86-32)

Browse Source 
PR bootstrap/65060
        Revert my change for tree-optimization/64823.

From-SVN: r220701
This commit is contained in:
Jeff Law 2015-02-13 16:53:54 -07:00 committed by Jeff Law
parent f7a0790f3c
commit c7a28c1bc2
5 changed files with 19 additions and 59 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ChangeLog
View File

@ -1,3 +1,8 @@
2015-02-13 Jeff Law <law@redhat.com>
PR bootstrap/65060
Revert my change for tree-optimization/64823.
2015-02-13 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/65053

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2015-02-13 Jeff Law <law@redhat.com>
PR bootstrap/65060
Revert my change for tree-optimization/64823.
2015-02-13 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/65053

18
gcc/testsuite/gcc.dg/uninit-20.c
View File

@ -1,18 +0,0 @@
/* Spurious uninitialized variable warnings, from gdb */
/* { dg-do compile } */
/* { dg-options "-O2 -Wuninitialized" } */
struct os { struct o *o; };
struct o { struct o *next; struct os *se; };
void f(struct o *o){
struct os *s;
if(o) s = o->se;
while(o && s == o->se){
s++; // here `o' is non-zero and thus s is initialized
s == o->se // `?' is essential, `if' does not trigger the warning
? (o = o->next, o ? s = o->se : 0)
: 0;
}
}

39
gcc/tree-ssa-threadedge.c
View File

@ -110,15 +110,6 @@ potentially_threadable_block (basic_block bb)
{
gimple_stmt_iterator gsi;
/* Special case. We can get blocks that are forwarders, but are
not optimized away because they forward from outside a loop
to the loop header. We want to thread through them as we can
sometimes thread to the loop exit, which is obviously profitable.
the interesting case here is when the block has PHIs. */
if (gsi_end_p (gsi_start_nondebug_bb (bb))
&& !gsi_end_p (gsi_start_phis (bb)))
return true;
/* If BB has a single successor or a single predecessor, then
there is no threading opportunity. */
if (single_succ_p (bb) || single_pred_p (bb))
@ -1290,32 +1281,16 @@ thread_through_normal_block (edge e,
= record_temporary_equivalences_from_stmts_at_dest (e, stack, simplify,
*backedge_seen_p);
/* There's two reasons STMT might be null, and distinguishing
between them is important.
/* If we didn't look at all the statements, the most likely reason is
there were too many and thus duplicating this block is not profitable.
First the block may not have had any statements. For example, it
might have some PHIs and unconditionally transfer control elsewhere.
Such blocks are suitable for jump threading, particularly as a
joiner block.
The second reason would be if we did not process all the statements
in the block (because there were too many to make duplicating the
block profitable. If we did not look at all the statements, then
we may not have invalidated everything needing invalidation. Thus
we must signal to our caller that this block is not suitable for
use as a joiner in a threading path. */
Also note if we do not look at all the statements, then we may not
have invalidated equivalences that are no longer valid if we threaded
around a loop. Thus we must signal to our caller that this block
is not suitable for use as a joiner in a threading path. */
if (!stmt)
{
/* First case. The statement simply doesn't have any instructions, but
does have PHIs. */
if (gsi_end_p (gsi_start_nondebug_bb (e->dest))
&& !gsi_end_p (gsi_start_phis (e->dest)))
return 0;
return -1;
/* Second case. */
return -1;
}
/* If we stopped at a COND_EXPR or SWITCH_EXPR, see if we know which arm
will be taken. */
if (gimple_code (stmt) == GIMPLE_COND

11
gcc/tree-vrp.c
View File

@ -10181,15 +10181,8 @@ identify_jump_threads (void)
/* We're basically looking for a switch or any kind of conditional with
integral or pointer type arguments. Note the type of the second
argument will be the same as the first argument, so no need to
check it explicitly.
We also handle the case where there are no statements in the
block. This come up with forwarder blocks that are not
optimized away because they lead to a loop header. But we do
want to thread through them as we can sometimes thread to the
loop exit which is obviously profitable. */
if (!last
|| gimple_code (last) == GIMPLE_SWITCH
check it explicitly. */
if (gimple_code (last) == GIMPLE_SWITCH
|| (gimple_code (last) == GIMPLE_COND
&& TREE_CODE (gimple_cond_lhs (last)) == SSA_NAME
&& (INTEGRAL_TYPE_P (TREE_TYPE (gimple_cond_lhs (last)))