[polly] r297708 - Update to isl-0.18-369-g5e613c6
Tobias Grosser via llvm-commits
llvm-commits at lists.llvm.org
Tue Mar 14 00:33:34 PDT 2017
Author: grosser
Date: Tue Mar 14 02:33:26 2017
New Revision: 297708
URL: http://llvm.org/viewvc/llvm-project?rev=297708&view=rev
Log:
Update to isl-0.18-369-g5e613c6
This is a regular maintenance update.
Removed:
polly/trunk/lib/External/isl/include/isl-noexceptions.h
Modified:
polly/trunk/lib/External/isl/GIT_HEAD_ID
polly/trunk/lib/External/isl/doc/user.pod
polly/trunk/lib/External/isl/include/isl/space.h
polly/trunk/lib/External/isl/isl_aff.c
polly/trunk/lib/External/isl/isl_flow.c
polly/trunk/lib/External/isl/isl_fold.c
polly/trunk/lib/External/isl/isl_map.c
polly/trunk/lib/External/isl/isl_map_simplify.c
polly/trunk/lib/External/isl/isl_multi_templ.c
polly/trunk/lib/External/isl/isl_polynomial.c
polly/trunk/lib/External/isl/isl_pw_templ.c
polly/trunk/lib/External/isl/isl_space.c
polly/trunk/lib/External/isl/isl_space_private.h
polly/trunk/lib/External/isl/isl_union_map.c
polly/trunk/lib/External/isl/isl_union_templ.c
Modified: polly/trunk/lib/External/isl/GIT_HEAD_ID
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/External/isl/GIT_HEAD_ID?rev=297708&r1=297707&r2=297708&view=diff
==============================================================================
--- polly/trunk/lib/External/isl/GIT_HEAD_ID (original)
+++ polly/trunk/lib/External/isl/GIT_HEAD_ID Tue Mar 14 02:33:26 2017
@@ -1 +1 @@
-isl-0.18-356-g0b05d01
+isl-0.18-369-g5e613c6
Modified: polly/trunk/lib/External/isl/doc/user.pod
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/External/isl/doc/user.pod?rev=297708&r1=297707&r2=297708&view=diff
==============================================================================
--- polly/trunk/lib/External/isl/doc/user.pod (original)
+++ polly/trunk/lib/External/isl/doc/user.pod Tue Mar 14 02:33:26 2017
@@ -957,6 +957,9 @@ Spaces can be compared using the followi
#include <isl/space.h>
isl_bool isl_space_is_equal(__isl_keep isl_space *space1,
__isl_keep isl_space *space2);
+ isl_bool isl_space_has_equal_params(
+ __isl_keep isl_space *space1,
+ __isl_keep isl_space *space2);
isl_bool isl_space_has_equal_tuples(
__isl_keep isl_space *space1,
__isl_keep isl_space *space2);
@@ -978,17 +981,19 @@ tuples (C<isl_dim_in>, C<isl_dim_out> or
spaces are the same. That is, it checks if they have the same
identifier (if any), the same dimension and the same internal structure
(if any).
-C<isl_space_is_equal> checks whether two spaces are identical.
-In particular, it checks whether they have the same type
-(parameter, set or map space), the same tuples
-(if they are not parameter spaces) in the sense
-of C<isl_space_tuple_is_equal> and the same parameters
-in the same order.
+The function
+C<isl_space_has_equal_params> checks whether two spaces
+have the same parameters in the same order.
C<isl_space_has_equal_tuples> check whether two spaces have
-the same tuples. In contrast to C<isl_space_is_equal>, it does not check the
+the same tuples. In contrast to C<isl_space_is_equal> below,
+it does not check the
parameters. This is useful because many C<isl> functions align the
parameters before they perform their operations, such that equivalence
is not necessary.
+C<isl_space_is_equal> checks whether two spaces are identical,
+meaning that they have the same parameters and the same tuples.
+That is, it checks whether both C<isl_space_has_equal_params> and
+C<isl_space_has_equal_tuples> hold.
It is often useful to create objects that live in the
same space as some other object. This can be accomplished
Removed: polly/trunk/lib/External/isl/include/isl-noexceptions.h
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/External/isl/include/isl-noexceptions.h?rev=297707&view=auto
==============================================================================
--- polly/trunk/lib/External/isl/include/isl-noexceptions.h (original)
+++ polly/trunk/lib/External/isl/include/isl-noexceptions.h (removed)
@@ -1,5588 +0,0 @@
-/// These are automatically generated C++ bindings for isl.
-///
-///
-/// isl is a library for computing with integer sets and maps described by
-/// Presburger formula. On top of this, isl provides various tools for
-/// Polyhedral compilation ranging from dependence analysis over scheduling
-/// to AST generation.
-
-#ifndef ISL_CPP_NOEXCEPTIONS
-#define ISL_CPP_NOEXCEPTIONS
-
-#include <isl/aff.h>
-#include <isl/ast_build.h>
-#include <isl/flow.h>
-#include <isl/id.h>
-#include <isl/ilp.h>
-#include <isl/map.h>
-#include <isl/schedule.h>
-#include <isl/schedule_node.h>
-#include <isl/set.h>
-#include <isl/union_map.h>
-#include <isl/union_set.h>
-#include <isl/val.h>
-
-#include <functional>
-#include <string>
-
-namespace isl {
-
-inline namespace noexceptions {
-
-// forward declarations
-class aff;
-class ast_build;
-class ast_expr;
-class ast_node;
-class basic_map;
-class basic_set;
-class id;
-class local_space;
-class map;
-class multi_aff;
-class multi_pw_aff;
-class multi_union_pw_aff;
-class multi_val;
-class point;
-class pw_aff;
-class pw_multi_aff;
-class schedule;
-class schedule_constraints;
-class schedule_node;
-class set;
-class space;
-class union_access_info;
-class union_flow;
-class union_map;
-class union_pw_aff;
-class union_pw_multi_aff;
-class union_set;
-class val;
-
-#define ISLPP_STRINGIZE_(X) #X
-#define ISLPP_STRINGIZE(X) ISLPP_STRINGIZE_(X)
-
-#define ISLPP_ASSERT(test, message) \
- do { \
- if (test) \
- break; \
- fputs("Assertion \"" #test "\" failed at " __FILE__ \
- ":" ISLPP_STRINGIZE(__LINE__) "\n " message "\n", \
- stderr); \
- } while (0)
-
-class boolean {
-private:
- friend isl::boolean manage(isl_bool val);
-
- isl_bool val;
-
-public:
- boolean()
- : val(isl_bool_error) {}
- /* implicit */ boolean(bool val)
- : val(val ? isl_bool_true : isl_bool_false) {}
-
- bool is_error() const { return val == isl_bool_error; }
- bool is_false_or_error() const { return val != isl_bool_true; }
- bool is_true_or_error() const { return val != isl_bool_false; }
- bool is_no_error() const { return val != isl_bool_error; }
- bool is_false_no_error() const { return val == isl_bool_false; }
- bool is_true_no_error() const { return val == isl_bool_true; }
-
- explicit operator bool() const {
- ISLPP_ASSERT(is_no_error(), "IMPLEMENTATION ERROR: Unhandled error state");
- return is_true_no_error();
- }
-
- boolean operator!() const {
- if (is_error())
- return boolean();
- return !is_true_no_error();
- }
-};
-
-inline isl::boolean manage(isl_bool val) {
- return isl::boolean(val);
-}
-
-class ctx {
- isl_ctx *ptr;
-
-public:
- /* implicit */ ctx(isl_ctx *ctx)
- : ptr(ctx) {}
- isl_ctx *release() {
- auto tmp = ptr;
- ptr = nullptr;
- return tmp;
- }
- isl_ctx *get() {
- return ptr;
- }
-};
-
-enum class stat {
- ok = isl_stat_ok,
- error = isl_stat_error,
-};
-
-enum class dim {
- cst = isl_dim_cst,
- param = isl_dim_param,
- in = isl_dim_in,
- out = isl_dim_out,
- set = isl_dim_set,
- div = isl_dim_div,
- all = isl_dim_all
-};
-
-// declarations for isl::aff
-inline isl::aff manage(__isl_take isl_aff *ptr);
-
-inline isl::aff give(__isl_take isl_aff *ptr);
-
-class aff {
- friend inline isl::aff manage(__isl_take isl_aff *ptr);
-
- isl_aff *ptr = nullptr;
-
- inline explicit aff(__isl_take isl_aff *ptr);
-
-public:
- inline /* implicit */ aff();
- inline /* implicit */ aff(const isl::aff &obj);
- inline /* implicit */ aff(std::nullptr_t);
- inline explicit aff(isl::local_space ls);
- inline explicit aff(isl::local_space ls, isl::val val);
- inline explicit aff(isl::ctx ctx, const std::string &str);
- inline isl::aff &operator=(isl::aff obj);
- inline ~aff();
- inline __isl_give isl_aff *copy() const &;
- inline __isl_give isl_aff *copy() && = delete;
- inline __isl_keep isl_aff *get() const;
- inline __isl_give isl_aff *release();
- inline __isl_keep isl_aff *keep() const;
- inline __isl_give isl_aff *take();
- inline explicit operator bool() const;
- inline isl::ctx get_ctx() const;
- inline bool is_null() const;
- inline std::string to_str() const;
- inline isl::aff add(isl::aff aff2) const;
- inline isl::val get_constant() const;
- inline isl::boolean is_cst() const;
- inline isl::aff pullback(isl::multi_aff ma) const;
-};
-
-// declarations for isl::ast_build
-inline isl::ast_build manage(__isl_take isl_ast_build *ptr);
-
-inline isl::ast_build give(__isl_take isl_ast_build *ptr);
-
-class ast_build {
- friend inline isl::ast_build manage(__isl_take isl_ast_build *ptr);
-
- isl_ast_build *ptr = nullptr;
-
- inline explicit ast_build(__isl_take isl_ast_build *ptr);
-
-public:
- inline /* implicit */ ast_build();
- inline /* implicit */ ast_build(const isl::ast_build &obj);
- inline /* implicit */ ast_build(std::nullptr_t);
- inline explicit ast_build(isl::ctx ctx);
- inline isl::ast_build &operator=(isl::ast_build obj);
- inline ~ast_build();
- inline __isl_give isl_ast_build *copy() const &;
- inline __isl_give isl_ast_build *copy() && = delete;
- inline __isl_keep isl_ast_build *get() const;
- inline __isl_give isl_ast_build *release();
- inline __isl_keep isl_ast_build *keep() const;
- inline __isl_give isl_ast_build *take();
- inline explicit operator bool() const;
- inline isl::ctx get_ctx() const;
- inline bool is_null() const;
- inline isl::ast_expr access_from(isl::pw_multi_aff pma) const;
- inline isl::ast_expr access_from(isl::multi_pw_aff mpa) const;
- inline isl::ast_expr call_from(isl::pw_multi_aff pma) const;
- inline isl::ast_expr call_from(isl::multi_pw_aff mpa) const;
- inline isl::ast_expr expr_from(isl::set set) const;
- inline isl::ast_expr expr_from(isl::pw_aff pa) const;
- static inline isl::ast_build from_context(isl::set set);
- inline isl::ast_node node_from_schedule_map(isl::union_map schedule) const;
-};
-
-// declarations for isl::ast_expr
-inline isl::ast_expr manage(__isl_take isl_ast_expr *ptr);
-
-inline isl::ast_expr give(__isl_take isl_ast_expr *ptr);
-
-class ast_expr {
- friend inline isl::ast_expr manage(__isl_take isl_ast_expr *ptr);
-
- isl_ast_expr *ptr = nullptr;
-
- inline explicit ast_expr(__isl_take isl_ast_expr *ptr);
-
-public:
- inline /* implicit */ ast_expr();
- inline /* implicit */ ast_expr(const isl::ast_expr &obj);
- inline /* implicit */ ast_expr(std::nullptr_t);
- inline isl::ast_expr &operator=(isl::ast_expr obj);
- inline ~ast_expr();
- inline __isl_give isl_ast_expr *copy() const &;
- inline __isl_give isl_ast_expr *copy() && = delete;
- inline __isl_keep isl_ast_expr *get() const;
- inline __isl_give isl_ast_expr *release();
- inline __isl_keep isl_ast_expr *keep() const;
- inline __isl_give isl_ast_expr *take();
- inline explicit operator bool() const;
- inline isl::ctx get_ctx() const;
- inline bool is_null() const;
- inline std::string to_str() const;
- inline std::string to_C_str() const;
-};
-
-// declarations for isl::ast_node
-inline isl::ast_node manage(__isl_take isl_ast_node *ptr);
-
-inline isl::ast_node give(__isl_take isl_ast_node *ptr);
-
-class ast_node {
- friend inline isl::ast_node manage(__isl_take isl_ast_node *ptr);
-
- isl_ast_node *ptr = nullptr;
-
- inline explicit ast_node(__isl_take isl_ast_node *ptr);
-
-public:
- inline /* implicit */ ast_node();
- inline /* implicit */ ast_node(const isl::ast_node &obj);
- inline /* implicit */ ast_node(std::nullptr_t);
- inline isl::ast_node &operator=(isl::ast_node obj);
- inline ~ast_node();
- inline __isl_give isl_ast_node *copy() const &;
- inline __isl_give isl_ast_node *copy() && = delete;
- inline __isl_keep isl_ast_node *get() const;
- inline __isl_give isl_ast_node *release();
- inline __isl_keep isl_ast_node *keep() const;
- inline __isl_give isl_ast_node *take();
- inline explicit operator bool() const;
- inline isl::ctx get_ctx() const;
- inline bool is_null() const;
- inline std::string to_str() const;
- inline std::string to_C_str() const;
-};
-
-// declarations for isl::basic_map
-inline isl::basic_map manage(__isl_take isl_basic_map *ptr);
-
-inline isl::basic_map give(__isl_take isl_basic_map *ptr);
-
-class basic_map {
- friend inline isl::basic_map manage(__isl_take isl_basic_map *ptr);
-
- isl_basic_map *ptr = nullptr;
-
- inline explicit basic_map(__isl_take isl_basic_map *ptr);
-
-public:
- inline /* implicit */ basic_map();
- inline /* implicit */ basic_map(const isl::basic_map &obj);
- inline /* implicit */ basic_map(std::nullptr_t);
- inline explicit basic_map(isl::ctx ctx, const std::string &str);
- inline isl::basic_map &operator=(isl::basic_map obj);
- inline ~basic_map();
- inline __isl_give isl_basic_map *copy() const &;
- inline __isl_give isl_basic_map *copy() && = delete;
- inline __isl_keep isl_basic_map *get() const;
- inline __isl_give isl_basic_map *release();
- inline __isl_keep isl_basic_map *keep() const;
- inline __isl_give isl_basic_map *take();
- inline explicit operator bool() const;
- inline isl::ctx get_ctx() const;
- inline bool is_null() const;
- inline std::string to_str() const;
- inline isl::basic_map affine_hull() const;
- inline isl::basic_map apply_domain(isl::basic_map bmap2) const;
- inline isl::basic_map apply_range(isl::basic_map bmap2) const;
- inline isl::basic_set deltas() const;
- inline isl::basic_map detect_equalities() const;
- inline isl::basic_map fix_si(isl::dim type, unsigned int pos, int value) const;
- inline isl::basic_map flatten() const;
- inline isl::basic_map flatten_domain() const;
- inline isl::basic_map flatten_range() const;
- inline isl::basic_map gist(isl::basic_map context) const;
- inline isl::basic_map intersect(isl::basic_map bmap2) const;
- inline isl::basic_map intersect_domain(isl::basic_set bset) const;
- inline isl::basic_map intersect_range(isl::basic_set bset) const;
- inline isl::boolean is_empty() const;
- inline isl::boolean is_equal(const isl::basic_map &bmap2) const;
- inline isl::boolean is_subset(const isl::basic_map &bmap2) const;
- inline isl::map lexmax() const;
- inline isl::map lexmin() const;
- inline isl::val plain_get_val_if_fixed(isl::dim type, unsigned int pos) const;
- inline isl::basic_map project_out(isl::dim type, unsigned int first, unsigned int n) const;
- inline isl::basic_map reverse() const;
- inline isl::basic_map sample() const;
- inline isl::map unite(isl::basic_map bmap2) const;
- static inline isl::basic_map universe(isl::space dim);
-};
-
-// declarations for isl::basic_set
-inline isl::basic_set manage(__isl_take isl_basic_set *ptr);
-
-inline isl::basic_set give(__isl_take isl_basic_set *ptr);
-
-class basic_set {
- friend inline isl::basic_set manage(__isl_take isl_basic_set *ptr);
-
- isl_basic_set *ptr = nullptr;
-
- inline explicit basic_set(__isl_take isl_basic_set *ptr);
-
-public:
- inline /* implicit */ basic_set();
- inline /* implicit */ basic_set(const isl::basic_set &obj);
- inline /* implicit */ basic_set(std::nullptr_t);
- inline explicit basic_set(isl::ctx ctx, const std::string &str);
- inline /* implicit */ basic_set(isl::point pnt);
- inline isl::basic_set &operator=(isl::basic_set obj);
- inline ~basic_set();
- inline __isl_give isl_basic_set *copy() const &;
- inline __isl_give isl_basic_set *copy() && = delete;
- inline __isl_keep isl_basic_set *get() const;
- inline __isl_give isl_basic_set *release();
- inline __isl_keep isl_basic_set *keep() const;
- inline __isl_give isl_basic_set *take();
- inline explicit operator bool() const;
- inline isl::ctx get_ctx() const;
- inline bool is_null() const;
- inline std::string to_str() const;
- inline isl::basic_set affine_hull() const;
- inline isl::basic_set apply(isl::basic_map bmap) const;
- inline isl::basic_set detect_equalities() const;
- inline isl::basic_set flatten() const;
- inline isl::basic_set gist(isl::basic_set context) const;
- inline isl::basic_set intersect(isl::basic_set bset2) const;
- inline isl::basic_set intersect_params(isl::basic_set bset2) const;
- inline isl::boolean is_bounded() const;
- inline isl::boolean is_empty() const;
- inline isl::boolean is_equal(const isl::basic_set &bset2) const;
- inline isl::boolean is_subset(const isl::basic_set &bset2) const;
- inline isl::boolean is_wrapping() const;
- inline isl::set lexmax() const;
- inline isl::set lexmin() const;
- inline isl::basic_set project_out(isl::dim type, unsigned int first, unsigned int n) const;
- inline isl::basic_set sample() const;
- inline isl::point sample_point() const;
- inline isl::set unite(isl::basic_set bset2) const;
-};
-
-// declarations for isl::id
-inline isl::id manage(__isl_take isl_id *ptr);
-
-inline isl::id give(__isl_take isl_id *ptr);
-
-class id {
- friend inline isl::id manage(__isl_take isl_id *ptr);
-
- isl_id *ptr = nullptr;
-
- inline explicit id(__isl_take isl_id *ptr);
-
-public:
- inline /* implicit */ id();
- inline /* implicit */ id(const isl::id &obj);
- inline /* implicit */ id(std::nullptr_t);
- inline isl::id &operator=(isl::id obj);
- inline ~id();
- inline __isl_give isl_id *copy() const &;
- inline __isl_give isl_id *copy() && = delete;
- inline __isl_keep isl_id *get() const;
- inline __isl_give isl_id *release();
- inline __isl_keep isl_id *keep() const;
- inline __isl_give isl_id *take();
- inline explicit operator bool() const;
- inline isl::ctx get_ctx() const;
- inline bool is_null() const;
- inline std::string to_str() const;
-};
-
-// declarations for isl::local_space
-inline isl::local_space manage(__isl_take isl_local_space *ptr);
-
-inline isl::local_space give(__isl_take isl_local_space *ptr);
-
-class local_space {
- friend inline isl::local_space manage(__isl_take isl_local_space *ptr);
-
- isl_local_space *ptr = nullptr;
-
- inline explicit local_space(__isl_take isl_local_space *ptr);
-
-public:
- inline /* implicit */ local_space();
- inline /* implicit */ local_space(const isl::local_space &obj);
- inline /* implicit */ local_space(std::nullptr_t);
- inline explicit local_space(isl::space dim);
- inline isl::local_space &operator=(isl::local_space obj);
- inline ~local_space();
- inline __isl_give isl_local_space *copy() const &;
- inline __isl_give isl_local_space *copy() && = delete;
- inline __isl_keep isl_local_space *get() const;
- inline __isl_give isl_local_space *release();
- inline __isl_keep isl_local_space *keep() const;
- inline __isl_give isl_local_space *take();
- inline explicit operator bool() const;
- inline isl::ctx get_ctx() const;
- inline bool is_null() const;
-};
-
-// declarations for isl::map
-inline isl::map manage(__isl_take isl_map *ptr);
-
-inline isl::map give(__isl_take isl_map *ptr);
-
-class map {
- friend inline isl::map manage(__isl_take isl_map *ptr);
-
- isl_map *ptr = nullptr;
-
- inline explicit map(__isl_take isl_map *ptr);
-
-public:
- inline /* implicit */ map();
- inline /* implicit */ map(const isl::map &obj);
- inline /* implicit */ map(std::nullptr_t);
- inline explicit map(isl::ctx ctx, const std::string &str);
- inline /* implicit */ map(isl::basic_map bmap);
- inline isl::map &operator=(isl::map obj);
- inline ~map();
- inline __isl_give isl_map *copy() const &;
- inline __isl_give isl_map *copy() && = delete;
- inline __isl_keep isl_map *get() const;
- inline __isl_give isl_map *release();
- inline __isl_keep isl_map *keep() const;
- inline __isl_give isl_map *take();
- inline explicit operator bool() const;
- inline isl::ctx get_ctx() const;
- inline bool is_null() const;
- inline std::string to_str() const;
- inline isl::basic_map affine_hull() const;
- inline isl::map apply_domain(isl::map map2) const;
- inline isl::map apply_range(isl::map map2) const;
- inline isl::map coalesce() const;
- inline isl::map complement() const;
- inline isl::set deltas() const;
- inline isl::map detect_equalities() const;
- inline unsigned int dim(isl::dim type) const;
- inline isl::pw_aff dim_max(int pos) const;
- inline isl::pw_aff dim_min(int pos) const;
- inline isl::map flatten() const;
- inline isl::map flatten_domain() const;
- inline isl::map flatten_range() const;
- inline isl::stat foreach_basic_map(std::function<isl::stat(isl::basic_map)> &&fn) const;
- static inline isl::map from_range(isl::set set);
- inline isl::map gist(isl::map context) const;
- inline isl::map gist_domain(isl::set context) const;
- inline isl::map intersect(isl::map map2) const;
- inline isl::map intersect_domain(isl::set set) const;
- inline isl::map intersect_params(isl::set params) const;
- inline isl::map intersect_range(isl::set set) const;
- inline isl::boolean is_bijective() const;
- inline isl::boolean is_disjoint(const isl::map &map2) const;
- inline isl::boolean is_empty() const;
- inline isl::boolean is_equal(const isl::map &map2) const;
- inline isl::boolean is_injective() const;
- inline isl::boolean is_single_valued() const;
- inline isl::boolean is_strict_subset(const isl::map &map2) const;
- inline isl::boolean is_subset(const isl::map &map2) const;
- inline isl::map lexmax() const;
- inline isl::map lexmin() const;
- inline isl::basic_map polyhedral_hull() const;
- inline isl::map project_out(isl::dim type, unsigned int first, unsigned int n) const;
- inline isl::map reverse() const;
- inline isl::basic_map sample() const;
- inline isl::map subtract(isl::map map2) const;
- inline isl::map unite(isl::map map2) const;
- inline isl::basic_map unshifted_simple_hull() const;
-};
-
-// declarations for isl::multi_aff
-inline isl::multi_aff manage(__isl_take isl_multi_aff *ptr);
-
-inline isl::multi_aff give(__isl_take isl_multi_aff *ptr);
-
-class multi_aff {
- friend inline isl::multi_aff manage(__isl_take isl_multi_aff *ptr);
-
- isl_multi_aff *ptr = nullptr;
-
- inline explicit multi_aff(__isl_take isl_multi_aff *ptr);
-
-public:
- inline /* implicit */ multi_aff();
- inline /* implicit */ multi_aff(const isl::multi_aff &obj);
- inline /* implicit */ multi_aff(std::nullptr_t);
- inline /* implicit */ multi_aff(isl::aff aff);
- inline explicit multi_aff(isl::ctx ctx, const std::string &str);
- inline isl::multi_aff &operator=(isl::multi_aff obj);
- inline ~multi_aff();
- inline __isl_give isl_multi_aff *copy() const &;
- inline __isl_give isl_multi_aff *copy() && = delete;
- inline __isl_keep isl_multi_aff *get() const;
- inline __isl_give isl_multi_aff *release();
- inline __isl_keep isl_multi_aff *keep() const;
- inline __isl_give isl_multi_aff *take();
- inline explicit operator bool() const;
- inline isl::ctx get_ctx() const;
- inline bool is_null() const;
- inline std::string to_str() const;
- inline isl::multi_aff add(isl::multi_aff multi2) const;
- inline isl::multi_aff flat_range_product(isl::multi_aff multi2) const;
- inline isl::aff get_aff(int pos) const;
- inline isl::multi_aff product(isl::multi_aff multi2) const;
- inline isl::multi_aff pullback(isl::multi_aff ma2) const;
- inline isl::multi_aff range_product(isl::multi_aff multi2) const;
-};
-
-// declarations for isl::multi_pw_aff
-inline isl::multi_pw_aff manage(__isl_take isl_multi_pw_aff *ptr);
-
-inline isl::multi_pw_aff give(__isl_take isl_multi_pw_aff *ptr);
-
-class multi_pw_aff {
- friend inline isl::multi_pw_aff manage(__isl_take isl_multi_pw_aff *ptr);
-
- isl_multi_pw_aff *ptr = nullptr;
-
- inline explicit multi_pw_aff(__isl_take isl_multi_pw_aff *ptr);
-
-public:
- inline /* implicit */ multi_pw_aff();
- inline /* implicit */ multi_pw_aff(const isl::multi_pw_aff &obj);
- inline /* implicit */ multi_pw_aff(std::nullptr_t);
- inline /* implicit */ multi_pw_aff(isl::multi_aff ma);
- inline /* implicit */ multi_pw_aff(isl::pw_aff pa);
- inline /* implicit */ multi_pw_aff(isl::pw_multi_aff pma);
- inline explicit multi_pw_aff(isl::ctx ctx, const std::string &str);
- inline isl::multi_pw_aff &operator=(isl::multi_pw_aff obj);
- inline ~multi_pw_aff();
- inline __isl_give isl_multi_pw_aff *copy() const &;
- inline __isl_give isl_multi_pw_aff *copy() && = delete;
- inline __isl_keep isl_multi_pw_aff *get() const;
- inline __isl_give isl_multi_pw_aff *release();
- inline __isl_keep isl_multi_pw_aff *keep() const;
- inline __isl_give isl_multi_pw_aff *take();
- inline explicit operator bool() const;
- inline isl::ctx get_ctx() const;
- inline bool is_null() const;
- inline std::string to_str() const;
- inline isl::multi_pw_aff add(isl::multi_pw_aff multi2) const;
- inline isl::multi_pw_aff flat_range_product(isl::multi_pw_aff multi2) const;
- inline isl::pw_aff get_pw_aff(int pos) const;
- inline isl::multi_pw_aff product(isl::multi_pw_aff multi2) const;
- inline isl::multi_pw_aff pullback(isl::multi_aff ma) const;
- inline isl::multi_pw_aff pullback(isl::pw_multi_aff pma) const;
- inline isl::multi_pw_aff pullback(isl::multi_pw_aff mpa2) const;
- inline isl::multi_pw_aff range_product(isl::multi_pw_aff multi2) const;
-};
-
-// declarations for isl::multi_union_pw_aff
-inline isl::multi_union_pw_aff manage(__isl_take isl_multi_union_pw_aff *ptr);
-
-inline isl::multi_union_pw_aff give(__isl_take isl_multi_union_pw_aff *ptr);
-
-class multi_union_pw_aff {
- friend inline isl::multi_union_pw_aff manage(__isl_take isl_multi_union_pw_aff *ptr);
-
- isl_multi_union_pw_aff *ptr = nullptr;
-
- inline explicit multi_union_pw_aff(__isl_take isl_multi_union_pw_aff *ptr);
-
-public:
- inline /* implicit */ multi_union_pw_aff();
- inline /* implicit */ multi_union_pw_aff(const isl::multi_union_pw_aff &obj);
- inline /* implicit */ multi_union_pw_aff(std::nullptr_t);
- inline /* implicit */ multi_union_pw_aff(isl::union_pw_aff upa);
- inline /* implicit */ multi_union_pw_aff(isl::multi_pw_aff mpa);
- inline explicit multi_union_pw_aff(isl::union_pw_multi_aff upma);
- inline explicit multi_union_pw_aff(isl::ctx ctx, const std::string &str);
- inline isl::multi_union_pw_aff &operator=(isl::multi_union_pw_aff obj);
- inline ~multi_union_pw_aff();
- inline __isl_give isl_multi_union_pw_aff *copy() const &;
- inline __isl_give isl_multi_union_pw_aff *copy() && = delete;
- inline __isl_keep isl_multi_union_pw_aff *get() const;
- inline __isl_give isl_multi_union_pw_aff *release();
- inline __isl_keep isl_multi_union_pw_aff *keep() const;
- inline __isl_give isl_multi_union_pw_aff *take();
- inline explicit operator bool() const;
- inline isl::ctx get_ctx() const;
- inline bool is_null() const;
- inline std::string to_str() const;
- inline isl::multi_union_pw_aff add(isl::multi_union_pw_aff multi2) const;
- inline isl::multi_union_pw_aff flat_range_product(isl::multi_union_pw_aff multi2) const;
- inline isl::union_pw_aff get_union_pw_aff(int pos) const;
- inline isl::multi_union_pw_aff pullback(isl::union_pw_multi_aff upma) const;
- inline isl::multi_union_pw_aff range_product(isl::multi_union_pw_aff multi2) const;
- inline isl::multi_union_pw_aff union_add(isl::multi_union_pw_aff mupa2) const;
-};
-
-// declarations for isl::multi_val
-inline isl::multi_val manage(__isl_take isl_multi_val *ptr);
-
-inline isl::multi_val give(__isl_take isl_multi_val *ptr);
-
-class multi_val {
- friend inline isl::multi_val manage(__isl_take isl_multi_val *ptr);
-
- isl_multi_val *ptr = nullptr;
-
- inline explicit multi_val(__isl_take isl_multi_val *ptr);
-
-public:
- inline /* implicit */ multi_val();
- inline /* implicit */ multi_val(const isl::multi_val &obj);
- inline /* implicit */ multi_val(std::nullptr_t);
- inline isl::multi_val &operator=(isl::multi_val obj);
- inline ~multi_val();
- inline __isl_give isl_multi_val *copy() const &;
- inline __isl_give isl_multi_val *copy() && = delete;
- inline __isl_keep isl_multi_val *get() const;
- inline __isl_give isl_multi_val *release();
- inline __isl_keep isl_multi_val *keep() const;
- inline __isl_give isl_multi_val *take();
- inline explicit operator bool() const;
- inline isl::ctx get_ctx() const;
- inline bool is_null() const;
- inline std::string to_str() const;
- inline isl::multi_val add(isl::multi_val multi2) const;
- inline isl::multi_val flat_range_product(isl::multi_val multi2) const;
- inline isl::val get_val(int pos) const;
- inline isl::multi_val product(isl::multi_val multi2) const;
- inline isl::multi_val range_product(isl::multi_val multi2) const;
-};
-
-// declarations for isl::point
-inline isl::point manage(__isl_take isl_point *ptr);
-
-inline isl::point give(__isl_take isl_point *ptr);
-
-class point {
- friend inline isl::point manage(__isl_take isl_point *ptr);
-
- isl_point *ptr = nullptr;
-
- inline explicit point(__isl_take isl_point *ptr);
-
-public:
- inline /* implicit */ point();
- inline /* implicit */ point(const isl::point &obj);
- inline /* implicit */ point(std::nullptr_t);
- inline explicit point(isl::space dim);
- inline isl::point &operator=(isl::point obj);
- inline ~point();
- inline __isl_give isl_point *copy() const &;
- inline __isl_give isl_point *copy() && = delete;
- inline __isl_keep isl_point *get() const;
- inline __isl_give isl_point *release();
- inline __isl_keep isl_point *keep() const;
- inline __isl_give isl_point *take();
- inline explicit operator bool() const;
- inline isl::ctx get_ctx() const;
- inline bool is_null() const;
- inline std::string to_str() const;
-};
-
-// declarations for isl::pw_aff
-inline isl::pw_aff manage(__isl_take isl_pw_aff *ptr);
-
-inline isl::pw_aff give(__isl_take isl_pw_aff *ptr);
-
-class pw_aff {
- friend inline isl::pw_aff manage(__isl_take isl_pw_aff *ptr);
-
- isl_pw_aff *ptr = nullptr;
-
- inline explicit pw_aff(__isl_take isl_pw_aff *ptr);
-
-public:
- inline /* implicit */ pw_aff();
- inline /* implicit */ pw_aff(const isl::pw_aff &obj);
- inline /* implicit */ pw_aff(std::nullptr_t);
- inline /* implicit */ pw_aff(isl::aff aff);
- inline explicit pw_aff(isl::local_space ls);
- inline explicit pw_aff(isl::set domain, isl::val v);
- inline explicit pw_aff(isl::ctx ctx, const std::string &str);
- inline isl::pw_aff &operator=(isl::pw_aff obj);
- inline ~pw_aff();
- inline __isl_give isl_pw_aff *copy() const &;
- inline __isl_give isl_pw_aff *copy() && = delete;
- inline __isl_keep isl_pw_aff *get() const;
- inline __isl_give isl_pw_aff *release();
- inline __isl_keep isl_pw_aff *keep() const;
- inline __isl_give isl_pw_aff *take();
- inline explicit operator bool() const;
- inline isl::ctx get_ctx() const;
- inline bool is_null() const;
- inline std::string to_str() const;
- inline isl::pw_aff add(isl::pw_aff pwaff2) const;
- inline isl::stat foreach_piece(std::function<isl::stat(isl::set, isl::aff)> &&fn) const;
- inline isl::space get_space() const;
- inline isl::boolean is_cst() const;
- inline isl::pw_aff mul(isl::pw_aff pwaff2) const;
- inline isl::pw_aff neg() const;
- inline isl::pw_aff pullback(isl::multi_aff ma) const;
- inline isl::pw_aff pullback(isl::pw_multi_aff pma) const;
- inline isl::pw_aff pullback(isl::multi_pw_aff mpa) const;
- inline isl::pw_aff sub(isl::pw_aff pwaff2) const;
- inline isl::pw_aff union_add(isl::pw_aff pwaff2) const;
-};
-
-// declarations for isl::pw_multi_aff
-inline isl::pw_multi_aff manage(__isl_take isl_pw_multi_aff *ptr);
-
-inline isl::pw_multi_aff give(__isl_take isl_pw_multi_aff *ptr);
-
-class pw_multi_aff {
- friend inline isl::pw_multi_aff manage(__isl_take isl_pw_multi_aff *ptr);
-
- isl_pw_multi_aff *ptr = nullptr;
-
- inline explicit pw_multi_aff(__isl_take isl_pw_multi_aff *ptr);
-
-public:
- inline /* implicit */ pw_multi_aff();
- inline /* implicit */ pw_multi_aff(const isl::pw_multi_aff &obj);
- inline /* implicit */ pw_multi_aff(std::nullptr_t);
- inline explicit pw_multi_aff(isl::ctx ctx, const std::string &str);
- inline /* implicit */ pw_multi_aff(isl::multi_aff ma);
- inline /* implicit */ pw_multi_aff(isl::pw_aff pa);
- inline isl::pw_multi_aff &operator=(isl::pw_multi_aff obj);
- inline ~pw_multi_aff();
- inline __isl_give isl_pw_multi_aff *copy() const &;
- inline __isl_give isl_pw_multi_aff *copy() && = delete;
- inline __isl_keep isl_pw_multi_aff *get() const;
- inline __isl_give isl_pw_multi_aff *release();
- inline __isl_keep isl_pw_multi_aff *keep() const;
- inline __isl_give isl_pw_multi_aff *take();
- inline explicit operator bool() const;
- inline isl::ctx get_ctx() const;
- inline bool is_null() const;
- inline std::string to_str() const;
- inline isl::pw_multi_aff add(isl::pw_multi_aff pma2) const;
- inline isl::pw_multi_aff flat_range_product(isl::pw_multi_aff pma2) const;
- inline isl::pw_multi_aff product(isl::pw_multi_aff pma2) const;
- inline isl::pw_multi_aff pullback(isl::multi_aff ma) const;
- inline isl::pw_multi_aff pullback(isl::pw_multi_aff pma2) const;
- inline isl::pw_multi_aff range_product(isl::pw_multi_aff pma2) const;
- inline isl::pw_multi_aff union_add(isl::pw_multi_aff pma2) const;
-};
-
-// declarations for isl::schedule
-inline isl::schedule manage(__isl_take isl_schedule *ptr);
-
-inline isl::schedule give(__isl_take isl_schedule *ptr);
-
-class schedule {
- friend inline isl::schedule manage(__isl_take isl_schedule *ptr);
-
- isl_schedule *ptr = nullptr;
-
- inline explicit schedule(__isl_take isl_schedule *ptr);
-
-public:
- inline /* implicit */ schedule();
- inline /* implicit */ schedule(const isl::schedule &obj);
- inline /* implicit */ schedule(std::nullptr_t);
- inline explicit schedule(isl::ctx ctx, const std::string &str);
- inline isl::schedule &operator=(isl::schedule obj);
- inline ~schedule();
- inline __isl_give isl_schedule *copy() const &;
- inline __isl_give isl_schedule *copy() && = delete;
- inline __isl_keep isl_schedule *get() const;
- inline __isl_give isl_schedule *release();
- inline __isl_keep isl_schedule *keep() const;
- inline __isl_give isl_schedule *take();
- inline explicit operator bool() const;
- inline isl::ctx get_ctx() const;
- inline bool is_null() const;
- inline std::string to_str() const;
- inline isl::union_map get_map() const;
- inline isl::schedule_node get_root() const;
- inline isl::schedule pullback(isl::union_pw_multi_aff upma) const;
-};
-
-// declarations for isl::schedule_constraints
-inline isl::schedule_constraints manage(__isl_take isl_schedule_constraints *ptr);
-
-inline isl::schedule_constraints give(__isl_take isl_schedule_constraints *ptr);
-
-class schedule_constraints {
- friend inline isl::schedule_constraints manage(__isl_take isl_schedule_constraints *ptr);
-
- isl_schedule_constraints *ptr = nullptr;
-
- inline explicit schedule_constraints(__isl_take isl_schedule_constraints *ptr);
-
-public:
- inline /* implicit */ schedule_constraints();
- inline /* implicit */ schedule_constraints(const isl::schedule_constraints &obj);
- inline /* implicit */ schedule_constraints(std::nullptr_t);
- inline explicit schedule_constraints(isl::ctx ctx, const std::string &str);
- inline isl::schedule_constraints &operator=(isl::schedule_constraints obj);
- inline ~schedule_constraints();
- inline __isl_give isl_schedule_constraints *copy() const &;
- inline __isl_give isl_schedule_constraints *copy() && = delete;
- inline __isl_keep isl_schedule_constraints *get() const;
- inline __isl_give isl_schedule_constraints *release();
- inline __isl_keep isl_schedule_constraints *keep() const;
- inline __isl_give isl_schedule_constraints *take();
- inline explicit operator bool() const;
- inline isl::ctx get_ctx() const;
- inline bool is_null() const;
- inline std::string to_str() const;
- inline isl::union_map get_coincidence() const;
- inline isl::union_map get_conditional_validity() const;
- inline isl::union_map get_conditional_validity_condition() const;
- inline isl::set get_context() const;
- inline isl::union_set get_domain() const;
- inline isl::union_map get_proximity() const;
- inline isl::union_map get_validity() const;
-};
-
-// declarations for isl::schedule_node
-inline isl::schedule_node manage(__isl_take isl_schedule_node *ptr);
-
-inline isl::schedule_node give(__isl_take isl_schedule_node *ptr);
-
-class schedule_node {
- friend inline isl::schedule_node manage(__isl_take isl_schedule_node *ptr);
-
- isl_schedule_node *ptr = nullptr;
-
- inline explicit schedule_node(__isl_take isl_schedule_node *ptr);
-
-public:
- inline /* implicit */ schedule_node();
- inline /* implicit */ schedule_node(const isl::schedule_node &obj);
- inline /* implicit */ schedule_node(std::nullptr_t);
- inline isl::schedule_node &operator=(isl::schedule_node obj);
- inline ~schedule_node();
- inline __isl_give isl_schedule_node *copy() const &;
- inline __isl_give isl_schedule_node *copy() && = delete;
- inline __isl_keep isl_schedule_node *get() const;
- inline __isl_give isl_schedule_node *release();
- inline __isl_keep isl_schedule_node *keep() const;
- inline __isl_give isl_schedule_node *take();
- inline explicit operator bool() const;
- inline isl::ctx get_ctx() const;
- inline bool is_null() const;
- inline std::string to_str() const;
- inline isl::boolean band_member_get_coincident(int pos) const;
- inline isl::schedule_node band_member_set_coincident(int pos, int coincident) const;
- inline isl::schedule_node child(int pos) const;
- inline isl::multi_union_pw_aff get_prefix_schedule_multi_union_pw_aff() const;
- inline isl::union_map get_prefix_schedule_union_map() const;
- inline isl::union_pw_multi_aff get_prefix_schedule_union_pw_multi_aff() const;
- inline isl::schedule get_schedule() const;
- inline isl::schedule_node parent() const;
-};
-
-// declarations for isl::set
-inline isl::set manage(__isl_take isl_set *ptr);
-
-inline isl::set give(__isl_take isl_set *ptr);
-
-class set {
- friend inline isl::set manage(__isl_take isl_set *ptr);
-
- isl_set *ptr = nullptr;
-
- inline explicit set(__isl_take isl_set *ptr);
-
-public:
- inline /* implicit */ set();
- inline /* implicit */ set(const isl::set &obj);
- inline /* implicit */ set(std::nullptr_t);
- inline explicit set(isl::union_set uset);
- inline explicit set(isl::ctx ctx, const std::string &str);
- inline /* implicit */ set(isl::basic_set bset);
- inline /* implicit */ set(isl::point pnt);
- inline isl::set &operator=(isl::set obj);
- inline ~set();
- inline __isl_give isl_set *copy() const &;
- inline __isl_give isl_set *copy() && = delete;
- inline __isl_keep isl_set *get() const;
- inline __isl_give isl_set *release();
- inline __isl_keep isl_set *keep() const;
- inline __isl_give isl_set *take();
- inline explicit operator bool() const;
- inline isl::ctx get_ctx() const;
- inline bool is_null() const;
- inline std::string to_str() const;
- inline isl::set add_dims(isl::dim type, unsigned int n) const;
- inline isl::basic_set affine_hull() const;
- inline isl::set apply(isl::map map) const;
- inline isl::set coalesce() const;
- inline isl::set complement() const;
- inline isl::set detect_equalities() const;
- inline unsigned int dim(isl::dim type) const;
- inline isl::pw_aff dim_max(int pos) const;
- inline isl::pw_aff dim_min(int pos) const;
- inline isl::set flatten() const;
- inline isl::stat foreach_basic_set(std::function<isl::stat(isl::basic_set)> &&fn) const;
- inline isl::set gist(isl::set context) const;
- inline isl::map identity() const;
- inline isl::set intersect(isl::set set2) const;
- inline isl::set intersect_params(isl::set params) const;
- inline isl::boolean is_bounded() const;
- inline isl::boolean is_disjoint(const isl::set &set2) const;
- inline isl::boolean is_empty() const;
- inline isl::boolean is_equal(const isl::set &set2) const;
- inline isl::boolean is_strict_subset(const isl::set &set2) const;
- inline isl::boolean is_subset(const isl::set &set2) const;
- inline isl::boolean is_wrapping() const;
- inline isl::set lexmax() const;
- inline isl::set lexmin() const;
- inline isl::val max_val(const isl::aff &obj) const;
- inline isl::val min_val(const isl::aff &obj) const;
- inline isl::basic_set polyhedral_hull() const;
- inline isl::set project_out(isl::dim type, unsigned int first, unsigned int n) const;
- inline isl::basic_set sample() const;
- inline isl::point sample_point() const;
- inline isl::set subtract(isl::set set2) const;
- inline isl::set unite(isl::set set2) const;
- static inline isl::set universe(isl::space dim);
- inline isl::basic_set unshifted_simple_hull() const;
-};
-
-// declarations for isl::space
-inline isl::space manage(__isl_take isl_space *ptr);
-
-inline isl::space give(__isl_take isl_space *ptr);
-
-class space {
- friend inline isl::space manage(__isl_take isl_space *ptr);
-
- isl_space *ptr = nullptr;
-
- inline explicit space(__isl_take isl_space *ptr);
-
-public:
- inline /* implicit */ space();
- inline /* implicit */ space(const isl::space &obj);
- inline /* implicit */ space(std::nullptr_t);
- inline explicit space(isl::ctx ctx, unsigned int nparam, unsigned int n_in, unsigned int n_out);
- inline explicit space(isl::ctx ctx, unsigned int nparam, unsigned int dim);
- inline isl::space &operator=(isl::space obj);
- inline ~space();
- inline __isl_give isl_space *copy() const &;
- inline __isl_give isl_space *copy() && = delete;
- inline __isl_keep isl_space *get() const;
- inline __isl_give isl_space *release();
- inline __isl_keep isl_space *keep() const;
- inline __isl_give isl_space *take();
- inline explicit operator bool() const;
- inline isl::ctx get_ctx() const;
- inline bool is_null() const;
- inline std::string to_str() const;
- inline isl::space domain() const;
- inline isl::boolean is_equal(const isl::space &space2) const;
- inline isl::space params() const;
- inline isl::space set_from_params() const;
-};
-
-// declarations for isl::union_access_info
-inline isl::union_access_info manage(__isl_take isl_union_access_info *ptr);
-
-inline isl::union_access_info give(__isl_take isl_union_access_info *ptr);
-
-class union_access_info {
- friend inline isl::union_access_info manage(__isl_take isl_union_access_info *ptr);
-
- isl_union_access_info *ptr = nullptr;
-
- inline explicit union_access_info(__isl_take isl_union_access_info *ptr);
-
-public:
- inline /* implicit */ union_access_info();
- inline /* implicit */ union_access_info(const isl::union_access_info &obj);
- inline /* implicit */ union_access_info(std::nullptr_t);
- inline explicit union_access_info(isl::union_map sink);
- inline isl::union_access_info &operator=(isl::union_access_info obj);
- inline ~union_access_info();
- inline __isl_give isl_union_access_info *copy() const &;
- inline __isl_give isl_union_access_info *copy() && = delete;
- inline __isl_keep isl_union_access_info *get() const;
- inline __isl_give isl_union_access_info *release();
- inline __isl_keep isl_union_access_info *keep() const;
- inline __isl_give isl_union_access_info *take();
- inline explicit operator bool() const;
- inline isl::ctx get_ctx() const;
- inline bool is_null() const;
- inline std::string to_str() const;
- inline isl::union_flow compute_flow() const;
- inline isl::union_access_info set_may_source(isl::union_map may_source) const;
- inline isl::union_access_info set_must_source(isl::union_map must_source) const;
- inline isl::union_access_info set_schedule(isl::schedule schedule) const;
- inline isl::union_access_info set_schedule_map(isl::union_map schedule_map) const;
-};
-
-// declarations for isl::union_flow
-inline isl::union_flow manage(__isl_take isl_union_flow *ptr);
-
-inline isl::union_flow give(__isl_take isl_union_flow *ptr);
-
-class union_flow {
- friend inline isl::union_flow manage(__isl_take isl_union_flow *ptr);
-
- isl_union_flow *ptr = nullptr;
-
- inline explicit union_flow(__isl_take isl_union_flow *ptr);
-
-public:
- inline /* implicit */ union_flow();
- inline /* implicit */ union_flow(const isl::union_flow &obj);
- inline /* implicit */ union_flow(std::nullptr_t);
- inline isl::union_flow &operator=(isl::union_flow obj);
- inline ~union_flow();
- inline __isl_give isl_union_flow *copy() const &;
- inline __isl_give isl_union_flow *copy() && = delete;
- inline __isl_keep isl_union_flow *get() const;
- inline __isl_give isl_union_flow *release();
- inline __isl_keep isl_union_flow *keep() const;
- inline __isl_give isl_union_flow *take();
- inline explicit operator bool() const;
- inline isl::ctx get_ctx() const;
- inline bool is_null() const;
- inline std::string to_str() const;
- inline isl::union_map get_full_may_dependence() const;
- inline isl::union_map get_full_must_dependence() const;
- inline isl::union_map get_may_dependence() const;
- inline isl::union_map get_may_no_source() const;
- inline isl::union_map get_must_dependence() const;
- inline isl::union_map get_must_no_source() const;
-};
-
-// declarations for isl::union_map
-inline isl::union_map manage(__isl_take isl_union_map *ptr);
-
-inline isl::union_map give(__isl_take isl_union_map *ptr);
-
-class union_map {
- friend inline isl::union_map manage(__isl_take isl_union_map *ptr);
-
- isl_union_map *ptr = nullptr;
-
- inline explicit union_map(__isl_take isl_union_map *ptr);
-
-public:
- inline /* implicit */ union_map();
- inline /* implicit */ union_map(const isl::union_map &obj);
- inline /* implicit */ union_map(std::nullptr_t);
- inline explicit union_map(isl::union_pw_aff upa);
- inline /* implicit */ union_map(isl::basic_map bmap);
- inline /* implicit */ union_map(isl::map map);
- inline explicit union_map(isl::ctx ctx, const std::string &str);
- inline isl::union_map &operator=(isl::union_map obj);
- inline ~union_map();
- inline __isl_give isl_union_map *copy() const &;
- inline __isl_give isl_union_map *copy() && = delete;
- inline __isl_keep isl_union_map *get() const;
- inline __isl_give isl_union_map *release();
- inline __isl_keep isl_union_map *keep() const;
- inline __isl_give isl_union_map *take();
- inline explicit operator bool() const;
- inline isl::ctx get_ctx() const;
- inline bool is_null() const;
- inline std::string to_str() const;
- inline isl::union_map add_map(isl::map map) const;
- inline isl::union_map affine_hull() const;
- inline isl::union_map apply_domain(isl::union_map umap2) const;
- inline isl::union_map apply_range(isl::union_map umap2) const;
- inline isl::union_map coalesce() const;
- inline isl::union_map compute_divs() const;
- inline isl::union_set deltas() const;
- inline isl::union_map detect_equalities() const;
- inline isl::union_set domain() const;
- inline isl::union_map domain_factor_domain() const;
- inline isl::union_map domain_factor_range() const;
- inline isl::union_map domain_map() const;
- inline isl::union_pw_multi_aff domain_map_union_pw_multi_aff() const;
- inline isl::union_map domain_product(isl::union_map umap2) const;
- static inline isl::union_map empty(isl::space dim);
- inline isl::union_map factor_domain() const;
- inline isl::union_map factor_range() const;
- inline isl::union_map fixed_power(isl::val exp) const;
- inline isl::union_map flat_range_product(isl::union_map umap2) const;
- inline isl::stat foreach_map(std::function<isl::stat(isl::map)> &&fn) const;
- static inline isl::union_map from(isl::union_pw_multi_aff upma);
- static inline isl::union_map from(isl::multi_union_pw_aff mupa);
- static inline isl::union_map from_domain_and_range(isl::union_set domain, isl::union_set range);
- inline isl::space get_space() const;
- inline isl::union_map gist(isl::union_map context) const;
- inline isl::union_map gist_domain(isl::union_set uset) const;
- inline isl::union_map gist_params(isl::set set) const;
- inline isl::union_map gist_range(isl::union_set uset) const;
- inline isl::union_map intersect(isl::union_map umap2) const;
- inline isl::union_map intersect_domain(isl::union_set uset) const;
- inline isl::union_map intersect_params(isl::set set) const;
- inline isl::union_map intersect_range(isl::union_set uset) const;
- inline isl::boolean is_bijective() const;
- inline isl::boolean is_empty() const;
- inline isl::boolean is_equal(const isl::union_map &umap2) const;
- inline isl::boolean is_injective() const;
- inline isl::boolean is_single_valued() const;
- inline isl::boolean is_strict_subset(const isl::union_map &umap2) const;
- inline isl::boolean is_subset(const isl::union_map &umap2) const;
- inline isl::union_map lexmax() const;
- inline isl::union_map lexmin() const;
- inline isl::union_map polyhedral_hull() const;
- inline isl::union_map product(isl::union_map umap2) const;
- inline isl::union_set range() const;
- inline isl::union_map range_factor_domain() const;
- inline isl::union_map range_factor_range() const;
- inline isl::union_map range_map() const;
- inline isl::union_map range_product(isl::union_map umap2) const;
- inline isl::union_map reverse() const;
- inline isl::union_map subtract(isl::union_map umap2) const;
- inline isl::union_map subtract_domain(isl::union_set dom) const;
- inline isl::union_map subtract_range(isl::union_set dom) const;
- inline isl::union_map unite(isl::union_map umap2) const;
- inline isl::union_set wrap() const;
- inline isl::union_map zip() const;
-};
-
-// declarations for isl::union_pw_aff
-inline isl::union_pw_aff manage(__isl_take isl_union_pw_aff *ptr);
-
-inline isl::union_pw_aff give(__isl_take isl_union_pw_aff *ptr);
-
-class union_pw_aff {
- friend inline isl::union_pw_aff manage(__isl_take isl_union_pw_aff *ptr);
-
- isl_union_pw_aff *ptr = nullptr;
-
- inline explicit union_pw_aff(__isl_take isl_union_pw_aff *ptr);
-
-public:
- inline /* implicit */ union_pw_aff();
- inline /* implicit */ union_pw_aff(const isl::union_pw_aff &obj);
- inline /* implicit */ union_pw_aff(std::nullptr_t);
- inline /* implicit */ union_pw_aff(isl::pw_aff pa);
- inline explicit union_pw_aff(isl::union_set domain, isl::val v);
- inline explicit union_pw_aff(isl::ctx ctx, const std::string &str);
- inline isl::union_pw_aff &operator=(isl::union_pw_aff obj);
- inline ~union_pw_aff();
- inline __isl_give isl_union_pw_aff *copy() const &;
- inline __isl_give isl_union_pw_aff *copy() && = delete;
- inline __isl_keep isl_union_pw_aff *get() const;
- inline __isl_give isl_union_pw_aff *release();
- inline __isl_keep isl_union_pw_aff *keep() const;
- inline __isl_give isl_union_pw_aff *take();
- inline explicit operator bool() const;
- inline isl::ctx get_ctx() const;
- inline bool is_null() const;
- inline std::string to_str() const;
- inline isl::union_pw_aff add(isl::union_pw_aff upa2) const;
- static inline isl::union_pw_aff empty(isl::space space);
- inline isl::stat foreach_pw_aff(std::function<isl::stat(isl::pw_aff)> &&fn) const;
- inline isl::space get_space() const;
- inline isl::union_pw_aff pullback(isl::union_pw_multi_aff upma) const;
- inline isl::union_pw_aff sub(isl::union_pw_aff upa2) const;
- inline isl::union_pw_aff union_add(isl::union_pw_aff upa2) const;
-};
-
-// declarations for isl::union_pw_multi_aff
-inline isl::union_pw_multi_aff manage(__isl_take isl_union_pw_multi_aff *ptr);
-
-inline isl::union_pw_multi_aff give(__isl_take isl_union_pw_multi_aff *ptr);
-
-class union_pw_multi_aff {
- friend inline isl::union_pw_multi_aff manage(__isl_take isl_union_pw_multi_aff *ptr);
-
- isl_union_pw_multi_aff *ptr = nullptr;
-
- inline explicit union_pw_multi_aff(__isl_take isl_union_pw_multi_aff *ptr);
-
-public:
- inline /* implicit */ union_pw_multi_aff();
- inline /* implicit */ union_pw_multi_aff(const isl::union_pw_multi_aff &obj);
- inline /* implicit */ union_pw_multi_aff(std::nullptr_t);
- inline /* implicit */ union_pw_multi_aff(isl::pw_multi_aff pma);
- inline explicit union_pw_multi_aff(isl::union_set uset);
- inline explicit union_pw_multi_aff(isl::union_map umap);
- inline explicit union_pw_multi_aff(isl::ctx ctx, const std::string &str);
- inline /* implicit */ union_pw_multi_aff(isl::union_pw_aff upa);
- inline isl::union_pw_multi_aff &operator=(isl::union_pw_multi_aff obj);
- inline ~union_pw_multi_aff();
- inline __isl_give isl_union_pw_multi_aff *copy() const &;
- inline __isl_give isl_union_pw_multi_aff *copy() && = delete;
- inline __isl_keep isl_union_pw_multi_aff *get() const;
- inline __isl_give isl_union_pw_multi_aff *release();
- inline __isl_keep isl_union_pw_multi_aff *keep() const;
- inline __isl_give isl_union_pw_multi_aff *take();
- inline explicit operator bool() const;
- inline isl::ctx get_ctx() const;
- inline bool is_null() const;
- inline std::string to_str() const;
- inline isl::union_pw_multi_aff add(isl::union_pw_multi_aff upma2) const;
- inline isl::union_pw_multi_aff flat_range_product(isl::union_pw_multi_aff upma2) const;
- inline isl::union_pw_multi_aff pullback(isl::union_pw_multi_aff upma2) const;
- inline isl::union_pw_multi_aff union_add(isl::union_pw_multi_aff upma2) const;
-};
-
-// declarations for isl::union_set
-inline isl::union_set manage(__isl_take isl_union_set *ptr);
-
-inline isl::union_set give(__isl_take isl_union_set *ptr);
-
-class union_set {
- friend inline isl::union_set manage(__isl_take isl_union_set *ptr);
-
- isl_union_set *ptr = nullptr;
-
- inline explicit union_set(__isl_take isl_union_set *ptr);
-
-public:
- inline /* implicit */ union_set();
- inline /* implicit */ union_set(const isl::union_set &obj);
- inline /* implicit */ union_set(std::nullptr_t);
- inline /* implicit */ union_set(isl::basic_set bset);
- inline /* implicit */ union_set(isl::set set);
- inline /* implicit */ union_set(isl::point pnt);
- inline explicit union_set(isl::ctx ctx, const std::string &str);
- inline isl::union_set &operator=(isl::union_set obj);
- inline ~union_set();
- inline __isl_give isl_union_set *copy() const &;
- inline __isl_give isl_union_set *copy() && = delete;
- inline __isl_keep isl_union_set *get() const;
- inline __isl_give isl_union_set *release();
- inline __isl_keep isl_union_set *keep() const;
- inline __isl_give isl_union_set *take();
- inline explicit operator bool() const;
- inline isl::ctx get_ctx() const;
- inline bool is_null() const;
- inline std::string to_str() const;
- inline isl::union_set affine_hull() const;
- inline isl::union_set apply(isl::union_map umap) const;
- inline isl::union_set coalesce() const;
- inline isl::union_set compute_divs() const;
- inline isl::union_set detect_equalities() const;
- inline isl::stat foreach_point(std::function<isl::stat(isl::point)> &&fn) const;
- inline isl::stat foreach_set(std::function<isl::stat(isl::set)> &&fn) const;
- inline isl::union_set gist(isl::union_set context) const;
- inline isl::union_set gist_params(isl::set set) const;
- inline isl::union_map identity() const;
- inline isl::union_set intersect(isl::union_set uset2) const;
- inline isl::union_set intersect_params(isl::set set) const;
- inline isl::boolean is_empty() const;
- inline isl::boolean is_equal(const isl::union_set &uset2) const;
- inline isl::boolean is_strict_subset(const isl::union_set &uset2) const;
- inline isl::boolean is_subset(const isl::union_set &uset2) const;
- inline isl::union_set lexmax() const;
- inline isl::union_set lexmin() const;
- inline isl::union_set polyhedral_hull() const;
- inline isl::point sample_point() const;
- inline isl::union_set subtract(isl::union_set uset2) const;
- inline isl::union_set unite(isl::union_set uset2) const;
- inline isl::union_map unwrap() const;
-};
-
-// declarations for isl::val
-inline isl::val manage(__isl_take isl_val *ptr);
-
-inline isl::val give(__isl_take isl_val *ptr);
-
-class val {
- friend inline isl::val manage(__isl_take isl_val *ptr);
-
- isl_val *ptr = nullptr;
-
- inline explicit val(__isl_take isl_val *ptr);
-
-public:
- inline /* implicit */ val();
- inline /* implicit */ val(const isl::val &obj);
- inline /* implicit */ val(std::nullptr_t);
- inline explicit val(isl::ctx ctx, long i);
- inline explicit val(isl::ctx ctx, const std::string &str);
- inline isl::val &operator=(isl::val obj);
- inline ~val();
- inline __isl_give isl_val *copy() const &;
- inline __isl_give isl_val *copy() && = delete;
- inline __isl_keep isl_val *get() const;
- inline __isl_give isl_val *release();
- inline __isl_keep isl_val *keep() const;
- inline __isl_give isl_val *take();
- inline explicit operator bool() const;
- inline isl::ctx get_ctx() const;
- inline bool is_null() const;
- inline std::string to_str() const;
- inline isl::val two_exp() const;
- inline isl::val abs() const;
- inline isl::boolean abs_eq(const isl::val &v2) const;
- inline isl::val add(isl::val v2) const;
- inline isl::val add_ui(unsigned long v2) const;
- inline isl::val ceil() const;
- inline int cmp_si(long i) const;
- inline isl::val div(isl::val v2) const;
- inline isl::boolean eq(const isl::val &v2) const;
- inline isl::val floor() const;
- inline isl::val gcd(isl::val v2) const;
- inline isl::boolean ge(const isl::val &v2) const;
- inline isl::boolean gt(const isl::val &v2) const;
- static inline isl::val infty(isl::ctx ctx);
- inline isl::val inv() const;
- inline isl::boolean is_divisible_by(const isl::val &v2) const;
- inline isl::boolean is_infty() const;
- inline isl::boolean is_int() const;
- inline isl::boolean is_nan() const;
- inline isl::boolean is_neg() const;
- inline isl::boolean is_neginfty() const;
- inline isl::boolean is_negone() const;
- inline isl::boolean is_nonneg() const;
- inline isl::boolean is_nonpos() const;
- inline isl::boolean is_one() const;
- inline isl::boolean is_pos() const;
- inline isl::boolean is_rat() const;
- inline isl::boolean is_zero() const;
- inline isl::boolean le(const isl::val &v2) const;
- inline isl::boolean lt(const isl::val &v2) const;
- inline isl::val max(isl::val v2) const;
- inline isl::val min(isl::val v2) const;
- inline isl::val mod(isl::val v2) const;
- inline isl::val mul(isl::val v2) const;
- static inline isl::val nan(isl::ctx ctx);
- inline isl::boolean ne(const isl::val &v2) const;
- inline isl::val neg() const;
- static inline isl::val neginfty(isl::ctx ctx);
- static inline isl::val negone(isl::ctx ctx);
- static inline isl::val one(isl::ctx ctx);
- inline int sgn() const;
- inline isl::val sub(isl::val v2) const;
- inline isl::val sub_ui(unsigned long v2) const;
- inline isl::val trunc() const;
- static inline isl::val zero(isl::ctx ctx);
-};
-
-// implementations for isl::aff
-isl::aff manage(__isl_take isl_aff *ptr) {
- return aff(ptr);
-}
-
-isl::aff give(__isl_take isl_aff *ptr) {
- return manage(ptr);
-}
-
-aff::aff()
- : ptr(nullptr) {}
-
-aff::aff(const isl::aff &obj)
- : ptr(obj.copy()) {}
-
-aff::aff(std::nullptr_t)
- : ptr(nullptr) {}
-
-aff::aff(__isl_take isl_aff *ptr)
- : ptr(ptr) {}
-
-aff::aff(isl::local_space ls) {
- auto res = isl_aff_zero_on_domain(ls.release());
- ptr = res;
-}
-
-aff::aff(isl::local_space ls, isl::val val) {
- auto res = isl_aff_val_on_domain(ls.release(), val.release());
- ptr = res;
-}
-
-aff::aff(isl::ctx ctx, const std::string &str) {
- auto res = isl_aff_read_from_str(ctx.release(), str.c_str());
- ptr = res;
-}
-
-aff &aff::operator=(isl::aff obj) {
- std::swap(this->ptr, obj.ptr);
- return *this;
-}
-
-aff::~aff() {
- if (ptr)
- isl_aff_free(ptr);
-}
-
-__isl_give isl_aff *aff::copy() const & {
- return isl_aff_copy(ptr);
-}
-
-__isl_keep isl_aff *aff::get() const {
- return ptr;
-}
-
-__isl_give isl_aff *aff::release() {
- isl_aff *tmp = ptr;
- ptr = nullptr;
- return tmp;
-}
-
-__isl_keep isl_aff *aff::keep() const {
- return get();
-}
-
-__isl_give isl_aff *aff::take() {
- return release();
-}
-
-aff::operator bool() const {
- return !is_null();
-}
-
-isl::ctx aff::get_ctx() const {
- return isl::ctx(isl_aff_get_ctx(ptr));
-}
-
-bool aff::is_null() const {
- return ptr == nullptr;
-}
-
-std::string aff::to_str() const {
- char *Tmp = isl_aff_to_str(get());
- if (!Tmp)
- return "";
- std::string S(Tmp);
- free(Tmp);
- return S;
-}
-
-inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
- const aff &Obj) {
- OS << Obj.to_str();
- return OS;
-}
-
-isl::aff aff::add(isl::aff aff2) const {
- auto res = isl_aff_add(copy(), aff2.release());
- return manage(res);
-}
-
-isl::val aff::get_constant() const {
- auto res = isl_aff_get_constant_val(get());
- return manage(res);
-}
-
-isl::boolean aff::is_cst() const {
- auto res = isl_aff_is_cst(get());
- return res;
-}
-
-isl::aff aff::pullback(isl::multi_aff ma) const {
- auto res = isl_aff_pullback_multi_aff(copy(), ma.release());
- return manage(res);
-}
-
-// implementations for isl::ast_build
-isl::ast_build manage(__isl_take isl_ast_build *ptr) {
- return ast_build(ptr);
-}
-
-isl::ast_build give(__isl_take isl_ast_build *ptr) {
- return manage(ptr);
-}
-
-ast_build::ast_build()
- : ptr(nullptr) {}
-
-ast_build::ast_build(const isl::ast_build &obj)
- : ptr(obj.copy()) {}
-
-ast_build::ast_build(std::nullptr_t)
- : ptr(nullptr) {}
-
-ast_build::ast_build(__isl_take isl_ast_build *ptr)
- : ptr(ptr) {}
-
-ast_build::ast_build(isl::ctx ctx) {
- auto res = isl_ast_build_alloc(ctx.release());
- ptr = res;
-}
-
-ast_build &ast_build::operator=(isl::ast_build obj) {
- std::swap(this->ptr, obj.ptr);
- return *this;
-}
-
-ast_build::~ast_build() {
- if (ptr)
- isl_ast_build_free(ptr);
-}
-
-__isl_give isl_ast_build *ast_build::copy() const & {
- return isl_ast_build_copy(ptr);
-}
-
-__isl_keep isl_ast_build *ast_build::get() const {
- return ptr;
-}
-
-__isl_give isl_ast_build *ast_build::release() {
- isl_ast_build *tmp = ptr;
- ptr = nullptr;
- return tmp;
-}
-
-__isl_keep isl_ast_build *ast_build::keep() const {
- return get();
-}
-
-__isl_give isl_ast_build *ast_build::take() {
- return release();
-}
-
-ast_build::operator bool() const {
- return !is_null();
-}
-
-isl::ctx ast_build::get_ctx() const {
- return isl::ctx(isl_ast_build_get_ctx(ptr));
-}
-
-bool ast_build::is_null() const {
- return ptr == nullptr;
-}
-
-isl::ast_expr ast_build::access_from(isl::pw_multi_aff pma) const {
- auto res = isl_ast_build_access_from_pw_multi_aff(get(), pma.release());
- return manage(res);
-}
-
-isl::ast_expr ast_build::access_from(isl::multi_pw_aff mpa) const {
- auto res = isl_ast_build_access_from_multi_pw_aff(get(), mpa.release());
- return manage(res);
-}
-
-isl::ast_expr ast_build::call_from(isl::pw_multi_aff pma) const {
- auto res = isl_ast_build_call_from_pw_multi_aff(get(), pma.release());
- return manage(res);
-}
-
-isl::ast_expr ast_build::call_from(isl::multi_pw_aff mpa) const {
- auto res = isl_ast_build_call_from_multi_pw_aff(get(), mpa.release());
- return manage(res);
-}
-
-isl::ast_expr ast_build::expr_from(isl::set set) const {
- auto res = isl_ast_build_expr_from_set(get(), set.release());
- return manage(res);
-}
-
-isl::ast_expr ast_build::expr_from(isl::pw_aff pa) const {
- auto res = isl_ast_build_expr_from_pw_aff(get(), pa.release());
- return manage(res);
-}
-
-isl::ast_build ast_build::from_context(isl::set set) {
- auto res = isl_ast_build_from_context(set.release());
- return manage(res);
-}
-
-isl::ast_node ast_build::node_from_schedule_map(isl::union_map schedule) const {
- auto res = isl_ast_build_node_from_schedule_map(get(), schedule.release());
- return manage(res);
-}
-
-// implementations for isl::ast_expr
-isl::ast_expr manage(__isl_take isl_ast_expr *ptr) {
- return ast_expr(ptr);
-}
-
-isl::ast_expr give(__isl_take isl_ast_expr *ptr) {
- return manage(ptr);
-}
-
-ast_expr::ast_expr()
- : ptr(nullptr) {}
-
-ast_expr::ast_expr(const isl::ast_expr &obj)
- : ptr(obj.copy()) {}
-
-ast_expr::ast_expr(std::nullptr_t)
- : ptr(nullptr) {}
-
-ast_expr::ast_expr(__isl_take isl_ast_expr *ptr)
- : ptr(ptr) {}
-
-ast_expr &ast_expr::operator=(isl::ast_expr obj) {
- std::swap(this->ptr, obj.ptr);
- return *this;
-}
-
-ast_expr::~ast_expr() {
- if (ptr)
- isl_ast_expr_free(ptr);
-}
-
-__isl_give isl_ast_expr *ast_expr::copy() const & {
- return isl_ast_expr_copy(ptr);
-}
-
-__isl_keep isl_ast_expr *ast_expr::get() const {
- return ptr;
-}
-
-__isl_give isl_ast_expr *ast_expr::release() {
- isl_ast_expr *tmp = ptr;
- ptr = nullptr;
- return tmp;
-}
-
-__isl_keep isl_ast_expr *ast_expr::keep() const {
- return get();
-}
-
-__isl_give isl_ast_expr *ast_expr::take() {
- return release();
-}
-
-ast_expr::operator bool() const {
- return !is_null();
-}
-
-isl::ctx ast_expr::get_ctx() const {
- return isl::ctx(isl_ast_expr_get_ctx(ptr));
-}
-
-bool ast_expr::is_null() const {
- return ptr == nullptr;
-}
-
-std::string ast_expr::to_str() const {
- char *Tmp = isl_ast_expr_to_str(get());
- if (!Tmp)
- return "";
- std::string S(Tmp);
- free(Tmp);
- return S;
-}
-
-inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
- const ast_expr &Obj) {
- OS << Obj.to_str();
- return OS;
-}
-
-std::string ast_expr::to_C_str() const {
- auto res = isl_ast_expr_to_C_str(get());
- std::string tmp(res);
- free(res);
- return tmp;
-}
-
-// implementations for isl::ast_node
-isl::ast_node manage(__isl_take isl_ast_node *ptr) {
- return ast_node(ptr);
-}
-
-isl::ast_node give(__isl_take isl_ast_node *ptr) {
- return manage(ptr);
-}
-
-ast_node::ast_node()
- : ptr(nullptr) {}
-
-ast_node::ast_node(const isl::ast_node &obj)
- : ptr(obj.copy()) {}
-
-ast_node::ast_node(std::nullptr_t)
- : ptr(nullptr) {}
-
-ast_node::ast_node(__isl_take isl_ast_node *ptr)
- : ptr(ptr) {}
-
-ast_node &ast_node::operator=(isl::ast_node obj) {
- std::swap(this->ptr, obj.ptr);
- return *this;
-}
-
-ast_node::~ast_node() {
- if (ptr)
- isl_ast_node_free(ptr);
-}
-
-__isl_give isl_ast_node *ast_node::copy() const & {
- return isl_ast_node_copy(ptr);
-}
-
-__isl_keep isl_ast_node *ast_node::get() const {
- return ptr;
-}
-
-__isl_give isl_ast_node *ast_node::release() {
- isl_ast_node *tmp = ptr;
- ptr = nullptr;
- return tmp;
-}
-
-__isl_keep isl_ast_node *ast_node::keep() const {
- return get();
-}
-
-__isl_give isl_ast_node *ast_node::take() {
- return release();
-}
-
-ast_node::operator bool() const {
- return !is_null();
-}
-
-isl::ctx ast_node::get_ctx() const {
- return isl::ctx(isl_ast_node_get_ctx(ptr));
-}
-
-bool ast_node::is_null() const {
- return ptr == nullptr;
-}
-
-std::string ast_node::to_str() const {
- char *Tmp = isl_ast_node_to_str(get());
- if (!Tmp)
- return "";
- std::string S(Tmp);
- free(Tmp);
- return S;
-}
-
-inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
- const ast_node &Obj) {
- OS << Obj.to_str();
- return OS;
-}
-
-std::string ast_node::to_C_str() const {
- auto res = isl_ast_node_to_C_str(get());
- std::string tmp(res);
- free(res);
- return tmp;
-}
-
-// implementations for isl::basic_map
-isl::basic_map manage(__isl_take isl_basic_map *ptr) {
- return basic_map(ptr);
-}
-
-isl::basic_map give(__isl_take isl_basic_map *ptr) {
- return manage(ptr);
-}
-
-basic_map::basic_map()
- : ptr(nullptr) {}
-
-basic_map::basic_map(const isl::basic_map &obj)
- : ptr(obj.copy()) {}
-
-basic_map::basic_map(std::nullptr_t)
- : ptr(nullptr) {}
-
-basic_map::basic_map(__isl_take isl_basic_map *ptr)
- : ptr(ptr) {}
-
-basic_map::basic_map(isl::ctx ctx, const std::string &str) {
- auto res = isl_basic_map_read_from_str(ctx.release(), str.c_str());
- ptr = res;
-}
-
-basic_map &basic_map::operator=(isl::basic_map obj) {
- std::swap(this->ptr, obj.ptr);
- return *this;
-}
-
-basic_map::~basic_map() {
- if (ptr)
- isl_basic_map_free(ptr);
-}
-
-__isl_give isl_basic_map *basic_map::copy() const & {
- return isl_basic_map_copy(ptr);
-}
-
-__isl_keep isl_basic_map *basic_map::get() const {
- return ptr;
-}
-
-__isl_give isl_basic_map *basic_map::release() {
- isl_basic_map *tmp = ptr;
- ptr = nullptr;
- return tmp;
-}
-
-__isl_keep isl_basic_map *basic_map::keep() const {
- return get();
-}
-
-__isl_give isl_basic_map *basic_map::take() {
- return release();
-}
-
-basic_map::operator bool() const {
- return !is_null();
-}
-
-isl::ctx basic_map::get_ctx() const {
- return isl::ctx(isl_basic_map_get_ctx(ptr));
-}
-
-bool basic_map::is_null() const {
- return ptr == nullptr;
-}
-
-std::string basic_map::to_str() const {
- char *Tmp = isl_basic_map_to_str(get());
- if (!Tmp)
- return "";
- std::string S(Tmp);
- free(Tmp);
- return S;
-}
-
-inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
- const basic_map &Obj) {
- OS << Obj.to_str();
- return OS;
-}
-
-isl::basic_map basic_map::affine_hull() const {
- auto res = isl_basic_map_affine_hull(copy());
- return manage(res);
-}
-
-isl::basic_map basic_map::apply_domain(isl::basic_map bmap2) const {
- auto res = isl_basic_map_apply_domain(copy(), bmap2.release());
- return manage(res);
-}
-
-isl::basic_map basic_map::apply_range(isl::basic_map bmap2) const {
- auto res = isl_basic_map_apply_range(copy(), bmap2.release());
- return manage(res);
-}
-
-isl::basic_set basic_map::deltas() const {
- auto res = isl_basic_map_deltas(copy());
- return manage(res);
-}
-
-isl::basic_map basic_map::detect_equalities() const {
- auto res = isl_basic_map_detect_equalities(copy());
- return manage(res);
-}
-
-isl::basic_map basic_map::fix_si(isl::dim type, unsigned int pos, int value) const {
- auto res = isl_basic_map_fix_si(copy(), static_cast<enum isl_dim_type>(type), pos, value);
- return manage(res);
-}
-
-isl::basic_map basic_map::flatten() const {
- auto res = isl_basic_map_flatten(copy());
- return manage(res);
-}
-
-isl::basic_map basic_map::flatten_domain() const {
- auto res = isl_basic_map_flatten_domain(copy());
- return manage(res);
-}
-
-isl::basic_map basic_map::flatten_range() const {
- auto res = isl_basic_map_flatten_range(copy());
- return manage(res);
-}
-
-isl::basic_map basic_map::gist(isl::basic_map context) const {
- auto res = isl_basic_map_gist(copy(), context.release());
- return manage(res);
-}
-
-isl::basic_map basic_map::intersect(isl::basic_map bmap2) const {
- auto res = isl_basic_map_intersect(copy(), bmap2.release());
- return manage(res);
-}
-
-isl::basic_map basic_map::intersect_domain(isl::basic_set bset) const {
- auto res = isl_basic_map_intersect_domain(copy(), bset.release());
- return manage(res);
-}
-
-isl::basic_map basic_map::intersect_range(isl::basic_set bset) const {
- auto res = isl_basic_map_intersect_range(copy(), bset.release());
- return manage(res);
-}
-
-isl::boolean basic_map::is_empty() const {
- auto res = isl_basic_map_is_empty(get());
- return res;
-}
-
-isl::boolean basic_map::is_equal(const isl::basic_map &bmap2) const {
- auto res = isl_basic_map_is_equal(get(), bmap2.get());
- return res;
-}
-
-isl::boolean basic_map::is_subset(const isl::basic_map &bmap2) const {
- auto res = isl_basic_map_is_subset(get(), bmap2.get());
- return res;
-}
-
-isl::map basic_map::lexmax() const {
- auto res = isl_basic_map_lexmax(copy());
- return manage(res);
-}
-
-isl::map basic_map::lexmin() const {
- auto res = isl_basic_map_lexmin(copy());
- return manage(res);
-}
-
-isl::val basic_map::plain_get_val_if_fixed(isl::dim type, unsigned int pos) const {
- auto res = isl_basic_map_plain_get_val_if_fixed(get(), static_cast<enum isl_dim_type>(type), pos);
- return manage(res);
-}
-
-isl::basic_map basic_map::project_out(isl::dim type, unsigned int first, unsigned int n) const {
- auto res = isl_basic_map_project_out(copy(), static_cast<enum isl_dim_type>(type), first, n);
- return manage(res);
-}
-
-isl::basic_map basic_map::reverse() const {
- auto res = isl_basic_map_reverse(copy());
- return manage(res);
-}
-
-isl::basic_map basic_map::sample() const {
- auto res = isl_basic_map_sample(copy());
- return manage(res);
-}
-
-isl::map basic_map::unite(isl::basic_map bmap2) const {
- auto res = isl_basic_map_union(copy(), bmap2.release());
- return manage(res);
-}
-
-isl::basic_map basic_map::universe(isl::space dim) {
- auto res = isl_basic_map_universe(dim.release());
- return manage(res);
-}
-
-// implementations for isl::basic_set
-isl::basic_set manage(__isl_take isl_basic_set *ptr) {
- return basic_set(ptr);
-}
-
-isl::basic_set give(__isl_take isl_basic_set *ptr) {
- return manage(ptr);
-}
-
-basic_set::basic_set()
- : ptr(nullptr) {}
-
-basic_set::basic_set(const isl::basic_set &obj)
- : ptr(obj.copy()) {}
-
-basic_set::basic_set(std::nullptr_t)
- : ptr(nullptr) {}
-
-basic_set::basic_set(__isl_take isl_basic_set *ptr)
- : ptr(ptr) {}
-
-basic_set::basic_set(isl::ctx ctx, const std::string &str) {
- auto res = isl_basic_set_read_from_str(ctx.release(), str.c_str());
- ptr = res;
-}
-
-basic_set::basic_set(isl::point pnt) {
- auto res = isl_basic_set_from_point(pnt.release());
- ptr = res;
-}
-
-basic_set &basic_set::operator=(isl::basic_set obj) {
- std::swap(this->ptr, obj.ptr);
- return *this;
-}
-
-basic_set::~basic_set() {
- if (ptr)
- isl_basic_set_free(ptr);
-}
-
-__isl_give isl_basic_set *basic_set::copy() const & {
- return isl_basic_set_copy(ptr);
-}
-
-__isl_keep isl_basic_set *basic_set::get() const {
- return ptr;
-}
-
-__isl_give isl_basic_set *basic_set::release() {
- isl_basic_set *tmp = ptr;
- ptr = nullptr;
- return tmp;
-}
-
-__isl_keep isl_basic_set *basic_set::keep() const {
- return get();
-}
-
-__isl_give isl_basic_set *basic_set::take() {
- return release();
-}
-
-basic_set::operator bool() const {
- return !is_null();
-}
-
-isl::ctx basic_set::get_ctx() const {
- return isl::ctx(isl_basic_set_get_ctx(ptr));
-}
-
-bool basic_set::is_null() const {
- return ptr == nullptr;
-}
-
-std::string basic_set::to_str() const {
- char *Tmp = isl_basic_set_to_str(get());
- if (!Tmp)
- return "";
- std::string S(Tmp);
- free(Tmp);
- return S;
-}
-
-inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
- const basic_set &Obj) {
- OS << Obj.to_str();
- return OS;
-}
-
-isl::basic_set basic_set::affine_hull() const {
- auto res = isl_basic_set_affine_hull(copy());
- return manage(res);
-}
-
-isl::basic_set basic_set::apply(isl::basic_map bmap) const {
- auto res = isl_basic_set_apply(copy(), bmap.release());
- return manage(res);
-}
-
-isl::basic_set basic_set::detect_equalities() const {
- auto res = isl_basic_set_detect_equalities(copy());
- return manage(res);
-}
-
-isl::basic_set basic_set::flatten() const {
- auto res = isl_basic_set_flatten(copy());
- return manage(res);
-}
-
-isl::basic_set basic_set::gist(isl::basic_set context) const {
- auto res = isl_basic_set_gist(copy(), context.release());
- return manage(res);
-}
-
-isl::basic_set basic_set::intersect(isl::basic_set bset2) const {
- auto res = isl_basic_set_intersect(copy(), bset2.release());
- return manage(res);
-}
-
-isl::basic_set basic_set::intersect_params(isl::basic_set bset2) const {
- auto res = isl_basic_set_intersect_params(copy(), bset2.release());
- return manage(res);
-}
-
-isl::boolean basic_set::is_bounded() const {
- auto res = isl_basic_set_is_bounded(get());
- return res;
-}
-
-isl::boolean basic_set::is_empty() const {
- auto res = isl_basic_set_is_empty(get());
- return res;
-}
-
-isl::boolean basic_set::is_equal(const isl::basic_set &bset2) const {
- auto res = isl_basic_set_is_equal(get(), bset2.get());
- return res;
-}
-
-isl::boolean basic_set::is_subset(const isl::basic_set &bset2) const {
- auto res = isl_basic_set_is_subset(get(), bset2.get());
- return res;
-}
-
-isl::boolean basic_set::is_wrapping() const {
- auto res = isl_basic_set_is_wrapping(get());
- return res;
-}
-
-isl::set basic_set::lexmax() const {
- auto res = isl_basic_set_lexmax(copy());
- return manage(res);
-}
-
-isl::set basic_set::lexmin() const {
- auto res = isl_basic_set_lexmin(copy());
- return manage(res);
-}
-
-isl::basic_set basic_set::project_out(isl::dim type, unsigned int first, unsigned int n) const {
- auto res = isl_basic_set_project_out(copy(), static_cast<enum isl_dim_type>(type), first, n);
- return manage(res);
-}
-
-isl::basic_set basic_set::sample() const {
- auto res = isl_basic_set_sample(copy());
- return manage(res);
-}
-
-isl::point basic_set::sample_point() const {
- auto res = isl_basic_set_sample_point(copy());
- return manage(res);
-}
-
-isl::set basic_set::unite(isl::basic_set bset2) const {
- auto res = isl_basic_set_union(copy(), bset2.release());
- return manage(res);
-}
-
-// implementations for isl::id
-isl::id manage(__isl_take isl_id *ptr) {
- return id(ptr);
-}
-
-isl::id give(__isl_take isl_id *ptr) {
- return manage(ptr);
-}
-
-id::id()
- : ptr(nullptr) {}
-
-id::id(const isl::id &obj)
- : ptr(obj.copy()) {}
-
-id::id(std::nullptr_t)
- : ptr(nullptr) {}
-
-id::id(__isl_take isl_id *ptr)
- : ptr(ptr) {}
-
-id &id::operator=(isl::id obj) {
- std::swap(this->ptr, obj.ptr);
- return *this;
-}
-
-id::~id() {
- if (ptr)
- isl_id_free(ptr);
-}
-
-__isl_give isl_id *id::copy() const & {
- return isl_id_copy(ptr);
-}
-
-__isl_keep isl_id *id::get() const {
- return ptr;
-}
-
-__isl_give isl_id *id::release() {
- isl_id *tmp = ptr;
- ptr = nullptr;
- return tmp;
-}
-
-__isl_keep isl_id *id::keep() const {
- return get();
-}
-
-__isl_give isl_id *id::take() {
- return release();
-}
-
-id::operator bool() const {
- return !is_null();
-}
-
-isl::ctx id::get_ctx() const {
- return isl::ctx(isl_id_get_ctx(ptr));
-}
-
-bool id::is_null() const {
- return ptr == nullptr;
-}
-
-std::string id::to_str() const {
- char *Tmp = isl_id_to_str(get());
- if (!Tmp)
- return "";
- std::string S(Tmp);
- free(Tmp);
- return S;
-}
-
-inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
- const id &Obj) {
- OS << Obj.to_str();
- return OS;
-}
-
-// implementations for isl::local_space
-isl::local_space manage(__isl_take isl_local_space *ptr) {
- return local_space(ptr);
-}
-
-isl::local_space give(__isl_take isl_local_space *ptr) {
- return manage(ptr);
-}
-
-local_space::local_space()
- : ptr(nullptr) {}
-
-local_space::local_space(const isl::local_space &obj)
- : ptr(obj.copy()) {}
-
-local_space::local_space(std::nullptr_t)
- : ptr(nullptr) {}
-
-local_space::local_space(__isl_take isl_local_space *ptr)
- : ptr(ptr) {}
-
-local_space::local_space(isl::space dim) {
- auto res = isl_local_space_from_space(dim.release());
- ptr = res;
-}
-
-local_space &local_space::operator=(isl::local_space obj) {
- std::swap(this->ptr, obj.ptr);
- return *this;
-}
-
-local_space::~local_space() {
- if (ptr)
- isl_local_space_free(ptr);
-}
-
-__isl_give isl_local_space *local_space::copy() const & {
- return isl_local_space_copy(ptr);
-}
-
-__isl_keep isl_local_space *local_space::get() const {
- return ptr;
-}
-
-__isl_give isl_local_space *local_space::release() {
- isl_local_space *tmp = ptr;
- ptr = nullptr;
- return tmp;
-}
-
-__isl_keep isl_local_space *local_space::keep() const {
- return get();
-}
-
-__isl_give isl_local_space *local_space::take() {
- return release();
-}
-
-local_space::operator bool() const {
- return !is_null();
-}
-
-isl::ctx local_space::get_ctx() const {
- return isl::ctx(isl_local_space_get_ctx(ptr));
-}
-
-bool local_space::is_null() const {
- return ptr == nullptr;
-}
-
-// implementations for isl::map
-isl::map manage(__isl_take isl_map *ptr) {
- return map(ptr);
-}
-
-isl::map give(__isl_take isl_map *ptr) {
- return manage(ptr);
-}
-
-map::map()
- : ptr(nullptr) {}
-
-map::map(const isl::map &obj)
- : ptr(obj.copy()) {}
-
-map::map(std::nullptr_t)
- : ptr(nullptr) {}
-
-map::map(__isl_take isl_map *ptr)
- : ptr(ptr) {}
-
-map::map(isl::ctx ctx, const std::string &str) {
- auto res = isl_map_read_from_str(ctx.release(), str.c_str());
- ptr = res;
-}
-
-map::map(isl::basic_map bmap) {
- auto res = isl_map_from_basic_map(bmap.release());
- ptr = res;
-}
-
-map &map::operator=(isl::map obj) {
- std::swap(this->ptr, obj.ptr);
- return *this;
-}
-
-map::~map() {
- if (ptr)
- isl_map_free(ptr);
-}
-
-__isl_give isl_map *map::copy() const & {
- return isl_map_copy(ptr);
-}
-
-__isl_keep isl_map *map::get() const {
- return ptr;
-}
-
-__isl_give isl_map *map::release() {
- isl_map *tmp = ptr;
- ptr = nullptr;
- return tmp;
-}
-
-__isl_keep isl_map *map::keep() const {
- return get();
-}
-
-__isl_give isl_map *map::take() {
- return release();
-}
-
-map::operator bool() const {
- return !is_null();
-}
-
-isl::ctx map::get_ctx() const {
- return isl::ctx(isl_map_get_ctx(ptr));
-}
-
-bool map::is_null() const {
- return ptr == nullptr;
-}
-
-std::string map::to_str() const {
- char *Tmp = isl_map_to_str(get());
- if (!Tmp)
- return "";
- std::string S(Tmp);
- free(Tmp);
- return S;
-}
-
-inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
- const map &Obj) {
- OS << Obj.to_str();
- return OS;
-}
-
-isl::basic_map map::affine_hull() const {
- auto res = isl_map_affine_hull(copy());
- return manage(res);
-}
-
-isl::map map::apply_domain(isl::map map2) const {
- auto res = isl_map_apply_domain(copy(), map2.release());
- return manage(res);
-}
-
-isl::map map::apply_range(isl::map map2) const {
- auto res = isl_map_apply_range(copy(), map2.release());
- return manage(res);
-}
-
-isl::map map::coalesce() const {
- auto res = isl_map_coalesce(copy());
- return manage(res);
-}
-
-isl::map map::complement() const {
- auto res = isl_map_complement(copy());
- return manage(res);
-}
-
-isl::set map::deltas() const {
- auto res = isl_map_deltas(copy());
- return manage(res);
-}
-
-isl::map map::detect_equalities() const {
- auto res = isl_map_detect_equalities(copy());
- return manage(res);
-}
-
-unsigned int map::dim(isl::dim type) const {
- auto res = isl_map_dim(get(), static_cast<enum isl_dim_type>(type));
- return res;
-}
-
-isl::pw_aff map::dim_max(int pos) const {
- auto res = isl_map_dim_max(copy(), pos);
- return manage(res);
-}
-
-isl::pw_aff map::dim_min(int pos) const {
- auto res = isl_map_dim_min(copy(), pos);
- return manage(res);
-}
-
-isl::map map::flatten() const {
- auto res = isl_map_flatten(copy());
- return manage(res);
-}
-
-isl::map map::flatten_domain() const {
- auto res = isl_map_flatten_domain(copy());
- return manage(res);
-}
-
-isl::map map::flatten_range() const {
- auto res = isl_map_flatten_range(copy());
- return manage(res);
-}
-
-isl::stat map::foreach_basic_map(std::function<isl::stat(isl::basic_map)> &&fn) const {
- auto fn_lambda = [](isl_basic_map *arg_0, void *arg_1) -> isl_stat {
- auto *func = (std::function<isl::stat(isl::basic_map)> *)arg_1;
- isl::stat ret = (*func)(isl::manage(arg_0));
- return isl_stat(ret);
- };
- auto res = isl_map_foreach_basic_map(get(), fn_lambda, &fn);
- return isl::stat(res);
-}
-
-isl::map map::from_range(isl::set set) {
- auto res = isl_map_from_range(set.release());
- return manage(res);
-}
-
-isl::map map::gist(isl::map context) const {
- auto res = isl_map_gist(copy(), context.release());
- return manage(res);
-}
-
-isl::map map::gist_domain(isl::set context) const {
- auto res = isl_map_gist_domain(copy(), context.release());
- return manage(res);
-}
-
-isl::map map::intersect(isl::map map2) const {
- auto res = isl_map_intersect(copy(), map2.release());
- return manage(res);
-}
-
-isl::map map::intersect_domain(isl::set set) const {
- auto res = isl_map_intersect_domain(copy(), set.release());
- return manage(res);
-}
-
-isl::map map::intersect_params(isl::set params) const {
- auto res = isl_map_intersect_params(copy(), params.release());
- return manage(res);
-}
-
-isl::map map::intersect_range(isl::set set) const {
- auto res = isl_map_intersect_range(copy(), set.release());
- return manage(res);
-}
-
-isl::boolean map::is_bijective() const {
- auto res = isl_map_is_bijective(get());
- return res;
-}
-
-isl::boolean map::is_disjoint(const isl::map &map2) const {
- auto res = isl_map_is_disjoint(get(), map2.get());
- return res;
-}
-
-isl::boolean map::is_empty() const {
- auto res = isl_map_is_empty(get());
- return res;
-}
-
-isl::boolean map::is_equal(const isl::map &map2) const {
- auto res = isl_map_is_equal(get(), map2.get());
- return res;
-}
-
-isl::boolean map::is_injective() const {
- auto res = isl_map_is_injective(get());
- return res;
-}
-
-isl::boolean map::is_single_valued() const {
- auto res = isl_map_is_single_valued(get());
- return res;
-}
-
-isl::boolean map::is_strict_subset(const isl::map &map2) const {
- auto res = isl_map_is_strict_subset(get(), map2.get());
- return res;
-}
-
-isl::boolean map::is_subset(const isl::map &map2) const {
- auto res = isl_map_is_subset(get(), map2.get());
- return res;
-}
-
-isl::map map::lexmax() const {
- auto res = isl_map_lexmax(copy());
- return manage(res);
-}
-
-isl::map map::lexmin() const {
- auto res = isl_map_lexmin(copy());
- return manage(res);
-}
-
-isl::basic_map map::polyhedral_hull() const {
- auto res = isl_map_polyhedral_hull(copy());
- return manage(res);
-}
-
-isl::map map::project_out(isl::dim type, unsigned int first, unsigned int n) const {
- auto res = isl_map_project_out(copy(), static_cast<enum isl_dim_type>(type), first, n);
- return manage(res);
-}
-
-isl::map map::reverse() const {
- auto res = isl_map_reverse(copy());
- return manage(res);
-}
-
-isl::basic_map map::sample() const {
- auto res = isl_map_sample(copy());
- return manage(res);
-}
-
-isl::map map::subtract(isl::map map2) const {
- auto res = isl_map_subtract(copy(), map2.release());
- return manage(res);
-}
-
-isl::map map::unite(isl::map map2) const {
- auto res = isl_map_union(copy(), map2.release());
- return manage(res);
-}
-
-isl::basic_map map::unshifted_simple_hull() const {
- auto res = isl_map_unshifted_simple_hull(copy());
- return manage(res);
-}
-
-// implementations for isl::multi_aff
-isl::multi_aff manage(__isl_take isl_multi_aff *ptr) {
- return multi_aff(ptr);
-}
-
-isl::multi_aff give(__isl_take isl_multi_aff *ptr) {
- return manage(ptr);
-}
-
-multi_aff::multi_aff()
- : ptr(nullptr) {}
-
-multi_aff::multi_aff(const isl::multi_aff &obj)
- : ptr(obj.copy()) {}
-
-multi_aff::multi_aff(std::nullptr_t)
- : ptr(nullptr) {}
-
-multi_aff::multi_aff(__isl_take isl_multi_aff *ptr)
- : ptr(ptr) {}
-
-multi_aff::multi_aff(isl::aff aff) {
- auto res = isl_multi_aff_from_aff(aff.release());
- ptr = res;
-}
-
-multi_aff::multi_aff(isl::ctx ctx, const std::string &str) {
- auto res = isl_multi_aff_read_from_str(ctx.release(), str.c_str());
- ptr = res;
-}
-
-multi_aff &multi_aff::operator=(isl::multi_aff obj) {
- std::swap(this->ptr, obj.ptr);
- return *this;
-}
-
-multi_aff::~multi_aff() {
- if (ptr)
- isl_multi_aff_free(ptr);
-}
-
-__isl_give isl_multi_aff *multi_aff::copy() const & {
- return isl_multi_aff_copy(ptr);
-}
-
-__isl_keep isl_multi_aff *multi_aff::get() const {
- return ptr;
-}
-
-__isl_give isl_multi_aff *multi_aff::release() {
- isl_multi_aff *tmp = ptr;
- ptr = nullptr;
- return tmp;
-}
-
-__isl_keep isl_multi_aff *multi_aff::keep() const {
- return get();
-}
-
-__isl_give isl_multi_aff *multi_aff::take() {
- return release();
-}
-
-multi_aff::operator bool() const {
- return !is_null();
-}
-
-isl::ctx multi_aff::get_ctx() const {
- return isl::ctx(isl_multi_aff_get_ctx(ptr));
-}
-
-bool multi_aff::is_null() const {
- return ptr == nullptr;
-}
-
-std::string multi_aff::to_str() const {
- char *Tmp = isl_multi_aff_to_str(get());
- if (!Tmp)
- return "";
- std::string S(Tmp);
- free(Tmp);
- return S;
-}
-
-inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
- const multi_aff &Obj) {
- OS << Obj.to_str();
- return OS;
-}
-
-isl::multi_aff multi_aff::add(isl::multi_aff multi2) const {
- auto res = isl_multi_aff_add(copy(), multi2.release());
- return manage(res);
-}
-
-isl::multi_aff multi_aff::flat_range_product(isl::multi_aff multi2) const {
- auto res = isl_multi_aff_flat_range_product(copy(), multi2.release());
- return manage(res);
-}
-
-isl::aff multi_aff::get_aff(int pos) const {
- auto res = isl_multi_aff_get_aff(get(), pos);
- return manage(res);
-}
-
-isl::multi_aff multi_aff::product(isl::multi_aff multi2) const {
- auto res = isl_multi_aff_product(copy(), multi2.release());
- return manage(res);
-}
-
-isl::multi_aff multi_aff::pullback(isl::multi_aff ma2) const {
- auto res = isl_multi_aff_pullback_multi_aff(copy(), ma2.release());
- return manage(res);
-}
-
-isl::multi_aff multi_aff::range_product(isl::multi_aff multi2) const {
- auto res = isl_multi_aff_range_product(copy(), multi2.release());
- return manage(res);
-}
-
-// implementations for isl::multi_pw_aff
-isl::multi_pw_aff manage(__isl_take isl_multi_pw_aff *ptr) {
- return multi_pw_aff(ptr);
-}
-
-isl::multi_pw_aff give(__isl_take isl_multi_pw_aff *ptr) {
- return manage(ptr);
-}
-
-multi_pw_aff::multi_pw_aff()
- : ptr(nullptr) {}
-
-multi_pw_aff::multi_pw_aff(const isl::multi_pw_aff &obj)
- : ptr(obj.copy()) {}
-
-multi_pw_aff::multi_pw_aff(std::nullptr_t)
- : ptr(nullptr) {}
-
-multi_pw_aff::multi_pw_aff(__isl_take isl_multi_pw_aff *ptr)
- : ptr(ptr) {}
-
-multi_pw_aff::multi_pw_aff(isl::multi_aff ma) {
- auto res = isl_multi_pw_aff_from_multi_aff(ma.release());
- ptr = res;
-}
-
-multi_pw_aff::multi_pw_aff(isl::pw_aff pa) {
- auto res = isl_multi_pw_aff_from_pw_aff(pa.release());
- ptr = res;
-}
-
-multi_pw_aff::multi_pw_aff(isl::pw_multi_aff pma) {
- auto res = isl_multi_pw_aff_from_pw_multi_aff(pma.release());
- ptr = res;
-}
-
-multi_pw_aff::multi_pw_aff(isl::ctx ctx, const std::string &str) {
- auto res = isl_multi_pw_aff_read_from_str(ctx.release(), str.c_str());
- ptr = res;
-}
-
-multi_pw_aff &multi_pw_aff::operator=(isl::multi_pw_aff obj) {
- std::swap(this->ptr, obj.ptr);
- return *this;
-}
-
-multi_pw_aff::~multi_pw_aff() {
- if (ptr)
- isl_multi_pw_aff_free(ptr);
-}
-
-__isl_give isl_multi_pw_aff *multi_pw_aff::copy() const & {
- return isl_multi_pw_aff_copy(ptr);
-}
-
-__isl_keep isl_multi_pw_aff *multi_pw_aff::get() const {
- return ptr;
-}
-
-__isl_give isl_multi_pw_aff *multi_pw_aff::release() {
- isl_multi_pw_aff *tmp = ptr;
- ptr = nullptr;
- return tmp;
-}
-
-__isl_keep isl_multi_pw_aff *multi_pw_aff::keep() const {
- return get();
-}
-
-__isl_give isl_multi_pw_aff *multi_pw_aff::take() {
- return release();
-}
-
-multi_pw_aff::operator bool() const {
- return !is_null();
-}
-
-isl::ctx multi_pw_aff::get_ctx() const {
- return isl::ctx(isl_multi_pw_aff_get_ctx(ptr));
-}
-
-bool multi_pw_aff::is_null() const {
- return ptr == nullptr;
-}
-
-std::string multi_pw_aff::to_str() const {
- char *Tmp = isl_multi_pw_aff_to_str(get());
- if (!Tmp)
- return "";
- std::string S(Tmp);
- free(Tmp);
- return S;
-}
-
-inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
- const multi_pw_aff &Obj) {
- OS << Obj.to_str();
- return OS;
-}
-
-isl::multi_pw_aff multi_pw_aff::add(isl::multi_pw_aff multi2) const {
- auto res = isl_multi_pw_aff_add(copy(), multi2.release());
- return manage(res);
-}
-
-isl::multi_pw_aff multi_pw_aff::flat_range_product(isl::multi_pw_aff multi2) const {
- auto res = isl_multi_pw_aff_flat_range_product(copy(), multi2.release());
- return manage(res);
-}
-
-isl::pw_aff multi_pw_aff::get_pw_aff(int pos) const {
- auto res = isl_multi_pw_aff_get_pw_aff(get(), pos);
- return manage(res);
-}
-
-isl::multi_pw_aff multi_pw_aff::product(isl::multi_pw_aff multi2) const {
- auto res = isl_multi_pw_aff_product(copy(), multi2.release());
- return manage(res);
-}
-
-isl::multi_pw_aff multi_pw_aff::pullback(isl::multi_aff ma) const {
- auto res = isl_multi_pw_aff_pullback_multi_aff(copy(), ma.release());
- return manage(res);
-}
-
-isl::multi_pw_aff multi_pw_aff::pullback(isl::pw_multi_aff pma) const {
- auto res = isl_multi_pw_aff_pullback_pw_multi_aff(copy(), pma.release());
- return manage(res);
-}
-
-isl::multi_pw_aff multi_pw_aff::pullback(isl::multi_pw_aff mpa2) const {
- auto res = isl_multi_pw_aff_pullback_multi_pw_aff(copy(), mpa2.release());
- return manage(res);
-}
-
-isl::multi_pw_aff multi_pw_aff::range_product(isl::multi_pw_aff multi2) const {
- auto res = isl_multi_pw_aff_range_product(copy(), multi2.release());
- return manage(res);
-}
-
-// implementations for isl::multi_union_pw_aff
-isl::multi_union_pw_aff manage(__isl_take isl_multi_union_pw_aff *ptr) {
- return multi_union_pw_aff(ptr);
-}
-
-isl::multi_union_pw_aff give(__isl_take isl_multi_union_pw_aff *ptr) {
- return manage(ptr);
-}
-
-multi_union_pw_aff::multi_union_pw_aff()
- : ptr(nullptr) {}
-
-multi_union_pw_aff::multi_union_pw_aff(const isl::multi_union_pw_aff &obj)
- : ptr(obj.copy()) {}
-
-multi_union_pw_aff::multi_union_pw_aff(std::nullptr_t)
- : ptr(nullptr) {}
-
-multi_union_pw_aff::multi_union_pw_aff(__isl_take isl_multi_union_pw_aff *ptr)
- : ptr(ptr) {}
-
-multi_union_pw_aff::multi_union_pw_aff(isl::union_pw_aff upa) {
- auto res = isl_multi_union_pw_aff_from_union_pw_aff(upa.release());
- ptr = res;
-}
-
-multi_union_pw_aff::multi_union_pw_aff(isl::multi_pw_aff mpa) {
- auto res = isl_multi_union_pw_aff_from_multi_pw_aff(mpa.release());
- ptr = res;
-}
-
-multi_union_pw_aff::multi_union_pw_aff(isl::union_pw_multi_aff upma) {
- auto res = isl_multi_union_pw_aff_from_union_pw_multi_aff(upma.release());
- ptr = res;
-}
-
-multi_union_pw_aff::multi_union_pw_aff(isl::ctx ctx, const std::string &str) {
- auto res = isl_multi_union_pw_aff_read_from_str(ctx.release(), str.c_str());
- ptr = res;
-}
-
-multi_union_pw_aff &multi_union_pw_aff::operator=(isl::multi_union_pw_aff obj) {
- std::swap(this->ptr, obj.ptr);
- return *this;
-}
-
-multi_union_pw_aff::~multi_union_pw_aff() {
- if (ptr)
- isl_multi_union_pw_aff_free(ptr);
-}
-
-__isl_give isl_multi_union_pw_aff *multi_union_pw_aff::copy() const & {
- return isl_multi_union_pw_aff_copy(ptr);
-}
-
-__isl_keep isl_multi_union_pw_aff *multi_union_pw_aff::get() const {
- return ptr;
-}
-
-__isl_give isl_multi_union_pw_aff *multi_union_pw_aff::release() {
- isl_multi_union_pw_aff *tmp = ptr;
- ptr = nullptr;
- return tmp;
-}
-
-__isl_keep isl_multi_union_pw_aff *multi_union_pw_aff::keep() const {
- return get();
-}
-
-__isl_give isl_multi_union_pw_aff *multi_union_pw_aff::take() {
- return release();
-}
-
-multi_union_pw_aff::operator bool() const {
- return !is_null();
-}
-
-isl::ctx multi_union_pw_aff::get_ctx() const {
- return isl::ctx(isl_multi_union_pw_aff_get_ctx(ptr));
-}
-
-bool multi_union_pw_aff::is_null() const {
- return ptr == nullptr;
-}
-
-std::string multi_union_pw_aff::to_str() const {
- char *Tmp = isl_multi_union_pw_aff_to_str(get());
- if (!Tmp)
- return "";
- std::string S(Tmp);
- free(Tmp);
- return S;
-}
-
-inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
- const multi_union_pw_aff &Obj) {
- OS << Obj.to_str();
- return OS;
-}
-
-isl::multi_union_pw_aff multi_union_pw_aff::add(isl::multi_union_pw_aff multi2) const {
- auto res = isl_multi_union_pw_aff_add(copy(), multi2.release());
- return manage(res);
-}
-
-isl::multi_union_pw_aff multi_union_pw_aff::flat_range_product(isl::multi_union_pw_aff multi2) const {
- auto res = isl_multi_union_pw_aff_flat_range_product(copy(), multi2.release());
- return manage(res);
-}
-
-isl::union_pw_aff multi_union_pw_aff::get_union_pw_aff(int pos) const {
- auto res = isl_multi_union_pw_aff_get_union_pw_aff(get(), pos);
- return manage(res);
-}
-
-isl::multi_union_pw_aff multi_union_pw_aff::pullback(isl::union_pw_multi_aff upma) const {
- auto res = isl_multi_union_pw_aff_pullback_union_pw_multi_aff(copy(), upma.release());
- return manage(res);
-}
-
-isl::multi_union_pw_aff multi_union_pw_aff::range_product(isl::multi_union_pw_aff multi2) const {
- auto res = isl_multi_union_pw_aff_range_product(copy(), multi2.release());
- return manage(res);
-}
-
-isl::multi_union_pw_aff multi_union_pw_aff::union_add(isl::multi_union_pw_aff mupa2) const {
- auto res = isl_multi_union_pw_aff_union_add(copy(), mupa2.release());
- return manage(res);
-}
-
-// implementations for isl::multi_val
-isl::multi_val manage(__isl_take isl_multi_val *ptr) {
- return multi_val(ptr);
-}
-
-isl::multi_val give(__isl_take isl_multi_val *ptr) {
- return manage(ptr);
-}
-
-multi_val::multi_val()
- : ptr(nullptr) {}
-
-multi_val::multi_val(const isl::multi_val &obj)
- : ptr(obj.copy()) {}
-
-multi_val::multi_val(std::nullptr_t)
- : ptr(nullptr) {}
-
-multi_val::multi_val(__isl_take isl_multi_val *ptr)
- : ptr(ptr) {}
-
-multi_val &multi_val::operator=(isl::multi_val obj) {
- std::swap(this->ptr, obj.ptr);
- return *this;
-}
-
-multi_val::~multi_val() {
- if (ptr)
- isl_multi_val_free(ptr);
-}
-
-__isl_give isl_multi_val *multi_val::copy() const & {
- return isl_multi_val_copy(ptr);
-}
-
-__isl_keep isl_multi_val *multi_val::get() const {
- return ptr;
-}
-
-__isl_give isl_multi_val *multi_val::release() {
- isl_multi_val *tmp = ptr;
- ptr = nullptr;
- return tmp;
-}
-
-__isl_keep isl_multi_val *multi_val::keep() const {
- return get();
-}
-
-__isl_give isl_multi_val *multi_val::take() {
- return release();
-}
-
-multi_val::operator bool() const {
- return !is_null();
-}
-
-isl::ctx multi_val::get_ctx() const {
- return isl::ctx(isl_multi_val_get_ctx(ptr));
-}
-
-bool multi_val::is_null() const {
- return ptr == nullptr;
-}
-
-std::string multi_val::to_str() const {
- char *Tmp = isl_multi_val_to_str(get());
- if (!Tmp)
- return "";
- std::string S(Tmp);
- free(Tmp);
- return S;
-}
-
-inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
- const multi_val &Obj) {
- OS << Obj.to_str();
- return OS;
-}
-
-isl::multi_val multi_val::add(isl::multi_val multi2) const {
- auto res = isl_multi_val_add(copy(), multi2.release());
- return manage(res);
-}
-
-isl::multi_val multi_val::flat_range_product(isl::multi_val multi2) const {
- auto res = isl_multi_val_flat_range_product(copy(), multi2.release());
- return manage(res);
-}
-
-isl::val multi_val::get_val(int pos) const {
- auto res = isl_multi_val_get_val(get(), pos);
- return manage(res);
-}
-
-isl::multi_val multi_val::product(isl::multi_val multi2) const {
- auto res = isl_multi_val_product(copy(), multi2.release());
- return manage(res);
-}
-
-isl::multi_val multi_val::range_product(isl::multi_val multi2) const {
- auto res = isl_multi_val_range_product(copy(), multi2.release());
- return manage(res);
-}
-
-// implementations for isl::point
-isl::point manage(__isl_take isl_point *ptr) {
- return point(ptr);
-}
-
-isl::point give(__isl_take isl_point *ptr) {
- return manage(ptr);
-}
-
-point::point()
- : ptr(nullptr) {}
-
-point::point(const isl::point &obj)
- : ptr(obj.copy()) {}
-
-point::point(std::nullptr_t)
- : ptr(nullptr) {}
-
-point::point(__isl_take isl_point *ptr)
- : ptr(ptr) {}
-
-point::point(isl::space dim) {
- auto res = isl_point_zero(dim.release());
- ptr = res;
-}
-
-point &point::operator=(isl::point obj) {
- std::swap(this->ptr, obj.ptr);
- return *this;
-}
-
-point::~point() {
- if (ptr)
- isl_point_free(ptr);
-}
-
-__isl_give isl_point *point::copy() const & {
- return isl_point_copy(ptr);
-}
-
-__isl_keep isl_point *point::get() const {
- return ptr;
-}
-
-__isl_give isl_point *point::release() {
- isl_point *tmp = ptr;
- ptr = nullptr;
- return tmp;
-}
-
-__isl_keep isl_point *point::keep() const {
- return get();
-}
-
-__isl_give isl_point *point::take() {
- return release();
-}
-
-point::operator bool() const {
- return !is_null();
-}
-
-isl::ctx point::get_ctx() const {
- return isl::ctx(isl_point_get_ctx(ptr));
-}
-
-bool point::is_null() const {
- return ptr == nullptr;
-}
-
-std::string point::to_str() const {
- char *Tmp = isl_point_to_str(get());
- if (!Tmp)
- return "";
- std::string S(Tmp);
- free(Tmp);
- return S;
-}
-
-inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
- const point &Obj) {
- OS << Obj.to_str();
- return OS;
-}
-
-// implementations for isl::pw_aff
-isl::pw_aff manage(__isl_take isl_pw_aff *ptr) {
- return pw_aff(ptr);
-}
-
-isl::pw_aff give(__isl_take isl_pw_aff *ptr) {
- return manage(ptr);
-}
-
-pw_aff::pw_aff()
- : ptr(nullptr) {}
-
-pw_aff::pw_aff(const isl::pw_aff &obj)
- : ptr(obj.copy()) {}
-
-pw_aff::pw_aff(std::nullptr_t)
- : ptr(nullptr) {}
-
-pw_aff::pw_aff(__isl_take isl_pw_aff *ptr)
- : ptr(ptr) {}
-
-pw_aff::pw_aff(isl::aff aff) {
- auto res = isl_pw_aff_from_aff(aff.release());
- ptr = res;
-}
-
-pw_aff::pw_aff(isl::local_space ls) {
- auto res = isl_pw_aff_zero_on_domain(ls.release());
- ptr = res;
-}
-
-pw_aff::pw_aff(isl::set domain, isl::val v) {
- auto res = isl_pw_aff_val_on_domain(domain.release(), v.release());
- ptr = res;
-}
-
-pw_aff::pw_aff(isl::ctx ctx, const std::string &str) {
- auto res = isl_pw_aff_read_from_str(ctx.release(), str.c_str());
- ptr = res;
-}
-
-pw_aff &pw_aff::operator=(isl::pw_aff obj) {
- std::swap(this->ptr, obj.ptr);
- return *this;
-}
-
-pw_aff::~pw_aff() {
- if (ptr)
- isl_pw_aff_free(ptr);
-}
-
-__isl_give isl_pw_aff *pw_aff::copy() const & {
- return isl_pw_aff_copy(ptr);
-}
-
-__isl_keep isl_pw_aff *pw_aff::get() const {
- return ptr;
-}
-
-__isl_give isl_pw_aff *pw_aff::release() {
- isl_pw_aff *tmp = ptr;
- ptr = nullptr;
- return tmp;
-}
-
-__isl_keep isl_pw_aff *pw_aff::keep() const {
- return get();
-}
-
-__isl_give isl_pw_aff *pw_aff::take() {
- return release();
-}
-
-pw_aff::operator bool() const {
- return !is_null();
-}
-
-isl::ctx pw_aff::get_ctx() const {
- return isl::ctx(isl_pw_aff_get_ctx(ptr));
-}
-
-bool pw_aff::is_null() const {
- return ptr == nullptr;
-}
-
-std::string pw_aff::to_str() const {
- char *Tmp = isl_pw_aff_to_str(get());
- if (!Tmp)
- return "";
- std::string S(Tmp);
- free(Tmp);
- return S;
-}
-
-inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
- const pw_aff &Obj) {
- OS << Obj.to_str();
- return OS;
-}
-
-isl::pw_aff pw_aff::add(isl::pw_aff pwaff2) const {
- auto res = isl_pw_aff_add(copy(), pwaff2.release());
- return manage(res);
-}
-
-isl::stat pw_aff::foreach_piece(std::function<isl::stat(isl::set, isl::aff)> &&fn) const {
- auto fn_lambda = [](isl_set *arg_0, isl_aff *arg_1, void *arg_2) -> isl_stat {
- auto *func = (std::function<isl::stat(isl::set, isl::aff)> *)arg_2;
- isl::stat ret = (*func)(isl::manage(arg_0), isl::manage(arg_1));
- return isl_stat(ret);
- };
- auto res = isl_pw_aff_foreach_piece(get(), fn_lambda, &fn);
- return isl::stat(res);
-}
-
-isl::space pw_aff::get_space() const {
- auto res = isl_pw_aff_get_space(get());
- return manage(res);
-}
-
-isl::boolean pw_aff::is_cst() const {
- auto res = isl_pw_aff_is_cst(get());
- return res;
-}
-
-isl::pw_aff pw_aff::mul(isl::pw_aff pwaff2) const {
- auto res = isl_pw_aff_mul(copy(), pwaff2.release());
- return manage(res);
-}
-
-isl::pw_aff pw_aff::neg() const {
- auto res = isl_pw_aff_neg(copy());
- return manage(res);
-}
-
-isl::pw_aff pw_aff::pullback(isl::multi_aff ma) const {
- auto res = isl_pw_aff_pullback_multi_aff(copy(), ma.release());
- return manage(res);
-}
-
-isl::pw_aff pw_aff::pullback(isl::pw_multi_aff pma) const {
- auto res = isl_pw_aff_pullback_pw_multi_aff(copy(), pma.release());
- return manage(res);
-}
-
-isl::pw_aff pw_aff::pullback(isl::multi_pw_aff mpa) const {
- auto res = isl_pw_aff_pullback_multi_pw_aff(copy(), mpa.release());
- return manage(res);
-}
-
-isl::pw_aff pw_aff::sub(isl::pw_aff pwaff2) const {
- auto res = isl_pw_aff_sub(copy(), pwaff2.release());
- return manage(res);
-}
-
-isl::pw_aff pw_aff::union_add(isl::pw_aff pwaff2) const {
- auto res = isl_pw_aff_union_add(copy(), pwaff2.release());
- return manage(res);
-}
-
-// implementations for isl::pw_multi_aff
-isl::pw_multi_aff manage(__isl_take isl_pw_multi_aff *ptr) {
- return pw_multi_aff(ptr);
-}
-
-isl::pw_multi_aff give(__isl_take isl_pw_multi_aff *ptr) {
- return manage(ptr);
-}
-
-pw_multi_aff::pw_multi_aff()
- : ptr(nullptr) {}
-
-pw_multi_aff::pw_multi_aff(const isl::pw_multi_aff &obj)
- : ptr(obj.copy()) {}
-
-pw_multi_aff::pw_multi_aff(std::nullptr_t)
- : ptr(nullptr) {}
-
-pw_multi_aff::pw_multi_aff(__isl_take isl_pw_multi_aff *ptr)
- : ptr(ptr) {}
-
-pw_multi_aff::pw_multi_aff(isl::ctx ctx, const std::string &str) {
- auto res = isl_pw_multi_aff_read_from_str(ctx.release(), str.c_str());
- ptr = res;
-}
-
-pw_multi_aff::pw_multi_aff(isl::multi_aff ma) {
- auto res = isl_pw_multi_aff_from_multi_aff(ma.release());
- ptr = res;
-}
-
-pw_multi_aff::pw_multi_aff(isl::pw_aff pa) {
- auto res = isl_pw_multi_aff_from_pw_aff(pa.release());
- ptr = res;
-}
-
-pw_multi_aff &pw_multi_aff::operator=(isl::pw_multi_aff obj) {
- std::swap(this->ptr, obj.ptr);
- return *this;
-}
-
-pw_multi_aff::~pw_multi_aff() {
- if (ptr)
- isl_pw_multi_aff_free(ptr);
-}
-
-__isl_give isl_pw_multi_aff *pw_multi_aff::copy() const & {
- return isl_pw_multi_aff_copy(ptr);
-}
-
-__isl_keep isl_pw_multi_aff *pw_multi_aff::get() const {
- return ptr;
-}
-
-__isl_give isl_pw_multi_aff *pw_multi_aff::release() {
- isl_pw_multi_aff *tmp = ptr;
- ptr = nullptr;
- return tmp;
-}
-
-__isl_keep isl_pw_multi_aff *pw_multi_aff::keep() const {
- return get();
-}
-
-__isl_give isl_pw_multi_aff *pw_multi_aff::take() {
- return release();
-}
-
-pw_multi_aff::operator bool() const {
- return !is_null();
-}
-
-isl::ctx pw_multi_aff::get_ctx() const {
- return isl::ctx(isl_pw_multi_aff_get_ctx(ptr));
-}
-
-bool pw_multi_aff::is_null() const {
- return ptr == nullptr;
-}
-
-std::string pw_multi_aff::to_str() const {
- char *Tmp = isl_pw_multi_aff_to_str(get());
- if (!Tmp)
- return "";
- std::string S(Tmp);
- free(Tmp);
- return S;
-}
-
-inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
- const pw_multi_aff &Obj) {
- OS << Obj.to_str();
- return OS;
-}
-
-isl::pw_multi_aff pw_multi_aff::add(isl::pw_multi_aff pma2) const {
- auto res = isl_pw_multi_aff_add(copy(), pma2.release());
- return manage(res);
-}
-
-isl::pw_multi_aff pw_multi_aff::flat_range_product(isl::pw_multi_aff pma2) const {
- auto res = isl_pw_multi_aff_flat_range_product(copy(), pma2.release());
- return manage(res);
-}
-
-isl::pw_multi_aff pw_multi_aff::product(isl::pw_multi_aff pma2) const {
- auto res = isl_pw_multi_aff_product(copy(), pma2.release());
- return manage(res);
-}
-
-isl::pw_multi_aff pw_multi_aff::pullback(isl::multi_aff ma) const {
- auto res = isl_pw_multi_aff_pullback_multi_aff(copy(), ma.release());
- return manage(res);
-}
-
-isl::pw_multi_aff pw_multi_aff::pullback(isl::pw_multi_aff pma2) const {
- auto res = isl_pw_multi_aff_pullback_pw_multi_aff(copy(), pma2.release());
- return manage(res);
-}
-
-isl::pw_multi_aff pw_multi_aff::range_product(isl::pw_multi_aff pma2) const {
- auto res = isl_pw_multi_aff_range_product(copy(), pma2.release());
- return manage(res);
-}
-
-isl::pw_multi_aff pw_multi_aff::union_add(isl::pw_multi_aff pma2) const {
- auto res = isl_pw_multi_aff_union_add(copy(), pma2.release());
- return manage(res);
-}
-
-// implementations for isl::schedule
-isl::schedule manage(__isl_take isl_schedule *ptr) {
- return schedule(ptr);
-}
-
-isl::schedule give(__isl_take isl_schedule *ptr) {
- return manage(ptr);
-}
-
-schedule::schedule()
- : ptr(nullptr) {}
-
-schedule::schedule(const isl::schedule &obj)
- : ptr(obj.copy()) {}
-
-schedule::schedule(std::nullptr_t)
- : ptr(nullptr) {}
-
-schedule::schedule(__isl_take isl_schedule *ptr)
- : ptr(ptr) {}
-
-schedule::schedule(isl::ctx ctx, const std::string &str) {
- auto res = isl_schedule_read_from_str(ctx.release(), str.c_str());
- ptr = res;
-}
-
-schedule &schedule::operator=(isl::schedule obj) {
- std::swap(this->ptr, obj.ptr);
- return *this;
-}
-
-schedule::~schedule() {
- if (ptr)
- isl_schedule_free(ptr);
-}
-
-__isl_give isl_schedule *schedule::copy() const & {
- return isl_schedule_copy(ptr);
-}
-
-__isl_keep isl_schedule *schedule::get() const {
- return ptr;
-}
-
-__isl_give isl_schedule *schedule::release() {
- isl_schedule *tmp = ptr;
- ptr = nullptr;
- return tmp;
-}
-
-__isl_keep isl_schedule *schedule::keep() const {
- return get();
-}
-
-__isl_give isl_schedule *schedule::take() {
- return release();
-}
-
-schedule::operator bool() const {
- return !is_null();
-}
-
-isl::ctx schedule::get_ctx() const {
- return isl::ctx(isl_schedule_get_ctx(ptr));
-}
-
-bool schedule::is_null() const {
- return ptr == nullptr;
-}
-
-std::string schedule::to_str() const {
- char *Tmp = isl_schedule_to_str(get());
- if (!Tmp)
- return "";
- std::string S(Tmp);
- free(Tmp);
- return S;
-}
-
-inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
- const schedule &Obj) {
- OS << Obj.to_str();
- return OS;
-}
-
-isl::union_map schedule::get_map() const {
- auto res = isl_schedule_get_map(get());
- return manage(res);
-}
-
-isl::schedule_node schedule::get_root() const {
- auto res = isl_schedule_get_root(get());
- return manage(res);
-}
-
-isl::schedule schedule::pullback(isl::union_pw_multi_aff upma) const {
- auto res = isl_schedule_pullback_union_pw_multi_aff(copy(), upma.release());
- return manage(res);
-}
-
-// implementations for isl::schedule_constraints
-isl::schedule_constraints manage(__isl_take isl_schedule_constraints *ptr) {
- return schedule_constraints(ptr);
-}
-
-isl::schedule_constraints give(__isl_take isl_schedule_constraints *ptr) {
- return manage(ptr);
-}
-
-schedule_constraints::schedule_constraints()
- : ptr(nullptr) {}
-
-schedule_constraints::schedule_constraints(const isl::schedule_constraints &obj)
- : ptr(obj.copy()) {}
-
-schedule_constraints::schedule_constraints(std::nullptr_t)
- : ptr(nullptr) {}
-
-schedule_constraints::schedule_constraints(__isl_take isl_schedule_constraints *ptr)
- : ptr(ptr) {}
-
-schedule_constraints::schedule_constraints(isl::ctx ctx, const std::string &str) {
- auto res = isl_schedule_constraints_read_from_str(ctx.release(), str.c_str());
- ptr = res;
-}
-
-schedule_constraints &schedule_constraints::operator=(isl::schedule_constraints obj) {
- std::swap(this->ptr, obj.ptr);
- return *this;
-}
-
-schedule_constraints::~schedule_constraints() {
- if (ptr)
- isl_schedule_constraints_free(ptr);
-}
-
-__isl_give isl_schedule_constraints *schedule_constraints::copy() const & {
- return isl_schedule_constraints_copy(ptr);
-}
-
-__isl_keep isl_schedule_constraints *schedule_constraints::get() const {
- return ptr;
-}
-
-__isl_give isl_schedule_constraints *schedule_constraints::release() {
- isl_schedule_constraints *tmp = ptr;
- ptr = nullptr;
- return tmp;
-}
-
-__isl_keep isl_schedule_constraints *schedule_constraints::keep() const {
- return get();
-}
-
-__isl_give isl_schedule_constraints *schedule_constraints::take() {
- return release();
-}
-
-schedule_constraints::operator bool() const {
- return !is_null();
-}
-
-isl::ctx schedule_constraints::get_ctx() const {
- return isl::ctx(isl_schedule_constraints_get_ctx(ptr));
-}
-
-bool schedule_constraints::is_null() const {
- return ptr == nullptr;
-}
-
-std::string schedule_constraints::to_str() const {
- char *Tmp = isl_schedule_constraints_to_str(get());
- if (!Tmp)
- return "";
- std::string S(Tmp);
- free(Tmp);
- return S;
-}
-
-inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
- const schedule_constraints &Obj) {
- OS << Obj.to_str();
- return OS;
-}
-
-isl::union_map schedule_constraints::get_coincidence() const {
- auto res = isl_schedule_constraints_get_coincidence(get());
- return manage(res);
-}
-
-isl::union_map schedule_constraints::get_conditional_validity() const {
- auto res = isl_schedule_constraints_get_conditional_validity(get());
- return manage(res);
-}
-
-isl::union_map schedule_constraints::get_conditional_validity_condition() const {
- auto res = isl_schedule_constraints_get_conditional_validity_condition(get());
- return manage(res);
-}
-
-isl::set schedule_constraints::get_context() const {
- auto res = isl_schedule_constraints_get_context(get());
- return manage(res);
-}
-
-isl::union_set schedule_constraints::get_domain() const {
- auto res = isl_schedule_constraints_get_domain(get());
- return manage(res);
-}
-
-isl::union_map schedule_constraints::get_proximity() const {
- auto res = isl_schedule_constraints_get_proximity(get());
- return manage(res);
-}
-
-isl::union_map schedule_constraints::get_validity() const {
- auto res = isl_schedule_constraints_get_validity(get());
- return manage(res);
-}
-
-// implementations for isl::schedule_node
-isl::schedule_node manage(__isl_take isl_schedule_node *ptr) {
- return schedule_node(ptr);
-}
-
-isl::schedule_node give(__isl_take isl_schedule_node *ptr) {
- return manage(ptr);
-}
-
-schedule_node::schedule_node()
- : ptr(nullptr) {}
-
-schedule_node::schedule_node(const isl::schedule_node &obj)
- : ptr(obj.copy()) {}
-
-schedule_node::schedule_node(std::nullptr_t)
- : ptr(nullptr) {}
-
-schedule_node::schedule_node(__isl_take isl_schedule_node *ptr)
- : ptr(ptr) {}
-
-schedule_node &schedule_node::operator=(isl::schedule_node obj) {
- std::swap(this->ptr, obj.ptr);
- return *this;
-}
-
-schedule_node::~schedule_node() {
- if (ptr)
- isl_schedule_node_free(ptr);
-}
-
-__isl_give isl_schedule_node *schedule_node::copy() const & {
- return isl_schedule_node_copy(ptr);
-}
-
-__isl_keep isl_schedule_node *schedule_node::get() const {
- return ptr;
-}
-
-__isl_give isl_schedule_node *schedule_node::release() {
- isl_schedule_node *tmp = ptr;
- ptr = nullptr;
- return tmp;
-}
-
-__isl_keep isl_schedule_node *schedule_node::keep() const {
- return get();
-}
-
-__isl_give isl_schedule_node *schedule_node::take() {
- return release();
-}
-
-schedule_node::operator bool() const {
- return !is_null();
-}
-
-isl::ctx schedule_node::get_ctx() const {
- return isl::ctx(isl_schedule_node_get_ctx(ptr));
-}
-
-bool schedule_node::is_null() const {
- return ptr == nullptr;
-}
-
-std::string schedule_node::to_str() const {
- char *Tmp = isl_schedule_node_to_str(get());
- if (!Tmp)
- return "";
- std::string S(Tmp);
- free(Tmp);
- return S;
-}
-
-inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
- const schedule_node &Obj) {
- OS << Obj.to_str();
- return OS;
-}
-
-isl::boolean schedule_node::band_member_get_coincident(int pos) const {
- auto res = isl_schedule_node_band_member_get_coincident(get(), pos);
- return res;
-}
-
-isl::schedule_node schedule_node::band_member_set_coincident(int pos, int coincident) const {
- auto res = isl_schedule_node_band_member_set_coincident(copy(), pos, coincident);
- return manage(res);
-}
-
-isl::schedule_node schedule_node::child(int pos) const {
- auto res = isl_schedule_node_child(copy(), pos);
- return manage(res);
-}
-
-isl::multi_union_pw_aff schedule_node::get_prefix_schedule_multi_union_pw_aff() const {
- auto res = isl_schedule_node_get_prefix_schedule_multi_union_pw_aff(get());
- return manage(res);
-}
-
-isl::union_map schedule_node::get_prefix_schedule_union_map() const {
- auto res = isl_schedule_node_get_prefix_schedule_union_map(get());
- return manage(res);
-}
-
-isl::union_pw_multi_aff schedule_node::get_prefix_schedule_union_pw_multi_aff() const {
- auto res = isl_schedule_node_get_prefix_schedule_union_pw_multi_aff(get());
- return manage(res);
-}
-
-isl::schedule schedule_node::get_schedule() const {
- auto res = isl_schedule_node_get_schedule(get());
- return manage(res);
-}
-
-isl::schedule_node schedule_node::parent() const {
- auto res = isl_schedule_node_parent(copy());
- return manage(res);
-}
-
-// implementations for isl::set
-isl::set manage(__isl_take isl_set *ptr) {
- return set(ptr);
-}
-
-isl::set give(__isl_take isl_set *ptr) {
- return manage(ptr);
-}
-
-set::set()
- : ptr(nullptr) {}
-
-set::set(const isl::set &obj)
- : ptr(obj.copy()) {}
-
-set::set(std::nullptr_t)
- : ptr(nullptr) {}
-
-set::set(__isl_take isl_set *ptr)
- : ptr(ptr) {}
-
-set::set(isl::union_set uset) {
- auto res = isl_set_from_union_set(uset.release());
- ptr = res;
-}
-
-set::set(isl::ctx ctx, const std::string &str) {
- auto res = isl_set_read_from_str(ctx.release(), str.c_str());
- ptr = res;
-}
-
-set::set(isl::basic_set bset) {
- auto res = isl_set_from_basic_set(bset.release());
- ptr = res;
-}
-
-set::set(isl::point pnt) {
- auto res = isl_set_from_point(pnt.release());
- ptr = res;
-}
-
-set &set::operator=(isl::set obj) {
- std::swap(this->ptr, obj.ptr);
- return *this;
-}
-
-set::~set() {
- if (ptr)
- isl_set_free(ptr);
-}
-
-__isl_give isl_set *set::copy() const & {
- return isl_set_copy(ptr);
-}
-
-__isl_keep isl_set *set::get() const {
- return ptr;
-}
-
-__isl_give isl_set *set::release() {
- isl_set *tmp = ptr;
- ptr = nullptr;
- return tmp;
-}
-
-__isl_keep isl_set *set::keep() const {
- return get();
-}
-
-__isl_give isl_set *set::take() {
- return release();
-}
-
-set::operator bool() const {
- return !is_null();
-}
-
-isl::ctx set::get_ctx() const {
- return isl::ctx(isl_set_get_ctx(ptr));
-}
-
-bool set::is_null() const {
- return ptr == nullptr;
-}
-
-std::string set::to_str() const {
- char *Tmp = isl_set_to_str(get());
- if (!Tmp)
- return "";
- std::string S(Tmp);
- free(Tmp);
- return S;
-}
-
-inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
- const set &Obj) {
- OS << Obj.to_str();
- return OS;
-}
-
-isl::set set::add_dims(isl::dim type, unsigned int n) const {
- auto res = isl_set_add_dims(copy(), static_cast<enum isl_dim_type>(type), n);
- return manage(res);
-}
-
-isl::basic_set set::affine_hull() const {
- auto res = isl_set_affine_hull(copy());
- return manage(res);
-}
-
-isl::set set::apply(isl::map map) const {
- auto res = isl_set_apply(copy(), map.release());
- return manage(res);
-}
-
-isl::set set::coalesce() const {
- auto res = isl_set_coalesce(copy());
- return manage(res);
-}
-
-isl::set set::complement() const {
- auto res = isl_set_complement(copy());
- return manage(res);
-}
-
-isl::set set::detect_equalities() const {
- auto res = isl_set_detect_equalities(copy());
- return manage(res);
-}
-
-unsigned int set::dim(isl::dim type) const {
- auto res = isl_set_dim(get(), static_cast<enum isl_dim_type>(type));
- return res;
-}
-
-isl::pw_aff set::dim_max(int pos) const {
- auto res = isl_set_dim_max(copy(), pos);
- return manage(res);
-}
-
-isl::pw_aff set::dim_min(int pos) const {
- auto res = isl_set_dim_min(copy(), pos);
- return manage(res);
-}
-
-isl::set set::flatten() const {
- auto res = isl_set_flatten(copy());
- return manage(res);
-}
-
-isl::stat set::foreach_basic_set(std::function<isl::stat(isl::basic_set)> &&fn) const {
- auto fn_lambda = [](isl_basic_set *arg_0, void *arg_1) -> isl_stat {
- auto *func = (std::function<isl::stat(isl::basic_set)> *)arg_1;
- isl::stat ret = (*func)(isl::manage(arg_0));
- return isl_stat(ret);
- };
- auto res = isl_set_foreach_basic_set(get(), fn_lambda, &fn);
- return isl::stat(res);
-}
-
-isl::set set::gist(isl::set context) const {
- auto res = isl_set_gist(copy(), context.release());
- return manage(res);
-}
-
-isl::map set::identity() const {
- auto res = isl_set_identity(copy());
- return manage(res);
-}
-
-isl::set set::intersect(isl::set set2) const {
- auto res = isl_set_intersect(copy(), set2.release());
- return manage(res);
-}
-
-isl::set set::intersect_params(isl::set params) const {
- auto res = isl_set_intersect_params(copy(), params.release());
- return manage(res);
-}
-
-isl::boolean set::is_bounded() const {
- auto res = isl_set_is_bounded(get());
- return res;
-}
-
-isl::boolean set::is_disjoint(const isl::set &set2) const {
- auto res = isl_set_is_disjoint(get(), set2.get());
- return res;
-}
-
-isl::boolean set::is_empty() const {
- auto res = isl_set_is_empty(get());
- return res;
-}
-
-isl::boolean set::is_equal(const isl::set &set2) const {
- auto res = isl_set_is_equal(get(), set2.get());
- return res;
-}
-
-isl::boolean set::is_strict_subset(const isl::set &set2) const {
- auto res = isl_set_is_strict_subset(get(), set2.get());
- return res;
-}
-
-isl::boolean set::is_subset(const isl::set &set2) const {
- auto res = isl_set_is_subset(get(), set2.get());
- return res;
-}
-
-isl::boolean set::is_wrapping() const {
- auto res = isl_set_is_wrapping(get());
- return res;
-}
-
-isl::set set::lexmax() const {
- auto res = isl_set_lexmax(copy());
- return manage(res);
-}
-
-isl::set set::lexmin() const {
- auto res = isl_set_lexmin(copy());
- return manage(res);
-}
-
-isl::val set::max_val(const isl::aff &obj) const {
- auto res = isl_set_max_val(get(), obj.get());
- return manage(res);
-}
-
-isl::val set::min_val(const isl::aff &obj) const {
- auto res = isl_set_min_val(get(), obj.get());
- return manage(res);
-}
-
-isl::basic_set set::polyhedral_hull() const {
- auto res = isl_set_polyhedral_hull(copy());
- return manage(res);
-}
-
-isl::set set::project_out(isl::dim type, unsigned int first, unsigned int n) const {
- auto res = isl_set_project_out(copy(), static_cast<enum isl_dim_type>(type), first, n);
- return manage(res);
-}
-
-isl::basic_set set::sample() const {
- auto res = isl_set_sample(copy());
- return manage(res);
-}
-
-isl::point set::sample_point() const {
- auto res = isl_set_sample_point(copy());
- return manage(res);
-}
-
-isl::set set::subtract(isl::set set2) const {
- auto res = isl_set_subtract(copy(), set2.release());
- return manage(res);
-}
-
-isl::set set::unite(isl::set set2) const {
- auto res = isl_set_union(copy(), set2.release());
- return manage(res);
-}
-
-isl::set set::universe(isl::space dim) {
- auto res = isl_set_universe(dim.release());
- return manage(res);
-}
-
-isl::basic_set set::unshifted_simple_hull() const {
- auto res = isl_set_unshifted_simple_hull(copy());
- return manage(res);
-}
-
-// implementations for isl::space
-isl::space manage(__isl_take isl_space *ptr) {
- return space(ptr);
-}
-
-isl::space give(__isl_take isl_space *ptr) {
- return manage(ptr);
-}
-
-space::space()
- : ptr(nullptr) {}
-
-space::space(const isl::space &obj)
- : ptr(obj.copy()) {}
-
-space::space(std::nullptr_t)
- : ptr(nullptr) {}
-
-space::space(__isl_take isl_space *ptr)
- : ptr(ptr) {}
-
-space::space(isl::ctx ctx, unsigned int nparam, unsigned int n_in, unsigned int n_out) {
- auto res = isl_space_alloc(ctx.release(), nparam, n_in, n_out);
- ptr = res;
-}
-
-space::space(isl::ctx ctx, unsigned int nparam, unsigned int dim) {
- auto res = isl_space_set_alloc(ctx.release(), nparam, dim);
- ptr = res;
-}
-
-space &space::operator=(isl::space obj) {
- std::swap(this->ptr, obj.ptr);
- return *this;
-}
-
-space::~space() {
- if (ptr)
- isl_space_free(ptr);
-}
-
-__isl_give isl_space *space::copy() const & {
- return isl_space_copy(ptr);
-}
-
-__isl_keep isl_space *space::get() const {
- return ptr;
-}
-
-__isl_give isl_space *space::release() {
- isl_space *tmp = ptr;
- ptr = nullptr;
- return tmp;
-}
-
-__isl_keep isl_space *space::keep() const {
- return get();
-}
-
-__isl_give isl_space *space::take() {
- return release();
-}
-
-space::operator bool() const {
- return !is_null();
-}
-
-isl::ctx space::get_ctx() const {
- return isl::ctx(isl_space_get_ctx(ptr));
-}
-
-bool space::is_null() const {
- return ptr == nullptr;
-}
-
-std::string space::to_str() const {
- char *Tmp = isl_space_to_str(get());
- if (!Tmp)
- return "";
- std::string S(Tmp);
- free(Tmp);
- return S;
-}
-
-inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
- const space &Obj) {
- OS << Obj.to_str();
- return OS;
-}
-
-isl::space space::domain() const {
- auto res = isl_space_domain(copy());
- return manage(res);
-}
-
-isl::boolean space::is_equal(const isl::space &space2) const {
- auto res = isl_space_is_equal(get(), space2.get());
- return res;
-}
-
-isl::space space::params() const {
- auto res = isl_space_params(copy());
- return manage(res);
-}
-
-isl::space space::set_from_params() const {
- auto res = isl_space_set_from_params(copy());
- return manage(res);
-}
-
-// implementations for isl::union_access_info
-isl::union_access_info manage(__isl_take isl_union_access_info *ptr) {
- return union_access_info(ptr);
-}
-
-isl::union_access_info give(__isl_take isl_union_access_info *ptr) {
- return manage(ptr);
-}
-
-union_access_info::union_access_info()
- : ptr(nullptr) {}
-
-union_access_info::union_access_info(const isl::union_access_info &obj)
- : ptr(obj.copy()) {}
-
-union_access_info::union_access_info(std::nullptr_t)
- : ptr(nullptr) {}
-
-union_access_info::union_access_info(__isl_take isl_union_access_info *ptr)
- : ptr(ptr) {}
-
-union_access_info::union_access_info(isl::union_map sink) {
- auto res = isl_union_access_info_from_sink(sink.release());
- ptr = res;
-}
-
-union_access_info &union_access_info::operator=(isl::union_access_info obj) {
- std::swap(this->ptr, obj.ptr);
- return *this;
-}
-
-union_access_info::~union_access_info() {
- if (ptr)
- isl_union_access_info_free(ptr);
-}
-
-__isl_give isl_union_access_info *union_access_info::copy() const & {
- return isl_union_access_info_copy(ptr);
-}
-
-__isl_keep isl_union_access_info *union_access_info::get() const {
- return ptr;
-}
-
-__isl_give isl_union_access_info *union_access_info::release() {
- isl_union_access_info *tmp = ptr;
- ptr = nullptr;
- return tmp;
-}
-
-__isl_keep isl_union_access_info *union_access_info::keep() const {
- return get();
-}
-
-__isl_give isl_union_access_info *union_access_info::take() {
- return release();
-}
-
-union_access_info::operator bool() const {
- return !is_null();
-}
-
-isl::ctx union_access_info::get_ctx() const {
- return isl::ctx(isl_union_access_info_get_ctx(ptr));
-}
-
-bool union_access_info::is_null() const {
- return ptr == nullptr;
-}
-
-std::string union_access_info::to_str() const {
- char *Tmp = isl_union_access_info_to_str(get());
- if (!Tmp)
- return "";
- std::string S(Tmp);
- free(Tmp);
- return S;
-}
-
-inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
- const union_access_info &Obj) {
- OS << Obj.to_str();
- return OS;
-}
-
-isl::union_flow union_access_info::compute_flow() const {
- auto res = isl_union_access_info_compute_flow(copy());
- return manage(res);
-}
-
-isl::union_access_info union_access_info::set_may_source(isl::union_map may_source) const {
- auto res = isl_union_access_info_set_may_source(copy(), may_source.release());
- return manage(res);
-}
-
-isl::union_access_info union_access_info::set_must_source(isl::union_map must_source) const {
- auto res = isl_union_access_info_set_must_source(copy(), must_source.release());
- return manage(res);
-}
-
-isl::union_access_info union_access_info::set_schedule(isl::schedule schedule) const {
- auto res = isl_union_access_info_set_schedule(copy(), schedule.release());
- return manage(res);
-}
-
-isl::union_access_info union_access_info::set_schedule_map(isl::union_map schedule_map) const {
- auto res = isl_union_access_info_set_schedule_map(copy(), schedule_map.release());
- return manage(res);
-}
-
-// implementations for isl::union_flow
-isl::union_flow manage(__isl_take isl_union_flow *ptr) {
- return union_flow(ptr);
-}
-
-isl::union_flow give(__isl_take isl_union_flow *ptr) {
- return manage(ptr);
-}
-
-union_flow::union_flow()
- : ptr(nullptr) {}
-
-union_flow::union_flow(const isl::union_flow &obj)
- : ptr(obj.copy()) {}
-
-union_flow::union_flow(std::nullptr_t)
- : ptr(nullptr) {}
-
-union_flow::union_flow(__isl_take isl_union_flow *ptr)
- : ptr(ptr) {}
-
-union_flow &union_flow::operator=(isl::union_flow obj) {
- std::swap(this->ptr, obj.ptr);
- return *this;
-}
-
-union_flow::~union_flow() {
- if (ptr)
- isl_union_flow_free(ptr);
-}
-
-__isl_give isl_union_flow *union_flow::copy() const & {
- return isl_union_flow_copy(ptr);
-}
-
-__isl_keep isl_union_flow *union_flow::get() const {
- return ptr;
-}
-
-__isl_give isl_union_flow *union_flow::release() {
- isl_union_flow *tmp = ptr;
- ptr = nullptr;
- return tmp;
-}
-
-__isl_keep isl_union_flow *union_flow::keep() const {
- return get();
-}
-
-__isl_give isl_union_flow *union_flow::take() {
- return release();
-}
-
-union_flow::operator bool() const {
- return !is_null();
-}
-
-isl::ctx union_flow::get_ctx() const {
- return isl::ctx(isl_union_flow_get_ctx(ptr));
-}
-
-bool union_flow::is_null() const {
- return ptr == nullptr;
-}
-
-std::string union_flow::to_str() const {
- char *Tmp = isl_union_flow_to_str(get());
- if (!Tmp)
- return "";
- std::string S(Tmp);
- free(Tmp);
- return S;
-}
-
-inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
- const union_flow &Obj) {
- OS << Obj.to_str();
- return OS;
-}
-
-isl::union_map union_flow::get_full_may_dependence() const {
- auto res = isl_union_flow_get_full_may_dependence(get());
- return manage(res);
-}
-
-isl::union_map union_flow::get_full_must_dependence() const {
- auto res = isl_union_flow_get_full_must_dependence(get());
- return manage(res);
-}
-
-isl::union_map union_flow::get_may_dependence() const {
- auto res = isl_union_flow_get_may_dependence(get());
- return manage(res);
-}
-
-isl::union_map union_flow::get_may_no_source() const {
- auto res = isl_union_flow_get_may_no_source(get());
- return manage(res);
-}
-
-isl::union_map union_flow::get_must_dependence() const {
- auto res = isl_union_flow_get_must_dependence(get());
- return manage(res);
-}
-
-isl::union_map union_flow::get_must_no_source() const {
- auto res = isl_union_flow_get_must_no_source(get());
- return manage(res);
-}
-
-// implementations for isl::union_map
-isl::union_map manage(__isl_take isl_union_map *ptr) {
- return union_map(ptr);
-}
-
-isl::union_map give(__isl_take isl_union_map *ptr) {
- return manage(ptr);
-}
-
-union_map::union_map()
- : ptr(nullptr) {}
-
-union_map::union_map(const isl::union_map &obj)
- : ptr(obj.copy()) {}
-
-union_map::union_map(std::nullptr_t)
- : ptr(nullptr) {}
-
-union_map::union_map(__isl_take isl_union_map *ptr)
- : ptr(ptr) {}
-
-union_map::union_map(isl::union_pw_aff upa) {
- auto res = isl_union_map_from_union_pw_aff(upa.release());
- ptr = res;
-}
-
-union_map::union_map(isl::basic_map bmap) {
- auto res = isl_union_map_from_basic_map(bmap.release());
- ptr = res;
-}
-
-union_map::union_map(isl::map map) {
- auto res = isl_union_map_from_map(map.release());
- ptr = res;
-}
-
-union_map::union_map(isl::ctx ctx, const std::string &str) {
- auto res = isl_union_map_read_from_str(ctx.release(), str.c_str());
- ptr = res;
-}
-
-union_map &union_map::operator=(isl::union_map obj) {
- std::swap(this->ptr, obj.ptr);
- return *this;
-}
-
-union_map::~union_map() {
- if (ptr)
- isl_union_map_free(ptr);
-}
-
-__isl_give isl_union_map *union_map::copy() const & {
- return isl_union_map_copy(ptr);
-}
-
-__isl_keep isl_union_map *union_map::get() const {
- return ptr;
-}
-
-__isl_give isl_union_map *union_map::release() {
- isl_union_map *tmp = ptr;
- ptr = nullptr;
- return tmp;
-}
-
-__isl_keep isl_union_map *union_map::keep() const {
- return get();
-}
-
-__isl_give isl_union_map *union_map::take() {
- return release();
-}
-
-union_map::operator bool() const {
- return !is_null();
-}
-
-isl::ctx union_map::get_ctx() const {
- return isl::ctx(isl_union_map_get_ctx(ptr));
-}
-
-bool union_map::is_null() const {
- return ptr == nullptr;
-}
-
-std::string union_map::to_str() const {
- char *Tmp = isl_union_map_to_str(get());
- if (!Tmp)
- return "";
- std::string S(Tmp);
- free(Tmp);
- return S;
-}
-
-inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
- const union_map &Obj) {
- OS << Obj.to_str();
- return OS;
-}
-
-isl::union_map union_map::add_map(isl::map map) const {
- auto res = isl_union_map_add_map(copy(), map.release());
- return manage(res);
-}
-
-isl::union_map union_map::affine_hull() const {
- auto res = isl_union_map_affine_hull(copy());
- return manage(res);
-}
-
-isl::union_map union_map::apply_domain(isl::union_map umap2) const {
- auto res = isl_union_map_apply_domain(copy(), umap2.release());
- return manage(res);
-}
-
-isl::union_map union_map::apply_range(isl::union_map umap2) const {
- auto res = isl_union_map_apply_range(copy(), umap2.release());
- return manage(res);
-}
-
-isl::union_map union_map::coalesce() const {
- auto res = isl_union_map_coalesce(copy());
- return manage(res);
-}
-
-isl::union_map union_map::compute_divs() const {
- auto res = isl_union_map_compute_divs(copy());
- return manage(res);
-}
-
-isl::union_set union_map::deltas() const {
- auto res = isl_union_map_deltas(copy());
- return manage(res);
-}
-
-isl::union_map union_map::detect_equalities() const {
- auto res = isl_union_map_detect_equalities(copy());
- return manage(res);
-}
-
-isl::union_set union_map::domain() const {
- auto res = isl_union_map_domain(copy());
- return manage(res);
-}
-
-isl::union_map union_map::domain_factor_domain() const {
- auto res = isl_union_map_domain_factor_domain(copy());
- return manage(res);
-}
-
-isl::union_map union_map::domain_factor_range() const {
- auto res = isl_union_map_domain_factor_range(copy());
- return manage(res);
-}
-
-isl::union_map union_map::domain_map() const {
- auto res = isl_union_map_domain_map(copy());
- return manage(res);
-}
-
-isl::union_pw_multi_aff union_map::domain_map_union_pw_multi_aff() const {
- auto res = isl_union_map_domain_map_union_pw_multi_aff(copy());
- return manage(res);
-}
-
-isl::union_map union_map::domain_product(isl::union_map umap2) const {
- auto res = isl_union_map_domain_product(copy(), umap2.release());
- return manage(res);
-}
-
-isl::union_map union_map::empty(isl::space dim) {
- auto res = isl_union_map_empty(dim.release());
- return manage(res);
-}
-
-isl::union_map union_map::factor_domain() const {
- auto res = isl_union_map_factor_domain(copy());
- return manage(res);
-}
-
-isl::union_map union_map::factor_range() const {
- auto res = isl_union_map_factor_range(copy());
- return manage(res);
-}
-
-isl::union_map union_map::fixed_power(isl::val exp) const {
- auto res = isl_union_map_fixed_power_val(copy(), exp.release());
- return manage(res);
-}
-
-isl::union_map union_map::flat_range_product(isl::union_map umap2) const {
- auto res = isl_union_map_flat_range_product(copy(), umap2.release());
- return manage(res);
-}
-
-isl::stat union_map::foreach_map(std::function<isl::stat(isl::map)> &&fn) const {
- auto fn_lambda = [](isl_map *arg_0, void *arg_1) -> isl_stat {
- auto *func = (std::function<isl::stat(isl::map)> *)arg_1;
- isl::stat ret = (*func)(isl::manage(arg_0));
- return isl_stat(ret);
- };
- auto res = isl_union_map_foreach_map(get(), fn_lambda, &fn);
- return isl::stat(res);
-}
-
-isl::union_map union_map::from(isl::union_pw_multi_aff upma) {
- auto res = isl_union_map_from_union_pw_multi_aff(upma.release());
- return manage(res);
-}
-
-isl::union_map union_map::from(isl::multi_union_pw_aff mupa) {
- auto res = isl_union_map_from_multi_union_pw_aff(mupa.release());
- return manage(res);
-}
-
-isl::union_map union_map::from_domain_and_range(isl::union_set domain, isl::union_set range) {
- auto res = isl_union_map_from_domain_and_range(domain.release(), range.release());
- return manage(res);
-}
-
-isl::space union_map::get_space() const {
- auto res = isl_union_map_get_space(get());
- return manage(res);
-}
-
-isl::union_map union_map::gist(isl::union_map context) const {
- auto res = isl_union_map_gist(copy(), context.release());
- return manage(res);
-}
-
-isl::union_map union_map::gist_domain(isl::union_set uset) const {
- auto res = isl_union_map_gist_domain(copy(), uset.release());
- return manage(res);
-}
-
-isl::union_map union_map::gist_params(isl::set set) const {
- auto res = isl_union_map_gist_params(copy(), set.release());
- return manage(res);
-}
-
-isl::union_map union_map::gist_range(isl::union_set uset) const {
- auto res = isl_union_map_gist_range(copy(), uset.release());
- return manage(res);
-}
-
-isl::union_map union_map::intersect(isl::union_map umap2) const {
- auto res = isl_union_map_intersect(copy(), umap2.release());
- return manage(res);
-}
-
-isl::union_map union_map::intersect_domain(isl::union_set uset) const {
- auto res = isl_union_map_intersect_domain(copy(), uset.release());
- return manage(res);
-}
-
-isl::union_map union_map::intersect_params(isl::set set) const {
- auto res = isl_union_map_intersect_params(copy(), set.release());
- return manage(res);
-}
-
-isl::union_map union_map::intersect_range(isl::union_set uset) const {
- auto res = isl_union_map_intersect_range(copy(), uset.release());
- return manage(res);
-}
-
-isl::boolean union_map::is_bijective() const {
- auto res = isl_union_map_is_bijective(get());
- return res;
-}
-
-isl::boolean union_map::is_empty() const {
- auto res = isl_union_map_is_empty(get());
- return res;
-}
-
-isl::boolean union_map::is_equal(const isl::union_map &umap2) const {
- auto res = isl_union_map_is_equal(get(), umap2.get());
- return res;
-}
-
-isl::boolean union_map::is_injective() const {
- auto res = isl_union_map_is_injective(get());
- return res;
-}
-
-isl::boolean union_map::is_single_valued() const {
- auto res = isl_union_map_is_single_valued(get());
- return res;
-}
-
-isl::boolean union_map::is_strict_subset(const isl::union_map &umap2) const {
- auto res = isl_union_map_is_strict_subset(get(), umap2.get());
- return res;
-}
-
-isl::boolean union_map::is_subset(const isl::union_map &umap2) const {
- auto res = isl_union_map_is_subset(get(), umap2.get());
- return res;
-}
-
-isl::union_map union_map::lexmax() const {
- auto res = isl_union_map_lexmax(copy());
- return manage(res);
-}
-
-isl::union_map union_map::lexmin() const {
- auto res = isl_union_map_lexmin(copy());
- return manage(res);
-}
-
-isl::union_map union_map::polyhedral_hull() const {
- auto res = isl_union_map_polyhedral_hull(copy());
- return manage(res);
-}
-
-isl::union_map union_map::product(isl::union_map umap2) const {
- auto res = isl_union_map_product(copy(), umap2.release());
- return manage(res);
-}
-
-isl::union_set union_map::range() const {
- auto res = isl_union_map_range(copy());
- return manage(res);
-}
-
-isl::union_map union_map::range_factor_domain() const {
- auto res = isl_union_map_range_factor_domain(copy());
- return manage(res);
-}
-
-isl::union_map union_map::range_factor_range() const {
- auto res = isl_union_map_range_factor_range(copy());
- return manage(res);
-}
-
-isl::union_map union_map::range_map() const {
- auto res = isl_union_map_range_map(copy());
- return manage(res);
-}
-
-isl::union_map union_map::range_product(isl::union_map umap2) const {
- auto res = isl_union_map_range_product(copy(), umap2.release());
- return manage(res);
-}
-
-isl::union_map union_map::reverse() const {
- auto res = isl_union_map_reverse(copy());
- return manage(res);
-}
-
-isl::union_map union_map::subtract(isl::union_map umap2) const {
- auto res = isl_union_map_subtract(copy(), umap2.release());
- return manage(res);
-}
-
-isl::union_map union_map::subtract_domain(isl::union_set dom) const {
- auto res = isl_union_map_subtract_domain(copy(), dom.release());
- return manage(res);
-}
-
-isl::union_map union_map::subtract_range(isl::union_set dom) const {
- auto res = isl_union_map_subtract_range(copy(), dom.release());
- return manage(res);
-}
-
-isl::union_map union_map::unite(isl::union_map umap2) const {
- auto res = isl_union_map_union(copy(), umap2.release());
- return manage(res);
-}
-
-isl::union_set union_map::wrap() const {
- auto res = isl_union_map_wrap(copy());
- return manage(res);
-}
-
-isl::union_map union_map::zip() const {
- auto res = isl_union_map_zip(copy());
- return manage(res);
-}
-
-// implementations for isl::union_pw_aff
-isl::union_pw_aff manage(__isl_take isl_union_pw_aff *ptr) {
- return union_pw_aff(ptr);
-}
-
-isl::union_pw_aff give(__isl_take isl_union_pw_aff *ptr) {
- return manage(ptr);
-}
-
-union_pw_aff::union_pw_aff()
- : ptr(nullptr) {}
-
-union_pw_aff::union_pw_aff(const isl::union_pw_aff &obj)
- : ptr(obj.copy()) {}
-
-union_pw_aff::union_pw_aff(std::nullptr_t)
- : ptr(nullptr) {}
-
-union_pw_aff::union_pw_aff(__isl_take isl_union_pw_aff *ptr)
- : ptr(ptr) {}
-
-union_pw_aff::union_pw_aff(isl::pw_aff pa) {
- auto res = isl_union_pw_aff_from_pw_aff(pa.release());
- ptr = res;
-}
-
-union_pw_aff::union_pw_aff(isl::union_set domain, isl::val v) {
- auto res = isl_union_pw_aff_val_on_domain(domain.release(), v.release());
- ptr = res;
-}
-
-union_pw_aff::union_pw_aff(isl::ctx ctx, const std::string &str) {
- auto res = isl_union_pw_aff_read_from_str(ctx.release(), str.c_str());
- ptr = res;
-}
-
-union_pw_aff &union_pw_aff::operator=(isl::union_pw_aff obj) {
- std::swap(this->ptr, obj.ptr);
- return *this;
-}
-
-union_pw_aff::~union_pw_aff() {
- if (ptr)
- isl_union_pw_aff_free(ptr);
-}
-
-__isl_give isl_union_pw_aff *union_pw_aff::copy() const & {
- return isl_union_pw_aff_copy(ptr);
-}
-
-__isl_keep isl_union_pw_aff *union_pw_aff::get() const {
- return ptr;
-}
-
-__isl_give isl_union_pw_aff *union_pw_aff::release() {
- isl_union_pw_aff *tmp = ptr;
- ptr = nullptr;
- return tmp;
-}
-
-__isl_keep isl_union_pw_aff *union_pw_aff::keep() const {
- return get();
-}
-
-__isl_give isl_union_pw_aff *union_pw_aff::take() {
- return release();
-}
-
-union_pw_aff::operator bool() const {
- return !is_null();
-}
-
-isl::ctx union_pw_aff::get_ctx() const {
- return isl::ctx(isl_union_pw_aff_get_ctx(ptr));
-}
-
-bool union_pw_aff::is_null() const {
- return ptr == nullptr;
-}
-
-std::string union_pw_aff::to_str() const {
- char *Tmp = isl_union_pw_aff_to_str(get());
- if (!Tmp)
- return "";
- std::string S(Tmp);
- free(Tmp);
- return S;
-}
-
-inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
- const union_pw_aff &Obj) {
- OS << Obj.to_str();
- return OS;
-}
-
-isl::union_pw_aff union_pw_aff::add(isl::union_pw_aff upa2) const {
- auto res = isl_union_pw_aff_add(copy(), upa2.release());
- return manage(res);
-}
-
-isl::union_pw_aff union_pw_aff::empty(isl::space space) {
- auto res = isl_union_pw_aff_empty(space.release());
- return manage(res);
-}
-
-isl::stat union_pw_aff::foreach_pw_aff(std::function<isl::stat(isl::pw_aff)> &&fn) const {
- auto fn_lambda = [](isl_pw_aff *arg_0, void *arg_1) -> isl_stat {
- auto *func = (std::function<isl::stat(isl::pw_aff)> *)arg_1;
- isl::stat ret = (*func)(isl::manage(arg_0));
- return isl_stat(ret);
- };
- auto res = isl_union_pw_aff_foreach_pw_aff(get(), fn_lambda, &fn);
- return isl::stat(res);
-}
-
-isl::space union_pw_aff::get_space() const {
- auto res = isl_union_pw_aff_get_space(get());
- return manage(res);
-}
-
-isl::union_pw_aff union_pw_aff::pullback(isl::union_pw_multi_aff upma) const {
- auto res = isl_union_pw_aff_pullback_union_pw_multi_aff(copy(), upma.release());
- return manage(res);
-}
-
-isl::union_pw_aff union_pw_aff::sub(isl::union_pw_aff upa2) const {
- auto res = isl_union_pw_aff_sub(copy(), upa2.release());
- return manage(res);
-}
-
-isl::union_pw_aff union_pw_aff::union_add(isl::union_pw_aff upa2) const {
- auto res = isl_union_pw_aff_union_add(copy(), upa2.release());
- return manage(res);
-}
-
-// implementations for isl::union_pw_multi_aff
-isl::union_pw_multi_aff manage(__isl_take isl_union_pw_multi_aff *ptr) {
- return union_pw_multi_aff(ptr);
-}
-
-isl::union_pw_multi_aff give(__isl_take isl_union_pw_multi_aff *ptr) {
- return manage(ptr);
-}
-
-union_pw_multi_aff::union_pw_multi_aff()
- : ptr(nullptr) {}
-
-union_pw_multi_aff::union_pw_multi_aff(const isl::union_pw_multi_aff &obj)
- : ptr(obj.copy()) {}
-
-union_pw_multi_aff::union_pw_multi_aff(std::nullptr_t)
- : ptr(nullptr) {}
-
-union_pw_multi_aff::union_pw_multi_aff(__isl_take isl_union_pw_multi_aff *ptr)
- : ptr(ptr) {}
-
-union_pw_multi_aff::union_pw_multi_aff(isl::pw_multi_aff pma) {
- auto res = isl_union_pw_multi_aff_from_pw_multi_aff(pma.release());
- ptr = res;
-}
-
-union_pw_multi_aff::union_pw_multi_aff(isl::union_set uset) {
- auto res = isl_union_pw_multi_aff_from_domain(uset.release());
- ptr = res;
-}
-
-union_pw_multi_aff::union_pw_multi_aff(isl::union_map umap) {
- auto res = isl_union_pw_multi_aff_from_union_map(umap.release());
- ptr = res;
-}
-
-union_pw_multi_aff::union_pw_multi_aff(isl::ctx ctx, const std::string &str) {
- auto res = isl_union_pw_multi_aff_read_from_str(ctx.release(), str.c_str());
- ptr = res;
-}
-
-union_pw_multi_aff::union_pw_multi_aff(isl::union_pw_aff upa) {
- auto res = isl_union_pw_multi_aff_from_union_pw_aff(upa.release());
- ptr = res;
-}
-
-union_pw_multi_aff &union_pw_multi_aff::operator=(isl::union_pw_multi_aff obj) {
- std::swap(this->ptr, obj.ptr);
- return *this;
-}
-
-union_pw_multi_aff::~union_pw_multi_aff() {
- if (ptr)
- isl_union_pw_multi_aff_free(ptr);
-}
-
-__isl_give isl_union_pw_multi_aff *union_pw_multi_aff::copy() const & {
- return isl_union_pw_multi_aff_copy(ptr);
-}
-
-__isl_keep isl_union_pw_multi_aff *union_pw_multi_aff::get() const {
- return ptr;
-}
-
-__isl_give isl_union_pw_multi_aff *union_pw_multi_aff::release() {
- isl_union_pw_multi_aff *tmp = ptr;
- ptr = nullptr;
- return tmp;
-}
-
-__isl_keep isl_union_pw_multi_aff *union_pw_multi_aff::keep() const {
- return get();
-}
-
-__isl_give isl_union_pw_multi_aff *union_pw_multi_aff::take() {
- return release();
-}
-
-union_pw_multi_aff::operator bool() const {
- return !is_null();
-}
-
-isl::ctx union_pw_multi_aff::get_ctx() const {
- return isl::ctx(isl_union_pw_multi_aff_get_ctx(ptr));
-}
-
-bool union_pw_multi_aff::is_null() const {
- return ptr == nullptr;
-}
-
-std::string union_pw_multi_aff::to_str() const {
- char *Tmp = isl_union_pw_multi_aff_to_str(get());
- if (!Tmp)
- return "";
- std::string S(Tmp);
- free(Tmp);
- return S;
-}
-
-inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
- const union_pw_multi_aff &Obj) {
- OS << Obj.to_str();
- return OS;
-}
-
-isl::union_pw_multi_aff union_pw_multi_aff::add(isl::union_pw_multi_aff upma2) const {
- auto res = isl_union_pw_multi_aff_add(copy(), upma2.release());
- return manage(res);
-}
-
-isl::union_pw_multi_aff union_pw_multi_aff::flat_range_product(isl::union_pw_multi_aff upma2) const {
- auto res = isl_union_pw_multi_aff_flat_range_product(copy(), upma2.release());
- return manage(res);
-}
-
-isl::union_pw_multi_aff union_pw_multi_aff::pullback(isl::union_pw_multi_aff upma2) const {
- auto res = isl_union_pw_multi_aff_pullback_union_pw_multi_aff(copy(), upma2.release());
- return manage(res);
-}
-
-isl::union_pw_multi_aff union_pw_multi_aff::union_add(isl::union_pw_multi_aff upma2) const {
- auto res = isl_union_pw_multi_aff_union_add(copy(), upma2.release());
- return manage(res);
-}
-
-// implementations for isl::union_set
-isl::union_set manage(__isl_take isl_union_set *ptr) {
- return union_set(ptr);
-}
-
-isl::union_set give(__isl_take isl_union_set *ptr) {
- return manage(ptr);
-}
-
-union_set::union_set()
- : ptr(nullptr) {}
-
-union_set::union_set(const isl::union_set &obj)
- : ptr(obj.copy()) {}
-
-union_set::union_set(std::nullptr_t)
- : ptr(nullptr) {}
-
-union_set::union_set(__isl_take isl_union_set *ptr)
- : ptr(ptr) {}
-
-union_set::union_set(isl::basic_set bset) {
- auto res = isl_union_set_from_basic_set(bset.release());
- ptr = res;
-}
-
-union_set::union_set(isl::set set) {
- auto res = isl_union_set_from_set(set.release());
- ptr = res;
-}
-
-union_set::union_set(isl::point pnt) {
- auto res = isl_union_set_from_point(pnt.release());
- ptr = res;
-}
-
-union_set::union_set(isl::ctx ctx, const std::string &str) {
- auto res = isl_union_set_read_from_str(ctx.release(), str.c_str());
- ptr = res;
-}
-
-union_set &union_set::operator=(isl::union_set obj) {
- std::swap(this->ptr, obj.ptr);
- return *this;
-}
-
-union_set::~union_set() {
- if (ptr)
- isl_union_set_free(ptr);
-}
-
-__isl_give isl_union_set *union_set::copy() const & {
- return isl_union_set_copy(ptr);
-}
-
-__isl_keep isl_union_set *union_set::get() const {
- return ptr;
-}
-
-__isl_give isl_union_set *union_set::release() {
- isl_union_set *tmp = ptr;
- ptr = nullptr;
- return tmp;
-}
-
-__isl_keep isl_union_set *union_set::keep() const {
- return get();
-}
-
-__isl_give isl_union_set *union_set::take() {
- return release();
-}
-
-union_set::operator bool() const {
- return !is_null();
-}
-
-isl::ctx union_set::get_ctx() const {
- return isl::ctx(isl_union_set_get_ctx(ptr));
-}
-
-bool union_set::is_null() const {
- return ptr == nullptr;
-}
-
-std::string union_set::to_str() const {
- char *Tmp = isl_union_set_to_str(get());
- if (!Tmp)
- return "";
- std::string S(Tmp);
- free(Tmp);
- return S;
-}
-
-inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
- const union_set &Obj) {
- OS << Obj.to_str();
- return OS;
-}
-
-isl::union_set union_set::affine_hull() const {
- auto res = isl_union_set_affine_hull(copy());
- return manage(res);
-}
-
-isl::union_set union_set::apply(isl::union_map umap) const {
- auto res = isl_union_set_apply(copy(), umap.release());
- return manage(res);
-}
-
-isl::union_set union_set::coalesce() const {
- auto res = isl_union_set_coalesce(copy());
- return manage(res);
-}
-
-isl::union_set union_set::compute_divs() const {
- auto res = isl_union_set_compute_divs(copy());
- return manage(res);
-}
-
-isl::union_set union_set::detect_equalities() const {
- auto res = isl_union_set_detect_equalities(copy());
- return manage(res);
-}
-
-isl::stat union_set::foreach_point(std::function<isl::stat(isl::point)> &&fn) const {
- auto fn_lambda = [](isl_point *arg_0, void *arg_1) -> isl_stat {
- auto *func = (std::function<isl::stat(isl::point)> *)arg_1;
- isl::stat ret = (*func)(isl::manage(arg_0));
- return isl_stat(ret);
- };
- auto res = isl_union_set_foreach_point(get(), fn_lambda, &fn);
- return isl::stat(res);
-}
-
-isl::stat union_set::foreach_set(std::function<isl::stat(isl::set)> &&fn) const {
- auto fn_lambda = [](isl_set *arg_0, void *arg_1) -> isl_stat {
- auto *func = (std::function<isl::stat(isl::set)> *)arg_1;
- isl::stat ret = (*func)(isl::manage(arg_0));
- return isl_stat(ret);
- };
- auto res = isl_union_set_foreach_set(get(), fn_lambda, &fn);
- return isl::stat(res);
-}
-
-isl::union_set union_set::gist(isl::union_set context) const {
- auto res = isl_union_set_gist(copy(), context.release());
- return manage(res);
-}
-
-isl::union_set union_set::gist_params(isl::set set) const {
- auto res = isl_union_set_gist_params(copy(), set.release());
- return manage(res);
-}
-
-isl::union_map union_set::identity() const {
- auto res = isl_union_set_identity(copy());
- return manage(res);
-}
-
-isl::union_set union_set::intersect(isl::union_set uset2) const {
- auto res = isl_union_set_intersect(copy(), uset2.release());
- return manage(res);
-}
-
-isl::union_set union_set::intersect_params(isl::set set) const {
- auto res = isl_union_set_intersect_params(copy(), set.release());
- return manage(res);
-}
-
-isl::boolean union_set::is_empty() const {
- auto res = isl_union_set_is_empty(get());
- return res;
-}
-
-isl::boolean union_set::is_equal(const isl::union_set &uset2) const {
- auto res = isl_union_set_is_equal(get(), uset2.get());
- return res;
-}
-
-isl::boolean union_set::is_strict_subset(const isl::union_set &uset2) const {
- auto res = isl_union_set_is_strict_subset(get(), uset2.get());
- return res;
-}
-
-isl::boolean union_set::is_subset(const isl::union_set &uset2) const {
- auto res = isl_union_set_is_subset(get(), uset2.get());
- return res;
-}
-
-isl::union_set union_set::lexmax() const {
- auto res = isl_union_set_lexmax(copy());
- return manage(res);
-}
-
-isl::union_set union_set::lexmin() const {
- auto res = isl_union_set_lexmin(copy());
- return manage(res);
-}
-
-isl::union_set union_set::polyhedral_hull() const {
- auto res = isl_union_set_polyhedral_hull(copy());
- return manage(res);
-}
-
-isl::point union_set::sample_point() const {
- auto res = isl_union_set_sample_point(copy());
- return manage(res);
-}
-
-isl::union_set union_set::subtract(isl::union_set uset2) const {
- auto res = isl_union_set_subtract(copy(), uset2.release());
- return manage(res);
-}
-
-isl::union_set union_set::unite(isl::union_set uset2) const {
- auto res = isl_union_set_union(copy(), uset2.release());
- return manage(res);
-}
-
-isl::union_map union_set::unwrap() const {
- auto res = isl_union_set_unwrap(copy());
- return manage(res);
-}
-
-// implementations for isl::val
-isl::val manage(__isl_take isl_val *ptr) {
- return val(ptr);
-}
-
-isl::val give(__isl_take isl_val *ptr) {
- return manage(ptr);
-}
-
-val::val()
- : ptr(nullptr) {}
-
-val::val(const isl::val &obj)
- : ptr(obj.copy()) {}
-
-val::val(std::nullptr_t)
- : ptr(nullptr) {}
-
-val::val(__isl_take isl_val *ptr)
- : ptr(ptr) {}
-
-val::val(isl::ctx ctx, long i) {
- auto res = isl_val_int_from_si(ctx.release(), i);
- ptr = res;
-}
-
-val::val(isl::ctx ctx, const std::string &str) {
- auto res = isl_val_read_from_str(ctx.release(), str.c_str());
- ptr = res;
-}
-
-val &val::operator=(isl::val obj) {
- std::swap(this->ptr, obj.ptr);
- return *this;
-}
-
-val::~val() {
- if (ptr)
- isl_val_free(ptr);
-}
-
-__isl_give isl_val *val::copy() const & {
- return isl_val_copy(ptr);
-}
-
-__isl_keep isl_val *val::get() const {
- return ptr;
-}
-
-__isl_give isl_val *val::release() {
- isl_val *tmp = ptr;
- ptr = nullptr;
- return tmp;
-}
-
-__isl_keep isl_val *val::keep() const {
- return get();
-}
-
-__isl_give isl_val *val::take() {
- return release();
-}
-
-val::operator bool() const {
- return !is_null();
-}
-
-isl::ctx val::get_ctx() const {
- return isl::ctx(isl_val_get_ctx(ptr));
-}
-
-bool val::is_null() const {
- return ptr == nullptr;
-}
-
-std::string val::to_str() const {
- char *Tmp = isl_val_to_str(get());
- if (!Tmp)
- return "";
- std::string S(Tmp);
- free(Tmp);
- return S;
-}
-
-inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
- const val &Obj) {
- OS << Obj.to_str();
- return OS;
-}
-
-isl::val val::two_exp() const {
- auto res = isl_val_2exp(copy());
- return manage(res);
-}
-
-isl::val val::abs() const {
- auto res = isl_val_abs(copy());
- return manage(res);
-}
-
-isl::boolean val::abs_eq(const isl::val &v2) const {
- auto res = isl_val_abs_eq(get(), v2.get());
- return res;
-}
-
-isl::val val::add(isl::val v2) const {
- auto res = isl_val_add(copy(), v2.release());
- return manage(res);
-}
-
-isl::val val::add_ui(unsigned long v2) const {
- auto res = isl_val_add_ui(copy(), v2);
- return manage(res);
-}
-
-isl::val val::ceil() const {
- auto res = isl_val_ceil(copy());
- return manage(res);
-}
-
-int val::cmp_si(long i) const {
- auto res = isl_val_cmp_si(get(), i);
- return res;
-}
-
-isl::val val::div(isl::val v2) const {
- auto res = isl_val_div(copy(), v2.release());
- return manage(res);
-}
-
-isl::boolean val::eq(const isl::val &v2) const {
- auto res = isl_val_eq(get(), v2.get());
- return res;
-}
-
-isl::val val::floor() const {
- auto res = isl_val_floor(copy());
- return manage(res);
-}
-
-isl::val val::gcd(isl::val v2) const {
- auto res = isl_val_gcd(copy(), v2.release());
- return manage(res);
-}
-
-isl::boolean val::ge(const isl::val &v2) const {
- auto res = isl_val_ge(get(), v2.get());
- return res;
-}
-
-isl::boolean val::gt(const isl::val &v2) const {
- auto res = isl_val_gt(get(), v2.get());
- return res;
-}
-
-isl::val val::infty(isl::ctx ctx) {
- auto res = isl_val_infty(ctx.release());
- return manage(res);
-}
-
-isl::val val::inv() const {
- auto res = isl_val_inv(copy());
- return manage(res);
-}
-
-isl::boolean val::is_divisible_by(const isl::val &v2) const {
- auto res = isl_val_is_divisible_by(get(), v2.get());
- return res;
-}
-
-isl::boolean val::is_infty() const {
- auto res = isl_val_is_infty(get());
- return res;
-}
-
-isl::boolean val::is_int() const {
- auto res = isl_val_is_int(get());
- return res;
-}
-
-isl::boolean val::is_nan() const {
- auto res = isl_val_is_nan(get());
- return res;
-}
-
-isl::boolean val::is_neg() const {
- auto res = isl_val_is_neg(get());
- return res;
-}
-
-isl::boolean val::is_neginfty() const {
- auto res = isl_val_is_neginfty(get());
- return res;
-}
-
-isl::boolean val::is_negone() const {
- auto res = isl_val_is_negone(get());
- return res;
-}
-
-isl::boolean val::is_nonneg() const {
- auto res = isl_val_is_nonneg(get());
- return res;
-}
-
-isl::boolean val::is_nonpos() const {
- auto res = isl_val_is_nonpos(get());
- return res;
-}
-
-isl::boolean val::is_one() const {
- auto res = isl_val_is_one(get());
- return res;
-}
-
-isl::boolean val::is_pos() const {
- auto res = isl_val_is_pos(get());
- return res;
-}
-
-isl::boolean val::is_rat() const {
- auto res = isl_val_is_rat(get());
- return res;
-}
-
-isl::boolean val::is_zero() const {
- auto res = isl_val_is_zero(get());
- return res;
-}
-
-isl::boolean val::le(const isl::val &v2) const {
- auto res = isl_val_le(get(), v2.get());
- return res;
-}
-
-isl::boolean val::lt(const isl::val &v2) const {
- auto res = isl_val_lt(get(), v2.get());
- return res;
-}
-
-isl::val val::max(isl::val v2) const {
- auto res = isl_val_max(copy(), v2.release());
- return manage(res);
-}
-
-isl::val val::min(isl::val v2) const {
- auto res = isl_val_min(copy(), v2.release());
- return manage(res);
-}
-
-isl::val val::mod(isl::val v2) const {
- auto res = isl_val_mod(copy(), v2.release());
- return manage(res);
-}
-
-isl::val val::mul(isl::val v2) const {
- auto res = isl_val_mul(copy(), v2.release());
- return manage(res);
-}
-
-isl::val val::nan(isl::ctx ctx) {
- auto res = isl_val_nan(ctx.release());
- return manage(res);
-}
-
-isl::boolean val::ne(const isl::val &v2) const {
- auto res = isl_val_ne(get(), v2.get());
- return res;
-}
-
-isl::val val::neg() const {
- auto res = isl_val_neg(copy());
- return manage(res);
-}
-
-isl::val val::neginfty(isl::ctx ctx) {
- auto res = isl_val_neginfty(ctx.release());
- return manage(res);
-}
-
-isl::val val::negone(isl::ctx ctx) {
- auto res = isl_val_negone(ctx.release());
- return manage(res);
-}
-
-isl::val val::one(isl::ctx ctx) {
- auto res = isl_val_one(ctx.release());
- return manage(res);
-}
-
-int val::sgn() const {
- auto res = isl_val_sgn(get());
- return res;
-}
-
-isl::val val::sub(isl::val v2) const {
- auto res = isl_val_sub(copy(), v2.release());
- return manage(res);
-}
-
-isl::val val::sub_ui(unsigned long v2) const {
- auto res = isl_val_sub_ui(copy(), v2);
- return manage(res);
-}
-
-isl::val val::trunc() const {
- auto res = isl_val_trunc(copy());
- return manage(res);
-}
-
-isl::val val::zero(isl::ctx ctx) {
- auto res = isl_val_zero(ctx.release());
- return manage(res);
-}
-
-} // namespace noexceptions
-} // namespace isl
-
-#endif /* ISL_CPP_NOEXCEPTIONS */
Modified: polly/trunk/lib/External/isl/include/isl/space.h
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/External/isl/include/isl/space.h?rev=297708&r1=297707&r2=297708&view=diff
==============================================================================
--- polly/trunk/lib/External/isl/include/isl/space.h (original)
+++ polly/trunk/lib/External/isl/include/isl/space.h Tue Mar 14 02:33:26 2017
@@ -114,13 +114,15 @@ __isl_give isl_space *isl_space_map_from
__isl_give isl_space *isl_space_reverse(__isl_take isl_space *dim);
__isl_give isl_space *isl_space_drop_dims(__isl_take isl_space *dim,
enum isl_dim_type type, unsigned first, unsigned num);
+ISL_DEPRECATED
__isl_give isl_space *isl_space_drop_inputs(__isl_take isl_space *dim,
unsigned first, unsigned n);
+ISL_DEPRECATED
__isl_give isl_space *isl_space_drop_outputs(__isl_take isl_space *dim,
unsigned first, unsigned n);
-__isl_give isl_space *isl_space_domain(__isl_take isl_space *dim);
+__isl_give isl_space *isl_space_domain(__isl_take isl_space *space);
__isl_give isl_space *isl_space_from_domain(__isl_take isl_space *dim);
-__isl_give isl_space *isl_space_range(__isl_take isl_space *dim);
+__isl_give isl_space *isl_space_range(__isl_take isl_space *space);
__isl_give isl_space *isl_space_from_range(__isl_take isl_space *dim);
__isl_give isl_space *isl_space_domain_map(__isl_take isl_space *space);
__isl_give isl_space *isl_space_range_map(__isl_take isl_space *space);
@@ -154,11 +156,14 @@ isl_bool isl_space_is_range(__isl_keep i
__isl_keep isl_space *space2);
isl_bool isl_space_is_equal(__isl_keep isl_space *space1,
__isl_keep isl_space *space2);
+isl_bool isl_space_has_equal_params(__isl_keep isl_space *space1,
+ __isl_keep isl_space *space2);
isl_bool isl_space_has_equal_tuples(__isl_keep isl_space *space1,
__isl_keep isl_space *space2);
isl_bool isl_space_tuple_is_equal(__isl_keep isl_space *space1,
enum isl_dim_type type1, __isl_keep isl_space *space2,
enum isl_dim_type type2);
+ISL_DEPRECATED
isl_bool isl_space_match(__isl_keep isl_space *space1, enum isl_dim_type type1,
__isl_keep isl_space *space2, enum isl_dim_type type2);
ISL_DEPRECATED
Modified: polly/trunk/lib/External/isl/isl_aff.c
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/External/isl/isl_aff.c?rev=297708&r1=297707&r2=297708&view=diff
==============================================================================
--- polly/trunk/lib/External/isl/isl_aff.c (original)
+++ polly/trunk/lib/External/isl/isl_aff.c Tue Mar 14 02:33:26 2017
@@ -460,11 +460,15 @@ error:
__isl_give isl_aff *isl_aff_align_params(__isl_take isl_aff *aff,
__isl_take isl_space *model)
{
+ isl_bool equal_params;
+
if (!aff || !model)
goto error;
- if (!isl_space_match(aff->ls->dim, isl_dim_param,
- model, isl_dim_param)) {
+ equal_params = isl_space_has_equal_params(aff->ls->dim, model);
+ if (equal_params < 0)
+ goto error;
+ if (!equal_params) {
isl_reordering *exp;
model = isl_space_drop_dims(model, isl_dim_in,
@@ -2611,10 +2615,14 @@ static __isl_give isl_set *align_params_
__isl_give isl_set *(*fn)(__isl_take isl_pw_aff *pwaff1,
__isl_take isl_pw_aff *pwaff2))
{
+ isl_bool equal_params;
+
if (!pwaff1 || !pwaff2)
goto error;
- if (isl_space_match(pwaff1->dim, isl_dim_param,
- pwaff2->dim, isl_dim_param))
+ equal_params = isl_space_has_equal_params(pwaff1->dim, pwaff2->dim);
+ if (equal_params < 0)
+ goto error;
+ if (equal_params)
return fn(pwaff1, pwaff2);
if (!isl_space_has_named_params(pwaff1->dim) ||
!isl_space_has_named_params(pwaff2->dim))
@@ -2637,9 +2645,14 @@ static __isl_give isl_map *align_params_
__isl_give isl_map *(*fn)(__isl_take isl_pw_aff *pa1,
__isl_take isl_pw_aff *pa2))
{
+ isl_bool equal_params;
+
if (!pa1 || !pa2)
goto error;
- if (isl_space_match(pa1->dim, isl_dim_param, pa2->dim, isl_dim_param))
+ equal_params = isl_space_has_equal_params(pa1->dim, pa2->dim);
+ if (equal_params < 0)
+ goto error;
+ if (equal_params)
return fn(pa1, pa2);
if (!isl_space_has_named_params(pa1->dim) ||
!isl_space_has_named_params(pa2->dim))
@@ -3732,7 +3745,7 @@ isl_bool isl_aff_matching_params(__isl_k
aff_space = isl_aff_get_domain_space(aff);
- match = isl_space_match(space, isl_dim_param, aff_space, isl_dim_param);
+ match = isl_space_has_equal_params(space, aff_space);
isl_space_free(aff_space);
return match;
@@ -3751,7 +3764,7 @@ isl_stat isl_aff_check_match_domain_spac
aff_space = isl_aff_get_domain_space(aff);
- match = isl_space_match(space, isl_dim_param, aff_space, isl_dim_param);
+ match = isl_space_has_equal_params(space, aff_space);
if (match < 0)
goto error;
if (!match)
@@ -6083,9 +6096,14 @@ __isl_give isl_pw_multi_aff *isl_pw_mult
__isl_take isl_pw_multi_aff *pma, unsigned pos,
__isl_take isl_pw_aff *pa)
{
+ isl_bool equal_params;
+
if (!pma || !pa)
goto error;
- if (isl_space_match(pma->dim, isl_dim_param, pa->dim, isl_dim_param))
+ equal_params = isl_space_has_equal_params(pma->dim, pa->dim);
+ if (equal_params < 0)
+ goto error;
+ if (equal_params)
return pw_multi_aff_set_pw_aff(pma, pos, pa);
if (!isl_space_has_named_params(pma->dim) ||
!isl_space_has_named_params(pa->dim))
@@ -6113,7 +6131,7 @@ isl_bool isl_pw_aff_matching_params(__is
pa_space = isl_pw_aff_get_space(pa);
- match = isl_space_match(space, isl_dim_param, pa_space, isl_dim_param);
+ match = isl_space_has_equal_params(space, pa_space);
isl_space_free(pa_space);
return match;
@@ -6132,7 +6150,7 @@ isl_stat isl_pw_aff_check_match_domain_s
pa_space = isl_pw_aff_get_space(pa);
- match = isl_space_match(space, isl_dim_param, pa_space, isl_dim_param);
+ match = isl_space_has_equal_params(space, pa_space);
if (match < 0)
goto error;
if (!match)
@@ -6170,6 +6188,7 @@ __isl_give isl_pw_multi_aff *isl_pw_mult
__isl_take isl_pw_multi_aff *pma, __isl_take isl_multi_val *mv)
{
int i;
+ isl_bool equal_params;
pma = isl_pw_multi_aff_cow(pma);
if (!pma || !mv)
@@ -6178,8 +6197,10 @@ __isl_give isl_pw_multi_aff *isl_pw_mult
mv->space, isl_dim_set))
isl_die(isl_pw_multi_aff_get_ctx(pma), isl_error_invalid,
"spaces don't match", goto error);
- if (!isl_space_match(pma->dim, isl_dim_param,
- mv->space, isl_dim_param)) {
+ equal_params = isl_space_has_equal_params(pma->dim, mv->space);
+ if (equal_params < 0)
+ goto error;
+ if (!equal_params) {
pma = isl_pw_multi_aff_align_params(pma,
isl_multi_val_get_space(mv));
mv = isl_multi_val_align_params(mv,
@@ -6506,13 +6527,15 @@ isl_bool isl_multi_pw_aff_is_equal(__isl
__isl_keep isl_multi_pw_aff *mpa2)
{
int i;
- isl_bool equal;
+ isl_bool equal, equal_params;
if (!mpa1 || !mpa2)
return isl_bool_error;
- if (!isl_space_match(mpa1->space, isl_dim_param,
- mpa2->space, isl_dim_param)) {
+ equal_params = isl_space_has_equal_params(mpa1->space, mpa2->space);
+ if (equal_params < 0)
+ return isl_bool_error;
+ if (!equal_params) {
if (!isl_space_has_named_params(mpa1->space))
return isl_bool_false;
if (!isl_space_has_named_params(mpa2->space))
@@ -6623,10 +6646,14 @@ error:
__isl_give isl_multi_pw_aff *isl_multi_pw_aff_pullback_multi_aff(
__isl_take isl_multi_pw_aff *mpa, __isl_take isl_multi_aff *ma)
{
+ isl_bool equal_params;
+
if (!mpa || !ma)
goto error;
- if (isl_space_match(mpa->space, isl_dim_param,
- ma->space, isl_dim_param))
+ equal_params = isl_space_has_equal_params(mpa->space, ma->space);
+ if (equal_params < 0)
+ goto error;
+ if (equal_params)
return isl_multi_pw_aff_pullback_multi_aff_aligned(mpa, ma);
mpa = isl_multi_pw_aff_align_params(mpa, isl_multi_aff_get_space(ma));
ma = isl_multi_aff_align_params(ma, isl_multi_pw_aff_get_space(mpa));
@@ -6680,9 +6707,14 @@ error:
__isl_give isl_multi_pw_aff *isl_multi_pw_aff_pullback_pw_multi_aff(
__isl_take isl_multi_pw_aff *mpa, __isl_take isl_pw_multi_aff *pma)
{
+ isl_bool equal_params;
+
if (!mpa || !pma)
goto error;
- if (isl_space_match(mpa->space, isl_dim_param, pma->dim, isl_dim_param))
+ equal_params = isl_space_has_equal_params(mpa->space, pma->dim);
+ if (equal_params < 0)
+ goto error;
+ if (equal_params)
return isl_multi_pw_aff_pullback_pw_multi_aff_aligned(mpa, pma);
mpa = isl_multi_pw_aff_align_params(mpa,
isl_pw_multi_aff_get_space(pma));
@@ -6765,10 +6797,14 @@ static __isl_give isl_pw_aff *isl_multi_
__isl_give isl_pw_aff *isl_multi_pw_aff_apply_aff(
__isl_take isl_multi_pw_aff *mpa, __isl_take isl_aff *aff)
{
+ isl_bool equal_params;
+
if (!aff || !mpa)
goto error;
- if (isl_space_match(aff->ls->dim, isl_dim_param,
- mpa->space, isl_dim_param))
+ equal_params = isl_space_has_equal_params(aff->ls->dim, mpa->space);
+ if (equal_params < 0)
+ goto error;
+ if (equal_params)
return isl_multi_pw_aff_apply_aff_aligned(mpa, aff);
aff = isl_aff_align_params(aff, isl_multi_pw_aff_get_space(mpa));
@@ -6834,9 +6870,14 @@ error:
__isl_give isl_pw_aff *isl_multi_pw_aff_apply_pw_aff(
__isl_take isl_multi_pw_aff *mpa, __isl_take isl_pw_aff *pa)
{
+ isl_bool equal_params;
+
if (!pa || !mpa)
goto error;
- if (isl_space_match(pa->dim, isl_dim_param, mpa->space, isl_dim_param))
+ equal_params = isl_space_has_equal_params(pa->dim, mpa->space);
+ if (equal_params < 0)
+ goto error;
+ if (equal_params)
return isl_multi_pw_aff_apply_pw_aff_aligned(mpa, pa);
pa = isl_pw_aff_align_params(pa, isl_multi_pw_aff_get_space(mpa));
@@ -7354,7 +7395,7 @@ static isl_stat isl_union_pw_aff_check_m
"expecting set space", return -1);
upa_space = isl_union_pw_aff_get_space(upa);
- match = isl_space_match(space, isl_dim_param, upa_space, isl_dim_param);
+ match = isl_space_has_equal_params(space, upa_space);
if (match < 0)
goto error;
if (!match)
@@ -7381,7 +7422,7 @@ static isl_bool isl_union_pw_aff_matchin
upa_space = isl_union_pw_aff_get_space(upa);
- match = isl_space_match(space, isl_dim_param, upa_space, isl_dim_param);
+ match = isl_space_has_equal_params(space, upa_space);
isl_space_free(upa_space);
return match;
@@ -8106,10 +8147,14 @@ error:
__isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_multi_val_on_domain(
__isl_take isl_union_set *domain, __isl_take isl_multi_val *mv)
{
+ isl_bool equal_params;
+
if (!domain || !mv)
goto error;
- if (isl_space_match(domain->dim, isl_dim_param,
- mv->space, isl_dim_param))
+ equal_params = isl_space_has_equal_params(domain->dim, mv->space);
+ if (equal_params < 0)
+ goto error;
+ if (equal_params)
return isl_multi_union_pw_aff_multi_val_on_domain_aligned(
domain, mv);
domain = isl_union_set_align_params(domain,
@@ -8165,10 +8210,14 @@ error:
__isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_multi_aff_on_domain(
__isl_take isl_union_set *domain, __isl_take isl_multi_aff *ma)
{
+ isl_bool equal_params;
+
if (!domain || !ma)
goto error;
- if (isl_space_match(domain->dim, isl_dim_param,
- ma->space, isl_dim_param))
+ equal_params = isl_space_has_equal_params(domain->dim, ma->space);
+ if (equal_params < 0)
+ goto error;
+ if (equal_params)
return isl_multi_union_pw_aff_multi_aff_on_domain_aligned(
domain, ma);
domain = isl_union_set_align_params(domain,
@@ -8773,6 +8822,7 @@ __isl_give isl_multi_pw_aff *isl_multi_u
__isl_keep isl_multi_union_pw_aff *mupa, __isl_take isl_space *space)
{
int i, n;
+ isl_bool equal_params;
isl_space *space_mpa = NULL;
isl_multi_pw_aff *mpa;
@@ -8780,7 +8830,10 @@ __isl_give isl_multi_pw_aff *isl_multi_u
goto error;
space_mpa = isl_multi_union_pw_aff_get_space(mupa);
- if (!isl_space_match(space_mpa, isl_dim_param, space, isl_dim_param)) {
+ equal_params = isl_space_has_equal_params(space_mpa, space);
+ if (equal_params < 0)
+ goto error;
+ if (!equal_params) {
space = isl_space_drop_dims(space, isl_dim_param,
0, isl_space_dim(space, isl_dim_param));
space = isl_space_align_params(space,
Modified: polly/trunk/lib/External/isl/isl_flow.c
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/External/isl/isl_flow.c?rev=297708&r1=297707&r2=297708&view=diff
==============================================================================
--- polly/trunk/lib/External/isl/isl_flow.c (original)
+++ polly/trunk/lib/External/isl/isl_flow.c Tue Mar 14 02:33:26 2017
@@ -362,12 +362,21 @@ static __isl_give isl_access_info *isl_a
static __isl_give isl_space *space_align_and_join(__isl_take isl_space *left,
__isl_take isl_space *right)
{
- if (isl_space_match(left, isl_dim_param, right, isl_dim_param))
+ isl_bool equal_params;
+
+ equal_params = isl_space_has_equal_params(left, right);
+ if (equal_params < 0)
+ goto error;
+ if (equal_params)
return isl_space_join(left, right);
left = isl_space_align_params(left, isl_space_copy(right));
right = isl_space_align_params(right, isl_space_copy(left));
return isl_space_join(left, right);
+error:
+ isl_space_free(left);
+ isl_space_free(right);
+ return NULL;
}
/* Initialize an empty isl_flow structure corresponding to a given
Modified: polly/trunk/lib/External/isl/isl_fold.c
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/External/isl/isl_fold.c?rev=297708&r1=297707&r2=297708&view=diff
==============================================================================
--- polly/trunk/lib/External/isl/isl_fold.c (original)
+++ polly/trunk/lib/External/isl/isl_fold.c Tue Mar 14 02:33:26 2017
@@ -946,10 +946,8 @@ __isl_give isl_union_pw_qpolynomial_fold
if (!part || !u)
goto error;
-
- isl_assert(u->space->ctx,
- isl_space_match(part->dim, isl_dim_param, u->space, isl_dim_param),
- goto error);
+ if (isl_space_check_equal_params(part->dim, u->space) < 0)
+ goto error;
entry = isl_union_pw_qpolynomial_fold_find_part_entry(u, part->dim, 1);
if (!entry)
@@ -1499,7 +1497,7 @@ static isl_bool join_compatible(__isl_ke
__isl_keep isl_space *space2)
{
isl_bool m;
- m = isl_space_match(space1, isl_dim_param, space2, isl_dim_param);
+ m = isl_space_has_equal_params(space1, space2);
if (m < 0 || !m)
return m;
return isl_space_tuple_is_equal(space1, isl_dim_out,
Modified: polly/trunk/lib/External/isl/isl_map.c
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/External/isl/isl_map.c?rev=297708&r1=297707&r2=297708&view=diff
==============================================================================
--- polly/trunk/lib/External/isl/isl_map.c (original)
+++ polly/trunk/lib/External/isl/isl_map.c Tue Mar 14 02:33:26 2017
@@ -218,7 +218,7 @@ static isl_bool isl_basic_map_has_equal_
space1 = isl_basic_map_peek_space(bmap1);
space2 = isl_basic_map_peek_space(bmap2);
- return isl_space_match(space1, isl_dim_param, space2, isl_dim_param);
+ return isl_space_has_equal_params(space1, space2);
}
/* Do "map1" and "map2" have the same parameters?
@@ -230,7 +230,7 @@ isl_bool isl_map_has_equal_params(__isl_
space1 = isl_map_peek_space(map1);
space2 = isl_map_peek_space(map2);
- return isl_space_match(space1, isl_dim_param, space2, isl_dim_param);
+ return isl_space_has_equal_params(space1, space2);
}
/* Do "map" and "set" have the same parameters?
@@ -5105,11 +5105,7 @@ __isl_give isl_basic_map *isl_basic_map_
bmap_space = isl_basic_map_peek_space(bmap);
equal = isl_space_is_equal(bmap_space, space);
if (equal >= 0 && equal)
- equal = isl_space_match(bmap_space, isl_dim_in,
- space, isl_dim_in);
- if (equal >= 0 && equal)
- equal = isl_space_match(bmap_space, isl_dim_out,
- space, isl_dim_out);
+ equal = isl_space_has_equal_ids(bmap_space, space);
if (equal < 0)
goto error;
if (equal) {
@@ -11233,6 +11229,7 @@ __isl_give isl_basic_map *isl_basic_map_
__isl_take isl_basic_map *bmap, __isl_take isl_space *model)
{
isl_ctx *ctx;
+ isl_bool equal_params;
if (!bmap || !model)
goto error;
@@ -11244,7 +11241,10 @@ __isl_give isl_basic_map *isl_basic_map_
if (!isl_space_has_named_params(bmap->dim))
isl_die(ctx, isl_error_invalid,
"relation has unnamed parameters", goto error);
- if (!isl_space_match(bmap->dim, isl_dim_param, model, isl_dim_param)) {
+ equal_params = isl_space_has_equal_params(bmap->dim, model);
+ if (equal_params < 0)
+ goto error;
+ if (!equal_params) {
isl_reordering *exp;
struct isl_dim_map *dim_map;
@@ -11279,7 +11279,7 @@ isl_bool isl_basic_set_space_has_equal_p
isl_space *bset_space;
bset_space = isl_basic_set_peek_space(bset);
- return isl_space_match(bset_space, isl_dim_param, space, isl_dim_param);
+ return isl_space_has_equal_params(bset_space, space);
}
/* Do "map" and "space" have the same parameters?
@@ -11290,7 +11290,7 @@ isl_bool isl_map_space_has_equal_params(
isl_space *map_space;
map_space = isl_map_peek_space(map);
- return isl_space_match(map_space, isl_dim_param, space, isl_dim_param);
+ return isl_space_has_equal_params(map_space, space);
}
/* Do "set" and "space" have the same parameters?
@@ -12279,7 +12279,7 @@ static isl_stat check_basic_map_compatib
ma_space = isl_multi_aff_get_space(ma);
- m = isl_space_match(bmap->dim, isl_dim_param, ma_space, isl_dim_param);
+ m = isl_space_has_equal_params(bmap->dim, ma_space);
if (m < 0)
goto error;
if (!m)
Modified: polly/trunk/lib/External/isl/isl_map_simplify.c
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/External/isl/isl_map_simplify.c?rev=297708&r1=297707&r2=297708&view=diff
==============================================================================
--- polly/trunk/lib/External/isl/isl_map_simplify.c (original)
+++ polly/trunk/lib/External/isl/isl_map_simplify.c Tue Mar 14 02:33:26 2017
@@ -60,42 +60,7 @@ static void constraint_drop_vars(isl_int
struct isl_basic_set *isl_basic_set_drop_dims(
struct isl_basic_set *bset, unsigned first, unsigned n)
{
- int i;
-
- if (!bset)
- goto error;
-
- isl_assert(bset->ctx, first + n <= bset->dim->n_out, goto error);
-
- if (n == 0 && !isl_space_is_named_or_nested(bset->dim, isl_dim_set))
- return bset;
-
- bset = isl_basic_set_cow(bset);
- if (!bset)
- return NULL;
-
- for (i = 0; i < bset->n_eq; ++i)
- constraint_drop_vars(bset->eq[i]+1+bset->dim->nparam+first, n,
- (bset->dim->n_out-first-n)+bset->extra);
-
- for (i = 0; i < bset->n_ineq; ++i)
- constraint_drop_vars(bset->ineq[i]+1+bset->dim->nparam+first, n,
- (bset->dim->n_out-first-n)+bset->extra);
-
- for (i = 0; i < bset->n_div; ++i)
- constraint_drop_vars(bset->div[i]+1+1+bset->dim->nparam+first, n,
- (bset->dim->n_out-first-n)+bset->extra);
-
- bset->dim = isl_space_drop_outputs(bset->dim, first, n);
- if (!bset->dim)
- goto error;
-
- ISL_F_CLR(bset, ISL_BASIC_SET_NORMALIZED);
- bset = isl_basic_set_simplify(bset);
- return isl_basic_set_finalize(bset);
-error:
- isl_basic_set_free(bset);
- return NULL;
+ return isl_basic_map_drop(bset_to_bmap(bset), isl_dim_set, first, n);
}
/* Move "n" divs starting at "first" to the end of the list of divs.
Modified: polly/trunk/lib/External/isl/isl_multi_templ.c
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/External/isl/isl_multi_templ.c?rev=297708&r1=297707&r2=297708&view=diff
==============================================================================
--- polly/trunk/lib/External/isl/isl_multi_templ.c (original)
+++ polly/trunk/lib/External/isl/isl_multi_templ.c Tue Mar 14 02:33:26 2017
@@ -509,13 +509,16 @@ __isl_give MULTI(BASE) *FN(MULTI(BASE),a
__isl_take MULTI(BASE) *multi, __isl_take isl_space *model)
{
isl_ctx *ctx;
+ isl_bool equal_params;
isl_reordering *exp;
if (!multi || !model)
goto error;
- if (isl_space_match(multi->space, isl_dim_param,
- model, isl_dim_param)) {
+ equal_params = isl_space_has_equal_params(multi->space, model);
+ if (equal_params < 0)
+ goto error;
+ if (equal_params) {
isl_space_free(model);
return multi;
}
@@ -735,11 +738,14 @@ static __isl_give MULTI(BASE) *FN(MULTI(
__isl_take MULTI(BASE) *multi2))
{
isl_ctx *ctx;
+ isl_bool equal_params;
if (!multi1 || !multi2)
goto error;
- if (isl_space_match(multi1->space, isl_dim_param,
- multi2->space, isl_dim_param))
+ equal_params = isl_space_has_equal_params(multi1->space, multi2->space);
+ if (equal_params < 0)
+ goto error;
+ if (equal_params)
return fn(multi1, multi2);
ctx = FN(MULTI(BASE),get_ctx)(multi1);
if (!isl_space_has_named_params(multi1->space) ||
Modified: polly/trunk/lib/External/isl/isl_polynomial.c
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/External/isl/isl_polynomial.c?rev=297708&r1=297707&r2=297708&view=diff
==============================================================================
--- polly/trunk/lib/External/isl/isl_polynomial.c (original)
+++ polly/trunk/lib/External/isl/isl_polynomial.c Tue Mar 14 02:33:26 2017
@@ -4312,10 +4312,15 @@ error:
__isl_give isl_qpolynomial *isl_qpolynomial_align_params(
__isl_take isl_qpolynomial *qp, __isl_take isl_space *model)
{
+ isl_bool equal_params;
+
if (!qp || !model)
goto error;
- if (!isl_space_match(qp->dim, isl_dim_param, model, isl_dim_param)) {
+ equal_params = isl_space_has_equal_params(qp->dim, model);
+ if (equal_params < 0)
+ goto error;
+ if (!equal_params) {
isl_reordering *exp;
model = isl_space_drop_dims(model, isl_dim_in,
Modified: polly/trunk/lib/External/isl/isl_pw_templ.c
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/External/isl/isl_pw_templ.c?rev=297708&r1=297707&r2=297708&view=diff
==============================================================================
--- polly/trunk/lib/External/isl/isl_pw_templ.c (original)
+++ polly/trunk/lib/External/isl/isl_pw_templ.c Tue Mar 14 02:33:26 2017
@@ -269,6 +269,7 @@ error:
__isl_give PW *FN(PW,align_params)(__isl_take PW *pw, __isl_take isl_space *model)
{
isl_ctx *ctx;
+ isl_bool equal_params;
if (!pw || !model)
goto error;
@@ -280,7 +281,10 @@ __isl_give PW *FN(PW,align_params)(__isl
if (!isl_space_has_named_params(pw->dim))
isl_die(ctx, isl_error_invalid,
"input has unnamed parameters", goto error);
- if (!isl_space_match(pw->dim, isl_dim_param, model, isl_dim_param)) {
+ equal_params = isl_space_has_equal_params(pw->dim, model);
+ if (equal_params < 0)
+ goto error;
+ if (!equal_params) {
isl_reordering *exp;
model = isl_space_drop_dims(model, isl_dim_in,
@@ -306,10 +310,14 @@ static __isl_give PW *FN(PW,align_params
__isl_give PW *(*fn)(__isl_take PW *pw1, __isl_take PW *pw2))
{
isl_ctx *ctx;
+ isl_bool equal_params;
if (!pw1 || !pw2)
goto error;
- if (isl_space_match(pw1->dim, isl_dim_param, pw2->dim, isl_dim_param))
+ equal_params = isl_space_has_equal_params(pw1->dim, pw2->dim);
+ if (equal_params < 0)
+ goto error;
+ if (equal_params)
return fn(pw1, pw2);
ctx = FN(PW,get_ctx)(pw1);
if (!isl_space_has_named_params(pw1->dim) ||
@@ -2048,12 +2056,16 @@ static __isl_give PW *FN(PW,align_params
__isl_give PW *(*fn)(__isl_take PW *pw, __isl_take isl_multi_aff *ma))
{
isl_ctx *ctx;
+ isl_bool equal_params;
isl_space *ma_space;
ma_space = isl_multi_aff_get_space(ma);
if (!pw || !ma || !ma_space)
goto error;
- if (isl_space_match(pw->dim, isl_dim_param, ma_space, isl_dim_param)) {
+ equal_params = isl_space_has_equal_params(pw->dim, ma_space);
+ if (equal_params < 0)
+ goto error;
+ if (equal_params) {
isl_space_free(ma_space);
return fn(pw, ma);
}
@@ -2078,12 +2090,16 @@ static __isl_give PW *FN(PW,align_params
__isl_take isl_pw_multi_aff *ma))
{
isl_ctx *ctx;
+ isl_bool equal_params;
isl_space *pma_space;
pma_space = isl_pw_multi_aff_get_space(pma);
if (!pw || !pma || !pma_space)
goto error;
- if (isl_space_match(pw->dim, isl_dim_param, pma_space, isl_dim_param)) {
+ equal_params = isl_space_has_equal_params(pw->dim, pma_space);
+ if (equal_params < 0)
+ goto error;
+ if (equal_params) {
isl_space_free(pma_space);
return fn(pw, pma);
}
Modified: polly/trunk/lib/External/isl/isl_space.c
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/External/isl/isl_space.c?rev=297708&r1=297707&r2=297708&view=diff
==============================================================================
--- polly/trunk/lib/External/isl/isl_space.c (original)
+++ polly/trunk/lib/External/isl/isl_space.c Tue Mar 14 02:33:26 2017
@@ -851,6 +851,34 @@ static isl_bool match(__isl_keep isl_spa
return isl_bool_true;
}
+/* Do "space1" and "space2" have the same parameters?
+ */
+isl_bool isl_space_has_equal_params(__isl_keep isl_space *space1,
+ __isl_keep isl_space *space2)
+{
+ if (!space1 || !space2)
+ return isl_bool_error;
+
+ return match(space1, isl_dim_param, space2, isl_dim_param);
+}
+
+/* Do "space1" and "space2" have the same identifiers for all
+ * the tuple variables?
+ */
+isl_bool isl_space_has_equal_ids(__isl_keep isl_space *space1,
+ __isl_keep isl_space *space2)
+{
+ isl_bool equal;
+
+ if (!space1 || !space2)
+ return isl_bool_error;
+
+ equal = match(space1, isl_dim_in, space2, isl_dim_in);
+ if (equal < 0 || !equal)
+ return equal;
+ return match(space1, isl_dim_out, space2, isl_dim_out);
+}
+
isl_bool isl_space_match(__isl_keep isl_space *space1, enum isl_dim_type type1,
__isl_keep isl_space *space2, enum isl_dim_type type2)
{
@@ -1144,16 +1172,31 @@ error:
return NULL;
}
+/* Check that "space1" and "space2" have the same parameters,
+ * reporting an error if they do not.
+ */
+isl_stat isl_space_check_equal_params(__isl_keep isl_space *space1,
+ __isl_keep isl_space *space2)
+{
+ isl_bool equal;
+
+ equal = isl_space_has_equal_params(space1, space2);
+ if (equal < 0)
+ return isl_stat_error;
+ if (!equal)
+ isl_die(isl_space_get_ctx(space1), isl_error_invalid,
+ "parameters need to match", return isl_stat_error);
+ return isl_stat_ok;
+}
+
__isl_give isl_space *isl_space_join(__isl_take isl_space *left,
__isl_take isl_space *right)
{
isl_space *dim;
- if (!left || !right)
+ if (isl_space_check_equal_params(left, right) < 0)
goto error;
- isl_assert(left->ctx, match(left, isl_dim_param, right, isl_dim_param),
- goto error);
isl_assert(left->ctx,
isl_space_tuple_is_equal(left, isl_dim_out, right, isl_dim_in),
goto error);
@@ -1210,8 +1253,8 @@ __isl_give isl_space *isl_space_product(
if (is_set)
return isl_space_range_product(left, right);
- isl_assert(left->ctx, match(left, isl_dim_param, right, isl_dim_param),
- goto error);
+ if (isl_space_check_equal_params(left, right) < 0)
+ goto error;
dom1 = isl_space_domain(isl_space_copy(left));
dom2 = isl_space_domain(isl_space_copy(right));
@@ -1236,12 +1279,9 @@ __isl_give isl_space *isl_space_domain_p
{
isl_space *ran, *dom1, *dom2, *nest;
- if (!left || !right)
+ if (isl_space_check_equal_params(left, right) < 0)
goto error;
- if (!match(left, isl_dim_param, right, isl_dim_param))
- isl_die(left->ctx, isl_error_invalid,
- "parameters need to match", goto error);
if (!isl_space_tuple_is_equal(left, isl_dim_out, right, isl_dim_out))
isl_die(left->ctx, isl_error_invalid,
"ranges need to match", goto error);
@@ -1264,11 +1304,9 @@ __isl_give isl_space *isl_space_range_pr
{
isl_space *dom, *ran1, *ran2, *nest;
- if (!left || !right)
+ if (isl_space_check_equal_params(left, right) < 0)
goto error;
- isl_assert(left->ctx, match(left, isl_dim_param, right, isl_dim_param),
- goto error);
if (!isl_space_tuple_is_equal(left, isl_dim_in, right, isl_dim_in))
isl_die(left->ctx, isl_error_invalid,
"domains need to match", goto error);
@@ -1687,14 +1725,14 @@ __isl_give isl_space *isl_space_drop_out
return isl_space_drop_dims(dim, isl_dim_out, first, n);
}
-__isl_give isl_space *isl_space_domain(__isl_take isl_space *dim)
+__isl_give isl_space *isl_space_domain(__isl_take isl_space *space)
{
- if (!dim)
+ if (!space)
return NULL;
- dim = isl_space_drop_outputs(dim, 0, dim->n_out);
- dim = isl_space_reverse(dim);
- dim = mark_as_set(dim);
- return dim;
+ space = isl_space_drop_dims(space, isl_dim_out, 0, space->n_out);
+ space = isl_space_reverse(space);
+ space = mark_as_set(space);
+ return space;
}
__isl_give isl_space *isl_space_from_domain(__isl_take isl_space *dim)
@@ -1712,13 +1750,13 @@ error:
return NULL;
}
-__isl_give isl_space *isl_space_range(__isl_take isl_space *dim)
+__isl_give isl_space *isl_space_range(__isl_take isl_space *space)
{
- if (!dim)
+ if (!space)
return NULL;
- dim = isl_space_drop_inputs(dim, 0, dim->n_in);
- dim = mark_as_set(dim);
- return dim;
+ space = isl_space_drop_dims(space, isl_dim_in, 0, space->n_in);
+ space = mark_as_set(space);
+ return space;
}
__isl_give isl_space *isl_space_from_range(__isl_take isl_space *dim)
@@ -1813,16 +1851,19 @@ __isl_give isl_space *isl_space_underlyi
/* Are the two spaces the same, including positions and names of parameters?
*/
-isl_bool isl_space_is_equal(__isl_keep isl_space *dim1,
- __isl_keep isl_space *dim2)
+isl_bool isl_space_is_equal(__isl_keep isl_space *space1,
+ __isl_keep isl_space *space2)
{
- if (!dim1 || !dim2)
+ isl_bool equal;
+
+ if (!space1 || !space2)
return isl_bool_error;
- if (dim1 == dim2)
+ if (space1 == space2)
return isl_bool_true;
- return match(dim1, isl_dim_param, dim2, isl_dim_param) &&
- isl_space_tuple_is_equal(dim1, isl_dim_in, dim2, isl_dim_in) &&
- isl_space_tuple_is_equal(dim1, isl_dim_out, dim2, isl_dim_out);
+ equal = isl_space_has_equal_params(space1, space2);
+ if (equal < 0 || !equal)
+ return equal;
+ return isl_space_has_equal_tuples(space1, space2);
}
/* Is space1 equal to the domain of space2?
@@ -1833,12 +1874,16 @@ isl_bool isl_space_is_equal(__isl_keep i
isl_bool isl_space_is_domain_internal(__isl_keep isl_space *space1,
__isl_keep isl_space *space2)
{
+ isl_bool equal_params;
+
if (!space1 || !space2)
return isl_bool_error;
if (!isl_space_is_set(space1))
return isl_bool_false;
- return match(space1, isl_dim_param, space2, isl_dim_param) &&
- isl_space_tuple_is_equal(space1, isl_dim_set,
+ equal_params = isl_space_has_equal_params(space1, space2);
+ if (equal_params < 0 || !equal_params)
+ return equal_params;
+ return isl_space_tuple_is_equal(space1, isl_dim_set,
space2, isl_dim_in);
}
@@ -1862,12 +1907,16 @@ isl_bool isl_space_is_domain(__isl_keep
isl_bool isl_space_is_range_internal(__isl_keep isl_space *space1,
__isl_keep isl_space *space2)
{
+ isl_bool equal_params;
+
if (!space1 || !space2)
return isl_bool_error;
if (!isl_space_is_set(space1))
return isl_bool_false;
- return match(space1, isl_dim_param, space2, isl_dim_param) &&
- isl_space_tuple_is_equal(space1, isl_dim_set,
+ equal_params = isl_space_has_equal_params(space1, space2);
+ if (equal_params < 0 || !equal_params)
+ return equal_params;
+ return isl_space_tuple_is_equal(space1, isl_dim_set,
space2, isl_dim_out);
}
Modified: polly/trunk/lib/External/isl/isl_space_private.h
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/External/isl/isl_space_private.h?rev=297708&r1=297707&r2=297708&view=diff
==============================================================================
--- polly/trunk/lib/External/isl/isl_space_private.h (original)
+++ polly/trunk/lib/External/isl/isl_space_private.h Tue Mar 14 02:33:26 2017
@@ -40,8 +40,12 @@ unsigned isl_space_offset(__isl_keep isl
isl_bool isl_space_may_be_set(__isl_keep isl_space *space);
isl_bool isl_space_is_named_or_nested(__isl_keep isl_space *space,
enum isl_dim_type type);
+isl_bool isl_space_has_equal_ids(__isl_keep isl_space *space1,
+ __isl_keep isl_space *space2);
isl_bool isl_space_has_named_params(__isl_keep isl_space *space);
isl_stat isl_space_check_named_params(__isl_keep isl_space *space);
+isl_stat isl_space_check_equal_params(__isl_keep isl_space *space1,
+ __isl_keep isl_space *space2);
__isl_give isl_space *isl_space_reset(__isl_take isl_space *dim,
enum isl_dim_type type);
__isl_give isl_space *isl_space_flatten(__isl_take isl_space *dim);
Modified: polly/trunk/lib/External/isl/isl_union_map.c
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/External/isl/isl_union_map.c?rev=297708&r1=297707&r2=297708&view=diff
==============================================================================
--- polly/trunk/lib/External/isl/isl_union_map.c (original)
+++ polly/trunk/lib/External/isl/isl_union_map.c Tue Mar 14 02:33:26 2017
@@ -231,11 +231,15 @@ __isl_give isl_union_map *isl_union_map_
__isl_take isl_union_map *umap, __isl_take isl_space *model)
{
struct isl_union_align data = { NULL, NULL };
+ isl_bool equal_params;
if (!umap || !model)
goto error;
- if (isl_space_match(umap->dim, isl_dim_param, model, isl_dim_param)) {
+ equal_params = isl_space_has_equal_params(umap->dim, model);
+ if (equal_params < 0)
+ goto error;
+ if (equal_params) {
isl_space_free(model);
return umap;
}
@@ -341,7 +345,7 @@ isl_bool isl_union_map_space_has_equal_p
isl_space *umap_space;
umap_space = isl_union_map_peek_space(umap);
- return isl_space_match(umap_space, isl_dim_param, space, isl_dim_param);
+ return isl_space_has_equal_params(umap_space, space);
}
static int has_dim(const void *entry, const void *val)
Modified: polly/trunk/lib/External/isl/isl_union_templ.c
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/External/isl/isl_union_templ.c?rev=297708&r1=297707&r2=297708&view=diff
==============================================================================
--- polly/trunk/lib/External/isl/isl_union_templ.c (original)
+++ polly/trunk/lib/External/isl/isl_union_templ.c Tue Mar 14 02:33:26 2017
@@ -112,10 +112,14 @@ __isl_give PART *FN(FN(UNION,extract),PA
__isl_take isl_space *space)
{
struct isl_hash_table_entry *entry;
+ isl_bool equal_params;
if (!u || !space)
goto error;
- if (!isl_space_match(u->space, isl_dim_param, space, isl_dim_param)) {
+ equal_params = isl_space_has_equal_params(u->space, space);
+ if (equal_params < 0)
+ goto error;
+ if (!equal_params) {
space = isl_space_drop_dims(space, isl_dim_param,
0, isl_space_dim(space, isl_dim_param));
space = isl_space_align_params(space,
@@ -413,12 +417,16 @@ error:
__isl_give UNION *FN(UNION,align_params)(__isl_take UNION *u,
__isl_take isl_space *model)
{
+ isl_bool equal_params;
isl_reordering *r;
if (!u || !model)
goto error;
- if (isl_space_match(u->space, isl_dim_param, model, isl_dim_param)) {
+ equal_params = isl_space_has_equal_params(u->space, model);
+ if (equal_params < 0)
+ goto error;
+ if (equal_params) {
isl_space_free(model);
return u;
}
More information about the llvm-commits
mailing list