patch for HJ's alpha isinff problem

patch for HJ's alpha isinff problem

[Richard Henderson]

> > int isinff(float x)
> > {
> >   int32_t ix,t;
> >   ieee_float_shape_type gf_u;
> >   gf_u.value = x;
> >   ix = gf_u.word;
> >   if (ix == 0)

[...]

> > 	stt $f16,16($30)
> > 	ldq $4,16($30)
> > 	addl $4,$31,$1
> > 	bis $1,$1,$9

This is clearly bad code, since values are stored in floating point
registers in DFmode format, an SFmode store is required to get it 
out again.  The bit pattern placed in $1 bears no resemblance to the
SFmode value that was desired.

The problem is that combine is not obeying CLASS_CANNOT_CHANGE_SIZE.

Here is a patch that fixes what is exposed by HJ's test case, though
I am sure there are other places that are still broken.  The patch
is against egcs current, but it applies correctly to 2.8.1 with a 
little fuzz.

There is a small optimization in reload that could be made that is
exposed by this patch, in that it generates

	ldl $2,15($30)
	addl $2,$31,$1

The sign extend is of course redundant.  We ought to teach reload
to look for a sign-extending load pattern, but I don't attempt that
here.


r~

Re: patch for HJ's alpha isinff problem

[Richard Henderson]

On Mon, Feb 16, 1998 at 04:03:31PM -0800, I wrote:
> Here is a patch that fixes what is exposed by HJ's test case, though
> I am sure there are other places that are still broken.  The patch
> is against egcs current, but it applies correctly to 2.8.1 with a 
> little fuzz.

Bother.  There's a bug in what I just sent -- the expand_compound_operation
bit should check the code of the operation before proceeding.  A revised
patch is attached.


r~

Re: patch for HJ's alpha isinff problem

[Jeffrey A Law]

  In message < 19980216170138.27223@dot.cygnus.com >you write:
  > Bother.  There's a bug in what I just sent -- the expand_compound_operation
  > bit should check the code of the operation before proceeding.  A revised
  > patch is attached.
  > 
  > 
  > r~
  > 
  > --yrj/dFKFPuw6o+aM
  > Content-Type: text/plain; charset=us-ascii
  > Content-Disposition: attachment; filename=d-ccs
  > 
  > Mon Feb 16 15:11:11 1998  Richard Henderson  <rth@cygnus.com>
  > 
  > 	* combine.c (simplify_rtx): Obey CLASS_CANNOT_CHANGE_SIZE when
  > 	simplifying a subreg of a hard reg.
  > 	(expand_compound_operation): Likewise.
  > 	(force_to_mode): Likewise.
Looks good to me.  Installed on both the release and into the mainline
sources.

jeff