Skip to content
Snippets Groups Projects
  1. Aug 16, 2023
  2. Aug 15, 2023
  3. Aug 14, 2023
  4. Aug 10, 2023
    • Finley McIlwaine's avatar
      Add -finfo-table-map-with-fallback -finfo-table-map-with-stack · 261c4acb
      Finley McIlwaine authored and Marge Bot's avatar Marge Bot committed
      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
      261c4acb
    • Finley McIlwaine's avatar
      Add -dipe-stats flag · cc52c358
      Finley McIlwaine authored and Marge Bot's avatar Marge Bot committed
      This is useful for seeing which info tables have information.
      cc52c358
    • Sven Tennie's avatar
      Document entertainGC in test · 8d8426c9
      Sven Tennie authored and Marge Bot's avatar Marge Bot committed
      It wasn't obvious why it's there and what its role is.
      
      Also, increase the "entertainment level" a bit.
      
      I checked in STG and Cmm dumps that this really generates closures (and
      is not e.g. constant folded away.)
      8d8426c9
    • Sven Tennie's avatar
      Make closure boxing pure · d4c2c1af
      Sven Tennie authored and Marge Bot's avatar Marge Bot committed
      There seems to be no need to do something complicated. However, the
      strictness of the closure pointer matters, otherwise a thunk gets
      decoded.
      d4c2c1af
Loading