use super::{
Aff, AffList, Context, DimType, Error, Id, IdList, LibISLError, Map, MultiAff, MultiId,
MultiPwAff, MultiUnionPwAff, MultiVal, PwAffList, PwMultiAff, Set, UnionPwAffList, ValList,
};
use libc::uintptr_t;
use std::ffi::{CStr, CString};
use std::os::raw::c_char;
pub struct Space {
pub ptr: uintptr_t,
pub should_free_on_drop: bool,
}
extern "C" {
fn isl_space_add_dims(space: uintptr_t, type_: i32, n: u32) -> uintptr_t;
fn isl_space_add_named_tuple_id_ui(space: uintptr_t, tuple_id: uintptr_t, dim: u32)
-> uintptr_t;
fn isl_space_add_param_id(space: uintptr_t, id: uintptr_t) -> uintptr_t;
fn isl_space_add_unnamed_tuple_ui(space: uintptr_t, dim: u32) -> uintptr_t;
fn isl_space_align_params(space1: uintptr_t, space2: uintptr_t) -> uintptr_t;
fn isl_space_alloc(ctx: uintptr_t, nparam: u32, n_in: u32, n_out: u32) -> uintptr_t;
fn isl_space_can_curry(space: uintptr_t) -> i32;
fn isl_space_can_range_curry(space: uintptr_t) -> i32;
fn isl_space_can_uncurry(space: uintptr_t) -> i32;
fn isl_space_can_zip(space: uintptr_t) -> i32;
fn isl_space_copy(space: uintptr_t) -> uintptr_t;
fn isl_space_curry(space: uintptr_t) -> uintptr_t;
fn isl_space_dim(space: uintptr_t, type_: i32) -> i32;
fn isl_space_domain(space: uintptr_t) -> uintptr_t;
fn isl_space_domain_factor_domain(space: uintptr_t) -> uintptr_t;
fn isl_space_domain_factor_range(space: uintptr_t) -> uintptr_t;
fn isl_space_domain_is_wrapping(space: uintptr_t) -> i32;
fn isl_space_domain_map(space: uintptr_t) -> uintptr_t;
fn isl_space_domain_map_multi_aff(space: uintptr_t) -> uintptr_t;
fn isl_space_domain_map_pw_multi_aff(space: uintptr_t) -> uintptr_t;
fn isl_space_domain_product(left: uintptr_t, right: uintptr_t) -> uintptr_t;
fn isl_space_domain_reverse(space: uintptr_t) -> uintptr_t;
fn isl_space_domain_wrapped_domain(space: uintptr_t) -> uintptr_t;
fn isl_space_domain_wrapped_range(space: uintptr_t) -> uintptr_t;
fn isl_space_drop_all_params(space: uintptr_t) -> uintptr_t;
fn isl_space_drop_dims(space: uintptr_t, type_: i32, first: u32, num: u32) -> uintptr_t;
fn isl_space_drop_inputs(space: uintptr_t, first: u32, n: u32) -> uintptr_t;
fn isl_space_drop_outputs(space: uintptr_t, first: u32, n: u32) -> uintptr_t;
fn isl_space_dump(space: uintptr_t) -> ();
fn isl_space_factor_domain(space: uintptr_t) -> uintptr_t;
fn isl_space_factor_range(space: uintptr_t) -> uintptr_t;
fn isl_space_find_dim_by_id(space: uintptr_t, type_: i32, id: uintptr_t) -> i32;
fn isl_space_find_dim_by_name(space: uintptr_t, type_: i32, name: *const c_char) -> i32;
fn isl_space_flatten_domain(space: uintptr_t) -> uintptr_t;
fn isl_space_flatten_range(space: uintptr_t) -> uintptr_t;
fn isl_space_free(space: uintptr_t) -> uintptr_t;
fn isl_space_from_domain(space: uintptr_t) -> uintptr_t;
fn isl_space_from_range(space: uintptr_t) -> uintptr_t;
fn isl_space_get_ctx(space: uintptr_t) -> uintptr_t;
fn isl_space_get_dim_id(space: uintptr_t, type_: i32, pos: u32) -> uintptr_t;
fn isl_space_get_dim_name(space: uintptr_t, type_: i32, pos: u32) -> *const c_char;
fn isl_space_get_domain_tuple_id(space: uintptr_t) -> uintptr_t;
fn isl_space_get_range_tuple_id(space: uintptr_t) -> uintptr_t;
fn isl_space_get_tuple_id(space: uintptr_t, type_: i32) -> uintptr_t;
fn isl_space_get_tuple_name(space: uintptr_t, type_: i32) -> *const c_char;
fn isl_space_has_dim_id(space: uintptr_t, type_: i32, pos: u32) -> i32;
fn isl_space_has_dim_name(space: uintptr_t, type_: i32, pos: u32) -> i32;
fn isl_space_has_domain_tuple_id(space: uintptr_t) -> i32;
fn isl_space_has_equal_params(space1: uintptr_t, space2: uintptr_t) -> i32;
fn isl_space_has_equal_tuples(space1: uintptr_t, space2: uintptr_t) -> i32;
fn isl_space_has_range_tuple_id(space: uintptr_t) -> i32;
fn isl_space_has_tuple_id(space: uintptr_t, type_: i32) -> i32;
fn isl_space_has_tuple_name(space: uintptr_t, type_: i32) -> i32;
fn isl_space_identity_multi_aff_on_domain(space: uintptr_t) -> uintptr_t;
fn isl_space_identity_multi_pw_aff_on_domain(space: uintptr_t) -> uintptr_t;
fn isl_space_identity_pw_multi_aff_on_domain(space: uintptr_t) -> uintptr_t;
fn isl_space_insert_dims(space: uintptr_t, type_: i32, pos: u32, n: u32) -> uintptr_t;
fn isl_space_is_domain(space1: uintptr_t, space2: uintptr_t) -> i32;
fn isl_space_is_equal(space1: uintptr_t, space2: uintptr_t) -> i32;
fn isl_space_is_map(space: uintptr_t) -> i32;
fn isl_space_is_params(space: uintptr_t) -> i32;
fn isl_space_is_product(space: uintptr_t) -> i32;
fn isl_space_is_range(space1: uintptr_t, space2: uintptr_t) -> i32;
fn isl_space_is_set(space: uintptr_t) -> i32;
fn isl_space_is_wrapping(space: uintptr_t) -> i32;
fn isl_space_join(left: uintptr_t, right: uintptr_t) -> uintptr_t;
fn isl_space_map_from_domain_and_range(domain: uintptr_t, range: uintptr_t) -> uintptr_t;
fn isl_space_map_from_set(space: uintptr_t) -> uintptr_t;
fn isl_space_match(space1: uintptr_t, type1: i32, space2: uintptr_t, type2: i32) -> i32;
fn isl_space_move_dims(space: uintptr_t, dst_type: i32, dst_pos: u32, src_type: i32,
src_pos: u32, n: u32)
-> uintptr_t;
fn isl_space_multi_aff(space: uintptr_t, list: uintptr_t) -> uintptr_t;
fn isl_space_multi_aff_on_domain_multi_val(space: uintptr_t, mv: uintptr_t) -> uintptr_t;
fn isl_space_multi_id(space: uintptr_t, list: uintptr_t) -> uintptr_t;
fn isl_space_multi_pw_aff(space: uintptr_t, list: uintptr_t) -> uintptr_t;
fn isl_space_multi_union_pw_aff(space: uintptr_t, list: uintptr_t) -> uintptr_t;
fn isl_space_multi_val(space: uintptr_t, list: uintptr_t) -> uintptr_t;
fn isl_space_param_aff_on_domain_id(space: uintptr_t, id: uintptr_t) -> uintptr_t;
fn isl_space_params(space: uintptr_t) -> uintptr_t;
fn isl_space_params_alloc(ctx: uintptr_t, nparam: u32) -> uintptr_t;
fn isl_space_product(left: uintptr_t, right: uintptr_t) -> uintptr_t;
fn isl_space_range(space: uintptr_t) -> uintptr_t;
fn isl_space_range_curry(space: uintptr_t) -> uintptr_t;
fn isl_space_range_factor_domain(space: uintptr_t) -> uintptr_t;
fn isl_space_range_factor_range(space: uintptr_t) -> uintptr_t;
fn isl_space_range_is_wrapping(space: uintptr_t) -> i32;
fn isl_space_range_map(space: uintptr_t) -> uintptr_t;
fn isl_space_range_map_multi_aff(space: uintptr_t) -> uintptr_t;
fn isl_space_range_map_pw_multi_aff(space: uintptr_t) -> uintptr_t;
fn isl_space_range_product(left: uintptr_t, right: uintptr_t) -> uintptr_t;
fn isl_space_range_reverse(space: uintptr_t) -> uintptr_t;
fn isl_space_range_wrapped_domain(space: uintptr_t) -> uintptr_t;
fn isl_space_range_wrapped_range(space: uintptr_t) -> uintptr_t;
fn isl_space_read_from_str(ctx: uintptr_t, str_: *const c_char) -> uintptr_t;
fn isl_space_reset_tuple_id(space: uintptr_t, type_: i32) -> uintptr_t;
fn isl_space_reset_user(space: uintptr_t) -> uintptr_t;
fn isl_space_reverse(space: uintptr_t) -> uintptr_t;
fn isl_space_set_alloc(ctx: uintptr_t, nparam: u32, dim: u32) -> uintptr_t;
fn isl_space_set_dim_id(space: uintptr_t, type_: i32, pos: u32, id: uintptr_t) -> uintptr_t;
fn isl_space_set_dim_name(space: uintptr_t, type_: i32, pos: u32, name: *const c_char)
-> uintptr_t;
fn isl_space_set_domain_tuple_id(space: uintptr_t, id: uintptr_t) -> uintptr_t;
fn isl_space_set_from_params(space: uintptr_t) -> uintptr_t;
fn isl_space_set_range_tuple_id(space: uintptr_t, id: uintptr_t) -> uintptr_t;
fn isl_space_set_tuple_id(space: uintptr_t, type_: i32, id: uintptr_t) -> uintptr_t;
fn isl_space_set_tuple_name(space: uintptr_t, type_: i32, s: *const c_char) -> uintptr_t;
fn isl_space_to_str(space: uintptr_t) -> *const c_char;
fn isl_space_tuple_is_equal(space1: uintptr_t, type1: i32, space2: uintptr_t, type2: i32)
-> i32;
fn isl_space_uncurry(space: uintptr_t) -> uintptr_t;
fn isl_space_unit(ctx: uintptr_t) -> uintptr_t;
fn isl_space_universe_map(space: uintptr_t) -> uintptr_t;
fn isl_space_universe_set(space: uintptr_t) -> uintptr_t;
fn isl_space_unwrap(space: uintptr_t) -> uintptr_t;
fn isl_space_wrap(space: uintptr_t) -> uintptr_t;
fn isl_space_wrapped_reverse(space: uintptr_t) -> uintptr_t;
fn isl_space_zero_aff_on_domain(space: uintptr_t) -> uintptr_t;
fn isl_space_zero_multi_aff(space: uintptr_t) -> uintptr_t;
fn isl_space_zero_multi_pw_aff(space: uintptr_t) -> uintptr_t;
fn isl_space_zero_multi_union_pw_aff(space: uintptr_t) -> uintptr_t;
fn isl_space_zero_multi_val(space: uintptr_t) -> uintptr_t;
fn isl_space_zip(space: uintptr_t) -> uintptr_t;
}
impl Space {
pub fn add_dims(self, type_: DimType, n: u32) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_space_add_dims(space, type_, n) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn add_named_tuple_id_ui(self, tuple_id: Id, dim: u32) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let mut tuple_id = tuple_id;
tuple_id.do_not_free_on_drop();
let tuple_id = tuple_id.ptr;
let isl_rs_result = unsafe { isl_space_add_named_tuple_id_ui(space, tuple_id, dim) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn add_param_id(self, id: Id) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let mut id = id;
id.do_not_free_on_drop();
let id = id.ptr;
let isl_rs_result = unsafe { isl_space_add_param_id(space, id) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn add_unnamed_tuple_ui(self, dim: u32) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_add_unnamed_tuple_ui(space, dim) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn align_params(self, space2: Space) -> Result<Space, LibISLError> {
let space1 = self;
let isl_rs_ctx = space1.get_ctx();
let mut space1 = space1;
space1.do_not_free_on_drop();
let space1 = space1.ptr;
let mut space2 = space2;
space2.do_not_free_on_drop();
let space2 = space2.ptr;
let isl_rs_result = unsafe { isl_space_align_params(space1, space2) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn alloc(ctx: &Context, nparam: u32, n_in: u32, n_out: u32) -> Result<Space, LibISLError> {
let isl_rs_ctx = Context { ptr: ctx.ptr,
should_free_on_drop: false };
let ctx = ctx.ptr;
let isl_rs_result = unsafe { isl_space_alloc(ctx, nparam, n_in, n_out) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn can_curry(&self) -> Result<bool, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_can_curry(space) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn can_range_curry(&self) -> Result<bool, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_can_range_curry(space) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn can_uncurry(&self) -> Result<bool, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_can_uncurry(space) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn can_zip(&self) -> Result<bool, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_can_zip(space) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn copy(&self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_copy(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn curry(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_curry(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn dim(&self, type_: DimType) -> Result<i32, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let space = space.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_space_dim(space, type_) };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn domain(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_domain(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn domain_factor_domain(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_domain_factor_domain(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn domain_factor_range(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_domain_factor_range(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn domain_is_wrapping(&self) -> Result<bool, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_domain_is_wrapping(space) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn domain_map(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_domain_map(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn domain_map_multi_aff(self) -> Result<MultiAff, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_domain_map_multi_aff(space) };
let isl_rs_result = MultiAff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn domain_map_pw_multi_aff(self) -> Result<PwMultiAff, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_domain_map_pw_multi_aff(space) };
let isl_rs_result = PwMultiAff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn domain_product(self, right: Space) -> Result<Space, LibISLError> {
let left = self;
let isl_rs_ctx = left.get_ctx();
let mut left = left;
left.do_not_free_on_drop();
let left = left.ptr;
let mut right = right;
right.do_not_free_on_drop();
let right = right.ptr;
let isl_rs_result = unsafe { isl_space_domain_product(left, right) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn domain_reverse(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_domain_reverse(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn domain_wrapped_domain(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_domain_wrapped_domain(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn domain_wrapped_range(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_domain_wrapped_range(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn drop_all_params(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_drop_all_params(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn drop_dims(self, type_: DimType, first: u32, num: u32) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_space_drop_dims(space, type_, first, num) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn drop_inputs(self, first: u32, n: u32) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_drop_inputs(space, first, n) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn drop_outputs(self, first: u32, n: u32) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_drop_outputs(space, first, n) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn dump(&self) -> Result<(), LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_dump(space) };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn factor_domain(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_factor_domain(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn factor_range(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_factor_range(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn find_dim_by_id(&self, type_: DimType, id: &Id) -> Result<i32, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let space = space.ptr;
let type_ = type_.to_i32();
let id = id.ptr;
let isl_rs_result = unsafe { isl_space_find_dim_by_id(space, type_, id) };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn find_dim_by_name(&self, type_: DimType, name: &str) -> Result<i32, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let space = space.ptr;
let type_ = type_.to_i32();
let name = CString::new(name).unwrap();
let name = name.as_ptr();
let isl_rs_result = unsafe { isl_space_find_dim_by_name(space, type_, name) };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn flatten_domain(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_flatten_domain(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn flatten_range(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_flatten_range(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn free(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_free(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn from_domain(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_from_domain(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn from_range(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_from_range(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn get_ctx(&self) -> Context {
let space = self;
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_get_ctx(space) };
let isl_rs_result = Context { ptr: isl_rs_result,
should_free_on_drop: false };
isl_rs_result
}
pub fn get_dim_id(&self, type_: DimType, pos: u32) -> Result<Id, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let space = space.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_space_get_dim_id(space, type_, pos) };
let isl_rs_result = Id { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn get_dim_name(&self, type_: DimType, pos: u32) -> Result<&str, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let space = space.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_space_get_dim_name(space, type_, pos) };
let isl_rs_result = unsafe { CStr::from_ptr(isl_rs_result) };
let isl_rs_result = isl_rs_result.to_str().unwrap();
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn get_domain_tuple_id(&self) -> Result<Id, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_get_domain_tuple_id(space) };
let isl_rs_result = Id { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn get_range_tuple_id(&self) -> Result<Id, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_get_range_tuple_id(space) };
let isl_rs_result = Id { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn get_tuple_id(&self, type_: DimType) -> Result<Id, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let space = space.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_space_get_tuple_id(space, type_) };
let isl_rs_result = Id { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn get_tuple_name(&self, type_: DimType) -> Result<&str, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let space = space.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_space_get_tuple_name(space, type_) };
let isl_rs_result = unsafe { CStr::from_ptr(isl_rs_result) };
let isl_rs_result = isl_rs_result.to_str().unwrap();
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn has_dim_id(&self, type_: DimType, pos: u32) -> Result<bool, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let space = space.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_space_has_dim_id(space, type_, pos) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn has_dim_name(&self, type_: DimType, pos: u32) -> Result<bool, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let space = space.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_space_has_dim_name(space, type_, pos) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn has_domain_tuple_id(&self) -> Result<bool, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_has_domain_tuple_id(space) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn has_equal_params(&self, space2: &Space) -> Result<bool, LibISLError> {
let space1 = self;
let isl_rs_ctx = space1.get_ctx();
let space1 = space1.ptr;
let space2 = space2.ptr;
let isl_rs_result = unsafe { isl_space_has_equal_params(space1, space2) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn has_equal_tuples(&self, space2: &Space) -> Result<bool, LibISLError> {
let space1 = self;
let isl_rs_ctx = space1.get_ctx();
let space1 = space1.ptr;
let space2 = space2.ptr;
let isl_rs_result = unsafe { isl_space_has_equal_tuples(space1, space2) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn has_range_tuple_id(&self) -> Result<bool, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_has_range_tuple_id(space) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn has_tuple_id(&self, type_: DimType) -> Result<bool, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let space = space.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_space_has_tuple_id(space, type_) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn has_tuple_name(&self, type_: DimType) -> Result<bool, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let space = space.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_space_has_tuple_name(space, type_) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn identity_multi_aff_on_domain(self) -> Result<MultiAff, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_identity_multi_aff_on_domain(space) };
let isl_rs_result = MultiAff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn identity_multi_pw_aff_on_domain(self) -> Result<MultiPwAff, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_identity_multi_pw_aff_on_domain(space) };
let isl_rs_result = MultiPwAff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn identity_pw_multi_aff_on_domain(self) -> Result<PwMultiAff, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_identity_pw_multi_aff_on_domain(space) };
let isl_rs_result = PwMultiAff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn insert_dims(self, type_: DimType, pos: u32, n: u32) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_space_insert_dims(space, type_, pos, n) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn is_domain(&self, space2: &Space) -> Result<bool, LibISLError> {
let space1 = self;
let isl_rs_ctx = space1.get_ctx();
let space1 = space1.ptr;
let space2 = space2.ptr;
let isl_rs_result = unsafe { isl_space_is_domain(space1, space2) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn is_equal(&self, space2: &Space) -> Result<bool, LibISLError> {
let space1 = self;
let isl_rs_ctx = space1.get_ctx();
let space1 = space1.ptr;
let space2 = space2.ptr;
let isl_rs_result = unsafe { isl_space_is_equal(space1, space2) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn is_map(&self) -> Result<bool, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_is_map(space) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn is_params(&self) -> Result<bool, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_is_params(space) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn is_product(&self) -> Result<bool, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_is_product(space) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn is_range(&self, space2: &Space) -> Result<bool, LibISLError> {
let space1 = self;
let isl_rs_ctx = space1.get_ctx();
let space1 = space1.ptr;
let space2 = space2.ptr;
let isl_rs_result = unsafe { isl_space_is_range(space1, space2) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn is_set(&self) -> Result<bool, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_is_set(space) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn is_wrapping(&self) -> Result<bool, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_is_wrapping(space) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn join(self, right: Space) -> Result<Space, LibISLError> {
let left = self;
let isl_rs_ctx = left.get_ctx();
let mut left = left;
left.do_not_free_on_drop();
let left = left.ptr;
let mut right = right;
right.do_not_free_on_drop();
let right = right.ptr;
let isl_rs_result = unsafe { isl_space_join(left, right) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn map_from_domain_and_range(self, range: Space) -> Result<Space, LibISLError> {
let domain = self;
let isl_rs_ctx = domain.get_ctx();
let mut domain = domain;
domain.do_not_free_on_drop();
let domain = domain.ptr;
let mut range = range;
range.do_not_free_on_drop();
let range = range.ptr;
let isl_rs_result = unsafe { isl_space_map_from_domain_and_range(domain, range) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn map_from_set(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_map_from_set(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn match_(&self, type1: DimType, space2: &Space, type2: DimType)
-> Result<bool, LibISLError> {
let space1 = self;
let isl_rs_ctx = space1.get_ctx();
let space1 = space1.ptr;
let type1 = type1.to_i32();
let space2 = space2.ptr;
let type2 = type2.to_i32();
let isl_rs_result = unsafe { isl_space_match(space1, type1, space2, type2) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn move_dims(self, dst_type: DimType, dst_pos: u32, src_type: DimType, src_pos: u32,
n: u32)
-> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let dst_type = dst_type.to_i32();
let src_type = src_type.to_i32();
let isl_rs_result =
unsafe { isl_space_move_dims(space, dst_type, dst_pos, src_type, src_pos, n) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn multi_aff(self, list: AffList) -> Result<MultiAff, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let mut list = list;
list.do_not_free_on_drop();
let list = list.ptr;
let isl_rs_result = unsafe { isl_space_multi_aff(space, list) };
let isl_rs_result = MultiAff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn multi_aff_on_domain_multi_val(self, mv: MultiVal) -> Result<MultiAff, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let mut mv = mv;
mv.do_not_free_on_drop();
let mv = mv.ptr;
let isl_rs_result = unsafe { isl_space_multi_aff_on_domain_multi_val(space, mv) };
let isl_rs_result = MultiAff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn multi_id(self, list: IdList) -> Result<MultiId, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let mut list = list;
list.do_not_free_on_drop();
let list = list.ptr;
let isl_rs_result = unsafe { isl_space_multi_id(space, list) };
let isl_rs_result = MultiId { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn multi_pw_aff(self, list: PwAffList) -> Result<MultiPwAff, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let mut list = list;
list.do_not_free_on_drop();
let list = list.ptr;
let isl_rs_result = unsafe { isl_space_multi_pw_aff(space, list) };
let isl_rs_result = MultiPwAff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn multi_union_pw_aff(self, list: UnionPwAffList) -> Result<MultiUnionPwAff, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let mut list = list;
list.do_not_free_on_drop();
let list = list.ptr;
let isl_rs_result = unsafe { isl_space_multi_union_pw_aff(space, list) };
let isl_rs_result = MultiUnionPwAff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn multi_val(self, list: ValList) -> Result<MultiVal, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let mut list = list;
list.do_not_free_on_drop();
let list = list.ptr;
let isl_rs_result = unsafe { isl_space_multi_val(space, list) };
let isl_rs_result = MultiVal { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn param_aff_on_domain_id(self, id: Id) -> Result<Aff, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let mut id = id;
id.do_not_free_on_drop();
let id = id.ptr;
let isl_rs_result = unsafe { isl_space_param_aff_on_domain_id(space, id) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn params(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_params(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn params_alloc(ctx: &Context, nparam: u32) -> Result<Space, LibISLError> {
let isl_rs_ctx = Context { ptr: ctx.ptr,
should_free_on_drop: false };
let ctx = ctx.ptr;
let isl_rs_result = unsafe { isl_space_params_alloc(ctx, nparam) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn product(self, right: Space) -> Result<Space, LibISLError> {
let left = self;
let isl_rs_ctx = left.get_ctx();
let mut left = left;
left.do_not_free_on_drop();
let left = left.ptr;
let mut right = right;
right.do_not_free_on_drop();
let right = right.ptr;
let isl_rs_result = unsafe { isl_space_product(left, right) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn range(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_range(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn range_curry(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_range_curry(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn range_factor_domain(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_range_factor_domain(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn range_factor_range(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_range_factor_range(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn range_is_wrapping(&self) -> Result<bool, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_range_is_wrapping(space) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn range_map(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_range_map(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn range_map_multi_aff(self) -> Result<MultiAff, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_range_map_multi_aff(space) };
let isl_rs_result = MultiAff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn range_map_pw_multi_aff(self) -> Result<PwMultiAff, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_range_map_pw_multi_aff(space) };
let isl_rs_result = PwMultiAff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn range_product(self, right: Space) -> Result<Space, LibISLError> {
let left = self;
let isl_rs_ctx = left.get_ctx();
let mut left = left;
left.do_not_free_on_drop();
let left = left.ptr;
let mut right = right;
right.do_not_free_on_drop();
let right = right.ptr;
let isl_rs_result = unsafe { isl_space_range_product(left, right) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn range_reverse(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_range_reverse(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn range_wrapped_domain(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_range_wrapped_domain(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn range_wrapped_range(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_range_wrapped_range(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn read_from_str(ctx: &Context, str_: &str) -> Result<Space, LibISLError> {
let isl_rs_ctx = Context { ptr: ctx.ptr,
should_free_on_drop: false };
let ctx = ctx.ptr;
let str_ = CString::new(str_).unwrap();
let str_ = str_.as_ptr();
let isl_rs_result = unsafe { isl_space_read_from_str(ctx, str_) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn reset_tuple_id(self, type_: DimType) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_space_reset_tuple_id(space, type_) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn reset_user(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_reset_user(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn reverse(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_reverse(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn set_alloc(ctx: &Context, nparam: u32, dim: u32) -> Result<Space, LibISLError> {
let isl_rs_ctx = Context { ptr: ctx.ptr,
should_free_on_drop: false };
let ctx = ctx.ptr;
let isl_rs_result = unsafe { isl_space_set_alloc(ctx, nparam, dim) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn set_dim_id(self, type_: DimType, pos: u32, id: Id) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let type_ = type_.to_i32();
let mut id = id;
id.do_not_free_on_drop();
let id = id.ptr;
let isl_rs_result = unsafe { isl_space_set_dim_id(space, type_, pos, id) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn set_dim_name(self, type_: DimType, pos: u32, name: &str) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let type_ = type_.to_i32();
let name = CString::new(name).unwrap();
let name = name.as_ptr();
let isl_rs_result = unsafe { isl_space_set_dim_name(space, type_, pos, name) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn set_domain_tuple_id(self, id: Id) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let mut id = id;
id.do_not_free_on_drop();
let id = id.ptr;
let isl_rs_result = unsafe { isl_space_set_domain_tuple_id(space, id) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn set_from_params(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_set_from_params(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn set_range_tuple_id(self, id: Id) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let mut id = id;
id.do_not_free_on_drop();
let id = id.ptr;
let isl_rs_result = unsafe { isl_space_set_range_tuple_id(space, id) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn set_tuple_id(self, type_: DimType, id: Id) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let type_ = type_.to_i32();
let mut id = id;
id.do_not_free_on_drop();
let id = id.ptr;
let isl_rs_result = unsafe { isl_space_set_tuple_id(space, type_, id) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn set_tuple_name(self, type_: DimType, s: &str) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let type_ = type_.to_i32();
let s = CString::new(s).unwrap();
let s = s.as_ptr();
let isl_rs_result = unsafe { isl_space_set_tuple_name(space, type_, s) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn to_str(&self) -> Result<&str, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_to_str(space) };
let isl_rs_result = unsafe { CStr::from_ptr(isl_rs_result) };
let isl_rs_result = isl_rs_result.to_str().unwrap();
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn tuple_is_equal(&self, type1: DimType, space2: &Space, type2: DimType)
-> Result<bool, LibISLError> {
let space1 = self;
let isl_rs_ctx = space1.get_ctx();
let space1 = space1.ptr;
let type1 = type1.to_i32();
let space2 = space2.ptr;
let type2 = type2.to_i32();
let isl_rs_result = unsafe { isl_space_tuple_is_equal(space1, type1, space2, type2) };
let isl_rs_result = match isl_rs_result {
0 => false,
1 => true,
_ => {
return Err(LibISLError::new(Error::Unknown, "Got isl_bool = -1"));
}
};
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn uncurry(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_uncurry(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn unit(ctx: &Context) -> Result<Space, LibISLError> {
let isl_rs_ctx = Context { ptr: ctx.ptr,
should_free_on_drop: false };
let ctx = ctx.ptr;
let isl_rs_result = unsafe { isl_space_unit(ctx) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn universe_map(self) -> Result<Map, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_universe_map(space) };
let isl_rs_result = Map { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn universe_set(self) -> Result<Set, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_universe_set(space) };
let isl_rs_result = Set { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn unwrap(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_unwrap(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn wrap(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_wrap(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn wrapped_reverse(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_wrapped_reverse(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn zero_aff_on_domain(self) -> Result<Aff, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_zero_aff_on_domain(space) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn zero_multi_aff(self) -> Result<MultiAff, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_zero_multi_aff(space) };
let isl_rs_result = MultiAff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn zero_multi_pw_aff(self) -> Result<MultiPwAff, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_zero_multi_pw_aff(space) };
let isl_rs_result = MultiPwAff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn zero_multi_union_pw_aff(self) -> Result<MultiUnionPwAff, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_zero_multi_union_pw_aff(space) };
let isl_rs_result = MultiUnionPwAff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn zero_multi_val(self) -> Result<MultiVal, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_zero_multi_val(space) };
let isl_rs_result = MultiVal { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn zip(self) -> Result<Space, LibISLError> {
let space = self;
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_space_zip(space) };
let isl_rs_result = Space { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn do_not_free_on_drop(&mut self) {
self.should_free_on_drop = false;
}
}
impl Drop for Space {
fn drop(&mut self) {
if self.should_free_on_drop {
unsafe {
isl_space_free(self.ptr);
}
}
}
}