isl_ast_build: stop keeping track of single-valuedness
commit22ad7216d5819b414a0bd2a10053440aec69fd8e
authorSven Verdoolaege <sven@cerebras.net>
Fri, 2 Jul 2021 15:25:35 +0000 (2 17:25 +0200)
committerSven Verdoolaege <sven@cerebras.net>
Sun, 28 Jan 2024 12:51:59 +0000 (28 13:51 +0100)
treea6bf7cb1051cbcda694bfb0a90823918f4200952
parent3aa9d1b5d8a8844e218a9c884e51476157777f9b
isl_ast_build: stop keeping track of single-valuedness

This mechanism was introduced in isl-0.11.1-7-g076a978c43
(isl_ast_codegen.c: generate_domain: avoid infinite recursion,
Tue Feb 19 16:46:33 2013 +0100) to keep track of the fact
that the ungisted inverse schedule is necessarily single-valued.
Since the gisting of the inverse schedule was removed
in the previous commit, this property was no longer inspected and
so it can be removed completely.

Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
isl_ast_build.c
isl_ast_build_private.h
isl_ast_codegen.c