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_schedule.c: simplify computation of number of constraints
2012-05-06
Sven Verdoolae
g
e
isl
_
schedu
l
e
.
c: simp
l
ify computa
t
i
o
n of
n
umber of constrain
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Verdoo
l
aege
isl_schedule
.
c:
f
ix
t
ypos in co
m
ments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ve
r
doolaege
add isl_basic_map_is_singl
e
_va
l
ue
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Verdoolaege
a
dd
isl_basi
c
_ma
p
_
equa
t
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en
V
er
d
oolaege
ad
d
isl
_
basic_se
t
_ge
t
_dim
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
Verdoolae
g
e
ad
d
isl_
p
rinter_get_output_form
a
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ve
r
d
ool
a
ege
a
d
d isl
_
l
o
ca
l
_
space_ha
s
_
dim
_
name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdool
a
ege
add
i
sl_constraint_get_lo
c
a
l
_sp
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdo
o
l
aege
add isl
_
const
r
aint_is_
{
lower,upper}_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdo
o
l
a
ege
add isl_basic
_
se
t
_
n_con
s
traint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
doc
:
docume
n
t isl_basic_set_foreach_constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoo
l
aege
add isl_se
t
_has_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Verdo
o
laege
add isl_space_has_t
u
ple
_
name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdo
o
lae
g
e
isl_aff_private
.
h: add
mi
s
sing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
V
e
rdoolaeg
e
add isl_seq_
d
ump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add isl_printer_get_fil
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdo
o
l
a
ege
a
d
d isl_union_map_cu
r
ry
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoola
e
ge
isl_s
p
ace
.
c
: avoi
d
use of "0
"
a
s poi
n
ter value
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdo
o
laege
a
dd isl_map
_
order_gt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add
i
sl_ma
p
_from_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n V
e
r
d
oola
e
ge
isl_a
r
gs_parse: optionally
ignore --help
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verd
o
olaege
mo
v
e generic part of i
s
l_un
i
o
n
_pw_qpolynom
i
al_
m
ul to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Verdoolaege
add is
l
_union_
p
w_m
u
lti_aff_flat_range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ver
d
o
o
l
a
ege
isl_pw
_
*_on_shar
e
d_domain: allow
spe
c
ification of target
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ver
d
oolaege
a
dd isl_u
n
i
on_map_fr
o
m_union_p
w
_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Verdoola
e
ge
isl_aff
.
c: fix typ
o
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en V
e
r
doolaege
a
dd isl_unio
n
_pw_multi_aff_fro
m
_domai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ve
r
doolaege
add isl
_
unio
n
_
p
w_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven V
e
r
d
oolaeg
e
i
sl_
u
nion_pw_*: don
'
t assume zero
i
s
the d
e
fault value
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ver
d
oolaege
add isl_pw_multi
_
aff_from_multi_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
ven V
e
r
d
oo
l
aeg
e
expo
r
t isl_mu
l
t
i
_aff_set_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Verdoolaege
a
dd isl_multi_aff_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add
i
sl_map_from_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
isl_basic_set_parameter_compression: use isl_vec_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Verdoolaege
is
l
_flow
.
c:
use
public isl_vec interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaeg
e
a
dd isl_vec
_
set_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
ven Verdoolae
g
e
add isl_vec
_
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven V
e
rd
o
olaege
add public isl_ve
c
int
e
rface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaeg
e
add is
l
_
seq_set_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdool
a
ege
isl_union_pw
_
*_fr
e
e:
re
t
urn
NUL
L
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Verdoolaege
spl
i
t off de
c
larat
i
ons of
i
s
l_uni
o
n_map and isl_u
n
ion_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verd
o
olaege
isl_access_info: cha
n
ge int
e
rfa
c
e
f
o
r
specif
y
ing re
s
tri
c
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Ver
d
o
o
laege
isl_map_coalesce: onl
y
co
a
lesc
e
pairs of b
a
sic
ma
p
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaege
isl_coalesce
.
c: chan
g
e interface
o
f
{in,}eq_
s
tatus
_
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
S
ven Verdoola
e
ge
add isl_map_sort_div
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sve
n
Ve
r
doolaeg
e
a
d
d isl_set_coalesc
e
test case
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdo
o
la
e
ge
add isl_
b
asic_map_get_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaege
isl_m
e
rge_
d
i
vs: handle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sve
n
V
erd
o
o
l
aege
Merge
b
ranch 'maint'
commit
|
commitdiff
|
tree
2012-04-18
S
v
en
Verdool
a
ege
i
s
l_local_spa
c
e
_a
l
lo
c
_d
i
v
: fi
x
error h
a
ndling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaege
i
sl_union_set_comp
u
t
e
_schedule: ignore backw
a
rd proximity
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdoolaeg
e
i
s
l
_ba
s
ic_map_insert: preserve emptiness
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
S
v
en Verdoolaege
isl_basic
_
set_total_dim:
h
a
ndle NULL inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verd
o
olaege
isl_term_get_div: support nested divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
S
v
e
n
Ve
r
do
o
laege
isl_term_
g
et
_
div: normali
z
e
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sv
e
n Verdoolaege
isl_acces
s
_info_compute_flow: so
r
t accesses in textual
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sve
n
Verdoolaege
i
sl_fl
o
w
.
c: access_sort_c
m
p:
use isl_quicksort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sv
e
n Verd
o
o
laege
isl_qsort
.
h:
fix whitespace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sv
e
n Verdool
a
e
g
e
isl_map_co
a
le
s
ce:
o
ptionally
b
ound the
c
o
ef
f
icients
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven
V
erdoolaege
a
dd i
s
l
_se
q
_abs_max
commit
|
commitdiff
|
tree
2012-04-13
Sven
V
erdo
o
laege
Merg
e
branch 'maint'
commit
|
commitdiff
|
tree
2012-04-13
Sven Verd
o
olaege
isl_
m
ap_coal
e
sce: d
o
n't try to
r
e
l
a
x (implicit) equ
a
liti
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdoolaege
i
sl_tab_r
e
lax: prevent
relaxation on dead
o
r
r
ed
u
ndant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-11
Sven Verdoo
l
aege
isl_bas
i
c_map
_
unio
n
: plug m
e
mor
y
lea
k
on erro
r
path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
Sven Verdoolaege
isl_stream
_
r
ead_
m
ap: all
o
w "not" at start of
gr
o
uped
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
Sven
V
e
r
doolaeg
e
isl_te
s
t: test_parse_map_
e
qual: return result of test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
Sve
n
V
erdoo
l
aege
M
e
rge branch
'
mai
n
t'
commit
|
commitdiff
|
tree
2012-04-07
Sve
n
Ve
r
doola
e
g
e
isl_pw_
*
_
o
n_s
h
ared_do
m
ain: improve erro
r
han
d
ling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
S
ve
n
Verdoolaege
l
i
nk
in ne
w
-lclangEdit when availab
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-16
Sven V
e
r
d
oolaege
isl_*allo
c
macro
s
: return exp
r
e
ssion of des
i
r
ed
type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sven Ve
r
d
o
o
l
aege
a
dd isl_ma
p
_
fixed_pow
e
r and isl_
u
nion_m
a
p_f
i
xed_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verd
o
olaege
isl
_
token: chang
e
type of "type" field from enum isl_toke
n
_
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
Merg
e
branch '
m
aint
'
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verdoolaege
isl_union_map_i
s
_
subset: proper
l
y handle non-ob
v
iousl
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdool
a
e
ge
isl_pw_
a
ff_co
n
d
:
change fi
r
st ar
g
u
ment
fro
m
an isl_
s
et
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
ven
Verdoolaege
add isl_set_{l
o
wer,
u
ppe
r
}_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
add
i
sl_pw_aff_n_piece
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sven Verdoolaeg
e
a
d
d
i
sl_set_indic
a
tor_
f
unction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sven Ve
r
doolaeg
e
isl
_
basic_map_affine_
h
ull: consider poin
t
s
adjac
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sven Verdo
o
laeg
e
ad
d
is
l
_
se
t
_h
a
s_d
i
m_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sve
n
Verdoolaege
do
c
:
min
o
r clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sven Verd
o
olaege
add is
l
_space
_
has_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-25
Sven Ve
r
d
oolaege
c
o
nf
i
gure
.
ac: remo
v
e s
p
uri
o
us ","
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven Verdoolaeg
e
d
oc: fix
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven
V
erdoolaege
isl_ba
s
i
c_set_
s
ample:
p
erform basis
r
eduction
at each
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven Verdoolaege
a
dd
isl_basi
c
_set_is_subset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sve
n
Verdoolae
g
e
expor
t
isl_basic_map_is_
s
u
b
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sv
e
n Verd
o
o
l
aege
add isl_basic_set_s
a
mple
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven
Verdoolaege
do
c
: document *_sample functio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-23
Sven Ver
d
oolaege
Merge branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2012-02-23
Sv
e
n
V
erd
o
olae
g
e
isl_coalesce
.
c: wrap_i
n
_facets: b
a
i
l
out if any
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-23
Sven Verd
o
o
laege
isl
_
test: t
e
st_coale
s
c
e_se
t
: fail if coal
e
scing failed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-21
S
v
e
n Ver
d
oolaege
export
i
sl_ma
p
_pla
i
n
_
i
s_singl
e
_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-21
Sven V
e
rdoolaege
isl_
t
ab_basi
c
_m
a
p
_
partial_le
x
opt
:
pro
p
erly normalize
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-20
Sven Verdoolaege
add
isl_
m
ap_compleme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
S
ven
V
erdoolaege
isl_m
a
p_fix_
s
i: drop basic maps that h
a
v
e
become empty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven
Verdoo
l
a
e
ge
isl_map
.
c:
e
xtract
o
ut co
m
mon re
m
ove_if_emp
t
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdo
o
la
e
ge
isl_map
_
c
oa
l
esce:
drop emp
t
y parts before chec
k
in
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
S
v
en
V
erdoolaege
Merge b
r
anch 'mai
n
t'
commit
|
commitdiff
|
tree
2012-02-14
Sven V
e
rdoo
l
aege
is
l
_convex_hull
.
c:
u
set_c
o
nvex_hull_wrap_bou
n
de
d
:
r
emove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
