【蠢新学汇编】多个数组取最大成员

笨来无一悟

几个数组要比较成员数的多少，有没有快捷的办法？
https://bbs.125.la/forum.php?mod=viewthread&tid=14850121
(出处: 精易论坛)

  

窗口程序集名	保 留	保 留	备 注
窗口程序集_启动窗口
变量名	类 型	数组	备 注
数组一	整数型	68
数组二	整数型	81
数组三	整数型	618

子程序名	返回值类型	公开	备 注
__启动窗口_创建完毕

调试输出 (数组取最大成员 (数组一, 数组二, 数组三))

子程序名	返回值类型	公开	备 注
数组取最大成员	整数型		参数类型无所谓可以随便改 参数个数无所谓可以随便加
参数名	类 型	参考	可空	数组	备 注
参数一	整数型
参数二	整数型
参数三	整数型

变量名	类 型	静态	数组	备 注
共几组	整数型			可以通过某些手段自动匹配出有几个参数但会牺牲效率 所以手动填写

共几组 ＝ 3  ' 有几个参数就填几 如果组别多到15个以上了 那我建议重新设计业务逻辑
置入代码 ({ 139, 77, 252, 49, 210, 139, 116, 141, 4, 139, 54, 139, 70, 4, 57, 194, 127, 2, 137, 194, 73, 117, 238, 137, 85, 252 })
' MOV ECX,[EBP-4]
' XOR EDX,EDX
' 循环:
' MOV ESI,[EBP+ECX*4+4]
' MOV ESI,[ESI]
' MOV EAX,[ESI+4]
' CMP EDX,EAX
' JG 更大
' MOV EDX,EAX
' 更大:
' DEC ECX
' JNE 循环
' 完毕:
' MOV DWORD [EBP-4],EDX
返回 (共几组)  ' 变量复用 这里返回的是多个数组里面最大的一个成员数 顺便把返回权交给编译器 因为要适配不同的参数数量 这样写弹出多少字节就不用人去关心了

i支持库列表	支持库注释
spec	特殊功能支持库

.版本 2<br /> .支持库 spec<br /> <br /> .程序集 窗口程序集_启动窗口<br /> .程序集变量 数组一, 整数型, , "68"<br /> .程序集变量 数组二, 整数型, , "81"<br /> .程序集变量 数组三, 整数型, , "618"<br /> <br /> .子程序 __启动窗口_创建完毕<br /> <br /> 调试输出 (数组取最大成员 (数组一, 数组二, 数组三))<br /> <br /> .子程序 数组取最大成员, 整数型, , 参数类型无所谓可以随便改 参数个数无所谓可以随便加<br /> .参数 参数一, 整数型, 数组<br /> .参数 参数二, 整数型, 数组<br /> .参数 参数三, 整数型, 数组<br /> .局部变量 共几组, 整数型, , , 可以通过某些手段自动匹配出有几个参数但会牺牲效率 所以手动填写<br /> <br /> 共几组 ＝ 3  ' 有几个参数就填几 如果组别多到15个以上了 那我建议重新设计业务逻辑<br /> 置入代码 ({ 139, 77, 252, 49, 210, 139, 116, 141, 4, 139, 54, 139, 70, 4, 57, 194, 127, 2, 137, 194, 73, 117, 238, 137, 85, 252 })<br /> ' MOV ECX,[EBP-4]<br /> ' XOR EDX,EDX<br /> ' 循环:<br /> ' MOV ESI,[EBP+ECX*4+4]<br /> ' MOV ESI,[ESI]<br /> ' MOV EAX,[ESI+4]<br /> ' CMP EDX,EAX<br /> ' JG 更大<br /> ' MOV EDX,EAX<br /> ' 更大:<br /> ' DEC ECX<br /> ' JNE 循环<br /> ' 完毕:<br /> ' MOV DWORD [EBP-4],EDX<br /> 返回 (共几组)  ' 变量复用 这里返回的是多个数组里面最大的一个成员数 顺便把返回权交给编译器 因为要适配不同的参数数量 这样写弹出多少字节就不用人去关心了

