Home
last modified time | relevance | path

Searched refs:isl (Results 1 – 25 of 234) sorted by relevance

12345678910

/netbsd-src/external/mit/isl/dist/include/isl/
H A Dcpp-checked.h25 namespace isl {
217 namespace isl {
325 inline explicit aff(isl::checked::ctx ctx, const std::string &str);
333 inline isl::checked::ctx ctx() const;
335 inline isl::checked::aff add(isl::checked::aff aff2) const;
336 inline isl::checked::multi_aff add(const isl::checked::multi_aff &multi2) const;
337 inline isl::checked::multi_pw_aff add(const isl::checked::multi_pw_aff &multi2) const;
338 inline isl::checked::multi_union_pw_aff add(const isl::checked::multi_union_pw_aff &multi2) const;
339 inline isl::checked::pw_aff add(const isl::checked::pw_aff &pwaff2) const;
340 inline isl::checked::pw_multi_aff add(const isl::checked::pw_multi_aff &pma2) const;
[all …]
H A Dcpp.h40 namespace isl {
284 namespace isl {
390 inline explicit aff(isl::ctx ctx, const std::string &str);
398 inline isl::ctx ctx() const;
400 inline isl::aff add(isl::aff aff2) const;
401 inline isl::multi_aff add(const isl::multi_aff &multi2) const;
402 inline isl::multi_pw_aff add(const isl::multi_pw_aff &multi2) const;
403 inline isl::multi_union_pw_aff add(const isl::multi_union_pw_aff &multi2) const;
404 inline isl::pw_aff add(const isl::pw_aff &pwaff2) const;
405 inline isl::pw_multi_aff add(const isl::pw_multi_aff &pma2) const;
[all …]
H A Dtyped_cpp.h15 namespace isl {
133 struct aff<Anonymous> : public isl::aff {
196 aff(const isl::aff &obj) : isl::aff(obj) {}
197 static aff from(const isl::aff &obj) {
200 inline explicit aff(const isl::ctx &ctx, const std::string &str);
336 struct aff<Domain, Anonymous> : public isl::aff {
403 aff(const aff<Arg1, Anonymous> &obj) : isl::aff(obj) {}
407 std::is_same<base, isl::aff>{}, bool>::type = true>
408 aff(const base &obj) : isl::aff(obj) {}
410 static aff from(const isl::aff &obj) {
[all …]
/netbsd-src/external/mit/isl/dist/interface/
H A Disl.py10 isl = cdll.LoadLibrary(isl_dlname) variable
12 isl = cdll.LoadLibrary(find_library("isl")) variable
22 ptr = isl.isl_ctx_alloc()
26 isl.isl_ctx_free(self)
41 isl.isl_ctx_alloc.restype = c_void_p
42 isl.isl_ctx_free.argtypes = [Context]
43 isl.isl_id_alloc.restype = c_void_p
44 isl.isl_id_alloc.argtypes = [Context, c_char_p, py_object]
45 isl.isl_id_set_free_user.restype = c_void_p
46 isl.isl_id_set_free_user.argtypes = [c_void_p, c_void_p]
[all …]
/netbsd-src/external/mit/isl/dist/
H A Disl_test_cpp-generic.cc29 void test_pointer(isl::ctx ctx) in test_pointer()
32 isl::set empty = isl::manage(c_empty); in test_pointer()
61 void test_constructors(isl::ctx ctx) in test_constructors()
63 isl::val null; in test_constructors()
66 isl::val zero_from_str = isl::val(ctx, "0"); in test_constructors()
69 isl::val zero_int_con = isl::val(ctx, 0); in test_constructors()
72 isl::val zero_static_con = isl::val::zero(ctx); in test_constructors()
75 isl::basic_set bs(ctx, "{ [1] }"); in test_constructors()
76 isl::set result(ctx, "{ [1] }"); in test_constructors()
77 isl::set s = bs; in test_constructors()
[all …]
H A Disl_test2.cc113 isl::exception::throw_error(isl_error_invalid, msg, __FILE__, __LINE__)
120 static void test(isl::ctx ctx, R (T::*fn)() const, const std::string &name, in test()
145 static void test(isl::ctx ctx, R (T::*fn)(A1) const, const std::string &name, in test()
171 static void test(isl::ctx ctx, R (T::*fn)(A1, A2) const, in test()
201 static void test_space(isl::ctx ctx) in test_space()
203 C(&isl::space::domain, { in test_space()
208 C(&isl::space::range, { in test_space()
213 C(&isl::space::params, { in test_space()
227 static void test_conversion(isl::ctx ctx) in test_conversion()
229 C(&isl::set::as_pw_multi_aff, { in test_conversion()
[all …]
H A Disl_test_cpp-checked.cc17 namespace isl { using namespace checked; } namespace
29 static void assert_impl(isl::boolean condition, const char *file, int line, in assert_impl()
37 static int size_val(isl::size s) in size_val()
61 void test_return_bool(isl::ctx ctx) in test_return_bool()
63 isl::set empty(ctx, "{ : false }"); in test_return_bool()
64 isl::set univ(ctx, "{ : }"); in test_return_bool()
65 isl::set null; in test_return_bool()
67 isl::boolean b_true = empty.is_empty(); in test_return_bool()
68 isl::boolean b_false = univ.is_empty(); in test_return_bool()
69 isl::boolean b_error = null.is_empty(); in test_return_bool()
[all …]
H A Disl_test_cpp.cc46 static void test_return_bool(isl::ctx ctx) in test_return_bool()
48 isl::set empty(ctx, "{ : false }"); in test_return_bool()
49 isl::set univ(ctx, "{ : }"); in test_return_bool()
50 isl::set null; in test_return_bool()
58 } catch (const isl::exception_invalid &e) { in test_return_bool()
72 static void test_return(isl::ctx ctx) in test_return()
87 static void test_foreach(isl::ctx ctx) in test_foreach()
89 isl::set s(ctx, "{ [0]; [1]; [2] }"); in test_foreach()
91 std::vector<isl::basic_set> basic_sets; in test_foreach()
93 auto add_to_vector = [&] (isl::basic_set bs) { in test_foreach()
[all …]
H A Disl_test_python.py8 import isl
24 zero1 = isl.val("0")
27 zero2 = isl.val(0)
30 zero3 = isl.val.zero()
33 bs = isl.basic_set("{ [1] }")
34 result = isl.set("{ [1] }")
35 s = isl.set(bs)
38 us = isl.union_set("{ A[1]; B[2, 3] }")
39 empty = isl.union_set.empty()
45 val_int = isl.val(i)
[all …]
H A DMakefile.am25 CPP_H = include/isl/cpp.h include/isl/typed_cpp.h
41 noinst_PYTHON = interface/isl.py
42 isl_test_python.py: interface/isl.py libisl.la
92 MP_INCLUDE_H = include/isl/val_gmp.h
245 include/isl/cpp.h
324 include/isl/cpp.h
336 include/isl/cpp.h
342 include/isl/cpp.h
348 include/isl/cpp-checked.h
354 include/isl/cpp.h
[all …]
H A Disl_test_cpp-checked-conversion.cc22 isl::checked::set checked_set; in check_conversion_null()
23 isl::set set; in check_conversion_null()
27 set = isl::uncheck(checked_set); in check_conversion_null()
29 } catch (const isl::exception &e) { in check_conversion_null()
38 static void f_checked(isl::checked::set set) in f_checked()
44 static void f_unchecked(isl::set set) in f_unchecked()
53 isl::set set(ctx, "{ S[i] : 0 <= i < 10 }"); in check_conversion_call()
54 isl::checked::set checked_set(ctx, "{ S[i] : 0 <= i < 10 }"); in check_conversion_call()
57 f_checked(isl::check(set)); in check_conversion_call()
58 f_unchecked(isl::uncheck(checked_set)); in check_conversion_call()
[all …]
H A DREADME1 isl is a thread-safe C library for manipulating sets and relations
7 isl is released under the MIT license, but depends on the LGPL GMP
19 git clone git://repo.or.cz/isl.git
24 New releases are announced on http://groups.google.com/group/isl-announce
26 If you use isl, you can let me know by stacking
27 https://www.openhub.net/p/isl on Open Hub.
30 contact http://groups.google.com/group/isl-development
32 Whenever you report a bug, please mention the exact version of isl
34 to compile isl, then report the git version (output of "git describe")
37 If you use isl for your research, you are invited do cite
[all …]
H A Disl_test_cpp17-generic.cc22 static isl::id construct_id(isl::ctx ctx, bool *freed) in construct_id()
25 isl::id id(ctx, "S", s); in construct_id()
37 static void test_try_user(isl::ctx ctx) in test_try_user()
39 isl::id id(ctx, "test", 5); in test_try_user()
40 isl::id id2(ctx, "test2"); in test_try_user()
57 isl::id id = construct_id(ctx, &freed); in test_try_user()
H A DMakefile.in609 am__noinst_PYTHON_DIST = interface/isl.py
613 am__pkginclude_HEADERS_DIST = include/isl/cpp.h \
614 include/isl/typed_cpp.h include/isl/val_gmp.h \
615 include/isl/aff.h include/isl/aff_type.h include/isl/arg.h \
616 include/isl/ast.h include/isl/ast_type.h \
617 include/isl/ast_build.h include/isl/constraint.h \
618 include/isl/ctx.h include/isl/fixed_box.h include/isl/flow.h \
619 include/isl/id.h include/isl/id_type.h \
620 include/isl/id_to_ast_expr.h include/isl/id_to_id.h \
621 include/isl/id_to_pw_aff.h include/isl/ilp.h \
[all …]
H A Disl_test_cpp17.cc29 } catch (const isl::exception_invalid &e) { in check_invalid()
42 static void test_user(isl::ctx ctx) in test_user()
44 isl::id id(ctx, "test", 5); in test_user()
45 isl::id id2(ctx, "test2"); in test_user()
46 isl::id id3(ctx, "test3", std::string("s")); in test_user()
/netbsd-src/external/mit/isl/dist/python/
H A Disl.py.top9 isl = cdll.LoadLibrary(isl_dlname)
11 isl = cdll.LoadLibrary(find_library("isl"))
21 ptr = isl.isl_ctx_alloc()
25 isl.isl_ctx_free(self)
40 isl.isl_ctx_alloc.restype = c_void_p
41 isl.isl_ctx_free.argtypes = [Context]
42 isl.isl_id_alloc.restype = c_void_p
43 isl.isl_id_alloc.argtypes = [Context, c_char_p, py_object]
44 isl.isl_id_set_free_user.restype = c_void_p
45 isl.isl_id_set_free_user.argtypes = [c_void_p, c_void_p]
[all …]
/netbsd-src/external/gpl3/gdb/dist/config/
H A Disl.m422 # Provide configure switches for isl support.
26 AC_ARG_WITH([isl-include],
28 [--with-isl-include=PATH],
29 [Specify directory for installed isl include files])])
30 AC_ARG_WITH([isl-lib],
32 [--with-isl-lib=PATH],
33 [Specify the directory for the installed isl library])])
35 AC_ARG_ENABLE(isl-version-check,
37 [--disable-isl-version-check],
38 [disable check for isl version])],
[all …]
/netbsd-src/external/gpl3/gcc.old/dist/config/
H A Disl.m422 # Provide configure switches for isl support.
26 AC_ARG_WITH([isl-include],
28 [--with-isl-include=PATH],
29 [Specify directory for installed isl include files])])
30 AC_ARG_WITH([isl-lib],
32 [--with-isl-lib=PATH],
33 [Specify the directory for the installed isl library])])
35 AC_ARG_ENABLE(isl-version-check,
37 [--disable-isl-version-check],
38 [disable check for isl version])],
[all …]
/netbsd-src/external/gpl3/binutils/dist/config/
H A Disl.m422 # Provide configure switches for isl support.
26 AC_ARG_WITH([isl-include],
28 [--with-isl-include=PATH],
29 [Specify directory for installed isl include files])])
30 AC_ARG_WITH([isl-lib],
32 [--with-isl-lib=PATH],
33 [Specify the directory for the installed isl library])])
35 AC_ARG_ENABLE(isl-version-check,
37 [--disable-isl-version-check],
38 [disable check for isl version])],
[all …]
/netbsd-src/external/gpl3/gcc/dist/config/
H A Disl.m422 # Provide configure switches for isl support.
26 AC_ARG_WITH([isl-include],
28 [--with-isl-include=PATH],
29 [Specify directory for installed isl include files])])
30 AC_ARG_WITH([isl-lib],
32 [--with-isl-lib=PATH],
33 [Specify the directory for the installed isl library])])
35 AC_ARG_ENABLE(isl-version-check,
37 [--disable-isl-version-check],
38 [disable check for isl version])],
[all …]
/netbsd-src/external/gpl3/gdb.old/dist/config/
H A Disl.m422 # Provide configure switches for isl support.
26 AC_ARG_WITH([isl-include],
28 [--with-isl-include=PATH],
29 [Specify directory for installed isl include files])])
30 AC_ARG_WITH([isl-lib],
32 [--with-isl-lib=PATH],
33 [Specify the directory for the installed isl library])])
35 AC_ARG_ENABLE(isl-version-check,
37 [--disable-isl-version-check],
38 [disable check for isl version])],
[all …]
/netbsd-src/external/gpl3/binutils.old/dist/config/
H A Disl.m422 # Provide configure switches for isl support.
26 AC_ARG_WITH([isl-include],
28 [--with-isl-include=PATH],
29 [Specify directory for installed isl include files])])
30 AC_ARG_WITH([isl-lib],
32 [--with-isl-lib=PATH],
33 [Specify the directory for the installed isl library])])
35 AC_ARG_ENABLE(isl-version-check,
37 [--disable-isl-version-check],
38 [disable check for isl version])],
[all …]
/netbsd-src/external/mit/isl/dist/doc/
H A Duser.pod3 C<isl> is a thread-safe C library for manipulating
9 The C<isl> library offers functionality that is similar
21 L<http://groups.google.com/group/isl-development>.
25 =head3 Changes since isl-0.02
38 =head3 Changes since isl-0.03
49 =head3 Changes since isl-0.04
54 to C<isl/header.h>.
58 =head3 Changes since isl-0.05
81 =head3 Changes since isl-0.06
95 =head3 Changes since isl-0.07
[all …]
/netbsd-src/external/mit/isl/dist/cpp/
H A Dcpp-checked-conversion.h.top2 /// the default and the checked C++ bindings for isl.
4 /// isl is a library for computing with integer sets and maps described by
5 /// Presburger formulas. On top of this, isl provides various tools for
12 #include <isl/cpp.h>
13 #include <isl/cpp-checked.h>
H A Dtyped_cpp.h.top1 /// These are automatically generated templated C++ bindings for isl.
3 /// isl is a library for computing with integer sets and maps described by
4 /// Presburger formulas. On top of this, isl provides various tools for
13 #include <isl/cpp.h>
15 namespace isl {

12345678910