小数型比较 汇编返回异常

z13228604287

单独测试  没啥问题   当比较数为 0时  就不对了为啥

  

子程序名	返回值类型	公开	备 注
最大值	小数型
参数名	类 型	参考	可空	数组	备 注
值A	小数型
值B	小数型

. ' 如果 (值A ＞ 值B)
' 返回 (值A)
' 返回 (值B)

置入代码 ({ 243, 15, 16, 69, 8, 15, 47, 69, 12, 118, 5, 139, 69, 12, 235, 3, 139, 69, 8, 137, 236, 93, 194, 8, 0 })
返回 (0)

子程序名	返回值类型	公开	备 注
最小值	小数型
参数名	类 型	参考	可空	数组	备 注
值A	小数型
值B	小数型

如果 (值A ＞ 值B)
返回 (值B)
返回 (值A)

' 置入代码 ({ 217, 69, 8, 216, 93, 12, 119, 4, 114, 7, 116, 10, 139, 69, 8, 235, 10, 139, 69, 12, 235, 5, 139, 69, 8, 235, 0, 137, 236, 93, 194, 8, 0 })
返回 (0)

.版本 2<br /> <br /> .子程序 最大值, 小数型<br /> .参数 值A, 小数型<br /> .参数 值B, 小数型<br /> <br /> .' 如果 (值A ＞ 值B)<br />     ' 返回 (值A)<br /> .否则<br />     ' 返回 (值B)<br /> .如果结束<br /> <br /> 置入代码 ({ 243, 15, 16, 69, 8, 15, 47, 69, 12, 118, 5, 139, 69, 12, 235, 3, 139, 69, 8, 137, 236, 93, 194, 8, 0 })<br /> 返回 (0)<br /> <br /> <br /> <br /> <br /> .子程序 最小值, 小数型<br /> .参数 值A, 小数型<br /> .参数 值B, 小数型<br /> <br /> .如果 (值A ＞ 值B)<br />     返回 (值B)<br /> .否则<br />     返回 (值A)<br /> .如果结束<br /> <br /> <br /> <br /> ' 置入代码 ({ 217, 69, 8, 216, 93, 12, 119, 4, 114, 7, 116, 10, 139, 69, 8, 235, 10, 139, 69, 12, 235, 5, 139, 69, 8, 235, 0, 137, 236, 93, 194, 8, 0 })<br /> 返回 (0)

版本1

[JavaScript] 纯文本查看 复制代码

movss xmm0, dword ptr [ebp+08h]
comiss xmm0,dword ptr [ebp+0Ch]
jbe MAX
mov     eax, dword ptr [ebp+0Ch]
jmp     Done
MAX:
mov     eax, dword ptr [ebp+08h]
Done:
mov esp, ebp
pop ebp
retn 0x0008

版本2

[JavaScript] 纯文本查看 复制代码

fld dword ptr [ebp+08h]
fcomp dword ptr [ebp+0Ch]
ja   Max         
jb   Min
je   Equal
Max:
mov     eax, dword ptr [ebp+0Ch]
jmp     Done
Min:
mov     eax, dword ptr [ebp+08h]
jmp     Done
Equal:
mov     eax, dword ptr [ebp+0Ch]
jmp     Done
Done:
mov esp, ebp
pop ebp
retn 0x0008

版本3

[JavaScript] 纯文本查看 复制代码

fld dword ptr [ebp+08h]
fld  dword ptr [ebp+0Ch]
fcompp  
fstsw   ax  
sahf
ja   Max         
jb   Min
je   Equal
Max:
mov     eax, dword ptr [ebp+08h]
jmp     Done
Min:
mov     eax, dword ptr [ebp+0Ch]
jmp     Done
Equal:
mov     eax, dword ptr [ebp+08h]
jmp     Done
Done:
mov esp, ebp
pop ebp
retn 0008h

biostk

主要原因是 SSE 浮点比较存在 ±0、NaN 特殊处理，配上 jbe 分支条件，在极端情况下标志位与预期不符，导致走错分支

biostk

{243,15,16,69,8,15,46,69,12,119,5,139,69,12,235,3,139,69,8,137,236,93,194,8,0}