+
+;; The template above is a very good fallback for the generic
+;; case. However, it is sometimes possible to perform unboxed
+;; comparisons. Repurpose char= and eql templates here, instead
+;; of forcing values to be boxed and then compared.
+;;
+;; We only weaken EQL => EQ for characters and fixnums, and detect
+;; when types definitely mismatch. No need to import other EQL
+;; VOPs (e.g. floats).
+(macrolet ((def (eq-name eql-name cost)
+ `(define-vop (,eq-name ,eql-name)
+ (:translate eq)
+ (:variant-cost ,cost))))
+ (def fast-if-eq-character fast-char=/character 3)
+ (def fast-if-eq-character/c fast-char=/character/c 2)
+ (def fast-if-eq-fixnum fast-eql/fixnum 3)
+ (def fast-if-eq-fixnum/c fast-eql-c/fixnum 2)
+ (def fast-if-eq-signed fast-if-eql/signed 5)
+ (def fast-if-eq-signed/c fast-if-eql-c/signed 4)
+ (def fast-if-eq-unsigned fast-if-eql/unsigned 5)
+ (def fast-if-eq-unsigned/c fast-if-eql-c/unsigned 4))