X86 BSWAP指令的64位等效实现 适配Delphi Firemonkey EXIF图像处理

问题根因 #

你原有的SwapLong实现是32位x86架构专属代码：32位Delphi调用约定下，32位无符号整型参数Value通过EAX寄存器传递，返回值也写入EAX寄存器，bswap eax刚好完成32位数据的字节反转，符合需求。但64位环境下寄存器宽度、参数传递规则都发生了变化，这段汇编直接运行会读取错误的寄存器值，最终返回不符合预期的结果。

最优跨平台实现方案 #

推荐使用纯Pascal实现，不需要依赖平台专属汇编，可同时兼容32/64位Windows、Intel/ARM架构MacOS等所有Delphi Firemonkey支持的平台：

function SwapLong(Value: Cardinal): Cardinal;
begin
  Result := ((Value shl 24) and $FF000000) or
            ((Value shl 8) and $00FF0000) or
            ((Value shr 8) and $0000FF00) or
            ((Value shr 24) and $000000FF);
end;

效果验证 #

你提供的测试输入134217728（十六进制为$08000000）调用该函数后，返回值为8，完全符合EXIF头解析的预期要求。

汇编实现可选方案（非必要不推荐） #

如果追求极限性能需要保留汇编实现，可以通过条件编译区分架构适配不同平台，维护成本更高，仅适合对性能要求极高的场景：

function SwapLong(Value: Cardinal): Cardinal;
{$IFDEF CPU386}
// 32位x86架构
asm
  bswap eax
end;
{$ELSEIF DEFINED(CPUX64)}
// 64位x86架构（Windows64、Intel架构MacOS）
asm
  {$IFDEF MSWINDOWS}
  bswap ecx
  mov eax, ecx
  {$ELSE}
  bswap edi
  mov eax, edi
  {$ENDIF}
end;
{$ELSEIF DEFINED(CPUARM64)}
// ARM64架构（Apple Silicon系列MacOS）
asm
  rev w0, w0
end;
{$ELSE}
// 其他未明确架构 fallback到纯Pascal实现
begin
  Result := ((Value shl 24) and $FF000000) or
            ((Value shl 8) and $00FF0000) or
            ((Value shr 8) and $0000FF00) or
            ((Value shr 24) and $000000FF);
end;
{$ENDIF}

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