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_map_apply_range: use isl_basic_map_get_space
2018-09-02
Sven Verdoolaeg
e
i
sl
_
basic_map
_
a
p
ply_range: us
e
isl_basic_map_get_space
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoola
e
g
e
isl_ma
p
.
c: move
_
last: use isl_basic
_
map
_
offse
t
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
erdoolaege
isl_
m
ap
.
c:
move_l
a
st: use
i
s
l
_basic_map_peek_space
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaege
isl_basic
_
m
a
p_
m
ov
e
_dims: u
s
e isl_basic_ma
p
_p
e
ek_s
p
ace
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
b
a
sic
_
m
a
p_in
t
ers
e
ct:
use isl_basic_map
_
p
eek_spa
c
e
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map_inte
r
sect_ra
n
ge: use isl_basi
c
_
s
et_d
i
m
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_
m
a
p_inter
s
ect_dom
a
in: use i
s
l_
b
a
sic
_
set_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
la
e
ge
is
l
_
m
ap_so
l
v
e_
l
p:
u
s
e isl_map_
d
im
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
ool
a
ege
isl_poly
n
om
i
a
l
.
c
:
fix_inactive:
u
se i
s
l_set_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_output
.
c: d
r
op_aff:
use isl_basic_map_v
a
r_offset
commit
|
commitdiff
|
tree
2018-09-02
S
v
en V
e
rdool
a
e
ge
isl_basic_ma
p
_drop_redundant_divs_ineq: u
s
e i
s
l_b
a
sic_map_va
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erd
o
olaege
i
s
l_m
a
p_sim
p
lify
.
c:
.
.
.
_drop_m
o
re_redundant_divs: use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_map_
s
implify
.
c
:
coa
l
esce_divs: u
s
e isl_b
a
s
i
c_map_var_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simpl
i
fy
.
c: div_is_redundant: use isl_basic_
m
a
p_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_
b
as
i
c_map_is_d
i
v_co
n
straint: use isl_basic_ma
p
_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_map_simplify
.
c: eliminate_unit_divs: use isl_
b
asic_m
a
p_o
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
is
l
_map_simplify
.
c: che
c
k_for_div_
c
on
s
traints: use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Verdoo
l
aege
isl_map_simplify
.
c:
b
etter
_
div_constra
i
nt: use i
s
l_b
a
sic_map
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
map_simplify
.
c: ok_
t
o_s
e
t_
d
iv_fr
o
m
_
b
ound: us
e
isl
_
basic_
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_map_simplify
.
c: set_div_f
r
o
m_lower_bound: use i
s
l_basic_
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdo
o
l
aege
isl_map
.
c
:
find_div
:
use isl
_
basic_ma
p
_va
r
_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
o
l
aege
isl_basic_map_order_divs: use
isl_ba
s
i
c
_map_va
r
_of
f
set
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
.
c:
b
a
sic_s
e
t_append_e
q
u
a
lities: use isl_basic_set_o
f
fset
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaeg
e
isl_map
.
c
:
inse
r
t_div_rows:
use isl_
b
asic
_
map_
o
ffs
e
t
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_basic_map_remove
_
d
i
vs: use isl_basic_map_
v
ar
_
o
f
fset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_b
a
sic_map_swap
_
div:
use isl_ba
s
ic_map_var_off
s
et
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
e
ge
isl_basic_map_
m
a
k
e_strides_explicit: us
e
isl_basic_map_var_o
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laeg
e
isl_af
f
_su
b
s
titute_equalities_lifted: use isl_basic
_
s
et_offs
e
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_bas
i
c_set_positive_
o
rt
h
ant: u
s
e is
l
_spac
e
_di
m
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_basic_{set,
m
ap}_pri
n
t_internal: use isl_printer_pr
i
nt_ba
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
ol
a
ege
isl_transitive_closure
.
c: empty_p
a
th_is_ident
i
ty: use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
_
s
i
mplify
.
c: div_
f
ind_coal
e
sce: r
e
use is_opp
o
s
i
te
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_map_simpl
i
fy
.
c:
mo
v
e up is_opp
o
si
t
e
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_tab_pip
.
c: fin
d
_
context_div: reserve
n
e
g
a
ti
v
e r
e
turn
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
is
l
_map_simplify
.
c: div_fin
d
_coalesce: r
e
serv
e
n
egative
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_map
.
c: f
i
nd_div: res
e
r
v
e n
e
gative r
e
turn value
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doola
e
ge
isl
_
bernste
i
n
.
c:
i
s
_t
i
g
h
t: minor
c
ode
simpl
i
f
ic
a
tion
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
ola
e
g
e
isl_map_
s
implify
.
c
:
l
o
we
r
_boun
d
_is_cs
t
:
return
-
1
on
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
rdo
o
l
a
ege
add_low
e
r_div_constraint: ret
u
rn
r
e
t
urn modified result
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
add_upper_d
i
v_
c
o
n
str
a
int
:
r
e
turn return m
o
dified resul
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_basic_map_add_div
_
c
o
nstrai
n
t: re
t
urn return
m
o
difi
e
d
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
basi
c
_map_add_div_constraints: r
e
t
urn modified
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Verdoola
e
ge
ad
d
_
{
upper
.
lower}_div_constraint: o
n
l
y
pass in
p
os
i
ti
o
n
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoolaege
remove now unused
isl_b
a
sic_{set,map}_a
d
d_di
v
_
c
onstra
i
n
t
s_var
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdool
a
ege
is
l
_
l
ocal_
s
pace
.
c:
normalize_div:
r
etu
r
n mo
d
if
i
ed r
e
sult
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
normalize
_
div_expres
s
ion
:
return mo
d
ified result
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoo
l
aege
isl_
m
ap_simplif
y
.
c
: e
l
imi
n
ate_var
_
u
sing_eq
u
a
li
t
y: return
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_m
a
p
.
c:
s
e
t
_ma_divs: r
e
turn modi
f
i
ed result
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaege
i
s
l_basic
_
ma
p
_
swap_
d
iv
:
r
e
turn modified result
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_output
.
c: p
r
i
n
t_constrain
t
_c: drop
now redundant
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
i
s
l
_
output
.
c: drop print_affine_
c
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_output
.
c: print_co
n
s
traint_
c
: us
e
p
r
int_ls
_
affine_c
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_output
.
c: pr
i
nt_basic_set_c: us
e
print_ls_p
a
rtial_affine_c
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
i
sl_cat: supp
o
rt C output
forma
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_tran
s
itive
_
closure
.
c: add_leng
t
h: reuse incremen
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_transiti
v
e_
c
l
osure
.
c
:
m
o
ve up in
c
rement
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_transitive_closure
.
c
:
increment: r
e
turn isl_
m
ap
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_tr
a
nsitive_closure
.
c: increment:
c
lean up space
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_transitiv
e
_closur
e
.
c: map_power: use stricter
t
es
t
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_ma
p
_deltas
_
ma
p
: extra
c
t out isl
_
map_chec
k
_equal_tuples
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
i
sl_qpolyn
o
m
i
al_get_den: return is
l
_val
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
rename i
s
l_up
o
ly to i
s
l_poly
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
isl_basi
c
_
m
a
p
_inser
t
_dims: create empty basic map dire
c
t
l
y
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
ex
t
ract
ou
t
sh
a
red i
s
l
_po
i
nt
_
dim
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaeg
e
extra
c
t out shared i
s
l_set_check
_
rang
e
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdool
a
e
ge
extract o
u
t shared isl_term_check_ra
n
ge
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extract o
u
t shared isl_spa
c
e_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolaege
mer
g
e isl*map_ch
e
ck_range implementat
i
o
n
s
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolaege
isl_
m
ap_fi
x
:
r
euse isl_map_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
i
s
l_map_
f
i
x_
s
i: re
u
s
e
i
sl
_
map_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
o
laege
is
l
_map_oppose: reuse isl
_
map_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaeg
e
i
sl
_
map
.
c: map_bo
u
nd_si
:
reuse isl_map_check
_
range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
isl_map
.
c
:
map_bound: reuse is
l
_
map_ch
e
ck
_
rang
e
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaege
is
l
_ma
p
_fix_val:
r
euse isl_map_check_ra
n
g
e
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Ver
d
oolaege
isl_basic_map
_
drop_co
r
e: re
u
se isl_basic_map
_
check_
r
a
nge
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
r
doolaege
isl_basi
c
_
map_drop_div: implement in terms
of isl
_
b
asic_map_
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
isl_basic_map_drop: extract out
isl_basic_map_drop_core
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
isl
_
ba
s
i
c_
m
ap
_
drop: drop er
r
o
r l
a
bel
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
isl_basic_map_drop_div: drop rem
o
val
of constraints
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdo
o
la
e
ge
isl_map_simplify
.
c: rem
o
ve
_
redu
n
dant_d
i
v
s: drop div
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
priva
t
ely
export isl_basic_map_drop
_
constraints_invo
l
ving
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_
b
asic_map_drop_
c
on
s
traints_in
v
olving: move ou
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
isl_
b
a
sic_map_offset:
u
se isl_basic_map_peek_space
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n Ver
d
oolaege
isl_bas
i
c_map_offset: use i
s
l_space_offset and isl_spa
c
e_dim
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
i
s
l_basic_ma
p
_conta
i
ns_point: use isl
_
local_extend_point
_
vec
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
p
r
ivat
e
ly export
i
sl_
l
o
cal_all
o
c_
f
rom_mat
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
ex
p
o
s
e isl_local_free
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolaege
isl_map
.
c: add_
c
onstraints:
u
s
e
isl_basic_map_add_constraint
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_
b
asic_set_opt: reuse i
s
l_ba
s
ic_set_get_divs
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
i
sl
_
tab
_
pip
.
c: i
m
plement sp
l
it in terms of
s
plit_dom
a
in
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
i
s
l_basic
_
set_to
t
a
l
_dim
:
i
mplement
i
n terms of isl_basic_map
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolaege
i
s
l_c
o
nstrai
n
t
.
c
:
use isl_basic
_
set_offset
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaeg
e
is
l
_constraint
.
c: use isl_basic
_
map_offset
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
drop is
l
_basic_set_exte
n
d
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolae
g
e
dr
o
p isl_
b
asic_set_ad
d
_equality duplic
a
te
commit
|
commitdiff
|
tree
2018-08-25
Sven
V
e
rdoolaege
isl_basic_map_add_{eq,
i
neq}: on
l
y modify single copy
.
.
.
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdo
o
l
a
ege
isl_qpolynomial_a
s
_pol
y
no
m
ial_on
_
domain: u
s
e isl_loc
a
l_space
.
.
.
commit
|
commitdiff
|
tree
2018-08-25
Sven
V
erdoolaege
isl_qpolynomial
_
gist: use isl
_
local_spa
c
e_lift_set
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
Ve
r
do
o
laege
a
dd
i
s
l_lo
c
al_space_lift_basic_set
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n Verdoolaege
isl
_
aff_g
i
st: extract out
i
sl_loc
a
l_spa
c
e_l
i
ft_set
commit
|
commitdiff
|
tree
next