		Search-engine friendly clone of the ACL2 documentation.

Vl-maybe-warn-dupeinst

Vl-modinstlist-fixed-up-outs

Extract the vl-expr-striped outputs from each module instance.

Signature
(vl-modinstlist-fixed-up-outs x) → *
Arguments: x — Guard (vl-modinstlist-p x).

Definitions and Theorems

Function: vl-modinstlist-fixed-up-outs

(defun vl-modinstlist-fixed-up-outs (x)
  (declare (xargs :guard (vl-modinstlist-p x)))
  (let ((__function__ 'vl-modinstlist-fixed-up-outs))
    (declare (ignorable __function__))
    (b* (((when (atom x)) nil)
         ((vl-modinst x1) (car x))
         ((when (eq (vl-arguments-kind x1.portargs)
                    :vl-arguments-named))
          (raise "expected resolved args"))
         ((mv ?inputs outputs ?inouts ?unknowns)
          (vl-partition-plainargs (vl-arguments->args x1.portargs)
                                  nil nil nil nil))
         (outexprs (vl-plainarglist->exprs outputs))
         (fixed-outexprs (if (member nil outexprs)
                             outexprs
                           (vl-exprlist-strip outexprs))))
      (cons fixed-outexprs
            (vl-modinstlist-fixed-up-outs (cdr x))))))