Don't simplify 'equal?' to 'eq?' when constant is an *inexact* small integer.

* module/language/tree-il/primitives.scm (*primitive-expand-table*):
  Refine test for fixnums to verify that the small integer is exact.

* test-suite/tests/tree-il.test ("primitives"): Add test.

diff --git a/module/language/tree-il/primitives.scm b/module/language/tree-il/primitives.scm
index dc0a145..0c5b085 100644 (file)
--- a/module/language/tree-il/primitives.scm
+++ b/module/language/tree-il/primitives.scm
@@ -509,6 +509,7 @@
                               (eq? #nil v)
                               (symbol? v)
                               (and (integer? v)
+                                   (exact? v)
                                    (<= v most-positive-fixnum)
                                    (>= v most-negative-fixnum)))
                           (make-application src (make-primitive-ref #f 'eq?)

diff --git a/test-suite/tests/tree-il.test b/test-suite/tests/tree-il.test
index bb7f908..0a53037 100644 (file)
--- a/test-suite/tests/tree-il.test
+++ b/test-suite/tests/tree-il.test
@@ -106,6 +106,10 @@
    (apply (primitive equal?) (const 42) (toplevel x))
    (apply (primitive eq?) (const 42) (toplevel x)))
 
+  (pass-if-primitives-resolved
+   (apply (primitive equal?) (const 42.0) (toplevel x))
+   (apply (primitive equal?) (const 42.0) (toplevel x)))
+
   (pass-if-primitives-resolved
    (apply (primitive equal?) (const #nil) (toplevel x))
    (apply (primitive eq?) (const #nil) (toplevel x))))