O vzeroall zero registra ymm16 em ymm31?

A documentação para vzeroallparece inconsistente. A prosa diz: A instrução zera o conteúdo de todos os registros XMM ou YMM. O pseudocódigo a seguir que, contudo, indica que no modo de 64 bits única regista ymm0através ymm15são afectados: IF (64-bit mode) limit ←15 ELSE limit ← 7 FOR i in 0...