> Builtins that are used through ia32intrin.h are considered an > "implementation detail", and not a stable interface that needs to be > documented. Intrinsic headers should be used instead, and users should > be discouraged to use builtins directly.
That works for C/C++ but not for other languages though, but OK I guess. -- Eric Botcazou