Instruction
VPALIGNR
Concatenates two sources in each 128-bit lane and extracts 16 bytes starting at a byte offset given by an immediate.
VPALIGNR is PALIGNR in VEX and EVEX encodings: it joins the first source above the second, shifts the pair right by the immediate number of bytes and keeps the low 16. The PALIGNR page covers the operand order and the uses, stitching unaligned data, sliding windows and byte rotation. The VEX.256 form of AVX2 and the EVEX forms of AVX512BW, with byte masking and 512 bits, do this in each 128-bit lane separately, with the same immediate: a 256-bit VPALIGNR is two 16-byte shifts side by side, not one 32-byte shift. Immediates from 16 up shift in zeros in every lane; the cases recorded on Zen 5 include 1Fh, which leaves only the top byte of the first source’s lane, moved to the bottom, and 8Fh, which gives zero.
A 32-byte window
The window that code usually wants, 32 bytes starting n bytes into the
pair of registers a and b, therefore takes two instructions. For
such a shuffle written with __builtin_shufflevector, GCC 14 and
Clang 23 at -O2 with -march=x86-64-v3 first build the register that
holds the upper half of a and the lower half of b with
VPERM2I128, then take the window from it and a
with vpalignr ymm0, ymm1, ymm0, n. When the shuffle is meant per
lane, as _mm256_alignr_epi8(a, b, 5) is, one VPALIGNR does it.
Clang uses the same pair to vectorize a sum of neighbours such as
d[i] = x[i] + x[i+1] + x[i+2], building the shifted vectors from
registers it already loaded instead of loading again at unaligned
addresses.
With AVX-512
AVX-512F added VALIGND and
VALIGNQ, which shift across the whole register in
units of doublewords or quadwords. For x86-64-v4 Clang takes a
window that moves by 4 bytes, and the neighbour sum above, with one
VALIGND, while GCC takes that window with VPERMI2D;
a window that moves by a single byte still takes VPERM2I128 and
VPALIGNR. With
AVX512_VBMI, as for znver5, the byte window becomes one
VPERMI2B in GCC or VPERMT2B in
Clang.
AMD’s Zen 5 guide lists VPALIGNR as one macro-op with a latency of 2 cycles at every width; VPERM2I128 takes 3, and VALIGND 2, 4 and 5 cycles for xmm, ymm and zmm.
Forms
| Instruction | Encoding | Requires |
|---|---|---|
VPALIGNR xmm, xmm, m128, imm8
VPALIGNR_XMMdq_XMMdq_MEMdq_IMMb | VEX.128.66.0F3A.WIG 0F /r ib | AVX |
VPALIGNR xmm, xmm, xmm, imm8
VPALIGNR_XMMdq_XMMdq_XMMdq_IMMb | VEX.128.66.0F3A.WIG 0F /r ib | AVX |
VPALIGNR ymm, ymm, m256, imm8
VPALIGNR_YMMqq_YMMqq_MEMqq_IMMb | VEX.256.66.0F3A.WIG 0F /r ib | AVX2 |
VPALIGNR ymm, ymm, ymm, imm8
VPALIGNR_YMMqq_YMMqq_YMMqq_IMMb | VEX.256.66.0F3A.WIG 0F /r ib | AVX2 |
VPALIGNR xmm {k}{z}, xmm, xmm, imm8
VPALIGNR_XMMu8_MASKmskw_XMMu8_XMMu8_IMM8_AVX512 | EVEX.128.66.0F3A.WIG 0F /r ib | AVX10.1 or AVX512BW + AVX512VL |
VPALIGNR xmm {k}{z}, xmm, m128, imm8
VPALIGNR_XMMu8_MASKmskw_XMMu8_MEMu8_IMM8_AVX512 | EVEX.128.66.0F3A.WIG 0F /r ib | AVX10.1 or AVX512BW + AVX512VL |
VPALIGNR ymm {k}{z}, ymm, ymm, imm8
VPALIGNR_YMMu8_MASKmskw_YMMu8_YMMu8_IMM8_AVX512 | EVEX.256.66.0F3A.WIG 0F /r ib | AVX10.1 or AVX512BW + AVX512VL |
VPALIGNR ymm {k}{z}, ymm, m256, imm8
VPALIGNR_YMMu8_MASKmskw_YMMu8_MEMu8_IMM8_AVX512 | EVEX.256.66.0F3A.WIG 0F /r ib | AVX10.1 or AVX512BW + AVX512VL |
VPALIGNR zmm {k}{z}, zmm, zmm, imm8
VPALIGNR_ZMMu8_MASKmskw_ZMMu8_ZMMu8_IMM8_AVX512 | EVEX.512.66.0F3A.WIG 0F /r ib | AVX10.1 or AVX512BW |
VPALIGNR zmm {k}{z}, zmm, m512, imm8
VPALIGNR_ZMMu8_MASKmskw_ZMMu8_MEMu8_IMM8_AVX512 | EVEX.512.66.0F3A.WIG 0F /r ib | AVX10.1 or AVX512BW |
Latency and throughput
| Model | xmm, xmm, m128, imm8xmm {k}{z}, xmm, m128, imm8no mask | xmm, xmm, xmm, imm8xmm {k}{z}, xmm, xmm, imm8no maskymm {k}{z}, ymm, ymm, imm8no mask | ymm, ymm, m256, imm8ymm {k}{z}, ymm, m256, imm8no mask | ymm, ymm, ymm, imm8 | xmm {k}{z}, xmm, xmm, imm8with a mask, zeroingymm {k}{z}, ymm, ymm, imm8with a mask, zeroing | xmm {k}{z}, xmm, m128, imm8with a mask, zeroing | ymm {k}{z}, ymm, m256, imm8with a mask, zeroing | zmm {k}{z}, zmm, zmm, imm8no mask | zmm {k}{z}, zmm, zmm, imm8with a mask, zeroing | zmm {k}{z}, zmm, m512, imm8no mask | zmm {k}{z}, zmm, m512, imm8with a mask, zeroing |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Sandy Bridge | 7 / 0.5p15 | 1 / 0.5p15 | |||||||||
| Haswell, Skylake | 7 / 1p5 | 1 / 1p5 | 8 / 1p5 | 1 / 1p5 | |||||||
| Broadwell | 6 / 1p5 | 1 / 1p5 | 7 / 1p5 | 1 / 1p5 | |||||||
| Skylake-SP, Ice Lake | 7 / 1p5 | 1 / 1p5 | 8 / 1p5 | 1 / 1p5 | 1 / 1p5 | 7 / 1p5 | 8 / 1p5 | 1 / 1p5 | 1 / 1p5 | 8 / 1p5 | 8 / 1p5 |
| Alder Lake | 8 / 1p5 | 1 / 1p5 | 9 / 1p5 | 1 / 1p5 | |||||||
| Sapphire Rapids | 8 / 1p5 | 1 / 1p5 | 9 / 1p5 | 1 / 1p5 | 3 / 1p5 | 11 / 1p5 | 11 / 1p5 | 1 / 1p5 | 3 / 1p5 | 9 / 1p5 | 11 / 1p5 |
| Lunar Lake | 7 / 2V2 V3 | 1 / 0.33p135 | 8 / 2.33V2 V3 | 1 / 0.33p135 | |||||||
| Piledriver | 7 / 1.5FPU1 FPXBR | 2 / 1FPU1 FPXBR | |||||||||
| Zen | 8 / 0.5FPU1 FPU2 | 1 / 0.5FPU1 FPU2 | 8 / 1FPU1 FPU2 | 1 / 1FPU1 FPU2 | |||||||
| Zen 2 | 8 / 0.5FPU1 FPU2 | 1 / 0.5FPU1 FPU2 | 8 / 0.5FPU1 FPU2 | 1 / 0.5FPU1 FPU2 | |||||||
| Zen 3 | 8 / 0.5FP1 FP2 | 1 / 0.5FP1 FP2 | 8 / 0.5FP1 FP2 | 1 / 0.5FP1 FP2 | |||||||
| Zen 4 | 8 / 0.5FP1 FP2 | 2 / 0.5FP1 FP2 | 8 / 0.5FP1 FP2 | 2 / 0.5FP1 FP2 | 2 / 0.5FP1 FP2 | 8 / 0.5FP1 FP2 | 8 / 0.5FP1 FP2 | 2 / 1FP1 FP2 | 2 / 1FP1 FP2 | 8 / 1FP1 FP2 | 8 / 1FP1 FP2 |
| Jaguar | 6 / 1FPU0 FPU1 VALU0 VALU1 | 1 / 0.5FPU0 FPU1 VALU0 VALU1 | |||||||||
Data flow
Where the elements of the sources go, element 0 on the right; results that depend on a control value are drawn for an example. How to read.
Example: imm8 = 5. The ymm and zmm forms repeat this in each 128-bit lane. The EVEX forms write under a mask: where its bit is 0, the element keeps its old value, or zeroes it with {z}.
With imm8 = 5, result bytes 15 to 0: a4, unchanged (bit 14 of k1 is 0), a2, a1, a0, b15, b14, b13, b12, b11, b10, b9, b8, b7, b6, b5.
Operation
What the forms do, in pseudocode that our tests run against results recorded on real processors. How to read.
for i in range(VL // 8):
j = i % 16 + imm8 # byte j of the lane of zmm2:src3
if j < 16:
x = src3.b[i + imm8]
elif j < 32:
x = zmm2.b[i + imm8 - 16]
else:
x = 0
if k1[i]: # 1 without a write mask
zmm1.b[i] = x
elif zeroing:
zmm1.b[i] = 0
# else: zmm1.b[i] keeps its value
# zmm1 is zeroed from bit VL upRun on AMD Zen 5 (EPYC 9645): 10 cases.
Operands
| Operand | Kind | Action |
|---|---|---|
VPALIGNR xmm, xmm, xmm/m128, imm8 VPALIGNR ymm, ymm, ymm/m256, imm8 | ||
xmm, ymm | explicit | write |
xmm, ymm | explicit | read |
xmm/m128, ymm/m256 | explicit | read |
imm8 | explicit | read |
VPALIGNR xmm {k}{z}, xmm, xmm/m128, imm8 VPALIGNR ymm {k}{z}, ymm, ymm/m256, imm8 VPALIGNR zmm {k}{z}, zmm, zmm/m512, imm8 | ||
xmm, ymm, zmm | explicit | write (masked) |
{k} | explicit | read (write mask) |
xmm, ymm, zmm | explicit | read |
xmm/m128, ymm/m256, zmm/m512 | explicit | read |
imm8 | explicit | read |
Flags
None: XED records no flag that the forms test or change.
Exceptions
The exception class is XED's name for the set of exception conditions that a form follows. How to read.
- VEX forms
avx-type-4- EVEX forms
AVX512-E4NF
Attributes
What else XED records about the forms. How to read.
- EVEX forms
- write masking
Intrinsics
The C intrinsics of Clang 23.1.2 that compile to VPALIGNR, each with the form it compiles to and the Clang options it needs. The forms come from compiling every intrinsic and decoding the result with Intel XED; all intrinsics A–Z explains the method.
| Intrinsic | Compiles to |
|---|---|
_mm_alignr_epi32
__m128i _mm_alignr_epi32(__m128i A, __m128i B, const int imm) |
|
_mm_mask_alignr_epi8
__m128i _mm_mask_alignr_epi8(__m128i W, __mmask16 U, __m128i A, __m128i B, const int N) |
|
_mm_maskz_alignr_epi8
__m128i _mm_maskz_alignr_epi8(__mmask16 U, __m128i A, __m128i B, const int N) |
|
_mm256_alignr_epi8
__m256i _mm256_alignr_epi8(__m256i a, __m256i b, const int n) |
|
_mm256_mask_alignr_epi8
__m256i _mm256_mask_alignr_epi8(__m256i W, __mmask32 U, __m256i A, __m256i B, const int N) |
|
_mm256_maskz_alignr_epi8
__m256i _mm256_maskz_alignr_epi8(__mmask32 U, __m256i A, __m256i B, const int N) |
|
_mm512_alignr_epi8
__m512i _mm512_alignr_epi8(__m512i A, __m512i B, const int N) |
|
_mm512_mask_alignr_epi8
__m512i _mm512_mask_alignr_epi8(__m512i W, __mmask64 U, __m512i A, __m512i B, const int N) |
|
_mm512_maskz_alignr_epi8
__m512i _mm512_maskz_alignr_epi8(__mmask64 U, __m512i A, __m512i B, const int N) |
|
CPUID and processors
Each form belongs to an XED ISA set. A form can be used when the processor reports every CPUID bit of one of its ISA set's alternatives.
More AVX instructions
- VMULPS
- VMULSD
- VMULSS
- VORPD
- VORPS
- VPABSB
- VPABSD
- VPABSW
- VPACKSSDW
- VPACKSSWB
- VPACKUSDW
- VPACKUSWB
- VPADDB
- VPADDD
- VPADDQ
- VPADDSB
- VPADDSW
- VPADDUSB
- VPADDUSW
- VPADDW
- VPAND
- VPANDN
- VPAVGB
- VPAVGW
- VPBLENDVB
- VPBLENDW
- VPCLMULQDQ
- VPCMPEQB
- VPCMPEQD
- VPCMPEQQ
- VPCMPEQW
- VPCMPESTRI
- VPCMPESTRM
- VPCMPGTB
- VPCMPGTD
- VPCMPGTQ
- VPCMPGTW
- VPCMPISTRI
- VPCMPISTRM
- VPERM2F128
More AVX2 instructions
- VGATHERQPD
- VGATHERQPS
- VINSERTI128
- VMOVNTDQA
- VMPSADBW
- VPABSB
- VPABSD
- VPABSW
- VPACKSSDW
- VPACKSSWB
- VPACKUSDW
- VPACKUSWB
- VPADDB
- VPADDD
- VPADDQ
- VPADDSB
- VPADDSW
- VPADDUSB
- VPADDUSW
- VPADDW
- VPAND
- VPANDN
- VPAVGB
- VPAVGW
- VPBLENDD
- VPBLENDVB
- VPBLENDW
- VPBROADCASTB
- VPBROADCASTD
- VPBROADCASTQ
- VPBROADCASTW
- VPCMPEQB
- VPCMPEQD
- VPCMPEQQ
- VPCMPEQW
- VPCMPGTB
- VPCMPGTD
- VPCMPGTQ
- VPCMPGTW
- VPERM2I128
More AVX10.1 instructions
- VMULSH
- VMULSS
- VORPD
- VORPS
- VPABSB
- VPABSD
- VPABSQ
- VPABSW
- VPACKSSDW
- VPACKSSWB
- VPACKUSDW
- VPACKUSWB
- VPADDB
- VPADDD
- VPADDQ
- VPADDSB
- VPADDSW
- VPADDUSB
- VPADDUSW
- VPADDW
- VPANDD
- VPANDND
- VPANDNQ
- VPANDQ
- VPAVGB
- VPAVGW
- VPBLENDMB
- VPBLENDMD
- VPBLENDMQ
- VPBLENDMW
- VPBROADCASTB
- VPBROADCASTD
- VPBROADCASTMB2Q
- VPBROADCASTMW2D
- VPBROADCASTQ
- VPBROADCASTW
- VPCLMULQDQ
- VPCMPB
- VPCMPD
- VPCMPEQB
Sources
- Intel XED v2026.08.23 (commit
0bcb6237345c): forms, encodings, operands, flags, exception classes, attributes, ISA sets, CPUID bits and chip model. - The CPU data of x86-64.net: Zen 3 to Zen 6, from GCC’s
-marchfeature sets and AMD’s Processor Programming References, which the page of each processor cites. - Clang's x86 intrinsic headers, LLVM 23.1.2 (commit
85ac56026243): the intrinsics, their signatures and doc comments, and the Clang of that release, which compiled each of them. - LLVM 23.1.2's x86 scheduling models (commit
85ac56026243): the latency, reciprocal throughput and ports of each form, as llvm-mca reports them. - Intel 64 and IA-32 Architectures Software Developer's Manual, Volume 2 (325383-093, September 2026): Volume 2B, page 4-216 (PALIGNR)
- Intel 64 and IA-32 Architectures Software Developer's Manual, Volume 1 (253665-093, September 2026)
- Intel Advanced Vector Extensions 10.2 Architecture Specification, revision 7.0 (361050-007, April 2026)
- Software Optimization Guide for the AMD Zen5 Microarchitecture (58455, rev. 1.00, August 2024), Wayback Machine copy of AMD's ZIP
The tables are derived from Intel XED, Copyright Intel Corporation, licensed under the Apache License 2.0; x86-64.net converted and reformatted them. The intrinsics and their signatures come from Clang and the timings from LLVM's scheduling models, both part of the LLVM Project, licensed under the Apache License 2.0 with LLVM Exceptions. The text is our own.