Don't treat '=' as simple equality emitting constraints (bug#46812)

Extend assumes allowing the following form

(assume dst (= src1 src2))

to caputure '=' semanting during fwprop handling float integer
conversions.

	* lisp/emacs-lisp/comp.el (comp-equality-fun-p): Don't treat '=' as
	simple equality.
	(comp-arithm-cmp-fun-p, comp-negate-arithm-cmp-fun)
	(comp-reverse-arithm-fun): Rename and add '=' '!='.
	(comp-emit-assume, comp-add-cond-cstrs, comp-fwprop-insn): Update
	for new function nameing and to handle '='.
	* lisp/emacs-lisp/comp-cstr.el (comp-cstr-=): New function.
	* test/src/comp-tests.el (comp-tests-type-spec-tests): Add a bunch
	of '=' specific tests.

1 files changed, 41 insertions, 6 deletions

diff --git a/test/src/comp-tests.el b/test/src/comp-tests.el
index 402ba7cd8b8..0598eeeb05d 100644
--- a/test/src/comp-tests.el
+++ b/test/src/comp-tests.el
@@ -891,24 +891,24 @@ Return a list of results."
 
       ;; 10
       ((defun comp-tests-ret-type-spec-f (x)
-         (if (= x 3)
+         (if (eql x 3)
              x
            'foo))
        (or (member foo) (integer 3 3)))
 
       ;; 11
       ((defun comp-tests-ret-type-spec-f (x)
-         (if (= 3 x)
+         (if (eql 3 x)
              x
            'foo))
        (or (member foo) (integer 3 3)))
 
       ;; 12
       ((defun comp-tests-ret-type-spec-f (x)
-         (if (= x 3)
+         (if (eql x 3)
              'foo
            x))
-       (or (member foo) marker number))
+       (not (integer 3 3)))
 
       ;; 13
       ((defun comp-tests-ret-type-spec-f (x y)
@@ -1214,7 +1214,7 @@ Return a list of results."
       ;; 57
       ((defun comp-tests-ret-type-spec-f (x)
          (unless (or (eq x 'foo)
-                     (= x 3))
+                     (eql x 3))
            (error "Not foo or 3"))
          x)
        (or (member foo) (integer 3 3)))
@@ -1244,7 +1244,42 @@ Return a list of results."
                              (>= x y))
              x
            (error "")))
-       (or float (integer 3 10)))))
+       (or float (integer 3 10)))
+
+      ;; 61
+      ((defun comp-tests-ret-type-spec-f (x)
+         (if (= x 1.0)
+             x
+           (error "")))
+       (or (member 1.0) (integer 1 1)))
+
+      ;; 62
+      ((defun comp-tests-ret-type-spec-f (x)
+         (if (= x 1.0)
+             x
+           (error "")))
+       (or (member 1.0) (integer 1 1)))
+
+      ;; 63
+      ((defun comp-tests-ret-type-spec-f (x)
+         (if (= x 1.1)
+             x
+           (error "")))
+       (member 1.1))
+
+      ;; 64
+      ((defun comp-tests-ret-type-spec-f (x)
+         (if (= x 1)
+             x
+           (error "")))
+       (or (member 1.0) (integer 1 1)))
+
+      ;; 65
+      ((defun comp-tests-ret-type-spec-f (x)
+         (if (= x 1)
+             x
+           (error "")))
+       (or (member 1.0) (integer 1 1)))))
 
   (defun comp-tests-define-type-spec-test (number x)
     `(comp-deftest ,(intern (format "ret-type-spec-%d" number)) ()