Intrinsic function

In compiler theory, an intrinsic function is a function available for use in a given programming language whose implementation is handled specially by the compiler. Typically, it substitutes a sequence of automatically generated instructions for the original function call, similar to an inline function. Unlike an inline function though, the compiler has an intimate knowledge of the intrinsic function and can therefore better integrate it and optimize it for the situation. This is also called builtin function in many languages.

Compilers that implement intrinsic functions generally enable them only when the user has requested optimization, falling back to a default implementation provided by the language runtime environment otherwise.

Intrinsic functions are often used to explicitly implement vectorization and parallelization in languages which do not address such constructs. Altivec and OpenMP are examples of APIs which use intrinsic functions to declare, respectively, vectorizable and multiprocessor-aware operations during compilation. The compiler parses the intrinsic functions and converts them into vector math or multiprocessing object code appropriate for the target platform.

C and C++

Microsoft[1] and Intel's C/C++ compilers as well as GCC[2] implement intrinsics that map directly to the x86 SIMD instructions (MMX, SSE, SSE2, SSE3, SSSE3, SSE4). The Visual C++ compiler of Microsoft Visual Studio does not support inline assembler for X86-64.[3][4][5][6] To compensate for the lack of inline assembly, new intrinsics have been added that map to standard assembly instructions that are not normally accessible through C/C++ (e.g.: bit scan).

Some C/C++ compilers provide non-portable platform-specific intrinsics. Other intrinsics (such as GNU built-ins) are slightly more abstracted, approximating the capabilities of several contemporary platforms, with portable "fall back" implementations on platforms without the appropriate instructions. It is common for C++ libraries, such as glm or Sony's vector maths libraries,[7] to achieve portability via conditional compilation (based on platform specific compiler flags), providing fully portable high-level primitives (e.g. a four-element floating-point vector type) mapped onto the appropriate low-level implementations, while still benefiting from the C++ type system and inlining (hence the advantage over linking to hand-written assembly object files, using the C ABI).

Java

The HotSpot JVM's just-in-time compiler also has intrinsics for specific Java APIs.[8] Hotspot intrinsics are standard Java APIs which may have an optimized implementations on some platforms.

References


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.