Re: Efficiency of code generated by Ada compilers

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Fri, 13 Aug 2010 23:57:44 +0200, Jeffrey Carter  
<spam.jrcarter.not@spam.not.acm.org> a écrit:
> 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.
When you are talking about hardware level checks, are you talking about  
check for null address divide par zero and so on or something else ? I  
have never heard about a machine with a level array type and an hardware  
check for array access index. Would be interesting if you could be more  
explicit about these hardware checks.


-- 
There is even better than a pragma Assert: a SPARK --# check.
--# check C and WhoKnowWhat and YouKnowWho;
--# assert Ada;
--  i.e. forget about previous premises which leads to conclusion
--  and start with new conclusion as premise.