Instruction
VPMAXUD
Returns the larger of each pair of unsigned doublewords.
VPMAXUD keeps the larger of each pair of doublewords, compared as
unsigned integers: the VEX and EVEX form of SSE4.1’s
PMAXUD. VPMAXSD, its signed partner,
covers the encodings, the reductions and the clamps that compilers build
from a maximum, and VPMINUD the unsigned compares that
AVX2 lacks. On Zen 5, vpmaxud xmm7, xmm11, [mem] chose FFFFFFFFh over
7FFFFFFFh, where VPMAXSD keeps 7FFFFFFFh because FFFFFFFFh is -1. With
FFFFFFFFh in memory, vpmaxud zmm7{k7}, zmm12, dword bcst [mem] wrote
that largest value into every element K7 selected and kept the others.
Subtraction that stops at zero
There is no saturating subtraction for doublewords:
VPSUBUSB and VPSUBUSW exist only for bytes and words.
For uint32_t, b[i] > c[i] ? b[i] - c[i] : 0 needs another way, and
at -O2 with -march=x86-64-v3 our two compilers take different ones:
- Clang 23 subtracts from the maximum:
max(b, c) - cisb - cwherebis larger and zero elsewhere, a VPMAXUD and a VPSUBD per vector, also with-march=x86-64-v4. - GCC 14 subtracts first, then clears the elements where
bis not larger: VPSUBD, VPMINUD and VPCMPEQD to find them, and VPANDN. With-march=x86-64-v4it compares into a mask with VPCMPUD and subtracts under it with{z}.
Ranges and reductions
Clamping a uint32_t to 10..1000 is a VPMINUD and a VPMAXUD in both
compilers, in either order, and the largest element of a uint32_t
array accumulates with VPMAXUD from zero, the smallest value, then folds
the halves of the last vector. Clang keeps four accumulators, GCC one,
on zmm registers with -march=x86-64-v4.
AMD’s latency spreadsheet for Zen 5 gives VPMAXUD one cycle and four per cycle, on any of the four vector pipes. Zen 5’s 10 recorded cases cover every form, merging, zeroing and with a broadcast doubleword.
Forms
| Instruction | Encoding | Requires |
|---|---|---|
VPMAXUD xmm, xmm, m128
VPMAXUD_XMMdq_XMMdq_MEMdq | VEX.128.66.0F38.WIG 3F /r | AVX |
VPMAXUD xmm, xmm, xmm
VPMAXUD_XMMdq_XMMdq_XMMdq | VEX.128.66.0F38.WIG 3F /r | AVX |
VPMAXUD ymm, ymm, m256
VPMAXUD_YMMqq_YMMqq_MEMqq | VEX.256.66.0F38.WIG 3F /r | AVX2 |
VPMAXUD ymm, ymm, ymm
VPMAXUD_YMMqq_YMMqq_YMMqq | VEX.256.66.0F38.WIG 3F /r | AVX2 |
VPMAXUD zmm {k}{z}, zmm, zmm
VPMAXUD_ZMMu32_MASKmskw_ZMMu32_ZMMu32_AVX512 | EVEX.512.66.0F38.W0 3F /r | AVX10.1 or AVX512F |
VPMAXUD zmm {k}{z}, zmm, m512/m32bcst
VPMAXUD_ZMMu32_MASKmskw_ZMMu32_MEMu32_AVX512 | EVEX.512.66.0F38.W0 3F /r | AVX10.1 or AVX512F |
VPMAXUD xmm {k}{z}, xmm, xmm
VPMAXUD_XMMu32_MASKmskw_XMMu32_XMMu32_AVX512 | EVEX.128.66.0F38.W0 3F /r | AVX10.1 or AVX512F + AVX512VL |
VPMAXUD xmm {k}{z}, xmm, m128/m32bcst
VPMAXUD_XMMu32_MASKmskw_XMMu32_MEMu32_AVX512 | EVEX.128.66.0F38.W0 3F /r | AVX10.1 or AVX512F + AVX512VL |
VPMAXUD ymm {k}{z}, ymm, ymm
VPMAXUD_YMMu32_MASKmskw_YMMu32_YMMu32_AVX512 | EVEX.256.66.0F38.W0 3F /r | AVX10.1 or AVX512F + AVX512VL |
VPMAXUD ymm {k}{z}, ymm, m256/m32bcst
VPMAXUD_YMMu32_MASKmskw_YMMu32_MEMu32_AVX512 | EVEX.256.66.0F38.W0 3F /r | AVX10.1 or AVX512F + AVX512VL |
Latency and throughput
| Model | xmm, xmm, m128xmm {k}{z}, xmm, m128/m32bcst | xmm, xmm, xmmxmm {k}{z}, xmm, xmmymm {k}{z}, ymm, ymm | ymm, ymm, m256ymm {k}{z}, ymm, m256/m32bcst | ymm, ymm, ymm | zmm {k}{z}, zmm, zmm | zmm {k}{z}, zmm, m512/m32bcst |
|---|---|---|---|---|---|---|
| Sandy Bridge | 7 / 0.5p15 | 1 / 0.5p15 | ||||
| Haswell | 7 / 0.5p15 | 1 / 0.5p15 | 8 / 0.5p15 | 1 / 0.5p15 | ||
| Broadwell | 6 / 0.5p15 | 1 / 0.5p15 | 7 / 0.5p15 | 1 / 0.5p15 | ||
| Skylake | 7 / 0.5p01 | 1 / 0.5p01 | 8 / 0.5p01 | 1 / 0.5p01 | ||
| Skylake-SP, Ice Lake | 7 / 0.5p01 | 1 / 0.5p01 | 8 / 0.5p01 | 1 / 0.5p01 | 1 / 1p0 | 8 / 1p0 |
| Alder Lake | 8 / 0.5p01 | 1 / 0.5p01 | 9 / 0.5p01 | 1 / 0.5p01 | ||
| Sapphire Rapids | 8 / 0.5p01 | 1 / 0.5p01 | 9 / 0.5p01 | 1 / 0.5p01 | 1 / 1p0 | 9 / 1p0 |
| Lunar Lake | 7 / 2V0 V1 | 1 / 0.5V0 V1 | 8 / 2.33V0 V1 | 1 / 0.5V0 V1 | ||
| Piledriver | 7 / 1.5FPMAL | 2 / 0.5FPMAL FPU2 FPU3 | ||||
| Zen | 8 / 0.5FPU0 FPU1 FPU3 | 1 / 0.33FPU0 FPU1 FPU3 | 8 / 0.67FPU0 FPU1 FPU3 | 1 / 0.67FPU0 FPU1 FPU3 | ||
| Zen 2 | 8 / 0.33FPU0 FPU1 FPU3 | 1 / 0.33FPU0 FPU1 FPU3 | 8 / 0.33FPU0 FPU1 FPU3 | 1 / 0.33FPU0 FPU1 FPU3 | ||
| Zen 3 | 8 / 0.5FP0 FP1 FP2 FP3 | 1 / 0.25FP0 FP1 FP2 FP3 | 8 / 0.5FP0 FP1 FP2 FP3 | 1 / 0.25FP0 FP1 FP2 FP3 | ||
| Zen 4 | 8 / 0.5FP0 FP1 FP2 FP3 | 1 / 0.25FP0 FP1 FP2 FP3 | 8 / 0.5FP0 FP1 FP2 FP3 | 1 / 0.25FP0 FP1 FP2 FP3 | 1 / 0.5FP0 FP1 FP2 FP3 | 8 / 0.5FP0 FP1 FP2 FP3 |
| 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.
Every doubleword works alike: 4, 8 and 16 doublewords in the xmm, ymm and zmm forms. The EVEX forms write under a mask: where its bit is 0, the element keeps its old value, or zeroes it with {z}. With m32bcst, one doubleword from memory stands for every element of the last source.
Result doubleword i comes from doubleword i of xmm2 and xmm3. Result doublewords 3 to 0: r3, unchanged (bit 2 of k1 is 0), r1, r0.
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 // 32):
if k1[i]: # 1 without a write mask
a = zmm2.d[i]
b = src3.d[i]
zmm1.d[i] = max(a, b)
elif zeroing:
zmm1.d[i] = 0
# else: zmm1.d[i] keeps its value
# m32bcst: src3.d[i] is the m32 for every i
# zmm1 is zeroed from bit VL upRun on AMD Zen 5 (EPYC 9645): 10 cases.
Operands
| Operand | Kind | Action |
|---|---|---|
VPMAXUD xmm, xmm, xmm/m128 VPMAXUD ymm, ymm, ymm/m256 | ||
xmm, ymm | explicit | write |
xmm, ymm | explicit | read |
xmm/m128, ymm/m256 | explicit | read |
VPMAXUD xmm {k}{z}, xmm, xmm/m128/m32bcst VPMAXUD ymm {k}{z}, ymm, ymm/m256/m32bcst VPMAXUD zmm {k}{z}, zmm, zmm/m512/m32bcst | ||
xmm, ymm, zmm | explicit | write (masked) |
{k} | explicit | read (write mask) |
xmm, ymm, zmm | explicit | read |
xmm/m128/m32bcst, ymm/m256/m32bcst, zmm/m512/m32bcst | 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-E4
Attributes
What else XED records about the forms. How to read.
- EVEX forms
- write masking
- EVEX memory forms
- embedded broadcast (tuple Full); memory fault suppression
Intrinsics
The C intrinsics of Clang 23.1.2 that compile to VPMAXUD, 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_max_epu32
__m128i _mm_max_epu32(__m128i __V1, __m128i __V2) |
|
_mm_mask_max_epu32
__m128i _mm_mask_max_epu32(__m128i __W, __mmask8 __M, __m128i __A, __m128i __B) |
|
_mm_maskz_max_epu32
__m128i _mm_maskz_max_epu32(__mmask8 __M, __m128i __A, __m128i __B) |
|
_mm256_max_epu32
__m256i _mm256_max_epu32(__m256i __a, __m256i __b) |
|
_mm256_mask_max_epu32
__m256i _mm256_mask_max_epu32(__m256i __W, __mmask8 __M, __m256i __A, __m256i __B) |
|
_mm256_maskz_max_epu32
__m256i _mm256_maskz_max_epu32(__mmask8 __M, __m256i __A, __m256i __B) |
|
_mm512_max_epu32
__m512i _mm512_max_epu32(__m512i __A, __m512i __B) |
|
_mm512_mask_max_epu32
__m512i _mm512_mask_max_epu32(__m512i __W, __mmask16 __M, __m512i __A, __m512i __B) |
|
_mm512_maskz_max_epu32
__m512i _mm512_maskz_max_epu32(__mmask16 __M, __m512i __A, __m512i __B) |
|
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
- VPEXTRD
- VPEXTRQ
- VPEXTRW
- VPHADDD
- VPHADDSW
- VPHADDW
- VPHMINPOSUW
- VPHSUBD
- VPHSUBSW
- VPHSUBW
- VPINSRB
- VPINSRD
- VPINSRQ
- VPINSRW
- VPMADDUBSW
- VPMADDWD
- VPMAXSB
- VPMAXSD
- VPMAXSW
- VPMAXUB
- VPMAXUW
- VPMINSB
- VPMINSD
- VPMINSW
- VPMINUB
- VPMINUD
- VPMINUW
- VPMOVMSKB
- VPMOVSXBD
- VPMOVSXBQ
- VPMOVSXBW
- VPMOVSXDQ
- VPMOVSXWD
- VPMOVSXWQ
- VPMOVZXBD
- VPMOVZXBQ
- VPMOVZXBW
- VPMOVZXDQ
- VPMOVZXWD
- VPMOVZXWQ
More AVX2 instructions
- VPERMPS
- VPERMQ
- VPGATHERDD
- VPGATHERDQ
- VPGATHERQD
- VPGATHERQQ
- VPHADDD
- VPHADDSW
- VPHADDW
- VPHSUBD
- VPHSUBSW
- VPHSUBW
- VPMADDUBSW
- VPMADDWD
- VPMASKMOVD
- VPMASKMOVQ
- VPMAXSB
- VPMAXSD
- VPMAXSW
- VPMAXUB
- VPMAXUW
- VPMINSB
- VPMINSD
- VPMINSW
- VPMINUB
- VPMINUD
- VPMINUW
- VPMOVMSKB
- VPMOVSXBD
- VPMOVSXBQ
- VPMOVSXBW
- VPMOVSXDQ
- VPMOVSXWD
- VPMOVSXWQ
- VPMOVZXBD
- VPMOVZXBQ
- VPMOVZXBW
- VPMOVZXDQ
- VPMOVZXWD
- VPMOVZXWQ
More AVX10.1 instructions
- VPEXTRW
- VPGATHERDD
- VPGATHERDQ
- VPGATHERQD
- VPGATHERQQ
- VPINSRB
- VPINSRD
- VPINSRQ
- VPINSRW
- VPLZCNTD
- VPLZCNTQ
- VPMADD52HUQ
- VPMADD52LUQ
- VPMADDUBSW
- VPMADDWD
- VPMAXSB
- VPMAXSD
- VPMAXSQ
- VPMAXSW
- VPMAXUB
- VPMAXUQ
- VPMAXUW
- VPMINSB
- VPMINSD
- VPMINSQ
- VPMINSW
- VPMINUB
- VPMINUD
- VPMINUQ
- VPMINUW
- VPMOVB2M
- VPMOVD2M
- VPMOVDB
- VPMOVDW
- VPMOVM2B
- VPMOVM2D
- VPMOVM2Q
- VPMOVM2W
- VPMOVQ2M
- VPMOVQB
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-328 (PMAXUD/
PMAXUQ) - 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.