Skip to content
Snippets Groups Projects

Add flags that allow for optional inclusion of stack frame info tables and info tables with defaulted source locations in the info table map

Closed Add flags that allow for optional inclusion of stack frame info tables and info tables with defaulted source locations in the info table map
wip/t23702 into master
Closed Finley McIlwaine requested to merge wip/t23702 into master
  1. Aug 09, 2023
    • Finley McIlwaine's avatar
      Add -finfo-table-map-with-fallback -finfo-table-map-with-stack · 119c1268
      Finley McIlwaine authored 
      The -fno-info-table-map-with-stack flag omits STACK info tables from the info
table map, and the -fno-info-table-map-with-fallback flag omits info tables
with defaulted source locations from the map. In a test on the Agda codebase
the build results were about 7% smaller when both of those types of tables
were omitted.

Adds a test that verifies that passing each combination of these flags
results in the correct output for -dipe-stats, which is disabled for the js
backend since profiling is not implemented.

This commit also refactors a lot of the logic around extracting info tables
from the Cmm results and building the info table map.

This commit also fixes some issues in the users guide rst source to fix
warnings that were noticed while debugging the documentation for these flags.

Fixes #23702
      119c1268
    • Finley McIlwaine's avatar
      Add -dipe-stats flag · ad6142e1
      Finley McIlwaine authored 
      This is useful for seeing which info tables have information.
      ad6142e1