This intrinsic represents a promise you make to the compiler that a given expression always has a nonzero value. This enables the compiler to perform more aggressive optimization when vectorizing code.
assert(). However, unlike
effective even when
NDEBUG is defined.
If assertions are enabled (by including
NDEBUG) then the promise is additionally
checked at runtime using
to have side-effects, and is not evaluated unless
NDEBUG is not defined.