Re: [boost] BOOST_ASSERT and __assume on MSVC

From: Felipe Magno de Almeida (felipe.m.almeida_at_[hidden])
Date: 2005-09-14 03:52:45

On 9/13/05, Marcin Kalicinski <kalita_at_[hidden]> wrote:
> Hi All,

Hi,

> 
> Briefly speaking __assume(expr) is a hint for optimizer that 'expr'
> evaluates to nonzero. It can help optimize the code. Standalone use of
> __assume is not recommended because compiler does not check if the
> assumption is correct, and if it isn't the program is ill formed. But it
> fits perfectly in ASSERT macro. This way putting many ASSERTs will not only
> help to verify the code - it will also help the optimizer. Wow!
> 

Wow, I liked this.
I think ASSERT should be __assume when NDEBUG is defined.

> 
> And the comparison is gone.
> 
> 
> cheers,
> Marcin
> 

-- 
   Felipe Magno de Almeida
Developer from synergy and Computer Science student from State
University of Campinas(UNICAMP).
Unicamp: http://www.ic.unicamp.br
Synergy: http://www.synergy.com.br
"There is no dark side of the moon really. Matter of fact it's all dark."