| commit | 3c91f0197f98718cfc60f370ff2bc1c998e2238f | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 15 Oct 2013 15:06:22 +0000 (15 17:06 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 16 Aug 2014 14:07:26 +0000 (16 16:07 +0200) | ||
| tree | b7e9fffa385d2e570fce81aa18bb6f8d3a17ed8d | treesnapshot (tar.gz zip) |
| parent | c0e4cb3c2de3a1727c471598379ea0c6eb0dcee9 | commitdiff |
AST generator: perform more aggressive guard hoisting
In particular, take into account both enforced constraints and
constraints that still need to be generated while
looking for hoistable guards. This allows us to hoist guards
that are only explicit in some of the grafts and implicit in
the others (through the enforced or pending constraints).
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
In particular, take into account both enforced constraints and
constraints that still need to be generated while
looking for hoistable guards. This allows us to hoist guards
that are only explicit in some of the grafts and implicit in
the others (through the enforced or pending constraints).
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>