Instruction
VPSUBUSW
Subtracts packed unsigned words with unsigned saturation.
VPSUBUSW subtracts the unsigned words of its second source from those of
its first and stops at zero: the VEX and EVEX form of SSE2’s
PSUBUSW. The newer encodings add what
VPADDSB’s page lists for the saturating family: a
separate destination, memory at any alignment, zeroing above the vector
length, AVX2 for the ymm form, AVX512BW (or AVX10.1) for the EVEX forms
with a mask bit per word, and no broadcast. On Zen 5, vpsubusw xmm1, xmm2, xmm3 turned 0000h minus 0001h and 0001h minus FFFFh into 0000h,
FFFFh minus 0001h into FFFEh and 8000h minus 0001h into 7FFFh.
In compiled code
In our builds at -O2 over fixed-size uint16_t arrays, the unsigned
order of words, which AVX2 cannot compare directly, shapes the code much
as VPSUBUSB’s page shows for bytes:
- Differences that stop at zero.
b[i] > c[i] ? b[i] - c[i] : 0is one VPSUBUSW per 16 words in Clang 23 at-march=x86-64-v3and-v4. GCC 14 subtracts with VPSUBW and clears the words where VPSUBUSW and VPCMPEQW findb[i]not greater at-v3, and at-v4compares with VPCMPUW into a mask and subtracts under zeroing. - The comparison. For
b[i] > c[i] ? 0xFFFF : 0, GCC takes VPSUBUSW and two VPCMPEQWs against zero at-v3, and VPCMPNLEUW with a zero-masked VMOVDQU16 of all ones at-v4. Clang, which flips sign bits for this at the SSE2 baseline, uses VPMINUW, VPCMPEQW and VPXOR at-v3, and VPCMPNLEUW with VPMOVM2W at-v4. - Under a mask.
_mm512_maskz_subs_epu16(m, a, b)movesminto k1 with KMOVD and is onevpsubusw zmm0{k1}{z}, zmm0, zmm1in both compilers.
AMD’s latency spreadsheet for Zen 5 gives the VEX and EVEX rows alike two cycles and two per cycle, on pipes FP0 and FP3, where VPSUBW takes one cycle at four per cycle.
Forms
| Instruction | Encoding | Requires |
|---|---|---|
VPSUBUSW xmm, xmm, m128
VPSUBUSW_XMMdq_XMMdq_MEMdq | VEX.128.66.0F.WIG D9 /r | AVX |
VPSUBUSW xmm, xmm, xmm
VPSUBUSW_XMMdq_XMMdq_XMMdq | VEX.128.66.0F.WIG D9 /r | AVX |
VPSUBUSW ymm, ymm, m256
VPSUBUSW_YMMqq_YMMqq_MEMqq | VEX.256.66.0F.WIG D9 /r | AVX2 |
VPSUBUSW ymm, ymm, ymm
VPSUBUSW_YMMqq_YMMqq_YMMqq | VEX.256.66.0F.WIG D9 /r | AVX2 |
VPSUBUSW xmm {k}{z}, xmm, xmm
VPSUBUSW_XMMu16_MASKmskw_XMMu16_XMMu16_AVX512 | EVEX.128.66.0F.WIG D9 /r | AVX10.1 or AVX512BW + AVX512VL |
VPSUBUSW xmm {k}{z}, xmm, m128
VPSUBUSW_XMMu16_MASKmskw_XMMu16_MEMu16_AVX512 | EVEX.128.66.0F.WIG D9 /r | AVX10.1 or AVX512BW + AVX512VL |
VPSUBUSW ymm {k}{z}, ymm, ymm
VPSUBUSW_YMMu16_MASKmskw_YMMu16_YMMu16_AVX512 | EVEX.256.66.0F.WIG D9 /r | AVX10.1 or AVX512BW + AVX512VL |
VPSUBUSW ymm {k}{z}, ymm, m256
VPSUBUSW_YMMu16_MASKmskw_YMMu16_MEMu16_AVX512 | EVEX.256.66.0F.WIG D9 /r | AVX10.1 or AVX512BW + AVX512VL |
VPSUBUSW zmm {k}{z}, zmm, zmm
VPSUBUSW_ZMMu16_MASKmskw_ZMMu16_ZMMu16_AVX512 | EVEX.512.66.0F.WIG D9 /r | AVX10.1 or AVX512BW |
VPSUBUSW zmm {k}{z}, zmm, m512
VPSUBUSW_ZMMu16_MASKmskw_ZMMu16_MEMu16_AVX512 | EVEX.512.66.0F.WIG D9 /r | AVX10.1 or AVX512BW |
Latency and throughput
| Model | xmm, xmm, m128xmm {k}{z}, xmm, m128no mask | xmm, xmm, xmmxmm {k}{z}, xmm, xmmno mask | ymm, ymm, m256ymm {k}{z}, ymm, m256no mask | ymm, ymm, ymm | xmm {k}{z}, xmm, xmmwith a mask, zeroing | xmm {k}{z}, xmm, m128with a mask, zeroing | ymm {k}{z}, ymm, ymmno mask | ymm {k}{z}, ymm, ymmwith a mask, zeroing | ymm {k}{z}, ymm, m256with a mask, zeroing | zmm {k}{z}, zmm, zmmno mask | zmm {k}{z}, zmm, zmmwith a mask, zeroing | zmm {k}{z}, zmm, m512no mask | zmm {k}{z}, zmm, m512with a mask, zeroing |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 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 / 0.5p01 | 7 / 0.5p01 | 1 / 0.5p01 | 1 / 0.5p01 | 8 / 0.5p01 | 1 / 1p0 | 1 / 1p0 | 8 / 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 | 3 / 0.5p01 | 11 / 0.5p01 | 1 / 0.5p01 | 3 / 0.5p01 | 11 / 0.5p01 | 1 / 1p0 | 3 / 1p0 | 9 / 1p0 | 11 / 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.5FP0 FP1 | 8 / 0.5FP0 FP1 FP2 FP3 | 1 / 0.5FP0 FP1 | |||||||||
| Zen 4 | 8 / 0.5FP0 FP1 FP2 FP3 | 2 / 11FP0 FP1 | 8 / 0.5FP0 FP1 FP2 FP3 | 1 / 0.5FP0 FP1 | 2 / 12FP0 FP1 | 8 / 0.5FP0 FP1 FP2 FP3 | 1 / 0.253FP0 FP1 FP2 FP3 | 1 / 0.253FP0 FP1 FP2 FP3 | 8 / 0.5FP0 FP1 FP2 FP3 | 1 / 0.54FP0 FP1 FP2 FP3 | 1 / 0.54FP0 FP1 FP2 FP3 | 8 / 0.5FP0 FP1 FP2 FP3 | 8 / 0.5FP0 FP1 FP2 FP3 |
| Jaguar | 6 / 1FPU0 FPU1 VALU0 VALU1 | 1 / 0.5FPU0 FPU1 VALU0 VALU1 | |||||||||||
- Zen 4 model: AMD's spreadsheets give reciprocal throughput 0.5 for Zen 4 and Zen 5 (AMD 57647, row 3056; AMD 58455, row 1189).
- Zen 4 model: AMD's spreadsheets give reciprocal throughput 0.5 for Zen 4 and Zen 5 (AMD 57647, row 3057; AMD 58455, row 341).
- Zen 4 model: AMD's spreadsheets give latency 2 for Zen 4 and Zen 5 (AMD 57647, row 3059; AMD 58455, row 341).
- Zen 4 model: AMD's spreadsheets give latency 2 for Zen 4 and Zen 5 (AMD 57647, row 3060; AMD 58455, row 341).
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 word works alike: 8, 16 and 32 words 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}.
Result word i comes from word i of xmm2 and xmm3. Result words 7 to 0: a7-b7, unchanged (bit 6 of k1 is 0), a5-b5, a4-b4, a3-b3, a2-b2, a1-b1, a0-b0.
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 // 16):
if k1[i]: # 1 without a write mask
a = zmm2.w[i]
b = src3.w[i]
zmm1.w[i] = usat(a - b, 16)
elif zeroing:
zmm1.w[i] = 0
# else: zmm1.w[i] keeps its value
# zmm1 is zeroed from bit VL upRun on AMD Zen 5 (EPYC 9645): 10 cases.
Operands
| Operand | Kind | Action |
|---|---|---|
VPSUBUSW xmm, xmm, xmm/m128 VPSUBUSW ymm, ymm, ymm/m256 | ||
xmm, ymm | explicit | write |
xmm, ymm | explicit | read |
xmm/m128, ymm/m256 | explicit | read |
VPSUBUSW xmm {k}{z}, xmm, xmm/m128 VPSUBUSW ymm {k}{z}, ymm, ymm/m256 VPSUBUSW zmm {k}{z}, zmm, zmm/m512 | ||
xmm, ymm, zmm | explicit | write (masked) |
{k} | explicit | read (write mask) |
xmm, ymm, zmm | explicit | read |
xmm/m128, ymm/m256, zmm/m512 | 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
- memory fault suppression
Intrinsics
The C intrinsics of Clang 23.1.2 that compile to VPSUBUSW, 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_subs_epu16
__m128i _mm_subs_epu16(__m128i __a, __m128i __b) |
|
_mm_mask_subs_epu16
__m128i _mm_mask_subs_epu16(__m128i __W, __mmask8 __U, __m128i __A, __m128i __B) |
|
_mm_maskz_subs_epu16
__m128i _mm_maskz_subs_epu16(__mmask8 __U, __m128i __A, __m128i __B) |
|
_mm256_subs_epu16
__m256i _mm256_subs_epu16(__m256i __a, __m256i __b) |
|
_mm256_mask_subs_epu16
__m256i _mm256_mask_subs_epu16(__m256i __W, __mmask16 __U, __m256i __A, __m256i __B) |
|
_mm256_maskz_subs_epu16
__m256i _mm256_maskz_subs_epu16(__mmask16 __U, __m256i __A, __m256i __B) |
|
_mm512_subs_epu16
__m512i _mm512_subs_epu16(__m512i __A, __m512i __B) |
|
_mm512_mask_subs_epu16
__m512i _mm512_mask_subs_epu16(__m512i __W, __mmask32 __U, __m512i __A, __m512i __B) |
|
_mm512_maskz_subs_epu16
__m512i _mm512_maskz_subs_epu16(__mmask32 __U, __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
- VPSHUFLW
- VPSIGNB
- VPSIGND
- VPSIGNW
- VPSLLD
- VPSLLDQ
- VPSLLQ
- VPSLLW
- VPSRAD
- VPSRAW
- VPSRLD
- VPSRLDQ
- VPSRLQ
- VPSRLW
- VPSUBB
- VPSUBD
- VPSUBQ
- VPSUBSB
- VPSUBSW
- VPSUBUSB
- VPSUBW
- VPTEST
- VPUNPCKHBW
- VPUNPCKHDQ
- VPUNPCKHQDQ
- VPUNPCKHWD
- VPUNPCKLBW
- VPUNPCKLDQ
- VPUNPCKLQDQ
- VPUNPCKLWD
- VPXOR
- VRCPPS
- VRCPSS
- VROUNDPD
- VROUNDPS
- VROUNDSD
- VROUNDSS
- VRSQRTPS
- VRSQRTSS
- VSHUFPD
More AVX2 instructions
- VPOR
- VPSADBW
- VPSHUFB
- VPSHUFD
- VPSHUFHW
- VPSHUFLW
- VPSIGNB
- VPSIGND
- VPSIGNW
- VPSLLD
- VPSLLDQ
- VPSLLQ
- VPSLLVD
- VPSLLVQ
- VPSLLW
- VPSRAD
- VPSRAVD
- VPSRAW
- VPSRLD
- VPSRLDQ
- VPSRLQ
- VPSRLVD
- VPSRLVQ
- VPSRLW
- VPSUBB
- VPSUBD
- VPSUBQ
- VPSUBSB
- VPSUBSW
- VPSUBUSB
- VPSUBW
- VPUNPCKHBW
- VPUNPCKHDQ
- VPUNPCKHQDQ
- VPUNPCKHWD
- VPUNPCKLBW
- VPUNPCKLDQ
- VPUNPCKLQDQ
- VPUNPCKLWD
- VPXOR
More AVX10.1 instructions
- VPSLLW
- VPSRAD
- VPSRAQ
- VPSRAVD
- VPSRAVQ
- VPSRAVW
- VPSRAW
- VPSRLD
- VPSRLDQ
- VPSRLQ
- VPSRLVD
- VPSRLVQ
- VPSRLVW
- VPSRLW
- VPSUBB
- VPSUBD
- VPSUBQ
- VPSUBSB
- VPSUBSW
- VPSUBUSB
- VPSUBW
- VPTERNLOGD
- VPTERNLOGQ
- VPTESTMB
- VPTESTMD
- VPTESTMQ
- VPTESTMW
- VPTESTNMB
- VPTESTNMD
- VPTESTNMQ
- VPTESTNMW
- VPUNPCKHBW
- VPUNPCKHDQ
- VPUNPCKHQDQ
- VPUNPCKHWD
- VPUNPCKLBW
- VPUNPCKLDQ
- VPUNPCKLQDQ
- VPUNPCKLWD
- VPXORD
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-494 (PSUBUSB/
PSUBUSW) - 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.