re PR rtl-optimization/33737 (verify_flow_info failed: Wrong probability of edge...
authorEric Botcazou <ebotcazou@libertysurf.fr>
Wed, 7 Nov 2007 22:05:37 +0000 (23:05 +0100)
committerEric Botcazou <ebotcazou@gcc.gnu.org>
Wed, 7 Nov 2007 22:05:37 +0000 (22:05 +0000)
commit52982a970e03e299950638b623243d7724aa8962
tree3b09819b82398b3577c387dc732255b7f014c8d4
parent8c6c36a3c9583d2e804edd181c75e076a4f38b3e
re PR rtl-optimization/33737 (verify_flow_info failed: Wrong probability of edge 94->1 -6651)

PR rtl-optimization/33737
* cfgcleanup.c (try_crossjump_to_edge): Add count and frequency of
target block after computing the probabilities of outgoing edges.
Cap the frequency to BB_FREQ_MAX.
* tree-ssa-threadupdate.c (redirect_edges): Also adjust count and
frequency of the basic block if it has been reused.

From-SVN: r129973
gcc/ChangeLog
gcc/cfgcleanup.c
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.c-torture/compile/20071107-1.c [new file with mode: 0644]
gcc/tree-ssa-threadupdate.c