repo.or.cz
/
isl.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
isl_basic_set_variable_compression: use isl_basic_set_offset
2018-09-02
S
v
e
n
Verdoolae
g
e
isl_basic_set_variab
l
e
_
compre
s
sio
n
: use
i
sl_
b
asic
_
s
e
t_offs
e
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolae
g
e
isl_basic_map_dom
a
in_product
:
use isl_
b
as
i
c_map_get_space
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_b
a
sic_
m
a
p_ov
e
rlying_set
:
u
se
isl_basic_
s
et_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_basic_map_apply_range: use isl_basic
_
m
ap_get_space
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
is
l
_
map
.
c: mov
e
_las
t
: use isl
_
basic_map_offse
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l
_
map
.
c:
move_last:
u
s
e isl_basic_
m
ap_peek_space
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map_move_di
m
s: use
isl_basic_map_p
e
e
k
_s
p
a
ce
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoo
l
aege
isl_basic_
m
ap_intersect: use isl_basic
_
map_peek_space
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_b
a
si
c
_
map_intersect
_
ran
g
e: use isl
_
basic
_
set_dim
commit
|
commitdiff
|
tree
2018-09-02
S
ven V
e
rdo
o
laege
isl
_
basic_map_int
e
rse
c
t_domain: use isl
_
b
a
sic_set_dim
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Verdoolaege
isl_map_so
l
ve_lp: use isl_
m
ap_dim
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdo
o
l
a
e
ge
isl_polynomial
.
c
: fix_inactive: us
e
i
sl_s
e
t_
d
im
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
i
s
l_o
u
tput
.
c: drop_af
f
: use isl_
b
a
sic_
m
ap_
v
ar_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaeg
e
isl_basic_map_
d
rop_redundant_divs
_
ineq: us
e
isl_basic_map_va
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
er
d
oolaeg
e
isl_ma
p
_simplify
.
c:
.
.
.
_drop_more_redun
d
ant_divs: use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
i
sl_map_simplify
.
c: coalesce_d
i
v
s
: use isl_basic_map_var_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
_
simplify
.
c: d
i
v_is_redundant: use isl_basic
_
map_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
i
s
l_b
a
sic_
m
ap_i
s
_di
v
_constra
i
nt: use isl_basic_map_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_map_simpl
i
fy
.
c
:
e
li
m
inat
e
_unit_
d
ivs: u
s
e isl_basic_map_o
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolae
g
e
isl_map_sim
p
lify
.
c: check_f
o
r
_di
v
_
constraints: use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
ege
i
s
l_m
a
p_simplify
.
c: better_di
v
_constraint:
use
isl_basic_map
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ma
p
_simplif
y
.
c: ok_to_se
t
_
div_from_bound: use isl
_
b
asic_
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l
_map_si
m
plify
.
c: set_div_from
_
lower_bound: use isl_basic_
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaeg
e
isl_ma
p
.
c: find_div: us
e
is
l
_
b
asic_map_var_off
s
et
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_basi
c
_map_order_divs:
u
se isl_basic_map
_
var_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_map
.
c: basi
c
_
s
et_a
p
p
e
nd
_
equalities: use
i
s
l_b
a
si
c
_s
e
t
_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
ma
p
.
c
:
insert_div_rows: use isl_basic_map_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
ol
a
ege
isl_basic_map_remo
v
e_
d
iv
s
: use isl_b
a
sic_map_
v
ar_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_bas
i
c_map_swap_div: use isl_
b
asic_map_var_offset
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
e
rdoolaege
isl_basic_map_make_strid
e
s_exp
l
i
c
it: use isl_basic_
m
a
p_v
a
r_o
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_a
f
f
_
s
ubs
t
itu
t
e_equalities_lif
t
e
d: use isl_ba
s
ic_set_offset
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verd
o
olaege
isl
_
basic
_
s
e
t_positive_orthant: use isl_space_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ba
s
ic_{set,map}_print_internal: use isl_printer_print_ba
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
rdoolaege
isl_transiti
v
e
_
c
losure
.
c: em
p
ty_p
a
th_i
s
_
i
dentity: use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_map_s
i
mplify
.
c: d
i
v
_
find_co
a
les
c
e:
r
e
use
i
s
_
oppos
i
te
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
is
l
_map_
s
imp
l
ify
.
c: move up is_opposite
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
ta
b
_pip
.
c
:
find_c
o
ntex
t
_di
v
: res
e
rve
negative return
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_ma
p
_simpli
f
y
.
c: div_f
i
nd_coales
c
e: reserve ne
g
ative
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdool
a
ege
i
sl_map
.
c: find_
d
iv: reserve n
e
gative return v
a
lue
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
ol
a
ege
isl_be
r
n
s
tein
.
c
:
is_tight: minor code
s
implif
i
cation
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdo
o
l
a
ege
isl_map
_
s
implify
.
c: lower
_
bound_
i
s_cst:
r
etu
r
n -1 on
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
add_low
e
r_div_constraint: return
ret
u
r
n
modified re
s
ult
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Verdo
o
la
e
g
e
add_upper_
d
iv_co
n
straint: retu
r
n return modified
r
esult
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n V
e
rdoolaege
i
s
l_b
a
sic_map_add_div_constra
i
nt: return return m
o
difi
e
d
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaeg
e
isl_basic_map_a
d
d
_di
v
_constra
i
nts: return
modified
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
add_{upper
.
lower}_div_
c
onstr
a
int: on
l
y pass in position
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
remov
e
now unus
e
d isl_ba
s
ic_{set,map}_
a
dd_div_c
o
n
s
t
r
ain
t
s_var
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_
l
oca
l
_space
.
c: normalize_div: return modified resul
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
laege
no
r
m
a
lize_di
v
_expression: return mo
d
ified re
s
ult
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_si
m
p
l
ify
.
c: elim
i
nate_
v
a
r
_using_equal
i
ty: return
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Verdoolaege
is
l
_m
a
p
.
c
:
set_
m
a_divs: return mod
i
fied
r
esult
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_b
a
sic_map_swap_div
:
return modified result
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_output
.
c: print_con
s
traint_c: drop
now redu
n
dan
t
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_o
u
t
p
u
t
.
c: drop pri
n
t
_
affine_c
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
i
s
l_output
.
c: print
_
cons
t
r
a
i
n
t_c:
use print_ls_
a
f
f
ine_c
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_output
.
c: print_basic_
s
et_c: use print
_
ls_part
i
al_affine_c
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_cat: support C ou
t
put
format
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verd
o
ol
a
e
g
e
isl_
t
ransitive_cl
o
sure
.
c:
add_length: reuse incr
e
m
ent
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_transiti
v
e_closur
e
.
c: mo
v
e
up increment
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoo
l
aege
i
s
l_
t
ransitive_cl
o
s
u
r
e
.
c:
incr
e
me
n
t: return is
l
_map
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaeg
e
isl_tran
s
i
tive_closure
.
c:
incre
m
ent: clean up space
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaeg
e
isl_tra
n
sitive_closure
.
c: map_power: use strict
e
r
t
est
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_map_deltas_map:
e
x
tra
c
t out isl_map_check_equal_tupl
e
s
commit
|
commitdiff
|
tree
2018-08-31
Sven Verd
o
o
laege
isl_qpolynomial_get_den
:
return isl_val
commit
|
commitdiff
|
tree
2018-08-31
S
ven Verd
o
olaege
rename i
s
l_upoly to isl_p
o
ly
commit
|
commitdiff
|
tree
2018-08-31
Sven
Ve
r
d
o
ol
a
ege
isl_b
a
s
i
c
_map_insert_dims: create
empty basic m
a
p
directly
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdool
a
e
g
e
extract
o
ut s
h
a
red isl_poin
t
_dim
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
extract out share
d
isl_set_chec
k
_range
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdo
o
laege
extract out sha
r
ed isl_term_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
e
x
t
ract out share
d
isl_space_c
h
e
ck_range
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
me
r
ge
isl*map_c
h
eck
_
range
i
m
plementations
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_map_fix: reuse i
s
l_
m
ap_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdo
o
l
a
e
ge
is
l
_
map_fix_si: reuse isl_
m
ap
_
check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_map_oppose: re
u
se
i
sl_map_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaege
isl_map
.
c: map_bound
_
si: reuse isl_
m
ap_check_r
a
nge
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_map
.
c: map_bound: reuse i
s
l
_
ma
p
_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
l
aege
isl_
m
ap_fix_val:
reuse isl_map_che
c
k_range
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
isl_basic_map_drop_
c
ore: reuse isl_basic_map_check_rang
e
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
isl_basic_ma
p
_drop_div: imp
l
e
m
e
nt in terms of is
l
_basic_map_
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
o
o
laege
isl_
b
a
s
ic_map_drop: ex
t
ract out isl
_
basic_m
a
p
_drop_core
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
isl_basic_map_drop: drop
e
rror label
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
is
l
_
b
asic_map_drop_d
i
v: dro
p
r
emoval of constraints
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
i
sl_map
_
simplif
y
.
c
: remove
_
redundant_d
i
vs: d
r
op div
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
p
rivately export i
s
l_b
a
sic_map_drop_constraints_invol
v
ing
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
r
doolaege
is
l
_basi
c
_
m
ap_drop
_
constraints_involv
i
n
g: move out
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
isl_basi
c
_map_offset: use
i
sl_basic_map_peek_s
p
ace
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolaege
isl_basic_map_off
s
et: us
e
is
l
_
s
pace_offse
t
a
n
d
i
s
l_space_dim
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
rdoolaege
isl_basic_map_contains_
p
oint: us
e
isl_lo
c
a
l
_ex
t
end_p
o
int_
v
ec
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdo
o
laege
p
r
i
vately export isl_local_alloc_
f
rom_mat
commit
|
commitdiff
|
tree
2018-08-28
S
ve
n
Ver
d
oolaege
expose isl
_
l
o
cal_free
commit
|
commitdiff
|
tree
2018-08-28
S
v
en
Verdo
o
l
a
ege
isl_map
.
c: add_constraints
:
use
isl_basic
_
ma
p
_add_constrain
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
Ver
d
oolaege
isl_basic_set_opt: reuse isl_basic_set_get_divs
commit
|
commitdiff
|
tree
2018-08-28
S
ven
V
erdo
o
laege
isl_
t
ab_pip
.
c: im
p
lement split in terms of
spli
t
_domain
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
isl_basic_set_total_dim: i
m
plement in
t
erms of isl_basic_map
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Ver
d
o
olaege
i
s
l_
c
onst
r
aint
.
c: u
s
e i
s
l_basic_set_offset
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolaege
isl_con
s
tr
a
int
.
c: use isl_basic_map_offs
e
t
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
drop isl_basic_set_extend
commit
|
commitdiff
|
tree
2018-08-25
Sven V
e
rdoolaege
drop isl_basic_set_add_
e
quality duplicate
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_
b
asic_map_add
_
{eq
,
ineq}: only mod
i
fy sin
g
l
e
copy
.
.
.
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Verdoolaeg
e
isl_qpolynomial_
a
s_polynomial_o
n
_do
m
ain
:
use i
s
l_lo
c
al_space
.
.
.
commit
|
commitdiff
|
tree
next