Function: comp--maybe-add-vmvar

comp--maybe-add-vmvar is a byte-compiled function defined in comp.el.gz.

Signature

(comp--maybe-add-vmvar OP CMP-RES INSNS-SEQ)

Documentation

If CMP-RES is clobbering OP emit a new constrained mvar and return it.

Return OP otherwise.

Source Code

;; Defined in /usr/src/emacs/lisp/emacs-lisp/comp.el.gz
(defun comp--maybe-add-vmvar (op cmp-res insns-seq)
  "If CMP-RES is clobbering OP emit a new constrained mvar and return it.
Return OP otherwise."
  (if-let* ((match (eql (comp-mvar-slot op) (comp-mvar-slot cmp-res)))
            (new-mvar (make--comp-mvar
                       :slot
                       (- (incf (comp-func-vframe-size comp-func))))))
      (progn
        (push `(assume ,new-mvar ,op) (cdr insns-seq))
        new-mvar)
    op))