| commit | d091597e4a8c3644ede04c8f072af08175238085 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 9 Mar 2013 20:19:13 +0000 (9 21:19 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 10 Mar 2013 15:43:03 +0000 (10 16:43 +0100) | ||
| tree | 1c39ea7fce1e157c6f7920313577a1fd28b4cfd8 | treesnapshot (tar.gz zip) |
| parent | 9e01482d12e48c160f18cdee75508abcf195788e | commitdiff |
isl_ast_build_ast_from_schedule: avoid introducing iterator in hoisted condition
ast_graft_list_fuse was being passed the build of the inner level from
create_node_scaled, which could result in the current loop iterator
getting introduced in the hoisted condition.
Since we need the inner build for simplifying the expressions generated
from the conditions that are not hoisted out, we now pass two builds
to ast_graft_list_fuse.
Reported-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
ast_graft_list_fuse was being passed the build of the inner level from
create_node_scaled, which could result in the current loop iterator
getting introduced in the hoisted condition.
Since we need the inner build for simplifying the expressions generated
from the conditions that are not hoisted out, we now pass two builds
to ast_graft_list_fuse.
Reported-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_ast_codegen.c | diffblobblamehistory | |
| isl_ast_graft.c | diffblobblamehistory | |
| isl_ast_graft_private.h | diffblobblamehistory | |
| test_inputs/codegen/hoist2.c | [new file with mode: 0644] | blob |
| test_inputs/codegen/hoist2.in | [new file with mode: 0644] | blob |