From: Dennis Marsa (drm@xilinx.com)
Date: Fri Jun 28 2002 - 11:04:13 PDT
Precedence: bulk
Steven Sharp wrote:
>
> The existing behavior has the operands of && and || completely
> self-determined, as you found by experiment.
>
> >For example:
> >
> >+-----------------------------+------------+--------------------------+
> >| Expression | Bit Length | Comments |
> >+-----------------------------+------------+--------------------------+
> >| i op j, where op is | 1 | operands are sized to |
> >| == != === !== < <= > >= | | max(L(i), L(j) |
> >+-----------------------------+------------+--------------------------+
> >| i op j, where op is | 1 | i, j are self-determined |
> >| && || | | |
> >+-----------------------------+------------+--------------------------+
>
> Yes, that would be correct. Or move it down into the row with the reduction
> operators, since they say that "All operands are self-determined", which
> covers binary operators as well as the unary ones.
>
> Somebody add this to the errata list for the ETF.
>
> Steven Sharp
> sharp@cadence.com
I'll add it to the errata list.
Thanks,
Dennis
This archive was generated by hypermail 2.1.4
: Mon Jul 08 2002 - 12:55:39 PDT
and
sponsored by Boyd Technology, Inc.