numerical value of comparison results

numerical value of comparison results

[Joern Rennecke]

rtl.texi says:

@table @code
@findex eq
@cindex equal
@item (eq:@var{m} @var{x} @var{y})
1 if the values represented by @var{x} and @var{y} are equal,
otherwise 0.

... and similarly for the other comparison operators.

However, simplify_relational_operation uses const_true_rtx if the comparison
is true.  So if STORE_FLAG_VALUE is different from 1, we get a different
result.

Since there are alerady a number of ports with a STORE_FLAG_VALUE other
than 1, I suppose that is considered to work, and the documentation
should be changed?

Re: numerical value of comparison results

[Richard Henderson]

On Wed, Dec 06, 2000 at 12:30:26AM +0000, Joern Rennecke wrote:
> Since there are alerady a number of ports with a STORE_FLAG_VALUE other
> than 1, I suppose that is considered to work, and the documentation
> should be changed?

Yes.


r~

Re: numerical value of comparison results

[Joern Rennecke]

> On Wed, Dec 06, 2000 at 12:30:26AM +0000, Joern Rennecke wrote:
> > Since there are alerady a number of ports with a STORE_FLAG_VALUE other
> > than 1, I suppose that is considered to work, and the documentation
> > should be changed?
> 
> Yes.

Here is a patch for the documentation:

Sun Jan 21 07:35:56 2001  J"orn Rennecke <amylaar@redhat.com>

	* rtl.texi: Comparisons yield 0 or STORE_FLAG_VALUE.

Index: rtl.texi
===================================================================
RCS file: /cvs/gcc/egcs/gcc/rtl.texi,v
retrieving revision 1.33
diff -p -r1.33 rtl.texi
*** rtl.texi	2001/01/19 18:28:58	1.33
--- rtl.texi	2001/01/21 07:35:55
*************** point comparisons are distinguished by t
*** 1628,1647 ****
  @findex eq
  @cindex equal
  @item (eq:@var{m} @var{x} @var{y})
! 1 if the values represented by @var{x} and @var{y} are equal,
! otherwise 0.
  
  @findex ne
  @cindex not equal
  @item (ne:@var{m} @var{x} @var{y})
! 1 if the values represented by @var{x} and @var{y} are not equal,
! otherwise 0.
  
  @findex gt
  @cindex greater than
  @item (gt:@var{m} @var{x} @var{y})
! 1 if the @var{x} is greater than @var{y}.  If they are fixed-point,
! the comparison is done in a signed sense.
  
  @findex gtu
  @cindex greater than
--- 1628,1647 ----
  @findex eq
  @cindex equal
  @item (eq:@var{m} @var{x} @var{y})
! @code{STORE_FLAG_VALUE} if the values represented by @var{x} and @var{y}
! are equal, otherwise 0.
  
  @findex ne
  @cindex not equal
  @item (ne:@var{m} @var{x} @var{y})
! @code{STORE_FLAG_VALUE} if the values represented by @var{x} and @var{y}
! are not equal, otherwise 0.
  
  @findex gt
  @cindex greater than
  @item (gt:@var{m} @var{x} @var{y})
! @code{STORE_FLAG_VALUE} if the @var{x} is greater than @var{y}.  If they
! are fixed-point, the comparison is done in a signed sense.
  
  @findex gtu
  @cindex greater than

Re: numerical value of comparison results

[Richard Henderson]

On Sun, Jan 21, 2001 at 08:04:33AM +0000, Joern Rennecke wrote:
> 	* rtl.texi: Comparisons yield 0 or STORE_FLAG_VALUE.

Ok.


r~