d3fdbda6b0
This is part of an effort to reduce the differences between the custom C++ bindings used right now by polly in `lib/External/isl/include/isl/isl-noxceptions.h` and the official isl C++ interface.
With this commit we are moving from the `polly-generator` branch to the `new-polly-generator` branch that is more mantainable and is based on the official C++ interface `cpp-checked.h`.
Changes made:
- There are now many sublcasses for `isl::ast_node` representing different isl types. Use `isl::ast_node_for`, `isl::ast_node_user`, `isl::ast_node_block` and `isl::ast_node_mark` where needed.
- There are now many sublcasses for `isl::schedule_node` representing different isl types. Use `isl::schedule_node_mark`, `isl::schedule_node_extension`, `isl::schedule_node_band` and `isl::schedule_node_filter` where needed.
- Replace the `isl::*::dump` with `dumpIslObj` since the isl dump method is not exposed in the C++ interface.
- `isl::schedule_node::get_child` has been renamed to `isl::schedule_node::child`
- `isl::pw_multi_aff::get_pw_aff` has been renamed to `isl::pw_multi_aff::at`
- The constructor `isl::union_map(isl::union_pw_multi_aff)` has been replaced with the static method `isl::union_map::from()`
- Replace usages of `isl::val::add_ui` with `isl::val::add`
- `isl::union_set_list::alloc` is now a constructor
- All the `isl_size` values are now wrapped inside the class `isl::size` use `isl::size::release` to get the internal `isl_size` value where needed.
- `isl-noexceptions.h` has been generated by 73f5ed1f4d
No functional change intended.
Reviewed By: Meinersbur
Differential Revision: https://reviews.llvm.org/D107225
28 lines
861 B
C++
28 lines
861 B
C++
#include "polly/Support/ISLTools.h"
|
|
#include "gmock/gmock.h"
|
|
#include "gtest/gtest.h"
|
|
|
|
namespace isl {
|
|
static bool operator==(const isl::basic_set &A, const isl::basic_set &B) {
|
|
return A.is_equal(B);
|
|
}
|
|
} // namespace isl
|
|
|
|
TEST(Support, isl_iterator) {
|
|
std::unique_ptr<isl_ctx, decltype(&isl_ctx_free)> RawCtx(isl_ctx_alloc(),
|
|
&isl_ctx_free);
|
|
isl::ctx Ctx(RawCtx.get());
|
|
|
|
isl::basic_set A(
|
|
Ctx, "{ [x, y] : 0 <= x <= 5 and y >= 0 and x > 0 and 0 < y <= 5 }");
|
|
isl::basic_set B(
|
|
Ctx, "{ [x, y] : 0 <= x <= 5 and y >= 0 and x <= 4 and y <= 3 + x }");
|
|
isl::set S = A.unite(B);
|
|
|
|
ASSERT_EQ(S.n_basic_set().release(), 2);
|
|
std::vector<isl::basic_set> Sets;
|
|
for (auto BS : S.get_basic_set_list())
|
|
Sets.push_back(BS);
|
|
EXPECT_THAT(Sets, testing::UnorderedElementsAre(A, B));
|
|
}
|