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_polynomial.c: with_merged_divs: accept NULL pointer on zero-size allocation
2013-05-28
Sven Ve
r
doolaege
a
d
d isl_map
_
p
lain_get_va
l
_
i
f_fixed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdo
o
lae
g
e
add isl_s
e
t_lower_bound_val an
d
i
s
l_set_upper
_
b
o
und_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n
V
erdoolaege
add isl_map_fix_val and isl_set_fix_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
dd
i
sl_set_min_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaege
add isl_set
_
max_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
aege
ad
d
isl_basic_set_max_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoola
e
ge
add
i
sl_bas
i
c_se
t
_*_lp
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add private
i
s
l
_basic_set_get_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoolaege
a
dd isl_p
w
_
qpolynomial
_
f
i
x
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolaege
add isl_pw_af
f
_mod_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Ver
d
oo
l
aege
add isl_
p
w_aff_scale_down_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n
Ver
d
oolaege
a
d
d
isl_unio
n
_pw_*
_
scale
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
ad
d
i
s
l_
m
ulti_
*
_scale_val a
n
d isl_pw_*_scale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaege
a
d
d isl_qpo
l
ynomia
l
_fold
_
s
cale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
ad
d
i
s
l_
q
polynomial_sca
l
e_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Ve
r
doolaege
add isl_qpolynomial_val_on_
d
omain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoola
e
ge
a
dd isl_qpol
y
nomial_g
e
t_co
n
s
tant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
aege
add isl
_
term_
g
et_coeffi
c
ient_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add
i
sl_aff_mod_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add
i
s
l
_aff_sc
a
l
e
_
do
w
n
_
va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoolaege
a
dd isl_aff_scale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
a
d
d isl_aff_get_denominator_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdo
o
l
a
e
g
e
ad
d
isl_aff_get
_
coefficient_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
e
n
Verdoolaege
a
d
d isl
_
aff_get_constant_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaege
ad
d
isl_aff_add_coefficient_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaege
a
dd
isl_af
f
_a
d
d_consta
n
t_
v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
add isl
_
a
f
f_set_coefficient_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoolaege
add isl_aff
_
set_constant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoola
e
g
e
a
d
d isl_
c
onstraint_g
e
t_coefficient_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
add is
l
_constraint_get_con
s
tant_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
o
o
l
a
e
ge
add isl
_
constraint_
s
et_c
o
e
f
ficie
n
t_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n
Verd
o
olaeg
e
add isl_constraint_
s
et_
c
onstant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
r
d
oolaege
a
d
d isl_
p
oi
n
t_get_coor
d
in
a
te_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolae
g
e
ad
d
is
l
_point_set
_
coord
i
nate_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olae
g
e
a
dd
is
l
_mat_get_element_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
r
doo
l
aege
add isl_
m
at_set_element_
v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_vec_set_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
a
d
d isl_vec_get_e
l
ement
_
v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Ver
d
oolaege
ad
d
isl_vec_se
t
_
e
leme
n
t
_
va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
o
laege
add GMP sp
e
cific
i
s
l
_val func
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
laeg
e
a
dd isl_mul
t
i_v
a
l_mod_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven V
e
rdoolaege
add
i
sl_multi_val_add_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oola
e
ge
a
d
d
i
s
l_multi_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
isl_multi_templ
.
c: is
l
_multi_*_set_*: extract o
u
t che
c
k
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_val_lis
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoolaege
ad
d
isl_val abstraction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoolaege
add isl_int_subm
u
l_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sve
n
Verdoolaege
add i
s
l_int_addmul_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven V
e
rdoolaeg
e
add
i
s
l
_int_mul_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sve
n
Verdoo
l
a
e
ge
add isl_in
t
_fits_ul
o
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven
V
erdoolaege
a
d
d isl_
i
n
t_f
i
ts_slong
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoo
l
aege
rem
o
ve isl_in
t
_gcde
x
t
from public isl/int
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Ver
d
o
o
laege
creat
e
pr
i
va
t
e copy of i
s
l/int
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verd
o
o
laege
Merge branch
'
ma
i
nt'
commit
|
commitdiff
|
tree
2013-05-24
Sven Verdoolaege
isl_union_s
e
t_compute_schedule: fix check for progress
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-23
Sv
e
n Verdo
o
laege
isl_ve
r
tex_get_d
o
m
ain:
return parameter
d
om
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-23
Sven Ve
r
doolaege
isl_as
t
_expr_from_constrai
n
t: sp
l
it off constan
t
te
r
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-22
Sven Verdoolaeg
e
Me
r
g
e br
a
nch 'ma
i
nt'
commit
|
commitdiff
|
tree
2013-05-22
Sven Verdoolaeg
e
isl_b
a
sic_map_f
o
re
a
ch_l
e
xopt
:
pro
p
erly merge partial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-06
Sven Verdoolaege
merge shared isl
_
mul
t
i_
*
de
c
lar
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-04
S
ven Verdoolaege
decl
a
re isl_multi_* together wi
t
h isl_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-04
Sven Ver
d
oolaege
mak
e
isl_mu
l
ti_* f
i
les
m
o
re self-contained
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sve
n
Ve
r
doolaege
isl_s
p
ace_private
.
h: protect
a
gainst
multiple inclusions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sven V
e
rdoolaege
detect mis
s
ing gmp
.
h
or missing/
o
ld gmp library
during
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
S
ven Verdoo
l
aege
isl_ast_codegen
.
c
:
add_nodes: use mo
r
e transp
a
rent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sven
Ver
d
oolaeg
e
add isl_basic_map_order
_
gt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sven V
e
rdoolaege
bound
.
c: verify_poi
n
t: use isl_printer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-28
Sven Verdoolaege
isl
_
inpu
t
.
c: re
a
d_factor: declare variables at start
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-28
Sven Ver
d
o
o
l
ae
g
e
Me
r
ge branc
h
'maint'
commit
|
commitdiff
|
tree
2013-04-23
Sven Verdoolaeg
e
i
sl_*alloc*: return NULL if c
t
x argument i
s
NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
ven Verdoolaeg
e
isl_space
.
c: add missing inclu
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
ven Ve
r
d
o
olae
g
e
d
eclare isl_tab_get_
c
tx
in is
l
_
t
a
b
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
declare isl_*_
l
ist tog
e
t
h
er with is
l
_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sve
n
V
e
rdoola
e
ge
isl_ast_graft
.
c:
r
emo
v
e s
p
urious include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Ve
r
doolaege
isl_a
s
t_
c
odege
n
.
c: remove dependence on internals
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Ve
r
d
o
olaege
extract generic
i
s
l_*_list_f
o
reach_scc
f
r
om is
l
_ast_co
d
egen
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven
Verdoolaege
isl_m
a
p_a
f
fine_hull: m
a
ke
strid
e
information explici
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven V
e
rdoolaege
isl_morph
.
c: e
x
t
ract o
u
t isl_mat_parameter_compression_ext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
v
en Verdoolaeg
e
is
l
_as
t
_
b
uild_get
_
stride_constraint: comb
i
ne multiple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Ve
r
d
o
olaege
i
sl_ast
_
buil
d
.
c: use isl_int
_
gcd
e
xt in
s
tead of open
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven V
e
rdo
o
laege
a
dd isl_i
n
t_gcd
e
xt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
ven Verdo
o
l
a
ege
isl_
a
st_
b
uild_ast_from_schedule: also add stride g
u
ard
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
isl_ast_b
u
ild_set_l
o
op_bounds: comp
u
te
div
s
after eliminatin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
v
en Verd
o
olaege
isl_m
a
p_sim
p
li
f
y
.
c: normali
z
e_divs_in_contex
t
: improve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
i
sl_
a
s
t
_build_
e
xpr
.
c:
r
emove left-ove
r
from refacto
r
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
v
e
n
Verdoo
l
a
e
ge
i
sl_ast_codege
n
.
c:
c
r
e
ate_
n
ode_scaled
:
r
e
fl
e
ct current
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
v
en Verdoolaege
ad
d
isl
_
un
i
on_map_preimage_domain_multi_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sv
e
n Verdoolaege
add
i
sl_map_pr
e
im
a
ge_domain_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
ven Ver
d
oolaege
isl_basi
c
_map_pre
i
mag
e
_multi_aff: micro-refactoring
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
isl
_
map_simplify
.
c: div_is_redundant: ignore coef
f
icients
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
gene
r
alize isl_basic_set_preimage_m
u
lti_aff to isl
_
b
asic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-19
Sven
V
e
r
doolaege
is
l
_
a
st_build_as
t
_from_schedule: also
add st
r
ide guard
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-19
Sven Ver
d
oolaege
isl_a
s
t_build_set_loop_bounds: c
o
mput
e
d
i
vs after elim
i
n
ati
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-19
S
v
en Verdoolaege
is
l
_
map_simplify
.
c: nor
m
al
i
ze_divs_in_context: imp
r
o
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-16
S
ve
n
Verdoolaege
isl_map
.
c:
f
ix t
y
po
i
n
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-16
Sv
e
n Verd
o
ola
e
ge
extend isl_seq_preimage to
a
l
low t
a
king preim
a
ge of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-16
Sven Verdoolaege
isl_map_simplify
.
c: d
i
v_is
_
r
e
dundant: ignore coe
f
ficien
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-15
Sven Ve
r
doolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2013-04-15
Sven Verdo
o
la
e
ge
is
l
_ast
_
codegen
.
c: fix typo
i
n c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-15
Sv
e
n
Verdool
a
ege
isl_ast_build_ast_from_s
c
h
e
dule: properly
h
andle union
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next