(vl-print-useset-report-top x mpv-warnings suppress-spuriousp suppress-unusedp suppress-unsetp suppress-typosp suppress-linputsp suppress-warningsp &key (ps 'ps)) → ps
Function:
(defun vl-print-useset-report-top-fn (x mpv-warnings suppress-spuriousp suppress-unusedp suppress-unsetp suppress-typosp suppress-linputsp suppress-warningsp ps) (declare (xargs :stobjs (ps))) (declare (xargs :guard (and (vl-useset-report-p x) (vl-warninglist-p mpv-warnings)))) (let ((__function__ 'vl-print-useset-report-top)) (declare (ignorable __function__)) (b* ((htmlp (vl-ps->htmlp)) ((mv fine probs) (vl-split-useset-report x nil nil)) (fine (mergesort fine)) (probs (mergesort probs)) ((mv spurious unused unset linputs) (vl-report-totals probs))) (if (not htmlp) (vl-ps-seq (vl-cw "--- REPORT BEGINS HERE -------------------------~%") (vl-cw "~%~x0 warning(s) for mp_verror:~%~%" (len mpv-warnings)) (if (atom mpv-warnings) ps (vl-ps-seq (vl-print-warnings mpv-warnings) (vl-println "") (vl-println ""))) (vl-cw "~%~%~x0 modules have a total of: ~% ~ - ~x1 spurious wires, ~% ~ - ~x2 unused wires, ~% ~ - ~x3 unset wires, and ~% ~ - ~x4 inputs used like inouts, ~%~%" (length probs) spurious unused unset linputs) (vl-print-useset-report-full-aux probs suppress-spuriousp suppress-unusedp suppress-unsetp suppress-typosp suppress-linputsp suppress-warningsp) (vl-cw "~x0 modules look fine (no wires to report):~%~%" (length fine)) (vl-print-strings-with-commas fine 3) (vl-println "") (vl-cw "--- REPORT ENDS HERE ---------------------------~%~%")) (vl-ps-seq (vl-println-markup "<div class=\"vl_use_set_full_report\">") (vl-print-markup "<h4 class=\"vl_use_set_prob_head\">") (vl-print (len probs)) (vl-print-markup " modules have a total of <b>") (vl-print spurious) (vl-print-markup "</b> spurious, <b>") (vl-print unused) (vl-print-markup "</b> unused, and <b>") (vl-print unset) (vl-println-markup "</b> unset wires</h4>") (vl-println-markup "<div class=\"vl_use_set_prob_list\">") (vl-print-useset-report-full-aux probs suppress-spuriousp suppress-unusedp suppress-unsetp suppress-typosp suppress-linputsp suppress-warningsp) (vl-println-markup "</div></div>") (vl-println-markup "</div>"))))))