Vl-iskips-report
- Signature
(vl-iskips-report iskips) → *
- Arguments
- iskips — Guard (vl-includeskips-p iskips).
Definitions and Theorems
Function: vl-iskips-report
(defun vl-iskips-report (iskips)
(declare (xargs :guard (vl-includeskips-p iskips)))
(let ((__function__ 'vl-iskips-report))
(declare (ignorable __function__))
(b* (((mv lines totalbytes
totalsavings totalmisses totalhits)
(vl-includeskips-report-gather
(fast-alist-free (fast-alist-clean iskips))
nil 0 0 0 0))
(lines (rev (mergesort lines))))
(cw "Included files report:~%")
(cw " - Bytes read due to includes: ~x0~%"
totalbytes)
(cw " - Bytes saved due to multi-include optimization: ~x0~%"
totalsavings)
(cw
" - MI stats: ~x0 hits, ~x1 misses (including first-time reads).~%"
totalhits totalmisses)
(cw "Details:~% ~x0~%~%" lines))))
