On Wed, May 04, 2005 at 01:02:18AM -0700, Richard Henderson wrote: > On Wed, May 04, 2005 at 09:50:49AM +0200, Martin Koegler wrote: > > For that instruction, instantiate_virtual_regs_in_insn > > enters if(set), then if (GET_CODE (SET_SRC (set)) == PLUS > > is entered, where if (safe_insn_predicate (insn_code, 1, new) is entered. > > It then jumps to verify, without changing the destination, because it is > > MEM expression. After the verify label, no more change of the destination > > will happen. > > Ah, yes. Try the following patch.
For the test case, I analyzed, this patch works. I have started a regression test. Will take some time, before I can tell you the final result. mfg Martin Kögler