🚀 go-pugleaf

	(Sorry, the previous message was incomplete)
----------------------------------------------------------------
	Hi,

	I've found a bug in find_equiv_reg() in reload.c about the use
of local variable ``where''; it is supposed to be an insn with a `(set
dst src)' inside; there is a place where the following use of
``where'' may not always be valid :

----------------------------------------------------------------
  if (goal_mem && value == SET_DEST (PATTERN (where))
      && refers_to_regno_for_reload_p (valueno,
				       (valueno
					+ HARD_REGNO_NREGS (valueno, mode)),
				       goal, NULL_PTR))
    return 0;
----------------------------------------------------------------


	It doesn't work if `PATTERN (where)' is something like :

		(parallel 
		  [(set dst src)
		   (clobber foo)])


	It seems to be better to write :

----------------------------------------------------------------
  {
    rtx	set = single_set (where);

    if (goal_mem && value == SET_DEST (set)
	&& refers_to_regno_for_reload_p (valueno,
					 (valueno
					  + HARD_REGNO_NREGS (valueno, mode)),
					 goal, NULL_PTR))
      return 0;
  }
----------------------------------------------------------------


	otherwise some invalid replacements are performed
sometimes. It is not fixed in gcc-2.7.2.

	I suggest having a look at every use of `SET_DEST (PATTERN (...))'  
and `SET_SRC (PATTERN (...))' in gcc sources; there may still some places
where `single_set()' should be used. 

	I hope this help.

-- 


			[mfd]

	+-------------------------------------------------------+
	|  Michel DELVAL					|
	+-------------------------------------------------------+
	|  E-mail:	mfd@ccv.fr				|
	+-------------------------------------------------------+
	|  Computers, Communications				|
	|  and Visions (C2V)       				|
	|  82 boulevard Haussmann				|
	|  75008 Paris FRANCE					|
	|  Phone	(1) 40 08 07 07				|
	|  Fax		(1) 43 87 35 99				|
	+-------------------------------------------------------+
	|	Hackers do it with bugs.			|
	+-------------------------------------------------------+