来自群组: 热心网友

萧楚楠

我试了试还真是呀恩师
问了ai给了个解释
在x86架构中，`LOOP`指令与`DEC ECX; JNE`组合的性能差异主要源于以下几个关键因素：

1. **微操作（μops）分解**：
   - `LOOP`指令在解码阶段会被分解为**2个微操作**（递减ECX + 条件跳转）。
   - `DEC ECX`和`JNE`虽然是两条指令，但在现代CPU（如Intel Skylake及之后）中会被解码为**1个微操作（DEC） + 1个微操作（JNE）**，总计2个μops。
   - 表面上看似等价，但`LOOP`的微操作融合和调度可能存在历史遗留优化问题。

2. **分支预测瓶颈**：
   - `LOOP`指令的跳转条件**依赖标志位**，而`DEC`指令会修改标志位。现代CPU的分支预测器对`JNE`这类显式分支的预测算法更成熟。
   - 在循环次数较大时，`LOOP`的分支预测失败率可能更高，导致流水线冲刷代价显著。

3. **前端解码吞吐量**：
   - `LOOP`指令在解码器中被归类为**复杂指令**（Complex Decoder），而`DEC/JNE`属于简单指令（Simple Decoder）。
   - 在AMD Zen或Intel Golden Cove等架构中，每个周期最多可解码4条简单指令，但复杂指令会占用更多解码带宽，导致前端吞吐量下降。

4. **执行端口竞争**：
   - `LOOP`的跳转操作需要占用分支单元（Port 6），而`DEC`可能使用ALU端口（Port 0/1）。分开的指令允许**端口级并行**。
   - 例如在Intel Haswell上，`JNE`使用Port6，`DEC`使用Port1/5，而`LOOP`必须串行使用这两个端口。

5. **部分标志位依赖**：
   - `LOOP`指令不修改除ECX外的任何标志位（仅依赖ECX），理论上应有优势。但实际上，某些CPU（如早期Pentium 4）对`LOOP`的ECX依赖链处理存在流水线停顿问题。
   - 现代CPU虽已优化，但在高频率循环中，`LOOP`的隐式标志更新仍可能引入微小的调度延迟。

**具体测试场景分析**：
假设循环体为空（纯测试循环开销），在Intel Core i7-11700K（Rocket Lake）上：
- `LOOP`指令每个迭代约需**1.5个周期**
- `DEC ECX; JNE`组合每个迭代约需**1个周期**

差异来自：
1. `LOOP`需要额外的1周期用于跳转地址计算（尽管现代CPU已优化）
2. 解码器对`LOOP`的微操作分配不够高效

**优化建议**：
- 在**热循环**中始终使用`DEC/JNE`代替`LOOP`
- 对ECX寄存器使用零扩展（避免高位残留导致部分寄存器停顿）
- 如果循环次数已知，可展开循环或使用`REP`前缀的字符串指令替代

**性能对比表（以Zen3为例）**：

| 指令序列        | 微操作数 | 解码器类型 | 端口占用     | 吞吐量（周期/迭代） |
|----------------|---------|------------|-------------|--------------------|
| LOOP S         | 2 μops  | 复杂解码    | Port1 + Port6 | 1.25               |
| DEC ECX; JNE S | 2 μops  | 简单解码    | Port1 + Port6 | 1.0                |

结论：`LOOP`指令在现代CPU上因微架构优化不足，其性能落后于显式指令组合。在追求极致性能的代码中应避免使用。

萧楚楠

咋不把
' DEC ECX
' JNE 循环
换成loop呀恩师，这样不会快点吗？

anno

看到汇编我就觉得好高级，怎么学

year1970

感谢分享

pipicool

学习一下

ttggnn

感谢分享

mood100

感谢分享收藏了

何浩文

支持开源~！感谢分享

750391

6666666666666666666666666