Регистрирует ли vzeroall ноль от ymm16 до ymm31?

Question

Документация для vzeroall выглядит несовместимой. Проза гласит:

Инструкция обнуляет содержимое всех регистров XMM или YMM.

Псевдокод ниже, однако, указывает, что в 64-битном режиме только регистры * От 1010 * до ymm15 затрагиваются:

IF (64-bit mode)
    limit ←15
ELSE
    limit ← 7
FOR i in 0 .. limit:
    simd_reg_file[i][MAXVL-1:0] ← 0

На машинах, поддерживающих AVX-512, очистка до ymm15 - это не то же самое, что очистка «всего», поскольку существуют ymm16 - ymm31.

Проза или псевдокод верны?

Answer 1

Кажется, что это была проблема описания, если вы посмотрите на последний SDM , вы увидите, что описание было изменено в последнее время, и теперь он говорит, что VZEROALL не меняет YMM16 ... YMM31.