tree a698bc5651ba9120783432e28bb283537664fde3
parent dfb36d102ff76a55d130b33fad7791dd2108db9c
author Matthias Boehm <mboehm7@gmail.com> 1593280736 +0200
committer Matthias Boehm <mboehm7@gmail.com> 1593280736 +0200

[SYSTEMDS-416] Lineage deduplication (while, nested if, robustness)

This patch makes a major refactoring of the lineage deduplication
framework, including removed indirections and support for while loops
and nested if program blocks. We now drop support for nested loops but
this is fine as they are anyway split into many items and the biggest
benefit comes from the last-level loop. In contrast, nested if blocks
are critical in practice and this required a more generic collection of
the lineage patches for all distinct paths (which we still do in a
single pass over the loop body program). Additionally, we now support
while loops with an integration very similar to for loops.