Compute same-refs even if lambda-var-compute-same-refs is not set.

But do not reoptimize anything. or-eq-transform runs after :ir1-phases
and won't be able to request same-leaf-ref-p information.

src/compiler/constraint.lisp

@@ -1196,11 +1196,14 @@
                  ;; constraints for each increment.
                  (pushnew ref *blocks-to-terminate*))))
         ;; Find unchanged eql refs to a set variable.
-        (when (and (lambda-var-sets leaf)
-                   (lambda-var-compute-same-refs leaf))
+        (when (lambda-var-sets leaf)
           (let (mark
                 (old-mark (ref-same-refs ref))
                 (eq (lambda-var-eq-constraints leaf))
+                ;; It's cheap to compute but not cheap to reoptimize
+                ;; everything if it's not needed.
+                ;; Some transforms ask for same-leaf-ref-p after :ir1-phases.
+                (compute (lambda-var-compute-same-refs leaf))
                 reoptimize)
             (when eq
               (loop for other-ref in (leaf-refs leaf)
@@ -1211,8 +1214,9 @@
                            (unless mark
                              (setf mark (list 0))
                              (setf (ref-same-refs ref) mark))
-                           (unless (and old-mark
-                                        (eq old-mark (ref-same-refs other-ref)))
+                           (when (and compute
+                                       (not (and old-mark
+                                                 (eq old-mark (ref-same-refs other-ref)))))
                              (setf reoptimize t)
                              (reoptimize-lvar (node-lvar other-ref)))
                            (setf (ref-same-refs other-ref) mark)))))

xperfecthash63.lisp-expr

@@ -2031,5 +2031,8 @@
 (#(7FD94 39750D5C 42D83FFB 5F84C345 72E2CBDA EBF09BC1)
  "(:ALLOW-OTHER-KEYS :Y-TYPE :X-TYPE :SAME-LEAF-NOT-COMPLEX :INTEGER :COMPLEX-P)"
  "(  (& (- (>> val 4) (>> val 12)) 7))")
+(#(235ED22C 2BCE7F62 611D1FAD 75E7305A 80D0C591 AC841474 D0F360C2 D2F86037)
+ "(FLOAT RATIONAL REAL LONG-FLOAT DOUBLE-FLOAT SINGLE-FLOAT SHORT-FLOAT *)"
+ "(  (& (- (>> val 11) (>> val 15)) 7))")
 )
 ;; EOF