Add AST expression builder functions for comparisons
commit2cbfd6179e9cf5c059c167b7be5c0ac8ea336dc3
authorJohannes Doerfert <doerfert@cs.uni-saarland.de>
Sun, 10 Aug 2014 04:08:42 +0000 (9 21:08 -0700)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 15 Sep 2014 15:40:03 +0000 (15 17:40 +0200)
treea9d69ee1946fdedff0cb0bb8a54985cb4b88a4e4
parent678cade13677700169c3daff817bd058d2dd4cbe
Add AST expression builder functions for comparisons

Expose the comparison isl AST expressions to the user. This functionality
allows the user to combine multiple isl_ast_expr objects into a single one
representing the result of a logical comparison between them. It is
especially useful when we translate the resulting isl_ast_expr later into
another representation, e.g., LLVM-IR in Polly's runtime alias checks.

Signed-off-by: Johannes Doerfert <doerfert@cs.uni-saarland.de>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc/user.pod
include/isl/ast.h
isl_ast.c