anchor.diff:  ;;; Methods on TRANSLATE-BRANCH-INSTRUCTION.
   
   (defmethod translate-branch-instruction
  -    ((instruction cleavir-mir:eq-instruction) inputs outputs successors)
  +    ((instruction cleavir-ir:eq-instruction) inputs outputs successors)
     `(if (eq ,(first inputs) ,(second inputs))
          (go ,(gethash (first successors) *tags*))
          (go ,(gethash (second successors) *tags*))))
   
   (defmethod translate-branch-instruction
  -    ((instruction cleavir-mir:typeq-instruction) inputs outputs successors)
  -  `(if (typep ,(first inputs) ',(cleavir-mir:value-type instruction))
  -       (go ,(gethash (first successors) *tags*))
  -       (go ,(gethash (second successors) *tags*))))
  -
  -(defmethod translate-branch-instruction
  -    ((instruction cleavir-mir:fixnum-add-instruction) inputs outputs successors)
  +    ((instruction cleavir-ir:typeq-instruction) inputs outputs successors)
  +  `(if (typep ,(first inputs) ',(cleavir-ir:value-type instruction))
  +       (go ,(gethash (first successors) *tags*))
  +       (go ,(gethash (second successors) *tags*))))
  +
  +(defmethod translate-branch-instruction
  +    ((instruction cleavir-ir:fixnum-add-instruction) inputs outputs successors)
     (let ((result (gensym)))
       `(let ((,result (+ ,(first inputs) ,(second inputs))))
          (cond ((typep result 'fixnum)
  
positive.code: 		     collect temp)))))
  
  (defmethod translate-simple-instruction
      ((instruction cleavir-mir:tailcall-instruction) inputs outputs)
    (declare (ignore outputs))
    `(return (funcall ,(first inputs) ,@(rest inputs))))
  
  (defmethod translate-simple-instruction
      ((instruction cleavir-mir:the-instruction) inputs outputs)
    (declare (ignore outputs))
    `(unless (typep ,(first inputs) ',(cleavir-mir:value-type instruction))
       (error 'type-error
  	    :expected-type ',(cleavir-mir:value-type instruction)
  	    :datum ,(first inputs))))
  
  (defmethod translate-simple-instruction
      ((instruction cleavir-mir:fdefinition-instruction) inputs outputs)
    `(setq ,(first outputs)
  	 (fdefinition ,(first inputs))))
  
  (defmethod translate-simple-instruction
      ((instruction cleavir-mir:car-instruction) inputs outputs)
    `(setq ,(first outputs)
  	 (car ,(first inputs))))
  
  (defmethod translate-simple-instruction
      ((instruction cleavir-mir:cdr-instruction) inputs outputs)
    `(setq ,(first outputs)
  	 (cdr ,(first inputs))))
  
  (defmethod translate-simple-instruction
      ((instruction cleavir-mir:rplaca-instruction) inputs outputs)
    (declare (ignore outputs))
    `(rplaca ,(first inputs) ,(second inputs)))
  
  (defmethod translate-simple-instruction
      ((instruction cleavir-mir:rplacd-instruction) inputs outputs)
    (declare (ignore outputs))
    `(rplacd ,(first inputs) ,(second inputs)))
  
  (defmethod translate-simple-instruction
      ((instruction cleavir-mir:t-aref-instruction) inputs outputs)
    `(setq ,(first outputs)
  	 (row-major-aref ,(first inputs) ,(second inputs))))
  
  (defmethod translate-simple-instruction
      ((instruction cleavir-mir:bit-aref-instruction) inputs outputs)
    `(setq ,(first outputs)
  	 (row-major-aref ,(first inputs) ,(second inputs))))
  
  (defmethod translate-simple-instruction
      ((instruction cleavir-mir:unsigned-byte-8-aref-instruction) inputs outputs)
    `(setq ,(first outputs)
  	 (row-major-aref ,(first inputs) ,(second inputs))))
  
  (defmethod translate-simple-instruction
      ((instruction cleavir-mir:short-float-aref-instruction) inputs outputs)
    `(setq ,(first outputs)
  	 (row-major-aref ,(first inputs) ,(second inputs))))
  
  (defmethod translate-simple-instruction
      ((instruction cleavir-mir:single-float-aref-instruction) inputs outputs)
    `(setq ,(first outputs)
  	 (row-major-aref ,(first inputs) ,(second inputs))))
  
  (defmethod translate-simple-instruction
      ((instruction cleavir-mir:double-float-aref-instruction) inputs outputs)
    `(setq ,(first outputs)
  	 (row-major-aref ,(first inputs) ,(second inputs))))
  
  (defmethod translate-simple-instruction
      ((instruction cleavir-mir:long-float-aref-instruction) inputs outputs)
    `(setq ,(first outputs)
  	 (row-major-aref ,(first inputs) ,(second inputs))))
  
  (defmethod translate-simple-instruction
      ((instruction cleavir-mir:t-aset-instruction) inputs outputs)
    (declare (ignore outputs))
    `(setf (row-major-aref ,(first inputs) ,(second inputs))
  	 ,(third inputs)))
  
  (defmethod translate-simple-instruction
      ((instruction cleavir-mir:bit-aset-instruction) inputs outputs)
    (declare (ignore outputs))
    `(setf (row-major-aref ,(first inputs) ,(second inputs))
  	 ,(third inputs)))
  
  (defmethod translate-simple-instruction
      ((instruction cleavir-mir:unsigned-byte-8-aset-instruction) inputs outputs)
    (declare (ignore outputs))
    `(setf (row-major-aref ,(first inputs) ,(second inputs))
  	 ,(third inputs)))
  
  (defmethod translate-simple-instruction
      ((instruction cleavir-mir:short-float-aset-instruction) inputs outputs)
    (declare (ignore outputs))
    `(setf (row-major-aref ,(first inputs) ,(second inputs))
  	 ,(third inputs)))
  
  (defmethod translate-simple-instruction
      ((instruction cleavir-mir:single-float-aset-instruction) inputs outputs)
    (declare (ignore outputs))
    `(setf (row-major-aref ,(first inputs) ,(second inputs))
  	 ,(third inputs)))
  
  (defmethod translate-simple-instruction
      ((instruction cleavir-mir:double-float-aset-instruction) inputs outputs)
    (declare (ignore outputs))
    `(setf (row-major-aref ,(first inputs) ,(second inputs))
  	 ,(third inputs)))
  
  (defmethod translate-simple-instruction
      ((instruction cleavir-mir:long-float-aset-instruction) inputs outputs)
    (declare (ignore outputs))
    `(setf (row-major-aref ,(first inputs) ,(second inputs))
  	 ,(third inputs)))
  
negative.code: 	      (go ,(gethash (second successors) *tags*)))))))
  
  (defmethod translate-branch-instruction
      ((instruction cleavir-ir:fixnum-sub-instruction) inputs outputs successors)
    (let ((result (gensym)))
      `(let ((,result (- ,(first inputs) ,(second inputs))))
         (cond ((typep result 'fixnum)
  