use super::{
Aff, Context, DimType, Error, Id, LibISLError, PwAff, PwAffList, Set, Space, UnionPwAffList,
UnionPwMultiAff, UnionSet, Val,
};
use libc::uintptr_t;
use std::ffi::{CStr, CString};
use std::os::raw::c_char;
pub struct UnionPwAff {
pub ptr: uintptr_t,
pub should_free_on_drop: bool,
}
extern "C" {
fn isl_union_pw_aff_add(upa1: uintptr_t, upa2: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_add_pw_aff(upa: uintptr_t, pa: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_aff_on_domain(domain: uintptr_t, aff: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_align_params(upa: uintptr_t, model: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_bind_id(upa: uintptr_t, id: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_coalesce(upa: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_copy(upa: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_dim(upa: uintptr_t, type_: i32) -> i32;
fn isl_union_pw_aff_domain(upa: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_drop_dims(upa: uintptr_t, type_: i32, first: u32, n: u32) -> uintptr_t;
fn isl_union_pw_aff_drop_unused_params(upa: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_dump(upa: uintptr_t) -> ();
fn isl_union_pw_aff_empty(space: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_empty_ctx(ctx: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_empty_space(space: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_extract_pw_aff(upa: uintptr_t, space: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_find_dim_by_name(upa: uintptr_t, type_: i32, name: *const c_char) -> i32;
fn isl_union_pw_aff_floor(upa: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_free(upa: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_from_aff(aff: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_from_pw_aff(pa: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_get_ctx(upa: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_get_pw_aff_list(upa: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_get_space(upa: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_gist(upa: uintptr_t, context: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_gist_params(upa: uintptr_t, context: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_intersect_domain(upa: uintptr_t, uset: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_intersect_domain_space(upa: uintptr_t, space: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_intersect_domain_union_set(upa: uintptr_t, uset: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_intersect_domain_wrapped_domain(upa: uintptr_t, uset: uintptr_t)
-> uintptr_t;
fn isl_union_pw_aff_intersect_domain_wrapped_range(upa: uintptr_t, uset: uintptr_t)
-> uintptr_t;
fn isl_union_pw_aff_intersect_params(upa: uintptr_t, set: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_involves_nan(upa: uintptr_t) -> i32;
fn isl_union_pw_aff_max_val(upa: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_min_val(upa: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_mod_val(upa: uintptr_t, f: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_n_pw_aff(upa: uintptr_t) -> i32;
fn isl_union_pw_aff_neg(upa: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_param_on_domain_id(domain: uintptr_t, id: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_plain_is_equal(upa1: uintptr_t, upa2: uintptr_t) -> i32;
fn isl_union_pw_aff_pullback_union_pw_multi_aff(upa: uintptr_t, upma: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_pw_aff_on_domain(domain: uintptr_t, pa: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_read_from_str(ctx: uintptr_t, str_: *const c_char) -> uintptr_t;
fn isl_union_pw_aff_reset_user(upa: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_scale_down_val(upa: uintptr_t, v: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_scale_val(upa: uintptr_t, v: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_set_dim_name(upa: uintptr_t, type_: i32, pos: u32, s: *const c_char)
-> uintptr_t;
fn isl_union_pw_aff_sub(upa1: uintptr_t, upa2: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_subtract_domain(upa: uintptr_t, uset: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_subtract_domain_space(upa: uintptr_t, space: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_subtract_domain_union_set(upa: uintptr_t, uset: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_to_list(el: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_to_str(upa: uintptr_t) -> *const c_char;
fn isl_union_pw_aff_union_add(upa1: uintptr_t, upa2: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_val_on_domain(domain: uintptr_t, v: uintptr_t) -> uintptr_t;
fn isl_union_pw_aff_zero_union_set(upa: uintptr_t) -> uintptr_t;
}
impl UnionPwAff {
pub fn add(self, upa2: UnionPwAff) -> Result<UnionPwAff, LibISLError> {
let upa1 = self;
let isl_rs_ctx = upa1.get_ctx();
let mut upa1 = upa1;
upa1.do_not_free_on_drop();
let upa1 = upa1.ptr;
let mut upa2 = upa2;
upa2.do_not_free_on_drop();
let upa2 = upa2.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_add(upa1, upa2) };
let isl_rs_result = UnionPwAff { 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_pw_aff(self, pa: PwAff) -> Result<UnionPwAff, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let mut upa = upa;
upa.do_not_free_on_drop();
let upa = upa.ptr;
let mut pa = pa;
pa.do_not_free_on_drop();
let pa = pa.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_add_pw_aff(upa, pa) };
let isl_rs_result = UnionPwAff { 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 aff_on_domain(domain: UnionSet, aff: Aff) -> Result<UnionPwAff, LibISLError> {
let isl_rs_ctx = domain.get_ctx();
let mut domain = domain;
domain.do_not_free_on_drop();
let domain = domain.ptr;
let mut aff = aff;
aff.do_not_free_on_drop();
let aff = aff.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_aff_on_domain(domain, aff) };
let isl_rs_result = UnionPwAff { 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<UnionPwAff, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let mut upa = upa;
upa.do_not_free_on_drop();
let upa = upa.ptr;
let mut model = model;
model.do_not_free_on_drop();
let model = model.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_align_params(upa, model) };
let isl_rs_result = UnionPwAff { 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_id(self, id: Id) -> Result<UnionSet, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let mut upa = upa;
upa.do_not_free_on_drop();
let upa = upa.ptr;
let mut id = id;
id.do_not_free_on_drop();
let id = id.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_bind_id(upa, id) };
let isl_rs_result = UnionSet { 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<UnionPwAff, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let mut upa = upa;
upa.do_not_free_on_drop();
let upa = upa.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_coalesce(upa) };
let isl_rs_result = UnionPwAff { 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<UnionPwAff, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let upa = upa.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_copy(upa) };
let isl_rs_result = UnionPwAff { 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 upa = self;
let isl_rs_ctx = upa.get_ctx();
let upa = upa.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_union_pw_aff_dim(upa, 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<UnionSet, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let mut upa = upa;
upa.do_not_free_on_drop();
let upa = upa.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_domain(upa) };
let isl_rs_result = UnionSet { 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<UnionPwAff, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let mut upa = upa;
upa.do_not_free_on_drop();
let upa = upa.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_union_pw_aff_drop_dims(upa, type_, first, n) };
let isl_rs_result = UnionPwAff { 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<UnionPwAff, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let mut upa = upa;
upa.do_not_free_on_drop();
let upa = upa.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_drop_unused_params(upa) };
let isl_rs_result = UnionPwAff { 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 upa = self;
let isl_rs_ctx = upa.get_ctx();
let upa = upa.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_dump(upa) };
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<UnionPwAff, 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_union_pw_aff_empty(space) };
let isl_rs_result = UnionPwAff { 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 empty_ctx(ctx: &Context) -> Result<UnionPwAff, LibISLError> {
let isl_rs_ctx = Context { ptr: ctx.ptr,
should_free_on_drop: false };
let ctx = ctx.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_empty_ctx(ctx) };
let isl_rs_result = UnionPwAff { 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 empty_space(space: Space) -> Result<UnionPwAff, 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_union_pw_aff_empty_space(space) };
let isl_rs_result = UnionPwAff { 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 extract_pw_aff(&self, space: Space) -> Result<PwAff, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let upa = upa.ptr;
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_extract_pw_aff(upa, space) };
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 find_dim_by_name(&self, type_: DimType, name: &str) -> Result<i32, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let upa = upa.ptr;
let type_ = type_.to_i32();
let name = CString::new(name).unwrap();
let name = name.as_ptr();
let isl_rs_result = unsafe { isl_union_pw_aff_find_dim_by_name(upa, 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 floor(self) -> Result<UnionPwAff, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let mut upa = upa;
upa.do_not_free_on_drop();
let upa = upa.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_floor(upa) };
let isl_rs_result = UnionPwAff { 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<UnionPwAff, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let mut upa = upa;
upa.do_not_free_on_drop();
let upa = upa.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_free(upa) };
let isl_rs_result = UnionPwAff { 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_aff(aff: Aff) -> Result<UnionPwAff, LibISLError> {
let isl_rs_ctx = aff.get_ctx();
let mut aff = aff;
aff.do_not_free_on_drop();
let aff = aff.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_from_aff(aff) };
let isl_rs_result = UnionPwAff { 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<UnionPwAff, 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_union_pw_aff_from_pw_aff(pa) };
let isl_rs_result = UnionPwAff { 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 upa = self;
let upa = upa.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_get_ctx(upa) };
let isl_rs_result = Context { ptr: isl_rs_result,
should_free_on_drop: false };
isl_rs_result
}
pub fn get_pw_aff_list(&self) -> Result<PwAffList, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let upa = upa.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_get_pw_aff_list(upa) };
let isl_rs_result = PwAffList { 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 upa = self;
let isl_rs_ctx = upa.get_ctx();
let upa = upa.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_get_space(upa) };
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 gist(self, context: UnionSet) -> Result<UnionPwAff, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let mut upa = upa;
upa.do_not_free_on_drop();
let upa = upa.ptr;
let mut context = context;
context.do_not_free_on_drop();
let context = context.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_gist(upa, context) };
let isl_rs_result = UnionPwAff { 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, context: Set) -> Result<UnionPwAff, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let mut upa = upa;
upa.do_not_free_on_drop();
let upa = upa.ptr;
let mut context = context;
context.do_not_free_on_drop();
let context = context.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_gist_params(upa, context) };
let isl_rs_result = UnionPwAff { 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, uset: UnionSet) -> Result<UnionPwAff, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let mut upa = upa;
upa.do_not_free_on_drop();
let upa = upa.ptr;
let mut uset = uset;
uset.do_not_free_on_drop();
let uset = uset.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_intersect_domain(upa, uset) };
let isl_rs_result = UnionPwAff { 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_space(self, space: Space) -> Result<UnionPwAff, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let mut upa = upa;
upa.do_not_free_on_drop();
let upa = upa.ptr;
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_intersect_domain_space(upa, space) };
let isl_rs_result = UnionPwAff { 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_union_set(self, uset: UnionSet) -> Result<UnionPwAff, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let mut upa = upa;
upa.do_not_free_on_drop();
let upa = upa.ptr;
let mut uset = uset;
uset.do_not_free_on_drop();
let uset = uset.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_intersect_domain_union_set(upa, uset) };
let isl_rs_result = UnionPwAff { 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, uset: UnionSet)
-> Result<UnionPwAff, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let mut upa = upa;
upa.do_not_free_on_drop();
let upa = upa.ptr;
let mut uset = uset;
uset.do_not_free_on_drop();
let uset = uset.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_intersect_domain_wrapped_domain(upa, uset) };
let isl_rs_result = UnionPwAff { 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, uset: UnionSet) -> Result<UnionPwAff, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let mut upa = upa;
upa.do_not_free_on_drop();
let upa = upa.ptr;
let mut uset = uset;
uset.do_not_free_on_drop();
let uset = uset.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_intersect_domain_wrapped_range(upa, uset) };
let isl_rs_result = UnionPwAff { 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<UnionPwAff, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let mut upa = upa;
upa.do_not_free_on_drop();
let upa = upa.ptr;
let mut set = set;
set.do_not_free_on_drop();
let set = set.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_intersect_params(upa, set) };
let isl_rs_result = UnionPwAff { 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_nan(&self) -> Result<bool, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let upa = upa.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_involves_nan(upa) };
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_val(self) -> Result<Val, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let mut upa = upa;
upa.do_not_free_on_drop();
let upa = upa.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_max_val(upa) };
let isl_rs_result = Val { 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_val(self) -> Result<Val, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let mut upa = upa;
upa.do_not_free_on_drop();
let upa = upa.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_min_val(upa) };
let isl_rs_result = Val { 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 mod_val(self, f: Val) -> Result<UnionPwAff, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let mut upa = upa;
upa.do_not_free_on_drop();
let upa = upa.ptr;
let mut f = f;
f.do_not_free_on_drop();
let f = f.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_mod_val(upa, f) };
let isl_rs_result = UnionPwAff { 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_pw_aff(&self) -> Result<i32, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let upa = upa.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_n_pw_aff(upa) };
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<UnionPwAff, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let mut upa = upa;
upa.do_not_free_on_drop();
let upa = upa.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_neg(upa) };
let isl_rs_result = UnionPwAff { 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_on_domain_id(domain: UnionSet, id: Id) -> Result<UnionPwAff, LibISLError> {
let isl_rs_ctx = domain.get_ctx();
let mut domain = domain;
domain.do_not_free_on_drop();
let domain = domain.ptr;
let mut id = id;
id.do_not_free_on_drop();
let id = id.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_param_on_domain_id(domain, id) };
let isl_rs_result = UnionPwAff { 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, upa2: &UnionPwAff) -> Result<bool, LibISLError> {
let upa1 = self;
let isl_rs_ctx = upa1.get_ctx();
let upa1 = upa1.ptr;
let upa2 = upa2.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_plain_is_equal(upa1, upa2) };
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 pullback_union_pw_multi_aff(self, upma: UnionPwMultiAff)
-> Result<UnionPwAff, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let mut upa = upa;
upa.do_not_free_on_drop();
let upa = upa.ptr;
let mut upma = upma;
upma.do_not_free_on_drop();
let upma = upma.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_pullback_union_pw_multi_aff(upa, upma) };
let isl_rs_result = UnionPwAff { 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 pw_aff_on_domain(domain: UnionSet, pa: PwAff) -> Result<UnionPwAff, LibISLError> {
let isl_rs_ctx = domain.get_ctx();
let mut domain = domain;
domain.do_not_free_on_drop();
let domain = domain.ptr;
let mut pa = pa;
pa.do_not_free_on_drop();
let pa = pa.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_pw_aff_on_domain(domain, pa) };
let isl_rs_result = UnionPwAff { 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<UnionPwAff, 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_union_pw_aff_read_from_str(ctx, str_) };
let isl_rs_result = UnionPwAff { 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<UnionPwAff, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let mut upa = upa;
upa.do_not_free_on_drop();
let upa = upa.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_reset_user(upa) };
let isl_rs_result = UnionPwAff { 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<UnionPwAff, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let mut upa = upa;
upa.do_not_free_on_drop();
let upa = upa.ptr;
let mut v = v;
v.do_not_free_on_drop();
let v = v.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_scale_down_val(upa, v) };
let isl_rs_result = UnionPwAff { 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<UnionPwAff, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let mut upa = upa;
upa.do_not_free_on_drop();
let upa = upa.ptr;
let mut v = v;
v.do_not_free_on_drop();
let v = v.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_scale_val(upa, v) };
let isl_rs_result = UnionPwAff { 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, s: &str)
-> Result<UnionPwAff, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let mut upa = upa;
upa.do_not_free_on_drop();
let upa = upa.ptr;
let type_ = type_.to_i32();
let s = CString::new(s).unwrap();
let s = s.as_ptr();
let isl_rs_result = unsafe { isl_union_pw_aff_set_dim_name(upa, type_, pos, s) };
let isl_rs_result = UnionPwAff { 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, upa2: UnionPwAff) -> Result<UnionPwAff, LibISLError> {
let upa1 = self;
let isl_rs_ctx = upa1.get_ctx();
let mut upa1 = upa1;
upa1.do_not_free_on_drop();
let upa1 = upa1.ptr;
let mut upa2 = upa2;
upa2.do_not_free_on_drop();
let upa2 = upa2.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_sub(upa1, upa2) };
let isl_rs_result = UnionPwAff { 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, uset: UnionSet) -> Result<UnionPwAff, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let mut upa = upa;
upa.do_not_free_on_drop();
let upa = upa.ptr;
let mut uset = uset;
uset.do_not_free_on_drop();
let uset = uset.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_subtract_domain(upa, uset) };
let isl_rs_result = UnionPwAff { 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_space(self, space: Space) -> Result<UnionPwAff, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let mut upa = upa;
upa.do_not_free_on_drop();
let upa = upa.ptr;
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_subtract_domain_space(upa, space) };
let isl_rs_result = UnionPwAff { 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_union_set(self, uset: UnionSet) -> Result<UnionPwAff, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let mut upa = upa;
upa.do_not_free_on_drop();
let upa = upa.ptr;
let mut uset = uset;
uset.do_not_free_on_drop();
let uset = uset.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_subtract_domain_union_set(upa, uset) };
let isl_rs_result = UnionPwAff { 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<UnionPwAffList, 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_union_pw_aff_to_list(el) };
let isl_rs_result = UnionPwAffList { 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 upa = self;
let isl_rs_ctx = upa.get_ctx();
let upa = upa.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_to_str(upa) };
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 union_add(self, upa2: UnionPwAff) -> Result<UnionPwAff, LibISLError> {
let upa1 = self;
let isl_rs_ctx = upa1.get_ctx();
let mut upa1 = upa1;
upa1.do_not_free_on_drop();
let upa1 = upa1.ptr;
let mut upa2 = upa2;
upa2.do_not_free_on_drop();
let upa2 = upa2.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_union_add(upa1, upa2) };
let isl_rs_result = UnionPwAff { 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 val_on_domain(domain: UnionSet, v: Val) -> Result<UnionPwAff, LibISLError> {
let isl_rs_ctx = domain.get_ctx();
let mut domain = domain;
domain.do_not_free_on_drop();
let domain = domain.ptr;
let mut v = v;
v.do_not_free_on_drop();
let v = v.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_val_on_domain(domain, v) };
let isl_rs_result = UnionPwAff { 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_union_set(self) -> Result<UnionSet, LibISLError> {
let upa = self;
let isl_rs_ctx = upa.get_ctx();
let mut upa = upa;
upa.do_not_free_on_drop();
let upa = upa.ptr;
let isl_rs_result = unsafe { isl_union_pw_aff_zero_union_set(upa) };
let isl_rs_result = UnionSet { 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 UnionPwAff {
fn drop(&mut self) {
if self.should_free_on_drop {
unsafe {
isl_union_pw_aff_free(self.ptr);
}
}
}
}