Extract the vl-expr-striped outputs from each module instance.
(vl-modinstlist-fixed-up-outs x) → *
Function:
(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))))))