asm_tests: Fix IEEE 754 unordered comparison detection in x87 floating-point operations

unittests/32Bit_ASM/FEX_bugs/x87_unordered_cmp_fix_32.asm

@@ -0,0 +1,73 @@
+%ifdef CONFIG
+{
+  "RegData": {
+    "RAX": "0xcafecafe"
+  },
+  "Mode": "32BIT"
+}
+%endif
+
+; IsNan() couldn't detect negative NaNs (sign bit set in exponent field).
+; This caused __builtin_isunordered() to return wrong values.
+
+mov esp, 0xe000_1000
+
+; Test 1: __builtin_isunordered(1.0, 2.0) should return 0
+; Pattern: fucomip + setp + test for 0
+fld1
+lea edx, [two]
+fld tword [edx]
+fucomip st1
+setp al
+movzx eax, al
+test eax, eax
+jnz test_failed         ; If not 0, test failed (should be ordered)
+
+; Test 2: __builtin_isunordered(1.0, NaN) should return 1  
+fld1
+lea edx, [qnan]
+fld tword [edx]
+fucomip st1
+setp al
+movzx eax, al
+test eax, eax
+jz test_failed          ; If 0, test failed (should be unordered)
+
+; Test 3: __builtin_isunordered(NaN, 1.0) should return 1
+lea edx, [qnan]
+fld tword [edx]
+fld1
+fucomip st1
+setp al
+movzx eax, al
+test eax, eax
+jz test_failed          ; If 0, test failed (should be unordered)
+
+; Test 4: __builtin_isunordered(2.0, 2.0) should return 0 (equal case)
+lea edx, [two]
+fld tword [edx]
+lea edx, [two]
+fld tword [edx]
+fucomip st1
+setp al
+movzx eax, al
+test eax, eax
+jnz test_failed         ; If not 0, test failed (should be ordered)
+
+; All tests passed
+mov eax, 0xcafecafe
+hlt
+
+test_failed:
+; Test failed 
+mov eax, 0xdeadbeef
+hlt
+
+align 8
+two:
+  dt 2.0
+
+align 8  
+qnan:
+  dq 0xC000000000000000  ; Quiet NaN with only quiet bit set (no bottom 62 bits) - this breaks IsNan
+  dw 0x7FFF              ; Standard NaN exponent (0x7FFF)

unittests/ASM/FEX_bugs/x87_unordered_cmp_fix.asm

@@ -0,0 +1,72 @@
+%ifdef CONFIG
+{
+  "RegData": {
+    "RAX": "0x0000000cafecafe"
+  }
+}
+%endif
+
+; IsNan() couldn't detect negative NaNs (sign bit set in exponent field).
+; This caused __builtin_isunordered() to return wrong values.
+
+mov rsp, 0xe000_1000
+
+; Test 1: __builtin_isunordered(1.0, 2.0) should return 0
+; Pattern: fucomip + setp + test for 0
+fld1
+lea rdx, [rel two]
+fld tword [rdx]
+fucomip st1
+setp al
+movzx eax, al
+test eax, eax
+jnz test_failed         ; If not 0, test failed (should be ordered)
+
+; Test 2: __builtin_isunordered(1.0, NaN) should return 1  
+fld1
+lea rdx, [rel qnan]
+fld tword [rdx]
+fucomip st1
+setp al
+movzx eax, al
+test eax, eax
+jz test_failed          ; If 0, test failed (should be unordered)
+
+; Test 3: __builtin_isunordered(NaN, 1.0) should return 1
+lea rdx, [rel qnan]
+fld tword [rdx]
+fld1
+fucomip st1
+setp al
+movzx eax, al
+test eax, eax
+jz test_failed          ; If 0, test failed (should be unordered)
+
+; Test 4: __builtin_isunordered(2.0, 2.0) should return 0 (equal case)
+lea rdx, [rel two]
+fld tword [rdx]
+lea rdx, [rel two]  
+fld tword [rdx]
+fucomip st1
+setp al
+movzx eax, al
+test eax, eax
+jnz test_failed         ; If not 0, test failed (should be ordered)
+
+; All tests passed
+mov rax, 0xcafecafe
+hlt
+
+test_failed:
+; Test failed 
+mov rax, 0xdeadbeef
+hlt
+
+align 8
+two:
+  dt 2.0
+
+align 8  
+qnan:
+  dq 0xC000000000000000  ; Quiet NaN with only quiet bit set (no bottom 62 bits) - this breaks IsNan
+  dw 0x7FFF              ; Standard NaN exponent (0x7FFF)

unittests/gcc-target-tests-32/Known_Failures

@@ -1,6 +1,3 @@
-pr72867.c.gcc-target-test-32.n500.gcc-target-32
-pr72867.c.gcc-target-test-32.n1.gcc-target-32
-
 sse2-mmx-pextrw.c.gcc-target-test-32.n500.gcc-target-32
 sse2-mmx-pextrw.c.gcc-target-test-32.n1.gcc-target-32