为何(V)SHUFPS未列入Intel常量时间指令列表？如何替代？

一、(V)SHUFPS未被列入的可能原因 #

目前Intel官方未公开明确说明该指令未入选的原因，但结合行业分析和微架构特性，主要有两点推测：

• 微架构时序特性：SHUFPS的控制逻辑包含“循环选择下一个元素”的隐含规则，在部分旧微架构上，当操作数包含特殊浮点值（如NaN、Inf）时，指令执行延迟可能出现数据相关的波动，无法满足严格的常量时间要求。
• 列表的覆盖策略：Intel的常量时间列表优先纳入功能更通用、控制逻辑更直接的指令（如VPERMILPS/VPERMPS），这类指令的洗牌规则完全由立即数显式指定，无隐含依赖，更易被验证为常量时间。而SHUFPS的功能可被这些指令完全替代，因此未被纳入。

二、用列表内指令模拟SHUFPS的方法 #

根据目标架构的不同，可选择以下几种可靠方案：

1. AVX及以上架构：使用VPERMILPS #

VPERMILPS是列表中明确包含的指令，可通过构造对应立即数掩码模拟SHUFPS的逻辑：

• 针对SHUFPS立即数的每个2位选择字段：
  • 00（选目标同位置元素）：直接用VPERMILPS选择目标寄存器的对应索引元素
  • 01（选目标下一个循环元素）：选择目标寄存器(当前位置+1)%4索引的元素
  • 10（选源同位置元素）：先提取源寄存器的对应元素，再通过VPERMILPS整合
  • 11（选源下一个循环元素）：提取源寄存器(当前位置+1)%4索引的元素

示例代码（模拟shufps xmm0, xmm1, 0x93）：

; 先提取xmm1中需要的元素
vpermilps xmm2, xmm1, 0x50  
; 提取xmm0中需要的元素
vpermilps xmm3, xmm0, 0xCA  
; 混合两个临时寄存器的结果到xmm0
vblendps xmm0, xmm2, xmm3, 0xAA  

2. AVX512架构：使用VPERMPS #

VPERMPS支持直接从两个输入寄存器的8个元素中选择任意元素，完全匹配SHUFPS的跨寄存器洗牌需求。只需将SHUFPS的2位选择字段转换为3位的来源索引（0-7对应两个寄存器的8个元素），构造64位掩码即可直接替换：

; 原指令：shufps xmm0, xmm1, 0xXX
; YYYYYYYY为转换后的64位掩码，每个元素用3位指定来源索引
vpermps xmm0, xmm1, xmm0, 0xYYYYYYYY  

3. SSE4.1及以上兼容方案：INSERTPS+EXTRACTPS #

如果需要兼容旧架构，可使用列表内的INSERTPS和EXTRACTPS逐个处理元素，实现洗牌逻辑：

; 示例：将xmm1的第1元素插入到xmm0的第0位置
extractps eax, xmm1, 0x1
insertps xmm0, xmm0, eax, 0x00

这种方法代码量稍大，但能严格遵循常量时间指令列表要求。

内容的提问来源于stack exchange，提问作者user2249675