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
AST generator: detect partial executed relations that become empty
2014-02-10
Sven Ver
d
oo
l
aege
isl
_
map_p
r
eimage_
m
ulti_pw_aff: s
p
e
c
ial case universe
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-10
Sven Verdoola
e
g
e
add isl_multi_*_in
v
olves_
d
ims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-10
Sven
V
er
d
oola
e
ge
add isl_mu
l
t
i
_a
f
f_
f
l
a
tt
e
n_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-10
Sven Verd
o
olaege
ad
d
is
l
_local_
s
pac
e
_
f
l
att
e
n_{domain,range}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-10
S
ven Verdoolaege
d
oc: move i
s
l_local_sp
a
c
e operations to unary
/
bina
r
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-10
Sven V
e
r
d
oo
l
aege
add isl_spa
c
e_domain_factor_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-10
Sven Verdoolaege
add isl_map
_
domain_is_w
r
a
p
ping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sven Ver
d
o
olaege
add isl_space_domain_is_wra
p
pin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sv
e
n V
e
r
doolaeg
e
d
o
c: move isl_space
w
rappi
n
g operat
i
ons
to unary/binary
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
S
v
e
n
Verdoolaeg
e
doc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sve
n
Verdoolae
g
e
user
.
pod: fix internal l
i
nks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdoolaege
document isl_map_fro
m
_{domain,
r
ange}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sven
V
erdoolaege
add i
s
l_ma
p
_orde
r
_
le and isl
_
map_ord
e
r_ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sv
e
n Ve
r
doolaege
add i
s
l_
*
_to_*_drop
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
S
ve
n
Verd
o
olaege
add isl_val_negone
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sven
V
erdoolaege
isl_multi_
t
empl
.
c: fix documentatio
n
of isl_m
u
lti
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verd
o
olaege
update for rename of getResultType to g
e
tReturnType
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdo
o
laege
update for
re
n
a
m
e
o
f
F
unctionPr
o
toType accessors from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sve
n
Verdoola
e
ge
config
u
r
e
.
ac: add
l
lvm-config --system-lib
s
to CLANG_LIBS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-28
Sven V
e
rd
o
olaege
isl_af
f
_set_coefficient_si: fix
out-of-bounds check
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-12
Sve
n
Ver
d
oolaege
isl
0
.
12
.
2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-11
Sv
e
n V
e
rdool
a
ege
doc
:
fix leftover from isl_dim to
i
sl_space rename
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-08
Sven Ver
d
ool
a
ege
M
e
rge branc
h
'mai
n
t'
commit
|
commitdiff
|
tree
2014-01-06
Andreas K
l
oeckne
r
A
d
d is
l
_s
c
h
e
d
ule
_
c
onstraint
s
_copy
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
And
r
e
as Kloeckner
Add __isl_take to is
l
_constra
i
nt_set_c
o
e
f
ficient_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-30
Sven Verdoola
e
ge
isl_basic_
m
ap_
s
implify: fix elimination of unit coefficient
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-23
Sv
e
n Verdoolae
g
e
isl_a
s
t_n
o
de
_
prin
t
:
a
v
oi
d
d
a
ngl
i
ng else
w
ar
n
ings on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-23
Sven Verdool
a
ege
.
g
i
tignore:
add test-dr
i
ver
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-23
Sven Ver
d
o
ol
a
ege
AX_DET
E
CT_GIT_HEAD:
d
etect git
v
e
r
s
ion with newer v
e
rs
i
ons
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-22
Sven
V
erdoolaege
Merge
b
ranch
'
maint'
commit
|
commitdiff
|
tree
2013-12-22
Sven Verdoolaeg
e
a
l
low
t
he user to im
p
ose a bound
o
n the number of
l
ow
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-19
Sven
V
e
rdool
a
e
g
e
isl_space_drop_d
i
ms:
take into
account overflo
w
when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-17
Sven
V
e
rdoola
e
g
e
Makefile
.
am: avoid us
e
of INCLUDES variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-04
Sv
e
n Verd
o
olae
g
e
isl_pw_*_pullback_pw_multi_aff: properl
y
handle emp
t
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-04
Sven Verdoolaege
isl_uni
o
n_*_align_para
m
s: handle inpu
t
s that are not
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-04
S
v
en Verdool
a
ege
isl_basic
_
set_from_po
i
nt: handle
N
ULL
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-04
T
o
bias Gros
s
er
is
l
_union_*_mul_isl_int: pass address
of
isl_int to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-04
Sven Verdoolaege
isl_hash_table
_
f
ind: don't use user specifie
d
c
omparison
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-04
S
ven Verdoolaege
isl_set_mi
n
_val: compute minimum of
minima
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-20
Sven Verdoolaege
is
l
_ma
p
_is_disjoi
n
t
: maps with non-mat
c
hing t
u
ples
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-18
Sven
V
erdoolaege
add isl_a
f
f_s
e
t_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-18
Sve
n
Ve
r
doolaege
add isl_local_space_set_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-18
S
v
e
n
Ver
d
oolaeg
e
add isl
_
basic_set_set_tu
p
le_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-18
Sven Verdo
o
l
aege
M
erge br
a
n
c
h 'mai
n
t'
commit
|
commitdiff
|
tree
2013-10-18
S
ven Verdoola
e
ge
py
t
hon interface: also
c
onvert first arg
u
ment to correct
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-18
S
v
e
n
Verdoolaege
i
s
l
_*_list_add
:
d
o n
o
t
mo
d
ify l
i
sts
in-place
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdool
a
ege
i
s
l_schedule_constrain
t
s: split proximity
c
o
nstr
a
int
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verd
o
olaege
isl_schedule_constra
i
nts
:
add supp
o
r
t
for conditional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdool
a
ege
i
s
l
_
s
chedule
.
c: extract_edge: look fo
r
m
atching ed
g
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdoolaege
isl_sche
d
ule
.
c: extract out edg
e
_multip
l
icity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
is
l
_sche
d
ule
.
c: extract out
merge_edge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verd
o
o
l
a
ege
isl_s
c
hedule
.
c: ext
r
act ou
t
reset_ban
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
laege
isl_schedule
.
c: extract out e
x
tract_sched
u
le
_
row
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoo
l
a
ege
introduce
ne
w
schedule API
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
isl_ast_
b
uild_access_f
r
om_multi_pw_af
f
: tr
e
at nested
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n
V
erdo
o
l
a
eg
e
isl_as
t
_build_expr
.
c: extract out
isl_ast_build_with_arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Ve
r
d
oolaege
add isl_ast_o
p
_member
type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoola
e
ge
i
s
l_sched
u
le
.
c:
f
ix typ
o
in comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
er
d
oolaege
isl_
m
a
t
.
c: fi
x
typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Tobias G
r
osser
F
i
x
typo in
h
e
ad
e
r guard
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
o
olaege
isl_ast_buil
d
_exp
r
.
c: ext
r
act_modulo: co
n
sider additional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoo
l
aege
isl_
a
st_build_e
x
pr
.
c: extract_modu
l
o
:
e
x
t
ract construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdool
a
ege
isl_ast_build_e
x
pr
.
c
: extract_modulos: postpone modification
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoolaege
isl_a
s
t_build_expr
.
c: extract_modulos:
s
tore in
t
ermedi
a
te
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
isl_
a
st_build_expr
.
c: extra
c
t_modulo: a
s
sume
i
nput
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
doolaege
Mer
g
e
branch
'
maint'
commit
|
commitdiff
|
tree
2013-08-26
Sve
n
Verdoolae
g
e
isl_uni
o
n
_
set_compute_sched
u
le: fix
chec
k
f
o
r pr
o
gress
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-16
Sven Verdoolaege
export i
s
l
_
as
t
_expr_set_op_arg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolae
g
e
a
dd isl_mult
i
_*_
r
a
n
ge_f
a
ctor_{domain,
r
ange}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
S
ven Ve
r
d
o
olaege
add is
l
_map_range_f
a
ctor_{d
o
main,range
}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sv
e
n Verdool
a
ege
ad
d
isl_space_
r
ange_factor_{domain,range}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sv
e
n Verdoolaege
add
isl_multi_*_r
a
nge_is_wr
a
pping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sv
e
n Ver
d
oolaege
add i
s
l_map_range_
i
s_wrapping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
S
ve
n
Verdoolaege
add isl_space_is_w
r
apping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verd
o
olaeg
e
doc: document isl
_
space*product functi
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven
V
er
d
oolaege
add isl
_
mult
i
_*_re
s
et
_
user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
doc: lis
t
isl_
m
ulti_*
_
r
e
set_tuple_id as function modifying
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Ve
r
dool
a
ege
add isl_
s
et_r
e
set_user and isl_m
a
p_reset_user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
add
isl_spac
e
_reset_user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
ISL_ARG_GRO
U
P: allow specific
a
t
i
on
of long
n
ame/prefix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
isl_args
_
parse: allow multip
l
e prefixes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sve
n
Verdo
o
lae
g
e
isl_arg
.
c:
p
r
i
nt_arg_help: print "no-
"
on defaul
t
-set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-06
Sv
e
n Ve
r
doolae
g
e
Merg
e
b
r
anch 'maint'
commit
|
commitdiff
|
tree
2013-08-06
Ray Donnelly
MinGW-w64 build
f
i
x
(lacks ffs declarati
o
n)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-06
Sven
V
erdoola
e
ge
isl_ast_build_ast_from_s
c
hed
u
l
e
: improv
e
h
andling
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-05
S
v
en
Verdoolaeg
e
isl_ct
x
.
c: find_nested_options: properly h
a
ndle arg
u
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
Sven Verd
o
olaege
isl_union_map_params:
plug memory leak in ca
s
e
o
f
empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaege
add
isl_
i
d_t
o
_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
laege
add isl_ast_expr_substitute_ids
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
e
x
t
ract out isl/ast_type
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
add
i
sl_as
t
_expr_acc
e
ss
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
dool
a
e
g
e
add isl
_
ast_build_{ac
c
e
s
s,
c
all}_from_m
u
l
ti_pw_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add
isl_as
t
_build_access_from_p
w
_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doo
l
aege
add isl_id_to_ast_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add isl_a
s
t_expr_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolae
g
e
add isl
_
id_get_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdool
a
ege
generalize a
n
d ex
p
ort
i
s
l_m
a
p_t
o
_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaeg
e
a
dd
isl
_
map_to_basic_set_
d
ump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
e
n
Ver
d
o
o
laege
isl
_
map_to_basic
_
set
:
add referen
c
e
c
ounti
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoola
e
ge
a
d
d
i
sl_map_to_basic_
s
e
t_foreac
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next