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_move_dims: use isl_basic_map_peek_space
2018-09-02
S
v
e
n
Verdoolaege
isl_basic
_
m
ap_move_dims:
u
s
e
isl_basic_m
a
p_
p
ee
k
_spa
c
e
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaeg
e
isl_ba
s
ic_m
a
p
_intersect: use isl_basic_map_
p
e
ek_space
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoola
e
g
e
isl
_
basic_
m
ap_inte
r
s
e
ct_range: u
s
e isl_ba
s
ic_set_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laeg
e
isl_basic_m
a
p_interse
c
t
_domai
n
:
use isl_basic_set_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_
m
a
p
_so
l
v
e_lp: use
isl_m
a
p_dim
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_po
l
ynomial
.
c: fi
x
_inactive: use
i
sl_
s
et_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_o
u
tp
u
t
.
c
:
d
rop_a
f
f: use isl_basic_map_
v
ar
_
offset
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoo
l
aege
isl_bas
i
c_map_drop
_
redundan
t
_divs_ine
q
: use
i
sl_basic_m
a
p_va
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
doolaege
isl_map_si
m
plif
y
.
c:
.
.
.
_drop_more_r
e
dundant_divs: use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ver
d
oolaege
isl
_
map_sim
p
l
ify
.
c:
coalesce_divs:
u
se is
l
_basic
_
m
ap
_
var_offset
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verd
o
o
l
aege
i
s
l_map
_
simplify
.
c
:
div_is_redundant:
use
isl_bas
i
c_map_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoo
l
aege
isl_basic_map_is_d
i
v_co
n
straint: use
isl_basic_map_off
s
et
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ver
d
oolaege
isl_map_simplify
.
c
: eliminate_unit
_
divs: use i
s
l_basi
c
_map_o
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
m
ap_s
i
mplify
.
c
: check_f
o
r_div_con
s
traints: use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolae
g
e
isl
_
map_simp
l
ify
.
c: better_div_constrai
n
t:
u
se isl_ba
s
ic_
m
a
p
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoola
e
ge
isl_map_simplify
.
c: ok_to_set_div_fro
m
_bound: use isl
_
basic
_
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
is
l
_m
a
p_simplify
.
c
:
set
_
d
iv_from_lower_bound: use i
s
l_basic_
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
.
c
:
f
i
n
d_div: use isl_basic_map_v
a
r
_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_bas
i
c_map_order_divs:
u
se isl_basic_
m
ap_var_
o
ff
s
e
t
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaeg
e
isl_map
.
c
:
basic_set_append_
e
qualitie
s
:
use isl_bas
i
c_set_off
s
et
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_map
.
c: in
s
e
r
t_div_rows: use isl_basic_map_offset
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdool
a
eg
e
isl
_
basi
c
_map_remo
v
e_di
v
s: use isl_basic_map
_
var_o
f
fset
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erd
o
olaege
isl_basi
c
_ma
p
_swap_div: use isl_b
a
sic_m
a
p_v
a
r_offse
t
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
i
sl_basi
c
_map_mak
e
_strides_explic
i
t: use i
s
l_basic
_
map
_
v
ar_o
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_aff_substitut
e
_e
q
ualities_
l
ifted: use isl
_
basic_set_o
f
fset
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoo
l
aege
isl_bas
i
c_set_
p
ositive_o
r
t
h
a
n
t
:
use
i
sl_space_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_{set,m
a
p}_print_internal: u
s
e is
l
_printer_
p
rint_ba
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_transitive_closu
r
e
.
c: empty_pat
h
_i
s
_iden
t
ity: use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
i
s
l
_map_simplify
.
c: div_find_co
a
lesce:
r
e
use is_opposite
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolae
g
e
is
l
_map_s
i
mp
l
i
fy
.
c: move up is
_
oppo
s
ite
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_tab_pip
.
c: find_context_
d
iv:
r
e
serve negativ
e
r
eturn
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
do
o
lae
g
e
isl
_
map_simplify
.
c:
di
v
_
f
ind_coale
s
ce:
res
e
rve negati
v
e
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_map
.
c
:
find_d
i
v: rese
r
ve
negative
r
etu
r
n value
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ve
r
doolaeg
e
isl_bernst
e
in
.
c
:
i
s_tig
h
t: mino
r
co
d
e
simplific
a
t
i
on
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ver
d
o
o
laeg
e
isl_
m
ap_sim
p
lify
.
c: l
o
wer_bou
n
d_is_cst
:
return -1 on
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
add_l
o
wer_div_
c
onstraint
:
retu
r
n return
m
od
i
fied result
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
a
d
d_uppe
r
_div_constraint: return return modified result
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
is
l
_
b
asi
c
_map
_
a
d
d_d
i
v_constrai
n
t:
return return modified
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_basic_
m
ap_add_div_
c
onstrain
t
s: re
t
u
r
n m
o
dified
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
er
d
oo
l
aege
add_{upper
.
l
o
we
r
}_div_constraint:
o
nl
y
pass in
position
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
dool
a
e
g
e
r
emove
n
ow u
n
used
i
sl_basi
c
_{set,map}_add_
d
iv_constraints_var
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_local_space
.
c: normalize_d
i
v: retu
r
n modified res
u
lt
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
normalize_div_expression: return modified result
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_map_
s
impli
f
y
.
c:
e
liminat
e
_var_using_equality: re
t
ur
n
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doo
l
a
e
g
e
isl_ma
p
.
c: set_ma_
d
ivs:
return mo
d
i
fied
resul
t
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verd
o
olaege
isl
_
basic_map_swap
_
div: re
t
u
rn modified
r
esul
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_output
.
c
: print_
c
onstrain
t
_c:
dro
p
now
redundant
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
e
ge
is
l
_out
p
ut
.
c: drop prin
t
_affi
n
e
_c
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
i
s
l_output
.
c: prin
t
_c
o
nstraint_c: use
p
rint_ls_af
f
i
n
e_c
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolae
g
e
isl_o
u
tput
.
c: print_basic_set_c: use print_ls_
p
ar
t
ia
l
_affin
e
_
c
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_cat: support C output format
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_tr
a
nsit
i
ve_closure
.
c: a
d
d_leng
t
h: reuse increment
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_transi
t
ive_closure
.
c: m
o
ve up i
n
crement
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdoolaege
isl
_
transitive_c
l
osure
.
c: increment: re
t
urn isl_map
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_
t
ransitive_closure
.
c: increment:
c
lean
u
p sp
a
ce
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_
t
rans
i
tiv
e
_closure
.
c: map_power:
us
e
stricter test
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_m
a
p_deltas_
m
ap:
e
xtract out i
s
l_
m
ap
_
check_equa
l
_tu
p
l
e
s
commit
|
commitdiff
|
tree
2018-08-31
Sven
Verdo
o
laege
isl_qpolynomi
a
l_get_den: return
isl_val
commit
|
commitdiff
|
tree
2018-08-31
Sven
Verdo
o
l
a
ege
rename
i
s
l_upoly to isl_poly
commit
|
commitdiff
|
tree
2018-08-31
Sven
V
erdo
o
lae
g
e
isl_basic_map_insert_d
i
ms: create
e
mpt
y
basic map directly
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n
Verdoo
l
ae
g
e
extra
c
t out shared is
l
_
p
o
int_dim
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extra
c
t ou
t
sha
r
ed isl_set_
c
hec
k
_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extra
c
t out shared isl_term
_
chec
k
_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extrac
t
out shared isl_spa
c
e_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolaege
merge isl*map_check_range imple
m
entatio
n
s
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
isl_
m
ap_fix: re
u
se isl_map_che
c
k_rang
e
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaeg
e
isl_map
_
fix_si: r
e
use isl_ma
p
_ch
e
ck_range
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
r
doolaege
is
l
_map_oppos
e
:
reuse i
s
l_m
a
p_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaege
isl_map
.
c: ma
p
_
b
ound_si:
r
euse isl_map_check_range
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n
Ve
r
d
oo
l
aege
i
s
l_ma
p
.
c:
m
a
p_bound:
r
euse
i
s
l
_map
_
check
_
range
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n
Verdoolae
g
e
isl_ma
p
_fix_
v
a
l
:
r
e
u
se isl_map_check_rang
e
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
is
l
_ba
s
i
c
_
m
ap_drop_
c
ore: re
u
se is
l
_basic_map_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rd
o
olaege
i
sl_basic_
m
ap_drop_div
:
impl
e
ment in
t
erms o
f
isl
_
basic_map_
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verd
o
olaeg
e
isl_basic_m
a
p_drop:
e
x
tra
c
t
out isl_basic_map_drop_core
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Ve
r
doo
l
aege
isl_basic
_
m
ap_drop: drop error la
b
el
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaeg
e
isl_ba
s
ic_map_drop_div: drop r
e
moval of constraints
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
o
l
a
ege
isl
_
map_
s
implify
.
c: rem
o
ve_redu
n
dant
_
divs: drop div
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
privately export isl_basi
c
_map_drop_
c
onstraints_invo
l
ving
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolaege
isl
_
b
asic_map_d
r
op_
c
onstraints_invol
v
in
g
: mov
e
out
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
i
sl_basic_map_offset: use i
s
l_basic_map_pee
k
_space
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verd
o
olae
g
e
isl_b
a
sic_map_offset: use isl_space_offset and isl_spac
e
_dim
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
r
d
oolaege
isl_basic_
m
ap
_
cont
a
i
ns_poin
t
: use isl_
l
ocal
_
ext
e
nd_point_vec
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n V
e
r
d
oolaege
p
r
ivately export isl_local_alloc_from_m
a
t
commit
|
commitdiff
|
tree
2018-08-28
S
ven
Verdoolaege
exp
o
se isl_local_free
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verd
o
o
l
aege
isl_map
.
c
: add_cons
t
rain
t
s: use isl_basic_map_add_co
n
strain
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n
Verdoolaege
isl_basic_set_opt: reu
s
e isl_
b
as
i
c_
s
et_get_divs
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
l
aege
is
l
_tab_pip
.
c: implement sp
l
it in t
e
rms of
s
plit_domain
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolae
g
e
isl_basi
c
_s
e
t_total_di
m
: im
p
lement in te
r
m
s of isl_basic_ma
p
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verd
o
olaege
i
sl_constraint
.
c:
use is
l
_basic_set_offset
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Ve
r
doola
e
ge
isl_const
r
a
i
nt
.
c: use isl_basic_
m
ap_offset
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
Ver
d
oo
l
aege
d
r
op i
s
l_basic_set_
e
xtend
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
drop isl_ba
s
ic_se
t
_ad
d
_equality duplicate
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_basic_map_
a
d
d
_
{eq,ineq}: only modify si
n
gl
e
c
op
y
.
.
.
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
Verdoolaege
is
l
_qpolynomial_as_polynomial_o
n
_domain:
u
se
isl_local_space
.
.
.
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_qpoly
n
omial_gist: use isl_local_spac
e
_lift
_
s
et
commit
|
commitdiff
|
tree
2018-08-25
Sven V
e
rdoolaeg
e
add isl
_
local_
s
pace_lift_basic_set
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
i
sl_af
f
_gist: ex
t
ract out
i
sl_l
o
cal_spac
e
_lift_set
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
b
a
s
ic_
m
ap_iden
t
ity: use isl_spa
c
e_dim
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
is
l
_map
.
c
: basi
c
_map_identity: reu
s
e isl_basic_map_equal
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_s
p
ace_u
n
d
er
l
ying:
r
eturn set sp
a
ce
commit
|
commitdiff
|
tree
next