isl_ast_codegen.c: create_node_scaled: reflect current domain slice in schedule
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 11 Apr 2013 15:36:38 +0000 (17:36 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 22 Apr 2013 07:38:19 +0000 (09:38 +0200)
commit13865c6789bbc047bf2541b32f646230c92570d5
treefc2ab51f80ae2c5961e7f14aec576c96ad83dc85
parentf4e69899128bc20f66eb3fe12ffbc73a9c29a537
isl_ast_codegen.c: create_node_scaled: reflect current domain slice in schedule

If we detect that a given schedule dimension has a fixed (possibly
parametric) value, then this value is recorded in the build and
the schedule dimension is eliminated.  This elimination process may
drop constraints on the part of the domain that we are currently considering,
which may cause all sorts of problems.  In particular, we may fail
to discover at the end of the AST generation that the original schedule
was single valued and insert spurious loops.

Plug in the value we found instead of simply eliminating the schedule
dimension.

Reported-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_ast_build.c
isl_ast_build_private.h
isl_ast_codegen.c
isl_test.c
test_inputs/codegen/cloog/thomasset.c
test_inputs/codegen/omega/lefur04-0.c
test_inputs/codegen/separation_class2.c
test_inputs/codegen/single_valued.c
test_inputs/codegen/unroll4.c