diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2015-01-05 19:53:44 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2015-01-05 19:53:44 +0100 |
| commit | a6377d52d749327d8e7b8b4d2e51bb873da24ad9 (patch) | |
| tree | 8128543c9bfbb161fc49e812bd604b35026cfe4c /gcc | |
| parent | 8b7cec587aa4e4d38ef9a258dc39cef53f8c8482 (diff) | |
| download | gcc-a6377d52d749327d8e7b8b4d2e51bb873da24ad9.zip gcc-a6377d52d749327d8e7b8b4d2e51bb873da24ad9.tar.gz gcc-a6377d52d749327d8e7b8b4d2e51bb873da24ad9.tar.bz2 | |
re PR tree-optimization/64494 (ICE at -Os and above on x86_64-linux-gnu in duplicate_ssa_name_range_info, at tree-ssanames.c:499)
PR tree-optimization/64494
* tree-ssa-loop-im.c (move_computations_dom_walker::before_dom): Also
clear SSA_NAME_ANTI_RANGE_P flag.
* gcc.c-torture/compile/pr64494.c: New test.
From-SVN: r219194
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/compile/pr64494.c | 18 | ||||
| -rw-r--r-- | gcc/tree-ssa-loop-im.c | 12 |
4 files changed, 39 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e418275..2ba1d2b 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2015-01-05 Jakub Jelinek <jakub@redhat.com> + + PR tree-optimization/64494 + * tree-ssa-loop-im.c (move_computations_dom_walker::before_dom): Also + clear SSA_NAME_ANTI_RANGE_P flag. + 2015-01-05 Marek Polacek <polacek@redhat.com> * doc/extend.texi (Arrays of Length Zero): Add missing comma. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index ee90726..90c25a5 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2015-01-05 Jakub Jelinek <jakub@redhat.com> + + PR tree-optimization/64494 + * gcc.c-torture/compile/pr64494.c: New test. + 2015-01-05 Thomas Koenig <tkoenig@gcc.gnu.org> PR fortran/47674 diff --git a/gcc/testsuite/gcc.c-torture/compile/pr64494.c b/gcc/testsuite/gcc.c-torture/compile/pr64494.c new file mode 100644 index 0000000..f6718d3 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr64494.c @@ -0,0 +1,18 @@ +/* PR tree-optimization/64494 */ + +int a, b; +unsigned char c; + +int +main () +{ + int d; + a = 0; + for (d = 0; d < 2; d++) + { + a &= (b >= 1); + c = (204 > (((unsigned char) ~0) >> a)) ? 0 : 204 << a; + b = 0; + } + return 0; +} diff --git a/gcc/tree-ssa-loop-im.c b/gcc/tree-ssa-loop-im.c index a442146..6319eff 100644 --- a/gcc/tree-ssa-loop-im.c +++ b/gcc/tree-ssa-loop-im.c @@ -1236,7 +1236,11 @@ move_computations_dom_walker::before_dom_children (basic_block bb) && (!ALWAYS_EXECUTED_IN (bb) || (ALWAYS_EXECUTED_IN (bb) != level && !flow_loop_nested_p (ALWAYS_EXECUTED_IN (bb), level)))) - SSA_NAME_RANGE_INFO (gimple_assign_lhs (new_stmt)) = NULL; + { + tree lhs = gimple_assign_lhs (new_stmt); + SSA_NAME_RANGE_INFO (lhs) = NULL; + SSA_NAME_ANTI_RANGE_P (lhs) = 0; + } gsi_insert_on_edge (loop_preheader_edge (level), new_stmt); remove_phi_node (&bsi, false); } @@ -1302,7 +1306,11 @@ move_computations_dom_walker::before_dom_children (basic_block bb) && (!ALWAYS_EXECUTED_IN (bb) || !(ALWAYS_EXECUTED_IN (bb) == level || flow_loop_nested_p (ALWAYS_EXECUTED_IN (bb), level)))) - SSA_NAME_RANGE_INFO (gimple_get_lhs (stmt)) = NULL; + { + tree lhs = gimple_get_lhs (stmt); + SSA_NAME_RANGE_INFO (lhs) = NULL; + SSA_NAME_ANTI_RANGE_P (lhs) = 0; + } /* In case this is a stmt that is not unconditionally executed when the target loop header is executed and the stmt may invoke undefined integer or pointer overflow rewrite it to |