RE: [sv-ec] Associative array with enum index

 
That is not clear what "array type" means. I interpreted it to the
the array index type, you interpreted it to the the array element type.

Francoise
    '
-----Original Message-----
From: Bresticker, Shalom [mailto:shalom.bresticker@intel.com] 
Sent: Monday, October 23, 2006 11:18 AM
To: Francoise Martinolle; sv-ec@eda.org
Subject: RE: [sv-ec] Associative array with enum index

Yes, but that is where the enum is the element type, not the index type,
I think.

Shalom


> -----Original Message-----
> From: owner-sv-ec@server.eda.org [mailto:owner-sv-ec@server.eda.org]
On
> Behalf Of Francoise Martinolle
> Sent: Monday, October 23, 2006 5:12 PM
> To: Steven Sharp; sv-ec@server.eda.org; Brad.Pierce@synopsys.com
> Subject: RE: [sv-ec] Associative array with enum index
> 
>  The table 5.9.1 states that the default initial value for the base
type
> of the enum type should be
> returned for a non existing array index.
> 
> 
> -----Original Message-----
> From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of 
> Steven Sharp
> Sent: Saturday, October 21, 2006 6:14 PM
> To: sv-ec@eda.org; Brad.Pierce@synopsys.com
> Subject: Re: [sv-ec] Associative array with enum index
> 
> 
> >From: "Brad Pierce" <Brad.Pierce@synopsys.com>
> 
> >If the index type of an associative array is an enumeration type, and

> >an expression not equivalent to the enum type is used instead, such
as
> >integer, is that an error?  I hope so and that the expression would 
> >need to be cast.
> 
> I would assume so.  It says that indices larger or smaller than the 
> index type get truncated or extended, but that is the normal implicit 
> conversion for integral types.  There is not an implicit conversion
from
> an integer to an enum, so I agree that that should be an error.
> 
> 
> >If an expression is cast to the enumeration type, but does not have a

> >valid value for that enumeration type, is this treated as in 5.9.6?
> >That is, return default initial value on read and do nothing on
write?
> 
> That is one possible way it could be defined.  A simpler way would be
to
> just use the value given, and do reads and writes normally.  Your 
> suggestion would require an extra run-time value check before every 
> access to the AA.
> 
> What would be the most likely uses of an AA with an enum index?  That 
> might tell us what the desired behavior would be, and whether the
extra
> cost is justified.
> 
> Steven Sharp
> sharp@cadence.com