use super::{
AffList, BasicSet, Context, DimType, Error, Id, LibISLError, LocalSpace, MultiAff, MultiId,
Point, Set, Space, Val,
};
use libc::uintptr_t;
use std::ffi::{CStr, CString};
use std::os::raw::c_char;
pub struct Aff {
pub ptr: uintptr_t,
pub should_free_on_drop: bool,
}
extern "C" {
fn isl_aff_add(aff1: uintptr_t, aff2: uintptr_t) -> uintptr_t;
fn isl_aff_add_coefficient_si(aff: uintptr_t, type_: i32, pos: i32, v: i32) -> uintptr_t;
fn isl_aff_add_coefficient_val(aff: uintptr_t, type_: i32, pos: i32, v: uintptr_t)
-> uintptr_t;
fn isl_aff_add_constant_num_si(aff: uintptr_t, v: i32) -> uintptr_t;
fn isl_aff_add_constant_si(aff: uintptr_t, v: i32) -> uintptr_t;
fn isl_aff_add_constant_val(aff: uintptr_t, v: uintptr_t) -> uintptr_t;
fn isl_aff_add_dims(aff: uintptr_t, type_: i32, n: u32) -> uintptr_t;
fn isl_aff_align_params(aff: uintptr_t, model: uintptr_t) -> uintptr_t;
fn isl_aff_bind_id(aff: uintptr_t, id: uintptr_t) -> uintptr_t;
fn isl_aff_ceil(aff: uintptr_t) -> uintptr_t;
fn isl_aff_coefficient_sgn(aff: uintptr_t, type_: i32, pos: i32) -> i32;
fn isl_aff_copy(aff: uintptr_t) -> uintptr_t;
fn isl_aff_dim(aff: uintptr_t, type_: i32) -> i32;
fn isl_aff_div(aff1: uintptr_t, aff2: uintptr_t) -> uintptr_t;
fn isl_aff_domain_reverse(aff: uintptr_t) -> uintptr_t;
fn isl_aff_drop_dims(aff: uintptr_t, type_: i32, first: u32, n: u32) -> uintptr_t;
fn isl_aff_dump(aff: uintptr_t) -> ();
fn isl_aff_eq_basic_set(aff1: uintptr_t, aff2: uintptr_t) -> uintptr_t;
fn isl_aff_eq_set(aff1: uintptr_t, aff2: uintptr_t) -> uintptr_t;
fn isl_aff_eval(aff: uintptr_t, pnt: uintptr_t) -> uintptr_t;
fn isl_aff_find_dim_by_name(aff: uintptr_t, type_: i32, name: *const c_char) -> i32;
fn isl_aff_floor(aff: uintptr_t) -> uintptr_t;
fn isl_aff_free(aff: uintptr_t) -> uintptr_t;
fn isl_aff_from_range(aff: uintptr_t) -> uintptr_t;
fn isl_aff_ge_basic_set(aff1: uintptr_t, aff2: uintptr_t) -> uintptr_t;
fn isl_aff_ge_set(aff1: uintptr_t, aff2: uintptr_t) -> uintptr_t;
fn isl_aff_get_coefficient_val(aff: uintptr_t, type_: i32, pos: i32) -> uintptr_t;
fn isl_aff_get_constant_val(aff: uintptr_t) -> uintptr_t;
fn isl_aff_get_ctx(aff: uintptr_t) -> uintptr_t;
fn isl_aff_get_denominator_val(aff: uintptr_t) -> uintptr_t;
fn isl_aff_get_dim_name(aff: uintptr_t, type_: i32, pos: u32) -> *const c_char;
fn isl_aff_get_div(aff: uintptr_t, pos: i32) -> uintptr_t;
fn isl_aff_get_domain_local_space(aff: uintptr_t) -> uintptr_t;
fn isl_aff_get_domain_space(aff: uintptr_t) -> uintptr_t;
fn isl_aff_get_hash(aff: uintptr_t) -> u32;
fn isl_aff_get_local_space(aff: uintptr_t) -> uintptr_t;
fn isl_aff_get_space(aff: uintptr_t) -> uintptr_t;
fn isl_aff_gist(aff: uintptr_t, context: uintptr_t) -> uintptr_t;
fn isl_aff_gist_params(aff: uintptr_t, context: uintptr_t) -> uintptr_t;
fn isl_aff_gt_basic_set(aff1: uintptr_t, aff2: uintptr_t) -> uintptr_t;
fn isl_aff_gt_set(aff1: uintptr_t, aff2: uintptr_t) -> uintptr_t;
fn isl_aff_insert_dims(aff: uintptr_t, type_: i32, first: u32, n: u32) -> uintptr_t;
fn isl_aff_involves_dims(aff: uintptr_t, type_: i32, first: u32, n: u32) -> i32;
fn isl_aff_involves_locals(aff: uintptr_t) -> i32;
fn isl_aff_is_cst(aff: uintptr_t) -> i32;
fn isl_aff_is_nan(aff: uintptr_t) -> i32;
fn isl_aff_le_basic_set(aff1: uintptr_t, aff2: uintptr_t) -> uintptr_t;
fn isl_aff_le_set(aff1: uintptr_t, aff2: uintptr_t) -> uintptr_t;
fn isl_aff_lt_basic_set(aff1: uintptr_t, aff2: uintptr_t) -> uintptr_t;
fn isl_aff_lt_set(aff1: uintptr_t, aff2: uintptr_t) -> uintptr_t;
fn isl_aff_mod_val(aff: uintptr_t, mod_: uintptr_t) -> uintptr_t;
fn isl_aff_move_dims(aff: uintptr_t, dst_type: i32, dst_pos: u32, src_type: i32, src_pos: u32,
n: u32)
-> uintptr_t;
fn isl_aff_mul(aff1: uintptr_t, aff2: uintptr_t) -> uintptr_t;
fn isl_aff_nan_on_domain(ls: uintptr_t) -> uintptr_t;
fn isl_aff_nan_on_domain_space(space: uintptr_t) -> uintptr_t;
fn isl_aff_ne_set(aff1: uintptr_t, aff2: uintptr_t) -> uintptr_t;
fn isl_aff_neg(aff: uintptr_t) -> uintptr_t;
fn isl_aff_neg_basic_set(aff: uintptr_t) -> uintptr_t;
fn isl_aff_param_on_domain_space_id(space: uintptr_t, id: uintptr_t) -> uintptr_t;
fn isl_aff_plain_is_equal(aff1: uintptr_t, aff2: uintptr_t) -> i32;
fn isl_aff_plain_is_zero(aff: uintptr_t) -> i32;
fn isl_aff_project_domain_on_params(aff: uintptr_t) -> uintptr_t;
fn isl_aff_pullback_aff(aff1: uintptr_t, aff2: uintptr_t) -> uintptr_t;
fn isl_aff_pullback_multi_aff(aff: uintptr_t, ma: uintptr_t) -> uintptr_t;
fn isl_aff_read_from_str(ctx: uintptr_t, str_: *const c_char) -> uintptr_t;
fn isl_aff_scale_down_ui(aff: uintptr_t, f: u32) -> uintptr_t;
fn isl_aff_scale_down_val(aff: uintptr_t, v: uintptr_t) -> uintptr_t;
fn isl_aff_scale_val(aff: uintptr_t, v: uintptr_t) -> uintptr_t;
fn isl_aff_set_coefficient_si(aff: uintptr_t, type_: i32, pos: i32, v: i32) -> uintptr_t;
fn isl_aff_set_coefficient_val(aff: uintptr_t, type_: i32, pos: i32, v: uintptr_t)
-> uintptr_t;
fn isl_aff_set_constant_si(aff: uintptr_t, v: i32) -> uintptr_t;
fn isl_aff_set_constant_val(aff: uintptr_t, v: uintptr_t) -> uintptr_t;
fn isl_aff_set_dim_id(aff: uintptr_t, type_: i32, pos: u32, id: uintptr_t) -> uintptr_t;
fn isl_aff_set_dim_name(aff: uintptr_t, type_: i32, pos: u32, s: *const c_char) -> uintptr_t;
fn isl_aff_set_tuple_id(aff: uintptr_t, type_: i32, id: uintptr_t) -> uintptr_t;
fn isl_aff_sub(aff1: uintptr_t, aff2: uintptr_t) -> uintptr_t;
fn isl_aff_to_list(el: uintptr_t) -> uintptr_t;
fn isl_aff_to_str(aff: uintptr_t) -> *const c_char;
fn isl_aff_unbind_params_insert_domain(aff: uintptr_t, domain: uintptr_t) -> uintptr_t;
fn isl_aff_val_on_domain(ls: uintptr_t, val: uintptr_t) -> uintptr_t;
fn isl_aff_val_on_domain_space(space: uintptr_t, val: uintptr_t) -> uintptr_t;
fn isl_aff_var_on_domain(ls: uintptr_t, type_: i32, pos: u32) -> uintptr_t;
fn isl_aff_zero_basic_set(aff: uintptr_t) -> uintptr_t;
fn isl_aff_zero_on_domain(ls: uintptr_t) -> uintptr_t;
fn isl_aff_zero_on_domain_space(space: uintptr_t) -> uintptr_t;
}
impl Aff {
pub fn add(self, aff2: Aff) -> Result<Aff, LibISLError> {
let aff1 = self;
let isl_rs_ctx = aff1.get_ctx();
let mut aff1 = aff1;
aff1.do_not_free_on_drop();
let aff1 = aff1.ptr;
let mut aff2 = aff2;
aff2.do_not_free_on_drop();
let aff2 = aff2.ptr;
let isl_rs_result = unsafe { isl_aff_add(aff1, aff2) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn add_coefficient_si(self, type_: DimType, pos: i32, v: i32) -> Result<Aff, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let mut aff = aff;
aff.do_not_free_on_drop();
let aff = aff.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_aff_add_coefficient_si(aff, type_, pos, v) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn add_coefficient_val(self, type_: DimType, pos: i32, v: Val) -> Result<Aff, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let mut aff = aff;
aff.do_not_free_on_drop();
let aff = aff.ptr;
let type_ = type_.to_i32();
let mut v = v;
v.do_not_free_on_drop();
let v = v.ptr;
let isl_rs_result = unsafe { isl_aff_add_coefficient_val(aff, type_, pos, v) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn add_constant_num_si(self, v: i32) -> Result<Aff, LibISLError> {
let aff = self;
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_aff_add_constant_num_si(aff, v) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn add_constant_si(self, v: i32) -> Result<Aff, LibISLError> {
let aff = self;
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_aff_add_constant_si(aff, v) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn add_constant_val(self, v: Val) -> Result<Aff, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let mut aff = aff;
aff.do_not_free_on_drop();
let aff = aff.ptr;
let mut v = v;
v.do_not_free_on_drop();
let v = v.ptr;
let isl_rs_result = unsafe { isl_aff_add_constant_val(aff, v) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn add_dims(self, type_: DimType, n: u32) -> Result<Aff, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let mut aff = aff;
aff.do_not_free_on_drop();
let aff = aff.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_aff_add_dims(aff, type_, n) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn align_params(self, model: Space) -> Result<Aff, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let mut aff = aff;
aff.do_not_free_on_drop();
let aff = aff.ptr;
let mut model = model;
model.do_not_free_on_drop();
let model = model.ptr;
let isl_rs_result = unsafe { isl_aff_align_params(aff, model) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn bind_id(self, id: Id) -> Result<BasicSet, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let mut aff = aff;
aff.do_not_free_on_drop();
let aff = aff.ptr;
let mut id = id;
id.do_not_free_on_drop();
let id = id.ptr;
let isl_rs_result = unsafe { isl_aff_bind_id(aff, id) };
let isl_rs_result = BasicSet { 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 ceil(self) -> Result<Aff, LibISLError> {
let aff = self;
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_aff_ceil(aff) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn coefficient_sgn(&self, type_: DimType, pos: i32) -> Result<i32, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let aff = aff.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_aff_coefficient_sgn(aff, type_, pos) };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = 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<Aff, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let aff = aff.ptr;
let isl_rs_result = unsafe { isl_aff_copy(aff) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn dim(&self, type_: DimType) -> Result<i32, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let aff = aff.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_aff_dim(aff, 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 div(self, aff2: Aff) -> Result<Aff, LibISLError> {
let aff1 = self;
let isl_rs_ctx = aff1.get_ctx();
let mut aff1 = aff1;
aff1.do_not_free_on_drop();
let aff1 = aff1.ptr;
let mut aff2 = aff2;
aff2.do_not_free_on_drop();
let aff2 = aff2.ptr;
let isl_rs_result = unsafe { isl_aff_div(aff1, aff2) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn domain_reverse(self) -> Result<Aff, LibISLError> {
let aff = self;
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_aff_domain_reverse(aff) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn drop_dims(self, type_: DimType, first: u32, n: u32) -> Result<Aff, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let mut aff = aff;
aff.do_not_free_on_drop();
let aff = aff.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_aff_drop_dims(aff, type_, first, n) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn dump(&self) -> Result<(), LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let aff = aff.ptr;
let isl_rs_result = unsafe { isl_aff_dump(aff) };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn eq_basic_set(self, aff2: Aff) -> Result<BasicSet, LibISLError> {
let aff1 = self;
let isl_rs_ctx = aff1.get_ctx();
let mut aff1 = aff1;
aff1.do_not_free_on_drop();
let aff1 = aff1.ptr;
let mut aff2 = aff2;
aff2.do_not_free_on_drop();
let aff2 = aff2.ptr;
let isl_rs_result = unsafe { isl_aff_eq_basic_set(aff1, aff2) };
let isl_rs_result = BasicSet { 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 eq_set(self, aff2: Aff) -> Result<Set, LibISLError> {
let aff1 = self;
let isl_rs_ctx = aff1.get_ctx();
let mut aff1 = aff1;
aff1.do_not_free_on_drop();
let aff1 = aff1.ptr;
let mut aff2 = aff2;
aff2.do_not_free_on_drop();
let aff2 = aff2.ptr;
let isl_rs_result = unsafe { isl_aff_eq_set(aff1, aff2) };
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 eval(self, pnt: Point) -> Result<Val, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let mut aff = aff;
aff.do_not_free_on_drop();
let aff = aff.ptr;
let mut pnt = pnt;
pnt.do_not_free_on_drop();
let pnt = pnt.ptr;
let isl_rs_result = unsafe { isl_aff_eval(aff, pnt) };
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 find_dim_by_name(&self, type_: DimType, name: &str) -> Result<i32, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let aff = aff.ptr;
let type_ = type_.to_i32();
let name = CString::new(name).unwrap();
let name = name.as_ptr();
let isl_rs_result = unsafe { isl_aff_find_dim_by_name(aff, 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<Aff, LibISLError> {
let aff = self;
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_aff_floor(aff) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn free(self) -> Result<Aff, LibISLError> {
let aff = self;
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_aff_free(aff) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn from_range(self) -> Result<Aff, LibISLError> {
let aff = self;
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_aff_from_range(aff) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn ge_basic_set(self, aff2: Aff) -> Result<BasicSet, LibISLError> {
let aff1 = self;
let isl_rs_ctx = aff1.get_ctx();
let mut aff1 = aff1;
aff1.do_not_free_on_drop();
let aff1 = aff1.ptr;
let mut aff2 = aff2;
aff2.do_not_free_on_drop();
let aff2 = aff2.ptr;
let isl_rs_result = unsafe { isl_aff_ge_basic_set(aff1, aff2) };
let isl_rs_result = BasicSet { 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 ge_set(self, aff2: Aff) -> Result<Set, LibISLError> {
let aff1 = self;
let isl_rs_ctx = aff1.get_ctx();
let mut aff1 = aff1;
aff1.do_not_free_on_drop();
let aff1 = aff1.ptr;
let mut aff2 = aff2;
aff2.do_not_free_on_drop();
let aff2 = aff2.ptr;
let isl_rs_result = unsafe { isl_aff_ge_set(aff1, aff2) };
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 get_coefficient_val(&self, type_: DimType, pos: i32) -> Result<Val, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let aff = aff.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_aff_get_coefficient_val(aff, type_, pos) };
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 get_constant_val(&self) -> Result<Val, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let aff = aff.ptr;
let isl_rs_result = unsafe { isl_aff_get_constant_val(aff) };
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 get_ctx(&self) -> Context {
let aff = self;
let aff = aff.ptr;
let isl_rs_result = unsafe { isl_aff_get_ctx(aff) };
let isl_rs_result = Context { ptr: isl_rs_result,
should_free_on_drop: false };
isl_rs_result
}
pub fn get_denominator_val(&self) -> Result<Val, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let aff = aff.ptr;
let isl_rs_result = unsafe { isl_aff_get_denominator_val(aff) };
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 get_dim_name(&self, type_: DimType, pos: u32) -> Result<&str, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let aff = aff.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_aff_get_dim_name(aff, 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_div(&self, pos: i32) -> Result<Aff, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let aff = aff.ptr;
let isl_rs_result = unsafe { isl_aff_get_div(aff, pos) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn get_domain_local_space(&self) -> Result<LocalSpace, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let aff = aff.ptr;
let isl_rs_result = unsafe { isl_aff_get_domain_local_space(aff) };
let isl_rs_result = LocalSpace { 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_domain_space(&self) -> Result<Space, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let aff = aff.ptr;
let isl_rs_result = unsafe { isl_aff_get_domain_space(aff) };
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_hash(&self) -> Result<u32, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let aff = aff.ptr;
let isl_rs_result = unsafe { isl_aff_get_hash(aff) };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = 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_local_space(&self) -> Result<LocalSpace, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let aff = aff.ptr;
let isl_rs_result = unsafe { isl_aff_get_local_space(aff) };
let isl_rs_result = LocalSpace { 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 aff = self;
let isl_rs_ctx = aff.get_ctx();
let aff = aff.ptr;
let isl_rs_result = unsafe { isl_aff_get_space(aff) };
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: Set) -> Result<Aff, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let mut aff = aff;
aff.do_not_free_on_drop();
let aff = aff.ptr;
let mut context = context;
context.do_not_free_on_drop();
let context = context.ptr;
let isl_rs_result = unsafe { isl_aff_gist(aff, context) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn gist_params(self, context: Set) -> Result<Aff, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let mut aff = aff;
aff.do_not_free_on_drop();
let aff = aff.ptr;
let mut context = context;
context.do_not_free_on_drop();
let context = context.ptr;
let isl_rs_result = unsafe { isl_aff_gist_params(aff, context) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn gt_basic_set(self, aff2: Aff) -> Result<BasicSet, LibISLError> {
let aff1 = self;
let isl_rs_ctx = aff1.get_ctx();
let mut aff1 = aff1;
aff1.do_not_free_on_drop();
let aff1 = aff1.ptr;
let mut aff2 = aff2;
aff2.do_not_free_on_drop();
let aff2 = aff2.ptr;
let isl_rs_result = unsafe { isl_aff_gt_basic_set(aff1, aff2) };
let isl_rs_result = BasicSet { 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 gt_set(self, aff2: Aff) -> Result<Set, LibISLError> {
let aff1 = self;
let isl_rs_ctx = aff1.get_ctx();
let mut aff1 = aff1;
aff1.do_not_free_on_drop();
let aff1 = aff1.ptr;
let mut aff2 = aff2;
aff2.do_not_free_on_drop();
let aff2 = aff2.ptr;
let isl_rs_result = unsafe { isl_aff_gt_set(aff1, aff2) };
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 insert_dims(self, type_: DimType, first: u32, n: u32) -> Result<Aff, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let mut aff = aff;
aff.do_not_free_on_drop();
let aff = aff.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_aff_insert_dims(aff, type_, first, n) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn involves_dims(&self, type_: DimType, first: u32, n: u32) -> Result<bool, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let aff = aff.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_aff_involves_dims(aff, 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 aff = self;
let isl_rs_ctx = aff.get_ctx();
let aff = aff.ptr;
let isl_rs_result = unsafe { isl_aff_involves_locals(aff) };
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_cst(&self) -> Result<bool, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let aff = aff.ptr;
let isl_rs_result = unsafe { isl_aff_is_cst(aff) };
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_nan(&self) -> Result<bool, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let aff = aff.ptr;
let isl_rs_result = unsafe { isl_aff_is_nan(aff) };
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 le_basic_set(self, aff2: Aff) -> Result<BasicSet, LibISLError> {
let aff1 = self;
let isl_rs_ctx = aff1.get_ctx();
let mut aff1 = aff1;
aff1.do_not_free_on_drop();
let aff1 = aff1.ptr;
let mut aff2 = aff2;
aff2.do_not_free_on_drop();
let aff2 = aff2.ptr;
let isl_rs_result = unsafe { isl_aff_le_basic_set(aff1, aff2) };
let isl_rs_result = BasicSet { 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 le_set(self, aff2: Aff) -> Result<Set, LibISLError> {
let aff1 = self;
let isl_rs_ctx = aff1.get_ctx();
let mut aff1 = aff1;
aff1.do_not_free_on_drop();
let aff1 = aff1.ptr;
let mut aff2 = aff2;
aff2.do_not_free_on_drop();
let aff2 = aff2.ptr;
let isl_rs_result = unsafe { isl_aff_le_set(aff1, aff2) };
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 lt_basic_set(self, aff2: Aff) -> Result<BasicSet, LibISLError> {
let aff1 = self;
let isl_rs_ctx = aff1.get_ctx();
let mut aff1 = aff1;
aff1.do_not_free_on_drop();
let aff1 = aff1.ptr;
let mut aff2 = aff2;
aff2.do_not_free_on_drop();
let aff2 = aff2.ptr;
let isl_rs_result = unsafe { isl_aff_lt_basic_set(aff1, aff2) };
let isl_rs_result = BasicSet { 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 lt_set(self, aff2: Aff) -> Result<Set, LibISLError> {
let aff1 = self;
let isl_rs_ctx = aff1.get_ctx();
let mut aff1 = aff1;
aff1.do_not_free_on_drop();
let aff1 = aff1.ptr;
let mut aff2 = aff2;
aff2.do_not_free_on_drop();
let aff2 = aff2.ptr;
let isl_rs_result = unsafe { isl_aff_lt_set(aff1, aff2) };
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 mod_val(self, mod_: Val) -> Result<Aff, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let mut aff = aff;
aff.do_not_free_on_drop();
let aff = aff.ptr;
let mut mod_ = mod_;
mod_.do_not_free_on_drop();
let mod_ = mod_.ptr;
let isl_rs_result = unsafe { isl_aff_mod_val(aff, mod_) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn move_dims(self, dst_type: DimType, dst_pos: u32, src_type: DimType, src_pos: u32,
n: u32)
-> Result<Aff, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let mut aff = aff;
aff.do_not_free_on_drop();
let aff = aff.ptr;
let dst_type = dst_type.to_i32();
let src_type = src_type.to_i32();
let isl_rs_result =
unsafe { isl_aff_move_dims(aff, dst_type, dst_pos, src_type, src_pos, n) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn mul(self, aff2: Aff) -> Result<Aff, LibISLError> {
let aff1 = self;
let isl_rs_ctx = aff1.get_ctx();
let mut aff1 = aff1;
aff1.do_not_free_on_drop();
let aff1 = aff1.ptr;
let mut aff2 = aff2;
aff2.do_not_free_on_drop();
let aff2 = aff2.ptr;
let isl_rs_result = unsafe { isl_aff_mul(aff1, aff2) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn nan_on_domain(ls: LocalSpace) -> Result<Aff, LibISLError> {
let isl_rs_ctx = ls.get_ctx();
let mut ls = ls;
ls.do_not_free_on_drop();
let ls = ls.ptr;
let isl_rs_result = unsafe { isl_aff_nan_on_domain(ls) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn nan_on_domain_space(space: Space) -> Result<Aff, 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_aff_nan_on_domain_space(space) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn ne_set(self, aff2: Aff) -> Result<Set, LibISLError> {
let aff1 = self;
let isl_rs_ctx = aff1.get_ctx();
let mut aff1 = aff1;
aff1.do_not_free_on_drop();
let aff1 = aff1.ptr;
let mut aff2 = aff2;
aff2.do_not_free_on_drop();
let aff2 = aff2.ptr;
let isl_rs_result = unsafe { isl_aff_ne_set(aff1, aff2) };
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 neg(self) -> Result<Aff, LibISLError> {
let aff = self;
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_aff_neg(aff) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn neg_basic_set(self) -> Result<BasicSet, LibISLError> {
let aff = self;
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_aff_neg_basic_set(aff) };
let isl_rs_result = BasicSet { 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_space_id(space: Space, id: Id) -> Result<Aff, LibISLError> {
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let mut id = id;
id.do_not_free_on_drop();
let id = id.ptr;
let isl_rs_result = unsafe { isl_aff_param_on_domain_space_id(space, id) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn plain_is_equal(&self, aff2: &Aff) -> Result<bool, LibISLError> {
let aff1 = self;
let isl_rs_ctx = aff1.get_ctx();
let aff1 = aff1.ptr;
let aff2 = aff2.ptr;
let isl_rs_result = unsafe { isl_aff_plain_is_equal(aff1, aff2) };
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 plain_is_zero(&self) -> Result<bool, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let aff = aff.ptr;
let isl_rs_result = unsafe { isl_aff_plain_is_zero(aff) };
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 project_domain_on_params(self) -> Result<Aff, LibISLError> {
let aff = self;
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_aff_project_domain_on_params(aff) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn pullback_aff(self, aff2: Aff) -> Result<Aff, LibISLError> {
let aff1 = self;
let isl_rs_ctx = aff1.get_ctx();
let mut aff1 = aff1;
aff1.do_not_free_on_drop();
let aff1 = aff1.ptr;
let mut aff2 = aff2;
aff2.do_not_free_on_drop();
let aff2 = aff2.ptr;
let isl_rs_result = unsafe { isl_aff_pullback_aff(aff1, aff2) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn pullback_multi_aff(self, ma: MultiAff) -> Result<Aff, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let mut aff = aff;
aff.do_not_free_on_drop();
let aff = aff.ptr;
let mut ma = ma;
ma.do_not_free_on_drop();
let ma = ma.ptr;
let isl_rs_result = unsafe { isl_aff_pullback_multi_aff(aff, ma) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn read_from_str(ctx: &Context, str_: &str) -> Result<Aff, 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_aff_read_from_str(ctx, str_) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn scale_down_ui(self, f: u32) -> Result<Aff, LibISLError> {
let aff = self;
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_aff_scale_down_ui(aff, f) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn scale_down_val(self, v: Val) -> Result<Aff, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let mut aff = aff;
aff.do_not_free_on_drop();
let aff = aff.ptr;
let mut v = v;
v.do_not_free_on_drop();
let v = v.ptr;
let isl_rs_result = unsafe { isl_aff_scale_down_val(aff, v) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn scale_val(self, v: Val) -> Result<Aff, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let mut aff = aff;
aff.do_not_free_on_drop();
let aff = aff.ptr;
let mut v = v;
v.do_not_free_on_drop();
let v = v.ptr;
let isl_rs_result = unsafe { isl_aff_scale_val(aff, v) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn set_coefficient_si(self, type_: DimType, pos: i32, v: i32) -> Result<Aff, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let mut aff = aff;
aff.do_not_free_on_drop();
let aff = aff.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_aff_set_coefficient_si(aff, type_, pos, v) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn set_coefficient_val(self, type_: DimType, pos: i32, v: Val) -> Result<Aff, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let mut aff = aff;
aff.do_not_free_on_drop();
let aff = aff.ptr;
let type_ = type_.to_i32();
let mut v = v;
v.do_not_free_on_drop();
let v = v.ptr;
let isl_rs_result = unsafe { isl_aff_set_coefficient_val(aff, type_, pos, v) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn set_constant_si(self, v: i32) -> Result<Aff, LibISLError> {
let aff = self;
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_aff_set_constant_si(aff, v) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn set_constant_val(self, v: Val) -> Result<Aff, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let mut aff = aff;
aff.do_not_free_on_drop();
let aff = aff.ptr;
let mut v = v;
v.do_not_free_on_drop();
let v = v.ptr;
let isl_rs_result = unsafe { isl_aff_set_constant_val(aff, v) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn set_dim_id(self, type_: DimType, pos: u32, id: Id) -> Result<Aff, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let mut aff = aff;
aff.do_not_free_on_drop();
let aff = aff.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_aff_set_dim_id(aff, type_, pos, id) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn set_dim_name(self, type_: DimType, pos: u32, s: &str) -> Result<Aff, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let mut aff = aff;
aff.do_not_free_on_drop();
let aff = aff.ptr;
let type_ = type_.to_i32();
let s = CString::new(s).unwrap();
let s = s.as_ptr();
let isl_rs_result = unsafe { isl_aff_set_dim_name(aff, type_, pos, s) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn set_tuple_id(self, type_: DimType, id: Id) -> Result<Aff, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let mut aff = aff;
aff.do_not_free_on_drop();
let aff = aff.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_aff_set_tuple_id(aff, type_, id) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn sub(self, aff2: Aff) -> Result<Aff, LibISLError> {
let aff1 = self;
let isl_rs_ctx = aff1.get_ctx();
let mut aff1 = aff1;
aff1.do_not_free_on_drop();
let aff1 = aff1.ptr;
let mut aff2 = aff2;
aff2.do_not_free_on_drop();
let aff2 = aff2.ptr;
let isl_rs_result = unsafe { isl_aff_sub(aff1, aff2) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn to_list(self) -> Result<AffList, 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_aff_to_list(el) };
let isl_rs_result = AffList { 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 aff = self;
let isl_rs_ctx = aff.get_ctx();
let aff = aff.ptr;
let isl_rs_result = unsafe { isl_aff_to_str(aff) };
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 unbind_params_insert_domain(self, domain: MultiId) -> Result<Aff, LibISLError> {
let aff = self;
let isl_rs_ctx = aff.get_ctx();
let mut aff = aff;
aff.do_not_free_on_drop();
let aff = aff.ptr;
let mut domain = domain;
domain.do_not_free_on_drop();
let domain = domain.ptr;
let isl_rs_result = unsafe { isl_aff_unbind_params_insert_domain(aff, domain) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn val_on_domain(ls: LocalSpace, val: Val) -> Result<Aff, LibISLError> {
let isl_rs_ctx = ls.get_ctx();
let mut ls = ls;
ls.do_not_free_on_drop();
let ls = ls.ptr;
let mut val = val;
val.do_not_free_on_drop();
let val = val.ptr;
let isl_rs_result = unsafe { isl_aff_val_on_domain(ls, val) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn val_on_domain_space(space: Space, val: Val) -> Result<Aff, LibISLError> {
let isl_rs_ctx = space.get_ctx();
let mut space = space;
space.do_not_free_on_drop();
let space = space.ptr;
let mut val = val;
val.do_not_free_on_drop();
let val = val.ptr;
let isl_rs_result = unsafe { isl_aff_val_on_domain_space(space, val) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn var_on_domain(ls: LocalSpace, type_: DimType, pos: u32) -> Result<Aff, LibISLError> {
let isl_rs_ctx = ls.get_ctx();
let mut ls = ls;
ls.do_not_free_on_drop();
let ls = ls.ptr;
let type_ = type_.to_i32();
let isl_rs_result = unsafe { isl_aff_var_on_domain(ls, type_, pos) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn zero_basic_set(self) -> Result<BasicSet, LibISLError> {
let aff = self;
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_aff_zero_basic_set(aff) };
let isl_rs_result = BasicSet { 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_on_domain(ls: LocalSpace) -> Result<Aff, LibISLError> {
let isl_rs_ctx = ls.get_ctx();
let mut ls = ls;
ls.do_not_free_on_drop();
let ls = ls.ptr;
let isl_rs_result = unsafe { isl_aff_zero_on_domain(ls) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn zero_on_domain_space(space: Space) -> Result<Aff, 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_aff_zero_on_domain_space(space) };
let isl_rs_result = Aff { ptr: isl_rs_result,
should_free_on_drop: true };
let err = isl_rs_ctx.last_error();
if err != Error::None_ {
let err_msg = isl_rs_ctx.last_error_msg();
isl_rs_ctx.reset_error();
return Err(LibISLError::new(err, err_msg));
}
Ok(isl_rs_result)
}
pub fn do_not_free_on_drop(&mut self) {
self.should_free_on_drop = false;
}
}
impl Drop for Aff {
fn drop(&mut self) {
if self.should_free_on_drop {
unsafe {
isl_aff_free(self.ptr);
}
}
}
}