Re: [sv-bc] Expression size while processing 'inside' construct

From: Paul Graham <pgraham@oasys-ds.com>
Date: Sun Aug 01 2010 - 17:29:27 PDT

Shalom,

Does the section you quoted even make sense in light of the sentence in the section on unpacking:

However, if more bits are needed than are provided by the source expression,
an error shall be generated.

If the rhs is a streaming concat, and if the streaming concat is "cast" to the lhs type, then the post-cast rhs can't have fewer bits than the lhs. And if the rhs is not a streaming concat, then presumably it would be extended to the lhs width according to the normal rules.

Paul
----- Original Message -----
From: "Shalom Bresticker" <shalom.bresticker@intel.com>
To: "Paul Graham" <pgraham@oasys-ds.com>, "sv-bc" <sv-bc@eda.org>
Sent: Sunday, August 1, 2010 5:57:03 AM
Subject: RE: [sv-bc] Expression size while processing 'inside' construct

Hi,

I would add that other parts of the text, such as

"If the target is a data object of bit-stream type, the stream created by the source streaming_concatenation shall be implicitly cast to the type of the target. If this target represents a fixed-size variable and the stream is larger than the variable, an error will be generated. If the target variable is larger than the stream, the stream is left-aligned and zero-filled on the right,"

are relevant only if the streaming concatenation is not automatically resized according to context-determined expression rules.

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.
Received on Sun Aug 1 17:29:46 2010

This archive was generated by hypermail 2.1.8 : Sun Aug 01 2010 - 17:31:45 PDT