Bug in reload_cse_move2add()

[Alexandre Oliva]

On Jan 17, 2001, Richard Earnshaw <rearnsha@arm.com> wrote:

> I wasn't suggesting note_stores should do this; but that 
> reload_cse_move2add should look at the insn and do

> 	if (GET_CODE (PATTERN (INSN)) == COND_EXEC)
>           note_stores (COND_EXEC_CODE (PATTERN (INSN)), 
> move2add_note_stores,
> 		       COND_EXEC_TEST (PATTERN (INSN)));
>  	else
>           note_stores (PATTERN (INSN), move2add_note_stores, NULL);

We should probably support COND_EXEC in general.  We might pass the
cond_exec down, which would require every function passed to/called
from note_stores to be verified for cond_exec support.  Or, we may
arrange for note_stores to transform cond_exec into something we
already support, as follows.  How do you like it?  Note that this is
totally untested.