x86-64.net

Instruction

VREDUCEPD

Subtracts from packed doubles their values rounded to the number of fraction bits an immediate gives, leaving the reduced argument.

Extensions
Forms
6 (6 EVEX)
Data
Intel XED v2026.08.23

Forms

Every encoding of VREDUCEPD that Intel XED knows, one row per XED instruction form (iform). How to read the notation.
InstructionEncodingRequires
VREDUCEPD xmm {k}{z}, xmm, imm8 VREDUCEPD_XMMf64_MASKmskw_XMMf64_IMM8_AVX512EVEX.128.66.0F3A.W1 56 /r ibAVX10.1 or AVX512DQ + AVX512VL
VREDUCEPD xmm {k}{z}, m128/m64bcst, imm8 VREDUCEPD_XMMf64_MASKmskw_MEMf64_IMM8_AVX512EVEX.128.66.0F3A.W1 56 /r ibAVX10.1 or AVX512DQ + AVX512VL
VREDUCEPD ymm {k}{z}, ymm, imm8 VREDUCEPD_YMMf64_MASKmskw_YMMf64_IMM8_AVX512EVEX.256.66.0F3A.W1 56 /r ibAVX10.1 or AVX512DQ + AVX512VL
VREDUCEPD ymm {k}{z}, m256/m64bcst, imm8 VREDUCEPD_YMMf64_MASKmskw_MEMf64_IMM8_AVX512EVEX.256.66.0F3A.W1 56 /r ibAVX10.1 or AVX512DQ + AVX512VL
VREDUCEPD zmm {k}{z}, zmm, imm8, {sae} VREDUCEPD_ZMMf64_MASKmskw_ZMMf64_IMM8_AVX512EVEX.512.66.0F3A.W1 56 /r ibAVX10.1 or AVX512DQ
VREDUCEPD zmm {k}{z}, m512/m64bcst, imm8 VREDUCEPD_ZMMf64_MASKmskw_MEMf64_IMM8_AVX512EVEX.512.66.0F3A.W1 56 /r ibAVX10.1 or AVX512DQ

Intrinsics

The C intrinsics of Clang 23.1.2 that compile to VREDUCEPD, 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.

IntrinsicCompiles to
_mm_reduce_pd __m128d _mm_reduce_pd(__m128d A, const int B)

VREDUCEPD xmm, xmm, imm8 EVEX.128 -mavx512vl -mavx512dq

_mm_mask_reduce_pd __m128d _mm_mask_reduce_pd(__m128d W, __mmask8 U, __m128d A, const int B)

VREDUCEPD xmm {k}, xmm, imm8 EVEX.128 -mavx512vl -mavx512dq

_mm_maskz_reduce_pd __m128d _mm_maskz_reduce_pd(__mmask8 U, __m128d A, const int B)

VREDUCEPD xmm {k}{z}, xmm, imm8 EVEX.128 -mavx512vl -mavx512dq

_mm256_reduce_pd __m256d _mm256_reduce_pd(__m256d A, const int B)

VREDUCEPD ymm, ymm, imm8 EVEX.256 -mavx512vl -mavx512dq

_mm256_mask_reduce_pd __m256d _mm256_mask_reduce_pd(__m256d W, __mmask8 U, __m256d A, const int B)

VREDUCEPD ymm {k}, ymm, imm8 EVEX.256 -mavx512vl -mavx512dq

_mm256_maskz_reduce_pd __m256d _mm256_maskz_reduce_pd(__mmask8 U, __m256d A, const int B)

VREDUCEPD ymm {k}{z}, ymm, imm8 EVEX.256 -mavx512vl -mavx512dq

_mm512_reduce_pd __m512d _mm512_reduce_pd(__m512d A, const int B)

VREDUCEPD zmm, zmm, imm8 EVEX.512 -mavx512dq

_mm512_reduce_round_pd __m512d _mm512_reduce_round_pd(__m512d A, const int B, const int R)

VREDUCEPD zmm, zmm, imm8, {sae} EVEX.512 -mavx512dq

_mm512_mask_reduce_pd __m512d _mm512_mask_reduce_pd(__m512d W, __mmask8 U, __m512d A, const int B)

VREDUCEPD zmm {k}, zmm, imm8 EVEX.512 -mavx512dq

_mm512_mask_reduce_round_pd __m512d _mm512_mask_reduce_round_pd(__m512d W, __mmask8 U, __m512d A, const int B, const int R)

VREDUCEPD zmm {k}, zmm, imm8, {sae} EVEX.512 -mavx512dq

_mm512_maskz_reduce_pd __m512d _mm512_maskz_reduce_pd(__mmask8 U, __m512d A, const int B)

VREDUCEPD zmm {k}{z}, zmm, imm8 EVEX.512 -mavx512dq

_mm512_maskz_reduce_round_pd __m512d _mm512_maskz_reduce_round_pd(__mmask8 U, __m512d A, const int B, const int R)

VREDUCEPD zmm {k}{z}, zmm, imm8, {sae} EVEX.512 -mavx512dq

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.

CPUID requirements and processors of the XED ISA sets above. Alternatives are separated by “or”; processors follow XED’s chip model, which covers AMD processors up to Zen 2.
ISA setCPUIDProcessors in XED
AVX512DQ_128

AVX10.1
CPUID.(EAX=07H,ECX=1):EDX[19] AVX10
CPUID.(EAX=24H,ECX=0):EBX[7:0] ≥ 1 AVX10 version

or

AVX512DQ + AVX512VL
CPUID.(EAX=07H,ECX=0):EBX[17] AVX512DQ
CPUID.(EAX=07H,ECX=0):EBX[31] AVX512VL

Cannon Lake, Ice Lake (client), Tiger Lake, Nova Lake, Skylake-SP, Cascade Lake, Cooper Lake, Ice Lake (server), Sapphire Rapids, Emerald Rapids, Granite Rapids, Diamond Rapids
AVX512DQ_256

AVX10.1
CPUID.(EAX=07H,ECX=1):EDX[19] AVX10
CPUID.(EAX=24H,ECX=0):EBX[7:0] ≥ 1 AVX10 version

or

AVX512DQ + AVX512VL
CPUID.(EAX=07H,ECX=0):EBX[17] AVX512DQ
CPUID.(EAX=07H,ECX=0):EBX[31] AVX512VL

Cannon Lake, Ice Lake (client), Tiger Lake, Nova Lake, Skylake-SP, Cascade Lake, Cooper Lake, Ice Lake (server), Sapphire Rapids, Emerald Rapids, Granite Rapids, Diamond Rapids
AVX512DQ_512

AVX10.1
CPUID.(EAX=07H,ECX=1):EDX[19] AVX10
CPUID.(EAX=24H,ECX=0):EBX[7:0] ≥ 1 AVX10 version

or

AVX512DQ
CPUID.(EAX=07H,ECX=0):EBX[17] AVX512DQ

Cannon Lake, Ice Lake (client), Tiger Lake, Nova Lake, Skylake-SP, Cascade Lake, Cooper Lake, Ice Lake (server), Sapphire Rapids, Emerald Rapids, Granite Rapids, Diamond Rapids

More AVX10.1 instructions

All 686 AVX10.1 instructions

Sources

  1. Intel XED v2026.08.23 (commit 0bcb6237345c): forms, encodings, ISA sets, CPUID bits and chip model.
  2. 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.
  3. Intel Advanced Vector Extensions 10.2 Architecture Specification, revision 6.0 (361050-006, January 2026)

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, part of the LLVM Project, licensed under the Apache License 2.0 with LLVM Exceptions. The text is our own.