Re: Efficiency of code generated by Ada compilers

[Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>]

On 08/13/2010 08:10 AM, Elias Salom�o Helou Neto wrote:
>
> ask for the suppression, but it does NOT mandate the compiler to
> actually
> skip such checks. Well, this is, to say the least, funny - unless I

Right. As others have pointed out, are some platforms on which a check cannot be 
suppressed, and since the ARM is platform-independent, it does not mandate the 
impossible.

But economics plays an important role. Customers won't pay for a compiler that 
doesn't behave as expected. As a result, I'm not aware of any compiler that 
doesn't actually suppress checks (that can be suppressed) when requested. (If 
there is one, no doubt someone will set me straight.)

It's also been noted that some hardware performs some checks for free. On such a 
platform, suppressing the check may take more time than leaving it it. So if you 
are not able to meet timing requirements with checks, blindly suppressing checks 
may make the timing worse, not better.

-- 
Jeff Carter
"Have you gone berserk? Can't you see that that man is a ni?"
Blazing Saddles
38

--- news://freenews.netfront.net/ - complaints: news@netfront.net ---