RE: [sv-ac] Re: [sv-bc] Re: if-else

From: Steven Sharp <sharp_at_.....>
Date: Fri Nov 02 2007 - 15:13:26 PDT
>From: "Rich, Dave" <Dave_Rich@mentor.com>

>The rules you quoted are now in 11.7.2 and I would say they are weak
>because by that step, the signedness has already been determined. It
>also conflict's with what's in 11.4.5. I interpret the rules in 11.4.5
>to apply to any expression and not a simplification that only applies to
>simple operands.

I don't think you want to try to argue that the simplified descriptions
under the different operators take precedence over the full size/type
rules.  Not only is there plenty of evidence to the contrary, but I
suspect that your own implementation will disagree with you on most of
them.

Steven Sharp
sharp@cadence.com


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Fri Nov 2 15:13:49 2007

This archive was generated by hypermail 2.1.8 : Fri Nov 02 2007 - 15:15:26 PDT