Subject: [sv-bc] Agenda for our tele-call on Monday, Feb 3rd 2003
From: Srouji, Johny (johny.srouji@intel.com)
Date: Sun Feb 02 2003 - 00:00:36 PST
Hi All,
Following is the agenda for our next tele-call on Monday, Feb 3rd 2003
Meeting Time: Monday, February 3rd 2003, 9:00-11:00 am Pacific
Call-in information:
Toll Free Dial-In Number: (877) 807-5706
Int'l Access/Caller Paid Dial In Number: (225)383-8961
PARTICIPANT CODE: 146872
Agenda
* Review of our F2F minutes for the 01/22/03 - meeting minutes
attached
* Review of the BNF specific meeting for the 1/29/03 - meeting minutes
attached
* Discuss open issues/questions that were passed from SV-EC (both were
submitted by David Smith)
* Issue with enumerations - a short description of the issue is listed
below
* Issue of Slice with unpacked arrays - a short description of the
issue is listed below, including Dave Rich reply.
* Review of Open action Items - file is attached
* Go over the Issues list - file is attached
Regards,
--- Johny.
>>>>>>>>>>>>>> Issue with enumerations <<<<<<<<<<<<<<<<<<<<
It appears that the SV-BC has recommended that all static casts perform
run-time checking (costly) while the SV-EC has recommend that the static
casts perform a fast coercion that always copies the value regardless of it
being either a legal enumerated value or within the range. In order to
provide type checking the dynamic cast is provided.
We need to decide on how to resolve this conflict.
>>>>>>>>>>>>>> Slice with unpacked arrays <<<<<<<<<<<<<<<<<<<<
This is regarding the use of slices with unpacked arrays. All of the
examples in 3.0 were with packed data. Was it intended that unpacked data
could be used as well?
It is not clear in Section 4.4 which is supported. The first paragraph
refers to packed array or integer type. There are additional references to
both packed and unpacked. The example we want to verify is:
string d[5:1] = { "a", "b", "c", "d", "e" };
string p[*];
p = { d[1:3], "hello", d[4:5] };
which would result in: "a" "b" "c" "hello" "d" "e"
Is the use of the slice legal?
>>>>>>>>> Dave Rich reply:
Section 4.2 allows unpacked slices to be copied. When used with an
unpacked array, the curly '{}' braces refer to an array literal, not a
concatenation. A concatenation is an integral expression. A slice
inside an array literal is just a copy operation.
The last example in section 4.4 needs to be corrected to show the
declarations and because you can't have parenthesis '()" around an
unpacked array slice.
Replace:
int i = bitvec[j +: k]; // k must be constant.
a = {(b[c -: d]), e}; // d must be constant
with:
int i = bitvec[j +: k]; // k must be constant.
int a[x:y], b[y:z], e;
a = {b[c -: d], e}; // d must be constant
This archive was generated by hypermail 2b28 : Sun Feb 02 2003 - 00:02:46 PST