summaryrefslogtreecommitdiff
path: root/testsuite/tests/driver/T16318
diff options
context:
space:
mode:
authornineonine <mail4chemik@gmail.com>2021-05-17 11:25:53 -0700
committernineonine <mail4chemik@gmail.com>2021-11-23 22:32:51 -0800
commit1669037430f968dd25a6339edfc95d6091974b61 (patch)
tree80984faf0fc3c1322d12b016fdaea385a1ab5e8d /testsuite/tests/driver/T16318
parent9dcb2ad15df54e209cfae3dd1f51cf8e8d6c69d5 (diff)
downloadhaskell-1669037430f968dd25a6339edfc95d6091974b61.tar.gz
Combine STG free variable traversals (#17978)
Previously we would traverse the STG AST twice looking for free variables. * Once in `annTopBindingsDeps` which considers top level and imported ids free. Its output is used to put bindings in dependency order. The pass happens in STG pipeline. * Once in `annTopBindingsFreeVars` which only considers non-top level ids free. Its output is used by the code generator to compute offsets into closures. This happens in Cmm (CodeGen) pipeline. Now these two traversal operations are merged into one - `FVs.depSortWithAnnotStgPgm`. The pass happens right at the end of STG pipeline. Some type signatures had to be updated due to slight shifts of StgPass boundaries (for example, top-level CodeGen handler now directly works with CodeGen flavoured Stg AST instead of Vanilla). Due to changed order of bindings, a few debugger type reconstruction bugs have resurfaced again (see tests break018, break021) - work item #18004 tracks this investigation. authors: simonpj, nineonine
Diffstat (limited to 'testsuite/tests/driver/T16318')
0 files changed, 0 insertions, 0 deletions