OSDN Git Service

PR rtl-optimization/51933
authorjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 23 Jan 2012 09:25:52 +0000 (09:25 +0000)
committerjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 23 Jan 2012 09:25:52 +0000 (09:25 +0000)
commit6bd23a6981447d04e589a806bcde6a9f53d89b62
treed52514dd33f5fb5fc05c9acbf852a7e2836de4aa
parent98108069f73babe84d515572df0b5d0cd4d0a135
PR rtl-optimization/51933
* ree.c (transform_ifelse): Return true right away if dstreg is
already wider or equal to cand->mode.
(enum ext_modified_kind, struct ext_modified, ext_state): New types.
(make_defs_and_copies_lists): Remove defs_list and copies_list
arguments, add state argument, just truncate state->work_list
instead of always allocating and freeing the vector.  Assert that
get_defs succeeds instead of returning 2.  Changed return type to
bool.
(merge_def_and_ext): Add state argument.  If SET_DEST doesn't
have ext_src_mode, see if it has been modified already with the
right kind of extension and has been extended before from the
ext_src_mode.  If SET_DEST is already wider or equal to cand->mode,
just return true.  Remember the original mode in state->modified
array.
(combine_reaching_defs): Add state argument.  Don't allocate and
free here def_list, copied_list and vec vectors, instead just
VEC_truncate the vectors in *state.  Don't handle outcome == 2
here.
(find_and_remove_re): Set DF_DEFER_INSN_RESCAN df flag.
Add state variable, clear vectors in it, initialize state.modified
if needed.  Free all the vectors at the end and state.modified too.
Don't skip a candidate if the extension expression has been modified.

* gcc.c-torture/execute/pr51933.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183416 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/ree.c
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.c-torture/execute/pr51933.c [new file with mode: 0644]