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_tab_pip.c: isl_sol: keep track of space of output
2016-11-23
Sven V
e
rdoo
l
aege
priv
a
tely add isl
_
m
at_co
l
_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
S
ven Verdoolaege
pr
i
va
t
ely ad
d
isl_mat_
c
ol
_
addmul
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
Sven Verd
o
olaege
isl_mat
.
c: e
x
tract
o
ut shared check_col
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
Sv
e
n Verdool
a
ege
isl_test
.
c: add_cel
l
: fi
x
re
t
urn type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
Sv
e
n Verdoola
e
ge
isl_test
.
c: set
sr
c
dir at confi
g
u
r
e time
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
S
ven Ve
r
doolaege
pip
_
te
s
t
.
sh
.
in: set srcdir at conf
i
gure tim
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
S
v
en Verdoolaege
b
ound_test
.
s
h
.
in: set srcdir at configure time
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-15
S
v
en Verdoolaege
isl_vertices_foreach_disjoint_ce
l
l: handl
e
saturation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-15
Sven Verdoolaege
isl_basic_set_tighten_
o
utward: extract ou
t
is_internal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-15
Sven Verdoolaege
isl_vertices_forea
c
h_disjo
i
nt_cell: extract out i
s
l_basic_s
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
Sve
n
Verdoolaege
m
a
rk is
l
_
s
et_lift
i
ng as
deprecated
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
S
v
en Ver
d
oolaege
mar
k
isl_m
a
p_copy_
b
asic_ma
p
and isl_map_
d
rop_basic_
m
a
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
Sven Verdool
a
ege
isl
_
m
a
p_d
r
op_b
a
s
ic_map:
extract out internal
m
ap_drop
_
basic_
m
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
Sven V
e
rdoo
l
a
ege
i
s
l_map_c
o
py_basic_map:
ext
r
act out inter
n
al
m
a
p
_co
p
y
_
ba
s
ic_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
Sve
n
Verdoolaege
mark isl_set
_
copy_basic_set and is
l
_set_dr
o
p_b
a
s
i
c_set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
Sven Verd
o
olaege
is
l
_convex_hull
.
c: uset_convex_hull_unbounded:
oper
a
te
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
S
v
en
V
e
rdoolaege
add isl_basic_set
_
list
_
union
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
S
ven Verdoolaege
i
s
l
_
c
onvex
_
hul
l
.
c
:
uset_convex_hul
l
_unbounded: ad
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
Sven Verdoolaege
mark isl
_
set_d
i
m_is_un
i
qu
e
as
d
epreca
t
ed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
Sven Verdo
o
lae
g
e
mark i
s
l
_set_recession_cone
as d
e
precate
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
Sven Verdoo
l
ae
g
e
m
a
r
k isl_basic_
s
et_list_produc
t
as
deprecate
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
Sven Verdoolaege
mark i
s
l_space_compatible as
depre
c
a
t
ed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
Sven
V
erdoo
l
aege
isl_space_comp
a
tible
:
ext
r
act out
isl_space_compatible_inter
n
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
S
ven
V
erdool
a
ege
m
ark isl_basic_map_fro
m
_b
a
s
ic_set as
d
epre
c
ated
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
S
ven
Verdoolaege
isl_b
a
sic_map
_
from_basic_set:
e
xt
r
act out i
n
ternal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
Sven Verdool
a
ege
is
l
_ba
s
i
c_map_intersect
_
range:
a
v
o
id call t
o
isl_basic_map
_
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
S
v
en Verdo
o
laege
b
a
si
c
_s
e
t_m
a
x
i
mal_difference_at
:
u
s
e isl_basic_map_ran
g
e_pr
o
du
c
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
Sven V
e
r
d
o
olaege
mark
i
s
l_map_from_
s
et as
d
epr
e
c
ated
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
Sven Verdoola
e
ge
d
e
precate is
l
_
s
e
t
_
al
i
gn
_
divs
a
n
d is
l
_map
_
align_div
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
S
v
e
n Verdoola
e
ge
expl
i
citly mark isl_basic_
s
et_drop
_
constra
i
nt
as d
e
precat
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
S
ven
V
e
rdo
o
l
a
ege
isl_co
n
vex_hull
.
c: col
l
ect_ba
s
ic_maps:
fix return type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
Sven
Verdoolaege
isl_
b
asic_m
a
p_expand_divs: fi
x
typ
e
of
a
rgument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
Sven Verdoolaege
is
l
_basi
c
_map_set_rational: f
i
x
t
ype of
a
rgumen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
Sven Verdoolaege
isl_d
i
m
_map
.
h: add missi
n
g
i
nclu
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
S
ven Verdoolaege
doc:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
Sven Verdoolaege
isl_vertices
.
c: fix
typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
Sven Verdo
o
laege
is
l
_
t
ransitive_clos
u
r
e
.
c
: fix t
y
po in com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
Sv
e
n
Verdo
o
la
e
ge
i
s
l_map_simplify
.
c
:
fix typo in com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
Sven Ve
r
doo
l
aege
isl_map
.
c: fix typ
o
s
i
n c
o
m
m
ent
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
Sve
n
Verdoolaege
isl_e
q
uali
t
ies
.
c: fix typo in com
m
e
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
Sven Ve
r
doolae
g
e
isl_t
a
b_pip
.
c: fix typos
i
n
comm
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
Sven Verdo
o
laege
isl_tab_pip
.
c: add back line to s
o
l_pma_add documentat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
Sven Ver
d
oolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2016-11-11
Sven Verdoolae
g
e
isl
_
a
f
f
.
c: ve
c
_
r
e
order:
a
void NULL pointer dereference
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-09
S
ven Verdoolaege
is
l
_as
t
_build_
e
x
p
r_from_pw_aff: do no
t
inclu
d
e ration
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-02
S
ve
n
Verdoolae
g
e
i
sl_tab_pip
.
c: set_from_
a
f
f
i
n
e
_matri
x
: check that
z
e
r
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-02
S
ve
n
Ver
d
oolaege
isl_tab_pip
.
c: basic_map_partial_lexopt_ba
s
e_sol: put
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-02
Sven Verdoolaege
add is
l
_basic_
s
et
_
so
r
t
_
divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-02
Sven Verdoolaege
extrac
t
o
u
t shared set_from_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-02
Sven Verdoolae
g
e
extract
ou
t
s
h
ared set_to_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-02
Sve
n
Verdoolaege
e
x
tract out
s
h
a
re
d
bset_from_bmap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-02
Sve
n
Verd
o
olae
g
e
extract
out sh
a
red
b
set_
t
o_bmap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-02
Sven Verdoolaeg
e
M
e
r
g
e branch
'
m
aint'
commit
|
commitdiff
|
tree
2016-11-02
S
ven Ver
d
o
o
laege
isl
_
map_convex_hull: use consistent
space when lineali
t
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-02
Sv
e
n Ver
d
oolaege
is
l
_basic_set_compute_v
e
r
tic
e
s: drop
vertices with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-02
S
v
e
n
Verdoolaege
isl_vertic
e
s
.
c:
a
dd_vertex: return isl_bool
indic
a
t
i
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-02
Sven Verdoolaege
isl_vertices
.
c: can_interse
c
t:
r
etu
r
n isl_boo
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
S
ven Verdoolaeg
e
export
isl_schedule_const
r
aint
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
add isl_schedule_con
s
tr
a
ints_read_
f
rom_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sve
n
Verdoolaege
add isl_sch
e
dule appli
c
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
a
dd isl_
s
c
h
edule_constraints_read_from_f
i
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sv
e
n Verdoolaege
declare
i
sl_
s
t
re
a
m
_read_uni
o
n
_
s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sve
n
Verdoolae
g
e
add isl_printer_print_schedule
_
const
r
aints
a
n
d
isl_schedule_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolae
g
e
isl_sche
d
ule_constraints_dump:
use YAML
facilities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
S
v
en Verdo
o
laege
isl_schedule
_
constraint
s
_on_
d
omain: extract out isl_s
c
hedule
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven
V
erdoolaege
isl_
s
ch
e
dule_constrai
n
ts_on_domain: e
x
tract out isl_sche
d
u
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
S
ven Verd
o
ol
a
ege
is
l
_schedule_constrai
n
ts
.
c
: extract
out share
d
isl_sched
u
le_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
S
ven Ve
r
dool
a
ege
split off isl_sch
e
d
u
l
e_
c
onstra
i
n
ts code from scheduler
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven
Verdoola
e
ge
isl_scheduler
.
c: compute_max_ro
w
: use isl_s
c
hedule_constrain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
isl
_
scheduler
.
c: extr
a
ct
out sha
r
e
d
i
sl_sch
e
dule
_
constraints_ad
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
S
ven Ve
r
doolaege
isl_sche
d
uler
.
c
: graph
_
init:
use i
s
l
_sch
e
d
u
le_constraints_get
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven V
e
rdoolaege
isl
_
scheduler
.
c
:
extract out shared isl
_
sch
e
dule_constraints_get
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven Ve
r
d
o
olaege
i
sl_scheduler
.
c:
e
xtract out isl_
s
chedule_constraints_n_basi
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
S
v
e
n Verdoolaege
isl_sch
e
duler
.
c: compute_max_row:
return isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolae
g
e
isl
_
s
c
he
d
u
l
e
r
.
c:
i
sl_schedule_
c
onst
r
ain
t
s_n_ma
p
:
drop
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven
V
er
d
oolaege
isl_scheduler
.
c:
g
ra
p
h_init: use isl_schedu
l
e_constraints_ge
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven
Ver
d
o
o
laege
add
isl_schedule_c
o
n
s
traints_get
_
c
o
ntext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven Ver
d
o
o
la
e
ge
doc: clarify th
a
t isl_codegen can
also (primarily)
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven Ver
d
oolaege
doc: clar
i
fy th
a
t o
n
l
y polytope/polyhedron inpu
t
s
m
ay
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
S
v
en
Verdoolaege
i
sl_
m
ap_from_pw_multi_aff: pres
e
rve
rational f
l
ag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sve
n
Ve
r
doolaege
add isl_{set,
m
ap}_is_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
ad
d
is
l
_
b
a
sic_map_from_multi
_
aff2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sv
e
n
V
erdoolaege
isl_b
a
sic_map_range_
p
roduc
t
: preserve rational
fl
a
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sve
n
Verdoo
l
aege
i
s
l
_coalesce
.
c: fuse: m
a
rk resu
l
t as rational b
e
fo
r
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
configu
r
e
.
ac: fix d
e
scri
p
tion of SETLANGD
E
FAULTS_
T
AKES_5
_
ARG
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolae
g
e
c
o
nf
i
gure
.
ac:
improve detection of 5
-
argument setLangDefaults
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdool
a
ege
interfac
e
/extract_in
t
erfa
c
e
.
cc:
c
he
c
k for
p
resen
c
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-08-12
Sven Verdoolaege
isl_m
a
p_coa
l
es
c
e: only
t
i
ghten non-redu
n
dant cons
t
r
a
ints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-22
Sv
e
n Verdoolaege
M
e
rge
b
ranch
'
maint
'
commit
|
commitdiff
|
tree
2016-07-22
Sv
e
n Verdoolaege
is
l
_basi
c
_map_offset: handle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-22
S
ve
n
V
e
r
d
oolaege
i
s
l_basic_map_offs
e
t
: ren
a
me "dim"
v
ar
i
able to "spac
e
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-21
S
v
en Verdoolaege
i
n
terface/
e
xtract_interface
.
cc: a
d
d missing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdo
o
laege
doc: mi
n
or clarifi
c
atio
n
of anchored
su
b
t
r
ees
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven V
e
rdoolaege
isl_tab_pip
.
c: fi
x
typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
i
s
l
_
set_min_val: fix h
a
n
d
ling of input with
e
m
pty basic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
isl_*
_
pa
r
tial_lex{mi
n
,max}_pw_multi
_
aff:
r
emove
e
xis
t
entials
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
isl_*
_
partial
_
l
e
x{min,max}_pw_multi_aff
:
fi
x
ha
n
dling
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
add isl_basic_se
t
_fi
r
st_unknown_di
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
is
l
_tab_pip
.
c: isl_
c
ontext_op
.
add_div
:
gene
r
alize to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
S
ven Verdo
o
laeg
e
isl_tab_
a
d
d_div: ex
t
ract out is
l
_
tab
_
insert_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next