anchor.diff:  ;;; Methods on TRANSLATE-SIMPLE-INSTRUCTION.
   
   (defmethod translate-simple-instruction
  +    ((instruction cleavir-mir:enclose-instruction) inputs outputs)
  +  (declare (ignore inputs))
  +  `(setq ,(first outputs)
  +	 ,(layout-procedure (cleavir-mir:code instruction))))
  +
  +(defmethod translate-simple-instruction
       ((instruction cleavir-mir:assignment-instruction) inputs outputs)
     `(setq ,(first outputs) ,(first inputs)))
   
  
positive.code:     `(let ((,result (+ ,(first inputs) ,(second inputs))))
         (cond ((typep result 'fixnum)
  	      (setq ,(first outputs) ,result)
  	      (go ,(first successors)))
  	     ((plusp ,result)
  	      (setq ,(first outputs)
  		    (+ ,result (* 2 most-negative-fixnum)))
  	      (go ,(second successors)))
  	     (t
  	      (setq ,(first outputs)
  		    (- ,result (* 2 most-negative-fixnum)))
  	      (go ,(second successors)))))))
  
  (defmethod translate-branch-instruction
      ((instruction cleavir-mir:fixnum-sub-instruction) inputs outputs successors)
  
negative.code:     `(let ((,result (- ,(first inputs) ,(second inputs))))
         (cond ((typep result 'fixnum)
  	      (setq ,(first outputs) ,result)
  	      (go ,(gethash (first successors) *tags*)))
  	     ((plusp ,result)
  	      (setq ,(first outputs)
  		    (+ ,result (* 2 most-negative-fixnum)))
  	      (go ,(gethash (second successors) *tags*)))
  	     (t
  	      (setq ,(first outputs)
  		    (- ,result (* 2 most-negative-fixnum)))
  	      (go ,(gethash (second successors) *tags*)))))))
  
  (defmethod translate-branch-instruction
      ((instruction cleavir-mir:fixnum-less-instruction) inputs outputs successors)
    (declare (ignore outputs))
    `(if (< ,(first inputs) ,(second inputs))
         (go ,(gethash (first successors) *tags*))
         (go ,(gethash (second successors) *tags*))))
  
  (defmethod translate-branch-instruction
      ((instruction cleavir-mir:fixnum-not-greater-instruction) inputs outputs successors)
    (declare (ignore outputs))
    `(if (<= ,(first inputs) ,(second inputs))
         (go ,(gethash (first successors) *tags*))
         (go ,(gethash (second successors) *tags*))))
  
  (defmethod translate-branch-instruction
      ((instruction cleavir-mir:fixnum-equal-instruction) inputs outputs successors)
    (declare (ignore outputs))
    `(if (= ,(first inputs) ,(second inputs))
         (go ,(gethash (first successors) *tags*))
         (go ,(gethash (second successors) *tags*))))
  