[sv-bc] part-select terminology

Hi,

At the last meeting, we talked a little about the terminology of
part-selects in the LRM. I looked at this a little. It turns out that
the situation is more easily fixed than I feared.

There are two types of part-selects:

[m:n], where m and n must be constants. This is defined as a 'constant
part-select' in 11.5.1, but that term with that meaning is only used in
a few places in the LRM.

[m:+n],[m-:n], where n must be constant, and m need not be. This is
consistently called an 'indexed part-select'.

In most places, only the term 'part-select' is used, because in most
places, both forms can be used.

I'll write a proposal which changes the [m:n] form to be a 'fixed
part-select', because I think it needs a name. This frees the term
'constant part-select' to be either form, where both m and n are
constants. A fixed part-select is always constant. An indexed
part-select may be so or not. This makes the term 'constant part-select'
be parallel to 'constant bit-select' and 'constant select'.

I don't want to use the term 'variable part-select' to refer to an
indexed part-select where m is not a constant, because that term refers
to the part-select of a variable.

Shalom Bresticker
Intel Jerusalem LAD DA
+972 2 589-6852
+972 54 721-1033

---------------------------------------------------------------------
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.