From d641c7949ae07c9f5b5e53e51883b879c8ce18ad Mon Sep 17 00:00:00 2001
From: Dmitry Stogov <dmitry@zend.com>
Date: Fri, 13 Oct 2023 12:52:56 +0300
Subject: [PATCH] Support for unordered FP comparison (x86[_64] yet, needs
 tests)

---
 ir_x86.dasc | 57 +++++++++++++++++++++++++++++++++++++++++++++++++----
 1 file changed, 53 insertions(+), 4 deletions(-)

diff --git a/ir_x86.dasc b/ir_x86.dasc
index e428595..2388ea4 100644
--- a/ir_x86.dasc
+++ b/ir_x86.dasc
@@ -4083,6 +4083,22 @@ static void ir_emit_cmp_fp(ir_ctx *ctx, ir_ref def, ir_insn *insn)
 		case IR_GT:
 			|	seta Rb(def_reg)
 			break;
+		case IR_ULT:
+			|	setb Rb(def_reg)
+			break;
+		case IR_UGE:
+			|	setnp Rb(def_reg)
+			|	mov Rd(tmp_reg), 0
+			|	cmovb Rd(def_reg), Rd(tmp_reg)
+			break;
+		case IR_ULE:
+			|	setbe Rb(def_reg)
+			break;
+		case IR_UGT:
+			|	setnp Rb(def_reg)
+			|	mov Rd(tmp_reg), 0
+			|	cmovbe Rd(def_reg), Rd(tmp_reg)
+			break;
 	}
 	if (IR_REG_SPILLED(ctx->regs[def][0])) {
 		ir_emit_store(ctx, insn->type, def, def_reg);
@@ -4220,10 +4236,43 @@ static void ir_emit_jcc(ir_ctx *ctx, uint8_t op, uint32_t b, ir_ref def, ir_insn
 				}
 				|	ja =>true_block
 				break;
-//			case IR_ULT: fprintf(stderr, "\tjb .LL%d\n", true_block); break;
-//			case IR_UGE: fprintf(stderr, "\tjae .LL%d\n", true_block); break;
-//			case IR_ULE: fprintf(stderr, "\tjbe .LL%d\n", true_block); break;
-//			case IR_UGT: fprintf(stderr, "\tja .LL%d\n", true_block); break;
+//
+			case IR_ULT:
+				if (swap) {
+					|	jp =>true_block
+				}
+				|	jb =>true_block
+				break;
+			case IR_UGE:
+				if (swap) {
+					|	jae =>true_block
+				} else if (!false_block) {
+					|	jp >1
+					|	jae =>true_block
+					|1:
+				} else {
+					|	jp =>false_block
+					|	jae =>true_block
+				}
+				break;
+			case IR_ULE:
+				if (swap) {
+					|	jp =>true_block
+				}
+				|	jbe =>true_block
+				break;
+			case IR_UGT:
+				if (swap) {
+					|	ja =>true_block
+				} else if (!false_block) {
+					|	jp >1
+					|	ja =>true_block
+					|1:
+				} else {
+					|	jp =>false_block
+					|	ja =>true_block
+				}
+				break;
 		}
 	}
 	if (false_block) {