• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
      • Gl
      • Esim
      • Vl2014
      • Sv
      • Fgl
      • Vwsim
      • Vl
        • Syntax
        • Loader
          • Preprocessor
            • Vl-iframe
            • Preprocessor-ifdef-minutia
            • Vl-preprocess
            • Vl-preprocess-loop
            • Vl-includeskips
              • Vl-includeskips-p
              • Vl-includeskips-fix
              • Vl-iskipinfo
                • Vl-iskipinfo-fix
                • Vl-iskipinfo-equiv
                • Make-vl-iskipinfo
                • Vl-iskipinfo->controller
                • Vl-iskipinfo->misses
                • Vl-iskipinfo->hits
                • Change-vl-iskipinfo
                • Vl-iskipinfo->len
                • Vl-iskipinfo-p
              • Vl-match-proper-header-file-start-2
              • Vl-match-proper-header-file-start-1
              • Vl-multiple-include-begin
              • Vl-includeskips-equiv
              • Vl-includeskips-record-miss
              • Vl-includeskips-install-controller
              • Vl-includeskips-record-hit
              • Vl-skip-whitespace/comments
            • Vl-read-until-end-of-define
            • Vl-define-formallist->defaults
            • Vl-define
            • Vl-expand-define
            • Vl-read-include
            • Vl-substitute-into-macro-text
            • Vl-process-ifdef
            • Ppst
            • Vl-read-define-default-text
            • Vl-process-define
            • Preprocessor-include-minutia
            • Vl-trim-for-preproc
            • Vl-line-up-define-formals-and-actuals
            • Vl-process-undef
            • Vl-split-define-text
            • Vl-def-context
            • Vl-process-endif
            • Scan-backward-for-non-whitespace
            • Vl-ifdef-context
            • Scan-backward-for-whitespace
            • Vl-atvl-atts-text
            • Scan-for-non-whitespace
            • Vl-check-remaining-formals-all-have-defaults
            • Vl-process-else
            • Vl-is-compiler-directive-p
            • Vl-includeskips-controller-lookup
            • Vl-ifdef-use-map
            • Vl-defines
            • Vl-def-use-map
            • Vl-nice-bytes
            • Vl-safe-previous-n
            • Vl-safe-next-n
            • Vl-ppst-pad
            • Vl-filename-to-string-literal
            • Vl-maybe-update-filemap
            • *vl-preprocess-clock*
            • Vl-ppst->warnings
            • Vl-ppst->iskips
            • Vl-ppst->ifdefmap
            • Vl-ppst->idcache
            • Vl-istack
            • Vl-ppst->istack
            • Vl-ppst->includes
            • Vl-ppst->filemap
            • Vl-ppst->defmap
            • Vl-ppst->defines
            • Vl-ppst->config
            • Vl-ppst->bytes
            • Vl-ppst->activep
            • Vl-ppst->acc
            • Vl-ppst-record-ifdef-use
            • Vl-ppst-record-def-use
            • Vl-ifdef-context-list
            • Vl-def-context-list
            • Vl-ppst-update-warnings
            • Vl-ppst-update-istack
            • Vl-ppst-update-iskips
            • Vl-ppst-update-includes
            • Vl-ppst-update-ifdefmap
            • Vl-ppst-update-idcache
            • Vl-ppst-update-filemap
            • Vl-ppst-update-defmap
            • Vl-ppst-update-defines
            • Vl-ppst-update-config
            • Vl-ppst-update-activep
            • Vl-ppst-update-bytes
            • Vl-ppst-update-acc
            • Vl-ppst-unsound-nreverse-acc
          • Vl-loadconfig
          • Vl-loadstate
          • Lexer
          • Parser
          • Vl-load-merge-descriptions
          • Vl-find-basename/extension
          • Vl-load-file
          • Vl-loadresult
          • Scope-of-defines
          • Vl-find-file
          • Vl-flush-out-descriptions
          • Vl-description
          • Vl-read-file
          • Vl-includeskips-report-gather
          • Vl-load-main
          • Extended-characters
          • Vl-load
          • Vl-load-description
          • Vl-descriptions-left-to-load
          • Inject-warnings
          • Vl-preprocess-debug
          • Vl-write-preprocessor-debug-file
          • Vl-read-file-report-gather
          • Vl-load-descriptions
          • Vl-load-files
          • Translate-off
          • Vl-load-read-file-hook
          • Vl-read-file-report
          • Vl-loadstate-pad
          • Vl-load-summary
          • Vl-collect-modules-from-descriptions
          • Vl-loadstate->warnings
          • Vl-iskips-report
          • Vl-descriptionlist
        • Warnings
        • Getting-started
        • Utilities
        • Printer
        • Kit
        • Mlib
        • Transforms
      • X86isa
      • Svl
      • Rtl
    • Software-verification
    • Math
    • Testing-utilities
  • Vl-includeskips

Vl-iskipinfo

Information about the multiple-include status of an individual file.

This is a product type introduced by defprod.

Fields
controller — maybe-string
NIL if this file does not have a proper include guard, or the name of the controlling define otherwise.
misses — vl-locationlist
For evaluating multiple-include optimization effectiveness. This is a list of places where this file is `included and is actually being loaded from disk. For files that follow proper include-guard discipline, this should end up being a singleton list with only the initial `include of the file. For files that don't follow the include-guard discipline but are included multiple times, it may be a longer list.
hits — vl-locationlist
For evaluating multiple-include optimization effectiveness. This is a list of places where this file is being `included from but where we don't bother reloading it thanks to MI optimization.
len — natp
Length of this file in characters. Possibly of interest for evaluating multiple-include effectiveness.

Subtopics

Vl-iskipinfo-fix
Fixing function for vl-iskipinfo structures.
Vl-iskipinfo-equiv
Basic equivalence relation for vl-iskipinfo structures.
Make-vl-iskipinfo
Basic constructor macro for vl-iskipinfo structures.
Vl-iskipinfo->controller
Get the controller field from a vl-iskipinfo.
Vl-iskipinfo->misses
Get the misses field from a vl-iskipinfo.
Vl-iskipinfo->hits
Get the hits field from a vl-iskipinfo.
Change-vl-iskipinfo
Modifying constructor for vl-iskipinfo structures.
Vl-iskipinfo->len
Get the len field from a vl-iskipinfo.
Vl-iskipinfo-p
Recognizer for vl-iskipinfo structures.