[sv-bc] RE: Mantis 1523

From: Arturo Salz <Arturo.Salz@synopsys.com>
Date: Wed Aug 24 2011 - 14:49:32 PDT

Shalom,

That particular sentence defined the semantics of the ternary operator when it needs to merge two objects of non-integral data-type, such as real or string. Since in those cases performing a bit-wise resolution is not possible (or well defined), the LRM calls for comparing the two elements (using equality) and return the default-uninitialized value if they do not "match". Possibly a better language would be "if the elements are not equal".

        Arturo

-----Original Message-----
From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] On Behalf Of Bresticker, Shalom
Sent: Wednesday, August 24, 2011 1:58 PM
To: SV-BC
Subject: [sv-bc] Mantis 1523

Hi,

Does anyone have an answer to my question below?

Thanks,
Shalom

> -----Original Message-----
> From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] On Behalf Of
> Bresticker, Shalom
> Sent: Sunday, August 21, 2011 11:59 AM
> To: Maidment, Matthew R; SV-BC
> Subject: [sv-bc] RE: email vote: respond by Monday Aug 29
>
> Re 1523,
>
> the last paragraph, which is not being changed by this proposal, says,
>
> "For nonintegral and aggregate expressions, if cond_predicate evaluates to
> an ambiguous value, then:
> ..
> - Otherwise, both the first expression and second expression shall be
> evaluated, and their results shall be combined element by element. If the
> elements match, the element is returned. If they do not match, then the
> default-uninitialized value for that element's type shall be returned."
>
> The meaning of this is not clear to me.
> Can someone clarify it?
> In particular, what does "match" mean here?
>
> Thanks,
> Shalom

---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Wed Aug 24 14:49:55 2011

This archive was generated by hypermail 2.1.8 : Wed Aug 24 2011 - 14:49:59 PDT