use super::{
Context, DimType, Error, Id, LibISLError, Map, MultiAff, MultiId, MultiPwAff, MultiVal, PwAff,
PwMultiAffList, Set, Space, UnionPwMultiAff, Val,
};
use libc::uintptr_t;
use std::ffi::{CStr, CString};
use std::os::raw::c_char;
pub struct PwMultiAff {
pub ptr: uintptr_t,
pub should_free_on_drop: bool,
}
extern "C" {
fn isl_pw_multi_aff_add(pma1: uintptr_t, pma2: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_add_constant_multi_val(pma: uintptr_t, mv: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_add_constant_val(pma: uintptr_t, v: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_align_params(pma: uintptr_t, model: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_alloc(set: uintptr_t, maff: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_as_map(pma: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_as_multi_aff(pma: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_as_set(pma: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_bind_domain(pma: uintptr_t, tuple: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_bind_domain_wrapped_domain(pma: uintptr_t, tuple: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_coalesce(pma: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_copy(pma: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_dim(pma: uintptr_t, type_: i32) -> i32;
fn isl_pw_multi_aff_domain(pma: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_domain_map(space: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_domain_reverse(pma: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_drop_dims(pma: uintptr_t, type_: i32, first: u32, n: u32) -> uintptr_t;
fn isl_pw_multi_aff_drop_unused_params(pma: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_dump(pma: uintptr_t) -> ();
fn isl_pw_multi_aff_empty(space: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_find_dim_by_name(pma: uintptr_t, type_: i32, name: *const c_char) -> i32;
fn isl_pw_multi_aff_fix_si(pma: uintptr_t, type_: i32, pos: u32, value: i32) -> uintptr_t;
fn isl_pw_multi_aff_flat_range_product(pma1: uintptr_t, pma2: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_free(pma: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_from_domain(set: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_from_map(map: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_from_multi_aff(ma: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_from_multi_pw_aff(mpa: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_from_pw_aff(pa: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_from_set(set: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_get_at(pma: uintptr_t, pos: i32) -> uintptr_t;
fn isl_pw_multi_aff_get_ctx(pma: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_get_dim_id(pma: uintptr_t, type_: i32, pos: u32) -> uintptr_t;
fn isl_pw_multi_aff_get_dim_name(pma: uintptr_t, type_: i32, pos: u32) -> *const c_char;
fn isl_pw_multi_aff_get_domain_space(pma: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_get_pw_aff(pma: uintptr_t, pos: i32) -> uintptr_t;
fn isl_pw_multi_aff_get_range_tuple_id(pma: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_get_space(pma: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_get_tuple_id(pma: uintptr_t, type_: i32) -> uintptr_t;
fn isl_pw_multi_aff_get_tuple_name(pma: uintptr_t, type_: i32) -> *const c_char;
fn isl_pw_multi_aff_gist(pma: uintptr_t, set: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_gist_params(pma: uintptr_t, set: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_has_range_tuple_id(pma: uintptr_t) -> i32;
fn isl_pw_multi_aff_has_tuple_id(pma: uintptr_t, type_: i32) -> i32;
fn isl_pw_multi_aff_has_tuple_name(pma: uintptr_t, type_: i32) -> i32;
fn isl_pw_multi_aff_identity(space: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_identity_on_domain_space(space: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_insert_domain(pma: uintptr_t, domain: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_intersect_domain(pma: uintptr_t, set: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_intersect_domain_wrapped_domain(pma: uintptr_t, set: uintptr_t)
-> uintptr_t;
fn isl_pw_multi_aff_intersect_domain_wrapped_range(pma: uintptr_t, set: uintptr_t)
-> uintptr_t;
fn isl_pw_multi_aff_intersect_params(pma: uintptr_t, set: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_involves_dims(pma: uintptr_t, type_: i32, first: u32, n: u32) -> i32;
fn isl_pw_multi_aff_involves_locals(pma: uintptr_t) -> i32;
fn isl_pw_multi_aff_involves_nan(pma: uintptr_t) -> i32;
fn isl_pw_multi_aff_involves_param_id(pma: uintptr_t, id: uintptr_t) -> i32;
fn isl_pw_multi_aff_is_equal(pma1: uintptr_t, pma2: uintptr_t) -> i32;
fn isl_pw_multi_aff_isa_multi_aff(pma: uintptr_t) -> i32;
fn isl_pw_multi_aff_max_multi_val(pma: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_min_multi_val(pma: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_multi_val_on_domain(domain: uintptr_t, mv: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_n_piece(pma: uintptr_t) -> i32;
fn isl_pw_multi_aff_neg(pma: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_plain_is_equal(pma1: uintptr_t, pma2: uintptr_t) -> i32;
fn isl_pw_multi_aff_preimage_domain_wrapped_domain_pw_multi_aff(pma1: uintptr_t,
pma2: uintptr_t)
-> uintptr_t;
fn isl_pw_multi_aff_product(pma1: uintptr_t, pma2: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_project_domain_on_params(pma: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_project_out_map(space: uintptr_t, type_: i32, first: u32, n: u32)
-> uintptr_t;
fn isl_pw_multi_aff_pullback_multi_aff(pma: uintptr_t, ma: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_pullback_pw_multi_aff(pma1: uintptr_t, pma2: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_range_factor_domain(pma: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_range_factor_range(pma: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_range_map(space: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_range_product(pma1: uintptr_t, pma2: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_read_from_str(ctx: uintptr_t, str_: *const c_char) -> uintptr_t;
fn isl_pw_multi_aff_reset_tuple_id(pma: uintptr_t, type_: i32) -> uintptr_t;
fn isl_pw_multi_aff_reset_user(pma: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_scale_down_multi_val(pma: uintptr_t, mv: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_scale_down_val(pma: uintptr_t, v: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_scale_multi_val(pma: uintptr_t, mv: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_scale_val(pma: uintptr_t, v: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_set_dim_id(pma: uintptr_t, type_: i32, pos: u32, id: uintptr_t)
-> uintptr_t;
fn isl_pw_multi_aff_set_pw_aff(pma: uintptr_t, pos: u32, pa: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_set_range_tuple_id(pma: uintptr_t, id: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_set_tuple_id(pma: uintptr_t, type_: i32, id: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_sub(pma1: uintptr_t, pma2: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_subtract_domain(pma: uintptr_t, set: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_to_list(el: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_to_multi_pw_aff(pma: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_to_str(pma: uintptr_t) -> *const c_char;
fn isl_pw_multi_aff_to_union_pw_multi_aff(pma: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_union_add(pma1: uintptr_t, pma2: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_union_lexmax(pma1: uintptr_t, pma2: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_union_lexmin(pma1: uintptr_t, pma2: uintptr_t) -> uintptr_t;
fn isl_pw_multi_aff_zero(space: uintptr_t) -> uintptr_t;
}
impl PwMultiAff {
pub fn add(self, pma2: PwMultiAff) -> Result<PwMultiAff, LibISLError> {
let pma1 = self;
let isl_rs_ctx = pma1.get_ctx();
let mut pma1 = pma1;
pma1.do_not_free_on_drop();
let pma1 = pma1.ptr;
let mut pma2 = pma2;
pma2.do_not_free_on_drop();
let pma2 = pma2.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_add(pma1, pma2) };
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 add_constant_multi_val(self, mv: MultiVal) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let mut mv = mv;
mv.do_not_free_on_drop();
let mv = mv.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_add_constant_multi_val(pma, mv) };
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 add_constant_val(self, v: Val) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let mut v = v;
v.do_not_free_on_drop();
let v = v.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_add_constant_val(pma, v) };
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 align_params(self, model: Space) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let mut model = model;
model.do_not_free_on_drop();
let model = model.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_align_params(pma, model) };
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 alloc(set: Set, maff: MultiAff) -> Result<PwMultiAff, LibISLError> {
let isl_rs_ctx = set.get_ctx();
let mut set = set;
set.do_not_free_on_drop();
let set = set.ptr;
let mut maff = maff;
maff.do_not_free_on_drop();
let maff = maff.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_alloc(set, maff) };
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 as_map(self) -> Result<Map, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_as_map(pma) };
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 as_multi_aff(self) -> Result<MultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_as_multi_aff(pma) };
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 as_set(self) -> Result<Set, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_as_set(pma) };
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 bind_domain(self, tuple: MultiId) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let mut tuple = tuple;
tuple.do_not_free_on_drop();
let tuple = tuple.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_bind_domain(pma, tuple) };
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 bind_domain_wrapped_domain(self, tuple: MultiId) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let mut tuple = tuple;
tuple.do_not_free_on_drop();
let tuple = tuple.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_bind_domain_wrapped_domain(pma, tuple) };
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 coalesce(self) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_coalesce(pma) };
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 copy(&self) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_copy(pma) };
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 dim(&self, type_: DimType) -> Result<i32, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let pma = pma.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_pw_multi_aff_dim(pma, 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<Set, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_domain(pma) };
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 domain_map(space: Space) -> Result<PwMultiAff, LibISLError> {
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_pw_multi_aff_domain_map(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_reverse(self) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_domain_reverse(pma) };
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 drop_dims(self, type_: DimType, first: u32, n: u32) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_pw_multi_aff_drop_dims(pma, type_, first, n) };
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 drop_unused_params(self) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_drop_unused_params(pma) };
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 dump(&self) -> Result<(), LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_dump(pma) };
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 empty(space: Space) -> Result<PwMultiAff, LibISLError> {
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_pw_multi_aff_empty(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 find_dim_by_name(&self, type_: DimType, name: &str) -> Result<i32, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let pma = pma.ptr;
let type_ = type_.to_i32();
let name = CString::new(name).unwrap();
let name = name.as_ptr();
let isl_rs_result = unsafe { isl_pw_multi_aff_find_dim_by_name(pma, 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 fix_si(self, type_: DimType, pos: u32, value: i32) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_pw_multi_aff_fix_si(pma, type_, pos, value) };
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 flat_range_product(self, pma2: PwMultiAff) -> Result<PwMultiAff, LibISLError> {
let pma1 = self;
let isl_rs_ctx = pma1.get_ctx();
let mut pma1 = pma1;
pma1.do_not_free_on_drop();
let pma1 = pma1.ptr;
let mut pma2 = pma2;
pma2.do_not_free_on_drop();
let pma2 = pma2.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_flat_range_product(pma1, pma2) };
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 free(self) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_free(pma) };
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 from_domain(set: Set) -> Result<PwMultiAff, LibISLError> {
let isl_rs_ctx = set.get_ctx();
let mut set = set;
set.do_not_free_on_drop();
let set = set.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_from_domain(set) };
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 from_map(map: Map) -> Result<PwMultiAff, LibISLError> {
let isl_rs_ctx = map.get_ctx();
let mut map = map;
map.do_not_free_on_drop();
let map = map.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_from_map(map) };
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 from_multi_aff(ma: MultiAff) -> Result<PwMultiAff, LibISLError> {
let isl_rs_ctx = ma.get_ctx();
let mut ma = ma;
ma.do_not_free_on_drop();
let ma = ma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_from_multi_aff(ma) };
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 from_multi_pw_aff(mpa: MultiPwAff) -> Result<PwMultiAff, LibISLError> {
let isl_rs_ctx = mpa.get_ctx();
let mut mpa = mpa;
mpa.do_not_free_on_drop();
let mpa = mpa.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_from_multi_pw_aff(mpa) };
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 from_pw_aff(pa: PwAff) -> Result<PwMultiAff, LibISLError> {
let isl_rs_ctx = pa.get_ctx();
let mut pa = pa;
pa.do_not_free_on_drop();
let pa = pa.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_from_pw_aff(pa) };
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 from_set(set: Set) -> Result<PwMultiAff, LibISLError> {
let isl_rs_ctx = set.get_ctx();
let mut set = set;
set.do_not_free_on_drop();
let set = set.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_from_set(set) };
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 get_at(&self, pos: i32) -> Result<PwAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_get_at(pma, pos) };
let isl_rs_result = PwAff { 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 pma = self;
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_get_ctx(pma) };
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 pma = self;
let isl_rs_ctx = pma.get_ctx();
let pma = pma.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_pw_multi_aff_get_dim_id(pma, 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 pma = self;
let isl_rs_ctx = pma.get_ctx();
let pma = pma.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_pw_multi_aff_get_dim_name(pma, 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_space(&self) -> Result<Space, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_get_domain_space(pma) };
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_pw_aff(&self, pos: i32) -> Result<PwAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_get_pw_aff(pma, pos) };
let isl_rs_result = PwAff { 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 pma = self;
let isl_rs_ctx = pma.get_ctx();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_get_range_tuple_id(pma) };
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_space(&self) -> Result<Space, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_get_space(pma) };
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_tuple_id(&self, type_: DimType) -> Result<Id, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let pma = pma.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_pw_multi_aff_get_tuple_id(pma, 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 pma = self;
let isl_rs_ctx = pma.get_ctx();
let pma = pma.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_pw_multi_aff_get_tuple_name(pma, 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 gist(self, set: Set) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let mut set = set;
set.do_not_free_on_drop();
let set = set.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_gist(pma, set) };
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 gist_params(self, set: Set) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let mut set = set;
set.do_not_free_on_drop();
let set = set.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_gist_params(pma, set) };
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 has_range_tuple_id(&self) -> Result<bool, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_has_range_tuple_id(pma) };
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 pma = self;
let isl_rs_ctx = pma.get_ctx();
let pma = pma.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_pw_multi_aff_has_tuple_id(pma, 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 pma = self;
let isl_rs_ctx = pma.get_ctx();
let pma = pma.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_pw_multi_aff_has_tuple_name(pma, 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(space: Space) -> Result<PwMultiAff, LibISLError> {
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_pw_multi_aff_identity(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 identity_on_domain_space(space: Space) -> Result<PwMultiAff, LibISLError> {
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_pw_multi_aff_identity_on_domain_space(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_domain(self, domain: Space) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let mut domain = domain;
domain.do_not_free_on_drop();
let domain = domain.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_insert_domain(pma, domain) };
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 intersect_domain(self, set: Set) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let mut set = set;
set.do_not_free_on_drop();
let set = set.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_intersect_domain(pma, set) };
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 intersect_domain_wrapped_domain(self, set: Set) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let mut set = set;
set.do_not_free_on_drop();
let set = set.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_intersect_domain_wrapped_domain(pma, set) };
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 intersect_domain_wrapped_range(self, set: Set) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let mut set = set;
set.do_not_free_on_drop();
let set = set.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_intersect_domain_wrapped_range(pma, set) };
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 intersect_params(self, set: Set) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let mut set = set;
set.do_not_free_on_drop();
let set = set.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_intersect_params(pma, set) };
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 involves_dims(&self, type_: DimType, first: u32, n: u32) -> Result<bool, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let pma = pma.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_pw_multi_aff_involves_dims(pma, type_, first, n) };
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 involves_locals(&self) -> Result<bool, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_involves_locals(pma) };
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 involves_nan(&self) -> Result<bool, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_involves_nan(pma) };
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 involves_param_id(&self, id: &Id) -> Result<bool, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let pma = pma.ptr;
let id = id.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_involves_param_id(pma, id) };
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, pma2: &PwMultiAff) -> Result<bool, LibISLError> {
let pma1 = self;
let isl_rs_ctx = pma1.get_ctx();
let pma1 = pma1.ptr;
let pma2 = pma2.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_is_equal(pma1, pma2) };
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 isa_multi_aff(&self) -> Result<bool, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_isa_multi_aff(pma) };
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 max_multi_val(self) -> Result<MultiVal, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_max_multi_val(pma) };
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 min_multi_val(self) -> Result<MultiVal, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_min_multi_val(pma) };
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 multi_val_on_domain(domain: Set, mv: MultiVal) -> Result<PwMultiAff, LibISLError> {
let isl_rs_ctx = domain.get_ctx();
let mut domain = domain;
domain.do_not_free_on_drop();
let domain = domain.ptr;
let mut mv = mv;
mv.do_not_free_on_drop();
let mv = mv.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_multi_val_on_domain(domain, mv) };
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 n_piece(&self) -> Result<i32, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_n_piece(pma) };
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 neg(self) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_neg(pma) };
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 plain_is_equal(&self, pma2: &PwMultiAff) -> Result<bool, LibISLError> {
let pma1 = self;
let isl_rs_ctx = pma1.get_ctx();
let pma1 = pma1.ptr;
let pma2 = pma2.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_plain_is_equal(pma1, pma2) };
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 preimage_domain_wrapped_domain_pw_multi_aff(self, pma2: PwMultiAff)
-> Result<PwMultiAff, LibISLError> {
let pma1 = self;
let isl_rs_ctx = pma1.get_ctx();
let mut pma1 = pma1;
pma1.do_not_free_on_drop();
let pma1 = pma1.ptr;
let mut pma2 = pma2;
pma2.do_not_free_on_drop();
let pma2 = pma2.ptr;
let isl_rs_result =
unsafe { isl_pw_multi_aff_preimage_domain_wrapped_domain_pw_multi_aff(pma1, pma2) };
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 product(self, pma2: PwMultiAff) -> Result<PwMultiAff, LibISLError> {
let pma1 = self;
let isl_rs_ctx = pma1.get_ctx();
let mut pma1 = pma1;
pma1.do_not_free_on_drop();
let pma1 = pma1.ptr;
let mut pma2 = pma2;
pma2.do_not_free_on_drop();
let pma2 = pma2.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_product(pma1, pma2) };
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 project_domain_on_params(self) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_project_domain_on_params(pma) };
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 project_out_map(space: Space, type_: DimType, first: u32, n: u32)
-> Result<PwMultiAff, LibISLError> {
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_pw_multi_aff_project_out_map(space, type_, first, n) };
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 pullback_multi_aff(self, ma: MultiAff) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let mut ma = ma;
ma.do_not_free_on_drop();
let ma = ma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_pullback_multi_aff(pma, ma) };
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 pullback_pw_multi_aff(self, pma2: PwMultiAff) -> Result<PwMultiAff, LibISLError> {
let pma1 = self;
let isl_rs_ctx = pma1.get_ctx();
let mut pma1 = pma1;
pma1.do_not_free_on_drop();
let pma1 = pma1.ptr;
let mut pma2 = pma2;
pma2.do_not_free_on_drop();
let pma2 = pma2.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_pullback_pw_multi_aff(pma1, pma2) };
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_factor_domain(self) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_range_factor_domain(pma) };
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_factor_range(self) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_range_factor_range(pma) };
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_map(space: Space) -> Result<PwMultiAff, LibISLError> {
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_pw_multi_aff_range_map(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, pma2: PwMultiAff) -> Result<PwMultiAff, LibISLError> {
let pma1 = self;
let isl_rs_ctx = pma1.get_ctx();
let mut pma1 = pma1;
pma1.do_not_free_on_drop();
let pma1 = pma1.ptr;
let mut pma2 = pma2;
pma2.do_not_free_on_drop();
let pma2 = pma2.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_range_product(pma1, pma2) };
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 read_from_str(ctx: &Context, str_: &str) -> Result<PwMultiAff, 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_pw_multi_aff_read_from_str(ctx, str_) };
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 reset_tuple_id(self, type_: DimType) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_pw_multi_aff_reset_tuple_id(pma, type_) };
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 reset_user(self) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_reset_user(pma) };
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 scale_down_multi_val(self, mv: MultiVal) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let mut mv = mv;
mv.do_not_free_on_drop();
let mv = mv.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_scale_down_multi_val(pma, mv) };
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 scale_down_val(self, v: Val) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let mut v = v;
v.do_not_free_on_drop();
let v = v.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_scale_down_val(pma, v) };
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 scale_multi_val(self, mv: MultiVal) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let mut mv = mv;
mv.do_not_free_on_drop();
let mv = mv.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_scale_multi_val(pma, mv) };
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 scale_val(self, v: Val) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let mut v = v;
v.do_not_free_on_drop();
let v = v.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_scale_val(pma, v) };
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 set_dim_id(self, type_: DimType, pos: u32, id: Id) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.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_pw_multi_aff_set_dim_id(pma, type_, pos, id) };
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 set_pw_aff(self, pos: u32, pa: PwAff) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let mut pa = pa;
pa.do_not_free_on_drop();
let pa = pa.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_set_pw_aff(pma, pos, pa) };
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 set_range_tuple_id(self, id: Id) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let mut id = id;
id.do_not_free_on_drop();
let id = id.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_set_range_tuple_id(pma, id) };
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 set_tuple_id(self, type_: DimType, id: Id) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.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_pw_multi_aff_set_tuple_id(pma, type_, id) };
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 sub(self, pma2: PwMultiAff) -> Result<PwMultiAff, LibISLError> {
let pma1 = self;
let isl_rs_ctx = pma1.get_ctx();
let mut pma1 = pma1;
pma1.do_not_free_on_drop();
let pma1 = pma1.ptr;
let mut pma2 = pma2;
pma2.do_not_free_on_drop();
let pma2 = pma2.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_sub(pma1, pma2) };
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 subtract_domain(self, set: Set) -> Result<PwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let mut set = set;
set.do_not_free_on_drop();
let set = set.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_subtract_domain(pma, set) };
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 to_list(self) -> Result<PwMultiAffList, LibISLError> {
let el = self;
let isl_rs_ctx = el.get_ctx();
let mut el = el;
el.do_not_free_on_drop();
let el = el.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_to_list(el) };
let isl_rs_result = PwMultiAffList { 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_multi_pw_aff(self) -> Result<MultiPwAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_to_multi_pw_aff(pma) };
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 to_str(&self) -> Result<&str, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_to_str(pma) };
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 to_union_pw_multi_aff(self) -> Result<UnionPwMultiAff, LibISLError> {
let pma = self;
let isl_rs_ctx = pma.get_ctx();
let mut pma = pma;
pma.do_not_free_on_drop();
let pma = pma.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_to_union_pw_multi_aff(pma) };
let isl_rs_result = UnionPwMultiAff { 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 union_add(self, pma2: PwMultiAff) -> Result<PwMultiAff, LibISLError> {
let pma1 = self;
let isl_rs_ctx = pma1.get_ctx();
let mut pma1 = pma1;
pma1.do_not_free_on_drop();
let pma1 = pma1.ptr;
let mut pma2 = pma2;
pma2.do_not_free_on_drop();
let pma2 = pma2.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_union_add(pma1, pma2) };
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 union_lexmax(self, pma2: PwMultiAff) -> Result<PwMultiAff, LibISLError> {
let pma1 = self;
let isl_rs_ctx = pma1.get_ctx();
let mut pma1 = pma1;
pma1.do_not_free_on_drop();
let pma1 = pma1.ptr;
let mut pma2 = pma2;
pma2.do_not_free_on_drop();
let pma2 = pma2.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_union_lexmax(pma1, pma2) };
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 union_lexmin(self, pma2: PwMultiAff) -> Result<PwMultiAff, LibISLError> {
let pma1 = self;
let isl_rs_ctx = pma1.get_ctx();
let mut pma1 = pma1;
pma1.do_not_free_on_drop();
let pma1 = pma1.ptr;
let mut pma2 = pma2;
pma2.do_not_free_on_drop();
let pma2 = pma2.ptr;
let isl_rs_result = unsafe { isl_pw_multi_aff_union_lexmin(pma1, pma2) };
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 zero(space: Space) -> Result<PwMultiAff, LibISLError> {
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_pw_multi_aff_zero(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 do_not_free_on_drop(&mut self) {
self.should_free_on_drop = false;
}
}
impl Drop for PwMultiAff {
fn drop(&mut self) {
if self.should_free_on_drop {
unsafe {
isl_pw_multi_aff_free(self.ptr);
}
}
}
}