Subject: [sv-bc] signed casting in the BNF
From: Jacobi, Dan (dan.jacobi@intel.com)
Date: Sun Mar 09 2003 - 06:30:37 PST
It looks like the BNF does not support signedness casting for the following
RTL
signed’(x) // section 3.14 third example
unsigned’(y)
Maybe the BNF should be changed as described
Under A.8.4
REPLACE
primary ::=
number
| hierarchical_identifier
| hierarchical_identifier [ expression ] { [ expression ] }
| hierarchical_identifier [ expression ] { [ expression ] } [
range_expression ]
| hierarchical_identifier [ range_expression ]
| concatenation
| multiple_concatenation
| function_call
| system_function_call
| constant_function_call
| ( mintypmax_expression )
| { expression { , expression } }
| { expression { expression } }
| simple_type_or_number ’ ( expression )
| simple_type_or_number ’ { expression { , expression } }
| simple_type_or_number ’ { expression { expression } }
| time_literal
| ’0 | ’1 | ’z | ’Z | ’x | ’X
WITH
REPLACE
primary ::=
number
| hierarchical_identifier
| hierarchical_identifier [ expression ] { [ expression ] }
| hierarchical_identifier [ expression ] { [ expression ] } [
range_expression ]
| hierarchical_identifier [ range_expression ]
| concatenation
| multiple_concatenation
| function_call
| system_function_call
| constant_function_call
| ( mintypmax_expression )
| { expression { , expression } }
| { expression { expression } }
| casting_type’ ( expression )
| casting_type’ { expression { , expression } }
| casting_type’ { expression { expression } }
| time_literal
| ’0 | ’1 | ’z | ’Z | ’x | ’X
Under A.2.2.1
REMOVE
simple_type_or_number ::= simple_type | number
ADD
casting_type ::= simple_type | number | signing
Dan Jacobi
Phone : (972)-4-8655855
This archive was generated by hypermail 2b28 : Sun Mar 09 2003 - 06:31:17 PST