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
add isl_union_pw_*_dim
2014-11-20
Sven Verdoolaege
a
d
d isl_union
_
pw_*_d
i
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolae
g
e
add isl_union_set_di
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
r
doolae
g
e
a
d
d
isl_unio
n
_
p
w_multi_aff_multi
_
val_
o
n_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoolaege
add
isl_pw_
m
u
lti_aff_multi_
v
al_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoolaege
add
isl_mult
i
_aff_multi_val
_
on_
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolae
g
e
add is
l
_
pw_aff_v
a
l_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erd
o
ol
a
ege
ad
d
isl_union_*_scale_
d
own_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doolaege
ge
n
eralize
i
sl_pw_aff_
s
cal
e
_
d
own_val to isl_{mult
i
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Ve
r
d
o
ol
a
e
ge
add is
l
_qpol
y
nomial_fold
_
scale_dow
n
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
e
rdoolaeg
e
a
dd is
l
_qpolyn
o
mial
_
scale_
d
own_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add is
l
_val
_
in
v
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoolaege
Merge b
r
anch 'main
t
'
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
is
l
_basic_map_gi
s
t
: avoi
d
m
odifying input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-19
Sven Verdoolaege
add
i
sl_local_space_is_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-19
Sven Verdoola
e
ge
i
s
l_union_pw_multi_aff_add: compute su
m
o
n
shared d
e
fi
n
i
t
io
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ve
r
doolae
g
e
decla
r
e
isl_union_pw_
q
polynomial_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare is
l
_union_p
w
_m
u
lti_af
f
_i
n
tersect_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
de
c
l
are isl_union_pw_
m
ulti_aff_gist_p
a
rams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdool
a
ege
de
c
l
a
r
e
i
s
l
_
u
nion_pw
_
multi_a
f
f_
c
oale
s
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
erdoolaege
declare isl_union_pw_multi_aff_scale_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
ven Verdoola
e
g
e
d
eclare isl_uni
o
n
_pw_multi_aff_plain_is
_
equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven V
e
rdoolaege
declare is
l
_
u
nion_pw_m
u
lti_aff_
g
ist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
ve
n
Verdoolaege
declare isl_uni
o
n_p
w
_multi_aff_extract_pw_mu
l
ti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdoolaege
declare isl_union_pw_multi_a
f
f_from_pw_mult
i
_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ver
d
oolaege
declare
isl_pw_multi_aff_
r
eset_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ve
r
doolaege
declare
isl
_
multi_*_flatten_rang
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verd
o
olaeg
e
declare isl_multi_aff
_
mov
e
_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare isl_union_
m
ap_to_
s
t
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
de
c
lare isl_unio
n
_set_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en Verdoolaege
d
e
c
lare isl_multi_aff_t
o
_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declar
e
isl_map_
t
o_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
V
erd
o
olaege
declare isl_s
p
ace
_
to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en Verdoolaege
doc: e
x
plain us
e
of me
m
o
ry management annotati
o
n on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-28
S
v
e
n
Ver
d
oo
l
aege
doc: docum
e
nt *_to
_
str functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-28
Sve
n
Verdoolaege
doc: gr
o
u
p
function
types and operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
d
oc:
group dimensio
n
a
n
d tu
p
le
i
d
e
ntifier fu
n
ctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verd
o
olaege
doc: move
i
sl_space operatio
n
s to una
r
y/
b
inary op
e
rations
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
isl_uni
o
n_pw_*_extra
c
t
:
i
g
nor
e
pa
r
ame
t
ers i
n
space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
only
all
o
w a si
n
g
l
e isl_pw_* object w
i
th giv
e
n domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
isl_un
i
on_pw_*_extrac
t
_*: rename "dim
"
variable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdool
a
ege
i
s
l_
u
nion_p
w
_*: rename "d
i
m
"
fie
l
d to
"space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
isl_
a
st_e
x
pr_from_
c
onstraint: de
t
e
ct s
t
ride co
n
strain
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven V
e
rdoo
l
a
ege
ad
d
i
s
l_as
t
_op_zdiv_r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verd
o
olaege
add isl_
a
ff_coefficient_sgn
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven
V
erdoola
e
ge
add isl_val_abs_eq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven
V
erdool
a
ege
mark isl_spa
c
e_tuple_match as deprecated
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-25
Sven
V
erd
o
o
lae
g
e
isl 0
.
14
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdoolaege
update
AUT
H
O
R
S
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-13
Sve
n
van Haa
s
t
r
e
g
t
doc: fix
t
y
pos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-13
Sven
Ve
r
doolaege
Merge branch 'ma
i
n
t
'
commit
|
commitdiff
|
tree
2014-10-13
S
ven Ve
r
d
oolaege
i
sl_map_convex_hull: de
t
ect equalities before che
c
king
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven Ver
d
oolaege
isl_schedu
l
e_constraints_compute
_
schedule: allow partial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven Ve
r
doolaege
add is
l
_
m
ap_n_b
a
si
c
_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoolaeg
e
split sch
e
duler code from schedule object
code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoolae
g
e
m
ake isl_af
f
_
private
.
h more se
l
f
-c
o
n
tained
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven V
e
rd
o
ola
e
ge
d
oc: fix t
y
pos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven
Verd
o
o
laege
docume
n
t isl_s
e
t_is_singleton
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ver
d
oolaege
doc: update isl_
*
_list
doc
u
mentation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sve
n
Verdoolaege
doc: clean up
isl_val documentation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
isl_schedule_cons
t
raints_
c
om
p
ute_schedule: compress
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
isl
_
sched_node: r
e
name
"
d
im" fi
e
ld to
"spac
e
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verd
o
o
l
aege
add
isl_morph_get_var_multi_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
S
v
en Verdoolae
g
e
add isl
_
m
orph_g
e
t
_
dom_s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
erdool
a
eg
e
add isl_morp
h
_get_c
t
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdool
a
e
g
e
privately export isl_aff_alloc_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
a
dd isl_mat_is_sc
a
led_ide
n
tity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verd
o
ola
e
ge
a
dd isl_
m
at_get_ro
w
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
isl_basic_{set,map}_h
a
s_defin
i
ng_equality: allow
p
assing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven van Haa
s
t
r
e
gt
add ast_always_prin
t
_blo
c
k option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-28
Sven Verdoola
e
ge
d
ocument isl_space_tuple
_
match a
s
is
l
_sp
a
ce_tuple_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-27
Sve
n
Verdo
o
laege
isl_m
a
p_pla
i
n_
i
s_disj
o
int: check t
u
ple spaces before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-27
Sven Verdoolaege
isl
_
space_tup
l
e_mat
c
h: also ignore parameters in nested
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl_space_
t
upl
e
_m
a
t
ch: rename "dim" vari
a
bles to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n Verdoolaege
isl
_
test
:
tak
e
opt
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven
Verdoolae
g
e
isl_union_*_add_*: perform chec
k
for "zero"
p
art
u
n
c
onditional
l
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven V
e
rdoolaege
isl_union_
*
_add_*: avoid duplicate checks
i
n callers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Ver
d
o
olaege
i
s
l_
u
nion_map_is_single_valued: look at domain spaces
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl_unio
n
_map_is_si
n
gle_v
a
lued
:
extract out sin
g
le_map_is_si
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven
Verdoolaege
isl_un
i
o
n_m
a
p_is
_
single_
v
alued:
a
dd a couple of extra
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolae
g
e
isl_b
a
si
c
_map_output
_
d
e
fining_e
q
uality
:
acc
e
pt divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdo
o
l
a
e
ge
extract o
u
t shar
e
d isl_ba
s
ic_map_output_defining_equality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
Verdoolaege
AST generator:
dro
p
redundant lowe
r
bounds
o
n strided
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
M
e
rg
e
branch 'maint'
commit
|
commitdiff
|
tree
2014-09-22
S
ve
n
Verdoo
l
a
e
ge
isl_pw_*_gist: specia
l
case context equal t
o
single
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
S
v
en Verdoolaege
isl_pw_*_gist: spec
i
al
c
ase uni
v
erse conte
x
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verd
o
olaege
isl_tes
t
: general
i
ze isl_pw_qpol
y
nomial_gist t
e
sts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-19
Sv
e
n
V
erdoolaege
isl_map_simplify
.
c
: drop spu
r
iou
s
se
m
icolon
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-19
Sve
n
Verdoolaege
is
l
_
map_g
i
st: return uni
v
erse on g
i
s
t
with empty
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-19
Sven
V
erdo
o
laege
i
s
l_inpu
t
.
c: basic_map_read: check type of result
r
eturned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven
V
erdoolaege
i
sl_b
a
sic_
m
ap_gist: remove r
e
d
u
nd
a
n
t div co
n
s
t
raints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verd
o
olaege
isl_basi
c
_map_gist: remo
v
e obviou
s
ly r
e
dundant r
e
duced
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verd
o
olaege
isl_bas
i
c
_
m
a
p
_gis
t
: avoid (temporarily) adding context
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoolaege
isl_map_subtr
a
ct: check if inpu
t
s are disjoin
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sv
e
n Verdoolaege
do
c
/SubmittingPatche
s
: mentio
n
that
e
ac
h
mail should
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
J
o
h
a
nnes Doer
f
ert
A
dd
an AST expressi
o
n repre
s
enting the &-o
p
era
t
o
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Johan
n
es D
o
e
r
fert
Add AST expression
b
uilder functi
o
ns for
c
omparisons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sve
n
Verd
o
olae
g
e
doc: fix documen
t
ation of is
l
_
basic_se
t
_{
i
n,}equalities_matrix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
S
v
en Verdo
o
laege
Merge br
a
nch
'mai
n
t'
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoolaege
i
sl_c
o
nvex_h
u
ll
.
c: convex_h
u
ll_pair: add
missing ret
u
rn
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-04
Sven Verdoolaege
isl_map_
{
domain,r
a
nge}_product: rem
o
ve possib
l
e
o
bv
i
ous
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next