7、X86-64 汇编语言编程：条件代码与循环实现

X86-64 汇编语言编程：条件代码与循环实现

1. x86 处理器寻址模式选择

在 x86 处理器上，有多种寻址模式可供选择，选择哪种模式取决于多个因素：
- 寄存器可用性
- 指令（或指令序列）预期执行的次数
- 指令顺序
- 内存空间与执行时间的权衡
- 处理器的底层微架构和缓存大小等硬件属性

编码 x86 汇编语言函数时，建议尽可能使用较简单的内存寻址形式，如基址寄存器和位移量、基址寄存器、索引寄存器和比例因子，而非复杂形式（基址寄存器、索引寄存器、比例因子和位移量）。因为在某些处理器微架构上，使用有效地址的所有四个组件引用内存操作数的指令执行速度可能较慢。不过，如果复杂形式能避免在栈上保存一个或多个非易失性寄存器，则可能更高效。

2. 条件代码与最小值、最大值函数

在开发代码实现特定算法时，常需确定两个数的最小值或最大值。标准 C++ 库定义了 std::min() 和 std::max() 模板函数来执行这些操作。下面通过示例 Ch03_04 来详细说明。

2.1 C++ 代码示例

// Ch03_04.h
#pragma once
#include <cstdint>
// Ch03_04_fasm.asm, Ch03_04_fasm.s
extern "C" int32_t SignedMin1_a(int32_t a, int32_t b, int32_t c);
extern "C" in