From a6545a3d943012f72ba5d0ed49471412b0e308e8 Mon Sep 17 00:00:00 2001 From: Jeff Law Date: Fri, 29 Apr 2011 21:46:17 -0600 Subject: [PATCH] tree-ssa-threadedge.c (thread_across_edge): Add missing return. * tree-ssa-threadedge.c (thread_across_edge): Add missing return. * gcc.dg/tree-ssa/ssa-dom-thread-4.c: New test. From-SVN: r173206 --- gcc/ChangeLog | 4 ++ gcc/testsuite/ChangeLog | 4 ++ .../gcc.dg/tree-ssa/ssa-dom-thread-4.c | 63 +++++++++++++++++++ gcc/tree-ssa-threadedge.c | 1 + 4 files changed, 72 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/ssa-dom-thread-4.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index fd620037098..dd45a79ff82 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2011-04-29 Jeff Law + + * tree-ssa-threadedge.c (thread_across_edge): Add missing return. + 2011-04-29 Martin Jambor * cgraph.h (cgraph_postorder): Remove declaration. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 873e368c163..2ef45468086 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2011-04-29 Jeff Law + + * gcc.dg/tree-ssa/ssa-dom-thread-4.c: New test. + 2011-04-29 Paolo Carlini PR c++/48606 diff --git a/gcc/testsuite/gcc.dg/tree-ssa/ssa-dom-thread-4.c b/gcc/testsuite/gcc.dg/tree-ssa/ssa-dom-thread-4.c new file mode 100644 index 00000000000..e841429f61a --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/ssa-dom-thread-4.c @@ -0,0 +1,63 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-dom1-details" } */ +struct bitmap_head_def; +typedef struct bitmap_head_def *bitmap; +typedef const struct bitmap_head_def *const_bitmap; +typedef unsigned long BITMAP_WORD; +typedef struct bitmap_element_def +{ + struct bitmap_element_def *next; + unsigned int indx; +} bitmap_element; + + + + + + + + + +unsigned char +bitmap_ior_and_compl (bitmap dst, const_bitmap a, const_bitmap b, + const_bitmap kill) +{ + unsigned char changed = 0; + + bitmap_element *dst_elt; + const bitmap_element *a_elt, *b_elt, *kill_elt, *dst_prev; + + while (a_elt || b_elt) + { + unsigned char new_element = 0; + + if (b_elt) + while (kill_elt && kill_elt->indx < b_elt->indx) + kill_elt = kill_elt->next; + + if (b_elt && kill_elt && kill_elt->indx == b_elt->indx + && (!a_elt || a_elt->indx >= b_elt->indx)) + { + bitmap_element tmp_elt; + unsigned ix; + + BITMAP_WORD ior = 0; + + changed = bitmap_elt_ior (dst, dst_elt, dst_prev, + a_elt, &tmp_elt, changed); + + } + + } + + + return changed; +} +/* The block starting the second conditional has 3 incoming edges, + we should thread all three, but due to a bug in the threading + code we missed the edge when the first conditional is false + (b_elt is zero, which means the second conditional is always + zero. */ +/* { dg-final { scan-tree-dump-times "Threaded" 3 "dom1"} } */ +/* { dg-final { cleanup-tree-dump "dom1" } } */ + diff --git a/gcc/tree-ssa-threadedge.c b/gcc/tree-ssa-threadedge.c index 1fee9bf84c3..24e63977c29 100644 --- a/gcc/tree-ssa-threadedge.c +++ b/gcc/tree-ssa-threadedge.c @@ -771,6 +771,7 @@ thread_across_edge (gimple dummy_cond, remove_temporary_equivalences (stack); register_jump_thread (e, taken_edge); + return; } } -- 2.30.2