AVX-512 are 512-bit extensions to the 256-bit Advanced Vector Extensions SIMD instructions for x86 instruction set architecture proposed by Intel in July 2013, and scheduled to be supported in 2015 with Intel's Knights Landing processor.
AVX-512 consists of multiple extensions not all meant to be supported by all processors implementing them. Only the core extension AVX-512F (AVX-512 Foundation) is required by all implementations.
The instruction set consists of the following:
- AVX-512 Foundation – expands most 32-bit and 64-bit based AVX instructions with EVEX coding scheme to support 512-bit registers, operation masks, parameter broadcasting, and embedded rounding and exception control
- AVX-512 Conflict Detection Instructions (CDI) – efficient conflict detection to allow more loops to be vectorized, supported by Knights Landing
- AVX-512 Exponential and Reciprocal Instructions (ERI) – exponential and reciprocal operations designed to help implement transcendental operations, supported by Knights Landing
- AVX-512 Prefetch Instructions (PFI) – new prefetch capabilities, supported by Knights Landing
- 1 Encoding and features
- 2 Opmask registers
- 3 New instructions in AVX-512 foundation
- 4 New instructions in AVX-512 conflict detection
- 5 New instructions in AVX-512 exponential and reciprocal
- 6 CPUs with AVX-512
- 7 See also
- 8 References
Encoding and features
Compared to VEX. EVEX adds the following benefits:
- Expanded register encoding allowing 32 512-bit registers.
- Adds 7 new opmask registers for masking most AVX-512 instructions.
- Add a new scalar memory mode that automatically performs a broadcast.
- Adds room for explicit rounding control in each instruction.
- Adds a new compressed displacement memory addressing mode.
Like the VEX prefix, the EVEX prefix allow multiple different register width modes. In EVEX case it supports 128-bit, 256-bit and 512-bit modes. The means most SSE and AVX instructions have new AVX-512 versions that allow them to access the new features above such as opmask and more addressable registers. Unlike AVX-256, the new instructions does not have new names but share namespace with AVX, making the distinction between a VEX and EVEX encoding version of instructions ambiguous.
Unlike SSE and VEX-based AVX, AVX-512 only supports 32- and 64-bit values.
|Legacy SSE||SSE-SSE4.2||xmm0-xmm15||bytes, words, doublewords, quadwords, single float and double float (from SSE2)|
|AVX-128 (VEX)||AVX, AVX2||xmm0-xmm15||single float and double float. From AVX2: bytes, words, doublewords, quadwords|
|AVX-256 (VEX)||AVX, AVX2||ymm0-ymm15||single float and double float. From AVX2: bytes, words, doublewords, quadwords|
|AVX-128 (EVEX)||AVX-512F||xmm0-xmm31 (k1-k7)||doublewords, quadwords, single float and double float|
|AVX-256 (EVEX)||AVX-512F||ymm0-ymm31 (k1-k7)||doublewords, quadwords, single float and double float|
|AVX-512 (EVEX)||AVX-512F||zmm0-zmm31 (k1-k7)||doublewords, quadwords, single float and double float|
|511 256||255 128||127 0|
The extended registers, SIMD width, and opmask registers of AVX-512 all require OS support. Each set however has its own unique feature bits. While this could theoretically be used to only indicate support for some of the features; all three are required for AVX-512. Only the opmask registers may be used alone to extend traditional AVX-256 without full AVX-512 support.
While all features are required for AVX-512, that does no mean the extended register only work in 512-bit mode. All of the new registers 16-31 are also available to AVX-128 and AVX-256 modes of the EVEX prefix.
Most AVX-512 instructions may indicate one of 8 opmask registers (k0–k7). The first one k0 is however a hardcoded constant used to indicate unmasked operations. The opmask are in most instructions used to control which values are written to the destination. A flag controls the opmask behavior, which can either be "zero", which zeros everything not selected by the mask, or "merge", which leaves everything not selected untouched. The merge behavior is identical to the blend instructions.
The opmask registers are currently 16-bit wide, but can potentially be expanded up to 64 bits. How many of the bits are actually used, though, depends on the vector type of the instructions masked. For the 32-bit single float or double words, 16 bits are used to mask the 16 elements in a 512-bit register. For double float and quad words, at most 8 mask bits are used.
The opmask register is the reason why several bitwise instructions which naturally have no element widths, had them added in AVX-512. For instance, bitwise AND, OR or 128-bit shuffle, now exist in both double-word and quad-word variants with the only difference being in the final masking.
New opmask instructions
The opmask registers has a new mini extension of instruction operating on them. Unlike the rest of the AVX-512 instructions. These instructions are all VEX encoded.
||Bitwise logical AND Masks|
||Bitwise logical AND NOT Masks|
||Move from and to Mask Registers|
||Unpack for Mask Registers|
||NOT Mask Register|
||Bitwise logical OR Masks|
||OR Masks And Set Flags|
||Shift Left Mask Registers|
||Shift Right Mask Registers|
||Bitwise logical XNOR Masks|
||Bitwise logical XOR Masks|
New instructions in AVX-512 foundation
Blend using mask
There are no EVEX-prefixed versions of the blend instructions from SSE4; instead, AVX-512 has a new set of four blending instructions using mask registers as selectors. Together with the general compare into mask instructions below, these may be used to implement generic ternary operations or cmov, similar to XOP's VPCMOV.
Since blending is an integral part of the EVEX encoding, these instruction may also be considered basic move instructions. Using the zeroing blend mode, they can also be used as masking instructions.
||Blend float64 vectors using opmask control|
||Blend float32 vectors using opmask control|
||Blend int32 vectors using opmask control|
||Blend int64 vectors using opmask control|
Compare into mask
AVX-512F has four new compare instructions. Like their XOP counterparts they use the immediate field to select between 8 different comparisons. Unlike their XOP inspiration however they save the result to a mask register and only support doubleword and quadword comparisons. Note that two mask registers may be specified for the instructions, one to write to and one to declare regular masking.
|2||LE||Less than or equal|
|3||FALSE||Set to zero|
|5||NLT||Greater than or equal|
|7||TRUE||Set to one|
||Compare signed/unsigned doublewords into mask|
||Compare signed/unsigned quadwords into mask|
Logical set mask
The final way to set masks is using Logical Set Mask. These instructions perform either AND or NAND, and then set the destination opmask based on the result values being zero or non-zero. Note like the comparison instructions these take two opmask registers, one as destination and one a regular opmask.
||Logical AND and Set Mask|
||Logical NAND and Set Mask|
Compress and expand
The compress and expand instructions uses the opmask slightly different. Compress only saves the values marked in the mask, but does so by throwing unmasked value away. Expand operates the opposite way of loading as many values as indicated in the mask and then spreading them to the selector positions.
||Store sparse packed double/single-precision floating-point values into dense memory|
||Store sparse packed doubleword/quadword integer values into dense memory/register|
||Load sparse packed double/single-precision floating-point values from dense memory|
||Load sparse packed doubleword/quadword integer values from dense memory/register|
Eight new permute instructions have been specified that all takes three argument, two source register and one index, and outputs the result by overwriting either the first source or the index.
||Full 64-bit permute overwriting the index.|
||Full 32-bit permute overwriting the index.|
||Full 64-bit permute overwriting first source.|
||Full 32-bit permute overwriting first source.|
Bitwise ternary logic
Two new instructions added can logically implement all possible bitwise operations between three inputs. They take three registers as input and an 8-bit immediate field. Each bit in the output is generated using a lookup of the three corrosponding bits in the inputs to select one of the 8 positions in the 8-bit immediate. Since only 8 combinations are possible using three bits, this allow all possible 3 input bitwise operations to be performed.
The difference in the doubleword and quadword versions is only the application of the opmask.
||Bitwise Ternary Logic|
|A0||A1||A2||Double AND (0x80)||Double OR (0xFE)||Bitwise blend (0xCA)|
Floating point decomposition
Among the unique new features in AVX-512F are instructions to decompose floating-point values and handle special floating-point values. Since these methods are completely new, they also exist in scalar versions.
||Convert exponents of packed fp values into fp values|
||Convert exponent of scalar fp value into fp value|
||Extract vector of normalized mantissas from float32/float64 vector|
||Extract float32/float64 of normalized mantissa from float32/float64 scalar|
||Fix up special packed float32/float64 values|
||Fix up special scalar float32/float64 value|
Floating point arithmetics
Tis is the second set of new floating-point methods, which includes new scaling and approximate calculation of reciprocal, and reciprocal of square root. The approximate reciprocal instructions garuantee to have at most a relative error of 2-14.
||Compute approximate reciprocals of packed float32/float64 values|
||Compute approximate reciprocals of scalar float32/float64 value|
||Round packed float32/float64 values to include a given number of fraction bits|
||Round scalar float32/float64 value to include a given number of fraction bits|
||Compute approximate reciprocals of square roots of packed float32/float64 values|
||Compute approximate reciprocal of square root of scalar float32/float64 value|
||Scale packed float32/float64 values with float32/float64 values|
||Scale scalar float32/float64 value with float32/float64 value|
New instructions in AVX-512 conflict detection
The instruction in AVX-512 conflict detection (AVX-512CD) are designed to help efficiently calculate conflict-free subsets of elements in loops that normally could not be safely vectorized.
||Detect conflicts within vector of packed double- or quadwords values.||Compares each element in the first source, to all elements on same or earlier places in the second source and forms a bit vector of the results.|
||Count the number of leading zero bits for packed double- or quadword values.||Vectorized
||Broadcast mask to vector register.||Either 8-bit mask to quadword vector, or 16-bit mask to doubleword vector.|
New instructions in AVX-512 exponential and reciprocal
AVX-512 exponential and reciprocal instructions contain more accurate approximate reciprocal instructions than those in the AVX-512 foundation; relative error is at most 2-28. They also contain two new exponential functions that have a relative error of at most 2-23.
||Compute approximate exponential 2^x of packed single or double-precision floating point values|
||Compute approximate reciprocals of packed single or double-precision floating point values|
||Compute approximate reciprocal of scalar single or double-precision floating point value|
||Compute approximate reciprocals of square roots of packed single or double-precision floating point values|
||Compute approximate reciprocal of square root of scalar single or double-precision floating point value|
CPUs with AVX-512
- Xeon Phi Knights Landing: AVX3.1 (AVX-512F foundation plus AVX-512 CDI, AVX-512 PFI and AVX-512 ERI), in 2015
- Future Intel Processors to be named later
- speculation: Skylake: AVX3.2 (AVX-512F foundation plus TBA) processor, in 2016
- speculation: Cannonlake (AVX-512 foundation plus TBA) processor, in 2017
- James Reinders (23 July 2013). "AVX-512 Instructions". Intel. Retrieved 20 August 2013.
- "Intel Architecture Instruction Set Extensions Programming Reference" (PDF). Intel. Retrieved 2014-01-29.
- "AVX-512 Architecture/Demikhovsky Poster". Intel. Retrieved 25 February 2014.