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: graph_alloc: accept NULL pointer on zero-size allocation
2013-05-28
Sven Verd
o
o
l
aeg
e
add isl_map_
f
loord
i
v
_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
ad
d
is
l
_set_plain_get_
v
al
_
if_fi
x
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
add
i
s
l
_basic_
m
ap_plai
n
_get_val_if_fix
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rd
o
olaege
add isl_map
_
plain_
g
et
_
val_if_fixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
ol
a
ege
add isl_set_lower_bound_val and isl_set
_
u
pper_bound_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
a
dd isl_
m
a
p
_
fix_val and isl_set_fix
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add
isl_set_min_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
d
d isl_set_max_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoola
e
ge
add
isl_b
a
sic_set_max_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaege
ad
d
isl_basi
c
_set
_
*_lp_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoolaege
add private isl_bas
i
c
_
set_
g
et_
d
i
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoola
e
ge
a
dd isl_pw_
q
polynomial_fix_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
er
d
ool
a
ege
add isl_
p
w_aff_
m
od_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_pw_aff_sc
a
le_down
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
d
oolaege
a
dd
isl_union_pw_*_scale_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaeg
e
add isl_mu
l
ti
_
*_scale_va
l
and isl_pw_
*
_sca
l
e_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
e
r
d
o
ol
a
ege
add
i
sl_qpolynomial_fold_
s
c
ale_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ve
n
Verdoo
l
aege
add isl_qpolynomial_s
c
ale_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
er
d
oo
l
aege
add
i
sl_qpo
l
ynomial_va
l
_o
n
_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaeg
e
a
d
d
isl_qpolynomial
_
get_consta
n
t_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
a
dd
isl_
t
e
r
m_get_co
e
f
f
ic
i
ent_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaege
add i
s
l_a
f
f_m
o
d_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoolaege
a
dd i
s
l_a
f
f_s
c
ale_dow
n
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdo
o
l
a
ege
add i
s
l_aff_scale_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaege
add isl_aff_get_denominator_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
add isl_aff
_
get_coefficien
t
_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
do
o
laege
add isl_aff_get_constant_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoo
l
aege
add isl_a
f
f_
a
dd_coeffici
e
nt_
v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
e
n Ver
d
oolaeg
e
add
isl
_
aff_add_co
n
stan
t
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n
Verd
o
olaege
add
i
sl_aff_se
t
_coeffi
c
ien
t
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n
V
erd
o
olaege
add isl_
a
ff_set_
c
onstant_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
o
o
l
a
ege
add
i
sl_constraint_get_coeffic
i
ent_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_constraint_get_constan
t
_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoo
l
aege
add is
l
_constrain
t
_s
e
t_coef
f
icient_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_cons
t
r
aint_se
t
_constant_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
d
d isl_p
o
int_get_coordinate_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Ve
r
doolaege
ad
d
isl_poin
t
_set_coord
i
n
ate_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
ad
d
isl_mat_get_element_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add i
s
l_mat_set_element_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
a
dd isl_vec_set_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoola
e
ge
add isl_
v
ec_get_element_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
add isl_vec_set_element_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaege
add GMP s
p
ecific isl_val function
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoola
e
ge
add
is
l
_multi_val_mod_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven V
e
rdool
a
ege
ad
d
isl_multi_val_add_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdo
o
la
e
g
e
isl_multi_templ
.
c: isl_
m
u
l
t
i_*
_
set_*: ext
r
act out check
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Ve
r
do
o
la
e
ge
add isl_val_
l
ist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
e
n
V
e
r
doo
l
aege
add
isl_val a
b
str
a
c
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
S
v
en
Verdoolaege
add isl_i
n
t_su
b
mu
l
_ui
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoolaege
ad
d
isl_i
n
t_addmul_ui
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven
Verd
o
o
l
aege
add isl_int_mul_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoolaege
ad
d
isl_
i
nt_fits
_
ulong
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdool
a
ege
a
dd isl_int
_
fits_
s
long
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdool
a
e
g
e
remo
v
e isl_int
_
gcdext fr
o
m public isl/int
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoolaege
c
r
e
a
t
e private copy of isl/int
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sve
n
Ve
r
doolaege
Merge branch 'maint
'
commit
|
commitdiff
|
tree
2013-05-24
S
v
en Ve
r
doo
l
aege
is
l
_
u
nion_
s
et_co
m
pute_schedu
l
e: fix che
c
k for progress
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-23
Sven Verd
o
olaege
isl_vertex_get_domain:
r
et
u
r
n
par
a
meter domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-23
Sve
n
Verdoola
e
ge
isl_ast_expr_from_c
o
nstraint: split off c
o
ns
t
an
t
te
r
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-22
S
v
en
Ve
r
doola
e
ge
Merg
e
branch 'maint'
commit
|
commitdiff
|
tree
2013-05-22
Sven Verdoolaege
isl_basic_m
a
p_f
o
reach_lexopt: properly merge partial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-06
Sven
V
erd
o
o
laege
merge shared
i
sl_multi_* declarations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-04
Sven
Verd
o
olaege
declare isl_multi_
*
together with i
s
l
_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-04
S
v
en Verdoolaege
m
ake isl_multi_* file
s
mor
e
se
l
f-contained
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sve
n
V
e
rdoolaege
isl_s
p
ace_private
.
h: protect against multiple inclusions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
Sven Verdoolaege
d
etect missing gmp
.
h or missi
n
g/
o
ld gmp
l
ib
r
ar
y
during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
Sven Verdo
o
laege
isl_ast_codegen
.
c
: add_nodes: use more tran
s
par
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
S
ven Verdoolaege
add is
l
_
basic_m
a
p_o
r
der_gt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
Sven Ver
d
o
o
l
a
ege
bound
.
c: verify_point: use
isl_printer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-28
S
v
en Verdo
o
laege
i
sl_input
.
c: read_factor: declare variabl
e
s at start
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-28
Sven Verdoolaege
Merge
b
ranch 'maint'
commit
|
commitdiff
|
tree
2013-04-23
Sven
V
erdoolaege
i
sl
_
*alloc*: return
NULL if ctx
a
rgument is NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sv
e
n Ve
r
doolaege
isl_space
.
c: add missing i
n
clude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
d
e
c
lar
e
isl_tab_ge
t
_ctx in isl_tab
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdo
o
lae
g
e
d
eclare i
s
l_
*
_list to
g
ethe
r
with
isl_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
ven Verdoolaege
isl_ast_graft
.
c: remove spuriou
s
inc
l
ude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven
V
er
d
oolaege
isl_ast_
c
odegen
.
c: remove dependen
c
e o
n
internals of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdo
o
laege
extra
c
t generic isl_*_list_foreach
_
scc from isl_ast_codegen
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sv
e
n Ver
d
oola
e
ge
isl_map_affine_hull
:
mak
e
stride i
n
formation exp
l
i
c
it
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdool
a
ege
isl_morph
.
c: ext
r
act
o
ut
i
sl_mat_param
e
t
er_compre
s
sion_ex
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven
V
er
d
o
olaege
isl_ast_
b
uild_
g
et_st
r
ide_
c
on
s
trai
n
t: combi
n
e
multiple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolae
g
e
isl_a
s
t_buil
d
.
c: use isl_int_g
c
d
e
xt instea
d
o
f open
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaeg
e
add isl_int_gcde
x
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoo
l
a
ege
i
sl_ast_
b
u
i
ld_ast_from_sc
h
edule: also ad
d
s
t
ride
g
uard
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
isl_a
s
t_build_set_loop
_
bounds
:
compute divs a
f
ter
e
l
iminatin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sv
e
n Verdoo
l
aege
isl_map_simplify
.
c: no
r
ma
l
ize_divs_in_con
t
ext: impr
o
v
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven
Verdoolae
g
e
isl_
a
s
t_build_expr
.
c:
r
em
o
ve lef
t
-
o
ve
r
from ref
a
ctoring
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
isl_ast_codegen
.
c: create_node_scaled: refl
e
ct current
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
ven
Verdoolaege
a
d
d isl_uni
o
n_map_preimage_domain_m
u
lti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdo
o
laege
a
d
d isl_map_preim
a
g
e_dom
a
i
n_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
isl_b
a
s
ic_
m
ap_preimage_multi_
a
ff:
m
icro-r
e
fa
c
toring
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
v
e
n
Verd
o
olaege
isl_m
a
p_s
i
mplify
.
c: div_i
s
_redund
a
nt: ignore coefficients
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven V
e
rdoolaege
gen
e
raliz
e
isl_b
a
si
c
_se
t
_preima
g
e_
m
ulti_
a
ff
t
o isl_ba
s
ic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-19
S
v
en
Verdoola
e
ge
isl_ast_build_ast_from
_
sc
h
edule: also add
s
trid
e
guard
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-19
S
v
e
n
Verdoolaeg
e
i
sl_ast_build_set_loop_bo
u
nds: co
m
pute divs after
el
i
mina
t
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-19
Sv
e
n Verd
o
olaege
isl_map_simplify
.
c: normaliz
e
_divs_in_context: im
p
r
ove
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-16
Sven Verdoolaeg
e
isl_map
.
c: fix typo i
n
comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-16
Sven V
e
r
doola
e
g
e
extend isl_seq
_
preimage to allow ta
k
i
n
g
preimage of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-16
Sven
V
erdo
o
l
aege
i
s
l_map_simplify
.
c: div_is_r
e
dund
a
nt: igno
r
e coefficie
n
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next