[xiangzhai]

Summary / 变更说明

JECXZ 只检查 RCX 的低 32 位。原实现总是通过
load_ireg_from_ir1(&ecx_ir1_opnd, ZERO_EXTENSION, false) 生成
bstrpick.d 加临时寄存器，再与 0 比较。

本变更利用一个局部不变量：若 JECXZ 在同一个 TB 内、且紧邻的前一条指令以
32 位宽度完整写 ECX，则宿主寄存器高 32 位已经被清零，可以直接用 RCX 与 0
比较，省去 mask 指令和临时寄存器。

仅在可证明安全时启用快速路径：

• 两种 guest 模式：MOV、MOVZX、MOVSX、LEA、ADC、SBB；
• 仅 64 位 guest 模式：ADD、SUB、AND、OR、XOR、INC、DEC、
  NEG、NOT。

以下情况保持原 masked load：JECXZ 是 TB 首条指令、前一条是 64 位写、前一条
不是上述白名单指令、或前一条属于指令模式融合。

命中时每条 JECXZ 少一条宿主指令（bstrpick.d）和一个临时寄存器。

Validation / 验证

Builds / 构建

• x86_64 guest 构建：latx-x86_64，-Werror 通过；候选二进制重建后哈希一致。
• i386 guest 构建：latx-i386，-Werror 通过；候选二进制重建后哈希一致。
• 基线与候选二进制隔离保存，避免混用。

Regression tests / 回归测试

meson test -C <build64> --suite lat-pr-fast --print-errorlogs
  Ok: 49  Fail: 0

meson test -C <build32> --no-rebuild test-latx-jecxz-opt
  Ok: 1   Fail: 0

新增 tests/unit/test-latx-jecxz-opt.py，覆盖快速/回退判定：ECX 目标、
32/64 位写、非白名单指令、模式融合标记、TB 首条指令等。

Semantics / 语义验证

• x86-64 手工边界用例：覆盖 RCX 高 32 位非零但 ECX == 0、
  RCX = 0xffffffff00000000、ECX != 0、0x80000000、add/inc
  回绕等 9 个场景；基线与候选在 default、LATX_AOT=0 LATX_KZT=0、
  -d nochain 下均通过。
• 2000 例 x86-64 随机差分测试：覆盖上述快速路径 writer、64 位写、
  CMP/TEST/SHL $0 等回退路径；基线、候选输出均与按 x86 语义
  独立计算的期望值 2000/2000 匹配，并在 default、LATX_AOT=0、
  -d nochain 三种模式下一致。
• TB 边界用例：JECXZ 作为 TB 首条指令，且 RCX 高 32 位非零；基线与
  候选均通过。
• i386 guest 16 例：覆盖快速路径与回退路径；基线与候选在 default 和
  LATX_AOT=0 下均通过。

Performance / 性能

JECXZ 密集微基准（8 亿次 JECXZ）：

• 机制：instructions:u 恰好减少 800,000,000 条（每条优化 JECXZ 少
  1 条），分支数不变。
• 端到端：wall time 无统计显著变化（not-taken 中位数 0.4036 s → 0.4001 s，
  95% CI 跨 0；taken 变体在噪声范围内略慢）。

因此本 PR 只声明指令数/代码量减少，不声明产品级端到端加速。

Checklist / 检查项

• I have read CONTRIBUTING.md. / 我已阅读 CONTRIBUTING.md。
• Every commit contains a DCO sign-off (git commit -s). /
  每个提交都包含 DCO 签署（git commit -s）。
• I have included relevant build or test results, or explained why they
  are not applicable. /
  我已提供相关构建或测试结果，或说明了不适用的原因。