diff options
author | Bernd Schmidt <bernds@codesourcery.com> | 2010-09-23 10:04:33 +0000 |
---|---|---|
committer | Bernd Schmidt <bernds@gcc.gnu.org> | 2010-09-23 10:04:33 +0000 |
commit | 3c3bd4710fecc6ef438e0917e218f3ef5eae63d9 (patch) | |
tree | 5a8f0323c12091c2776f698fa75f292d39574f04 /gcc/basic-block.h | |
parent | 87350d4af5ff329ab694092f0edf91969ef0e2c9 (diff) | |
download | gcc-3c3bd4710fecc6ef438e0917e218f3ef5eae63d9.zip gcc-3c3bd4710fecc6ef438e0917e218f3ef5eae63d9.tar.gz gcc-3c3bd4710fecc6ef438e0917e218f3ef5eae63d9.tar.bz2 |
re PR rtl-optimization/44374 (Hoist same instructions in different branches)
PR rtl-optimization/44374
* basic-block.h (enum bb_flags): Add BB_MODIFIED.
* df-core.c (df_set_bb_dirty): Set it.
* ifcvt.c (find_memory): Remove function.
(dead_or_predicable): Use can_move_insns_across.
* df.h (can_move_insns_across): Declare function.
* cfgcleanup.c (block_was_dirty): New static variable.
(try_crossjump_bb, try_forward_edges): Test BB_MODIFIED flag rather
than df_get_bb_dirty.
(try_head_merge_bb): New static function.
(try_optimize_cfg): Call it. Call df_analyze if block_was_dirty
is set.
* df-problems.c: Include "target.h"
(df_simulate_find_uses): New static function.
(MEMREF_NORMAL, MEMREF_VOLATILE): New macros.
(find_memory, find_memory_store): New static functions.
(can_move_insns_across): New function.
* Makefile.in (df-problems.o): Update dependencies.
testsuite/
PR rtl-optimization/44374
* gcc.target/arm/headmerge-1.c: New test.
* gcc.target/arm/headmerge-2.c: New test.
* gcc.target/i386/headmerge-1.c: New test.
* gcc.target/i386/headmerge-2.c: New test.
From-SVN: r164552
Diffstat (limited to 'gcc/basic-block.h')
-rw-r--r-- | gcc/basic-block.h | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/gcc/basic-block.h b/gcc/basic-block.h index 692ebe6..e274d6c 100644 --- a/gcc/basic-block.h +++ b/gcc/basic-block.h @@ -246,7 +246,13 @@ enum bb_flags /* Set on blocks that cannot be threaded through. Only used in cfgcleanup.c. */ - BB_NONTHREADABLE_BLOCK = 1 << 11 + BB_NONTHREADABLE_BLOCK = 1 << 11, + + /* Set on blocks that were modified in some way. This bit is set in + df_set_bb_dirty, but not cleared by df_analyze, so it can be used + to test whether a block has been modified prior to a df_analyze + call. */ + BB_MODIFIED = 1 << 12 }; /* Dummy flag for convenience in the hot/cold partitioning code. */ |