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_set_max_val
2013-05-28
Sven V
e
rdoolaege
a
d
d isl
_
set
_
m
ax_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
a
d
d isl_basic_set
_
max_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
d
d
isl
_
basic_se
t
_*_lp_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoolaege
add private
i
sl_basic_
s
et_get_div
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n
V
erdoolaege
add isl_
p
w_q
p
olynomial_fix_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_pw_aff_
m
od_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add
isl_pw_
a
ff_scale_down_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolaege
a
d
d isl_union_pw_*_scale
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolae
g
e
add isl
_
multi_*_scale_
v
al and isl_pw_*_s
c
ale_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add
i
sl_qpolynom
i
al
_
fold_scale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en V
e
r
d
oolaege
add isl_qpol
y
nomia
l
_
s
cale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Ve
r
doola
e
ge
add isl_
q
polynom
i
al_val_on_domai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n
V
e
rdoola
e
g
e
a
d
d isl_q
p
ol
y
nomial_get_c
o
nst
a
nt_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
d
oolaege
a
d
d
isl_term_get_coefficient_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n V
e
rdoolaege
add is
l
_
aff_
m
od_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
add i
s
l_aff_sca
l
e_down_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaeg
e
add isl_aff_scale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdo
o
laege
a
dd isl_aff_
g
et_den
o
minator_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdool
a
ege
a
dd isl_aff_get_coe
f
ficient_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
laege
add
i
sl_aff_
g
e
t_
c
o
nstant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoolaege
a
d
d isl_aff_
a
dd_coefficient_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolaege
add is
l
_af
f
_add_
c
onstant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaeg
e
add isl_aff_se
t
_coeff
i
c
i
ent
_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
aege
add is
l
_aff_set
_
con
s
tan
t
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven
Verdo
o
laege
add isl_constraint_get_coefficient_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoolaege
ad
d
isl_
c
o
n
st
r
a
i
n
t
_get_constan
t
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdo
o
laege
add isl_
c
onstraint_set_coeffici
e
nt_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_
c
onstrain
t
_set
_
c
o
nstant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
laeg
e
add isl_point_get_co
o
rdina
t
e_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
a
d
d
isl_point_set_coordinate_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
add isl_mat_
g
et_element_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoolaege
a
d
d i
s
l_
m
at_set_el
e
ment_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n V
e
rdo
o
lae
g
e
a
d
d i
s
l_vec_set_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_v
e
c_ge
t
_eleme
n
t
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
add isl_vec_set_element_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add GMP specific isl_val functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_mu
l
t
i
_val_
m
o
d
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl
_
mu
l
ti_val_add_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
d
oolaege
a
d
d isl_multi_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Ve
r
d
o
olaege
is
l
_multi_templ
.
c: is
l
_mul
t
i_*_
s
e
t_*: extr
a
ct
o
ut check
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolae
g
e
add isl_v
a
l_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaege
add isl_val abstract
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoolaege
add i
s
l
_int_submul_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoolaege
add
i
sl_int_addmul_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sv
e
n Ve
r
doolaeg
e
add isl_int_mul_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Ver
d
oo
l
ae
g
e
add is
l
_i
n
t_fits_ulong
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoolaege
ad
d
i
sl_int_fi
t
s_
s
long
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
S
ven Verd
o
o
laege
r
emove isl_int_gcdext f
r
om public isl/int
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdo
o
l
a
e
ge
create
p
r
i
v
ate copy of is
l
/int
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoolaeg
e
Merge bran
c
h 'main
t
'
commit
|
commitdiff
|
tree
2013-05-24
Sven Verdoo
l
aege
isl_un
i
on
_
set_comput
e
_schedule: fix check f
o
r
progress
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-23
Sven Verdoolaege
isl_vert
e
x_g
e
t
_domain
:
return
p
arameter domai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-23
Sven Verdoolae
g
e
isl_ast_expr_from_con
s
tra
i
nt
:
split off constant te
r
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-22
Sven Ve
r
doolaege
Merge branch '
m
ai
n
t'
commit
|
commitdiff
|
tree
2013-05-22
Sven Verdoolae
g
e
isl_bas
i
c_map_foreach_le
x
opt:
p
roperly merge part
i
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-06
Sven Verdo
o
laege
m
erge shared isl_multi_* d
e
clarations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-04
S
ven V
e
r
d
o
olaege
d
ec
l
are isl_m
u
l
t
i_* together w
i
th isl_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-04
S
v
e
n
V
erdoolae
g
e
make isl_
m
u
l
ti
_
* fil
e
s more self-con
t
ained
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
S
v
en Verdoolaege
isl_spac
e
_pr
i
vat
e
.
h: protect again
s
t m
u
l
t
ip
l
e inclusions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sven Verdool
a
ege
d
e
te
c
t missing gmp
.
h o
r
missing
/
old gmp
library du
r
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sven Verdoolaege
i
s
l_ast_
c
odegen
.
c
: add_nodes: u
s
e
more transpa
r
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sv
e
n
V
erdoolaege
ad
d
isl
_
basic_map_order_gt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sv
e
n Verdoolaege
bound
.
c:
verify_
p
oint: use
isl_printe
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-28
Sven
V
erdoolaege
i
s
l_in
p
ut
.
c:
r
ead_factor:
decl
a
re vari
a
bl
e
s at
sta
r
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-28
Sven V
e
rdoolaege
Merge
branch 'main
t
'
commit
|
commitdiff
|
tree
2013-04-23
Sven
Verdoolaege
i
s
l
_*alloc*: return NULL if ct
x
argument is NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
v
en Verdoolaeg
e
isl_space
.
c: add miss
i
ng includ
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verd
o
olaege
declare isl_tab_ge
t
_ctx in isl_tab
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sv
e
n
V
erd
o
olaege
declare isl
_
*_list
t
ogether
w
it
h
isl
_
*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
ven Verdool
a
eg
e
isl_ast_graft
.
c: remove
spurious include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven
Ve
r
doolaege
isl_a
s
t
_
codege
n
.
c: remove dependence on
inte
r
n
als
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven
V
e
rdo
o
la
e
ge
ex
t
r
act generic isl_*_list_foreach_s
c
c
from isl_ast_codegen
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven
V
erdoolaege
is
l
_map_affi
n
e_h
u
l
l: ma
k
e stride info
r
ma
t
ion explicit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
ven
V
e
rdool
a
ege
isl_
m
or
p
h
.
c:
ex
t
ract out
is
l
_mat_parame
t
e
r
_comp
r
ession_ex
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Ver
d
oolae
g
e
isl_
a
st_
b
uild_get_str
i
de_constr
a
int:
comb
i
ne m
u
ltiple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven V
e
rdoolaege
isl_ast
_
build
.
c: us
e
i
s
l
_
i
nt_gc
d
e
x
t instead of
o
pen
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sve
n
Verdoolaege
ad
d
isl_int_gcd
e
xt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Ve
r
doolaege
is
l
_ast_build_as
t
_from_sc
h
edule:
a
lso add stri
d
e g
u
ard
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
i
sl_
a
st_
b
u
ild_set_loo
p
_bounds: compute divs after eliminati
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sv
e
n Ver
d
oolaege
isl_ma
p
_
s
implif
y
.
c
:
normalize_divs_in_context: im
p
ro
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
is
l
_ast_build_
e
xpr
.
c: remove l
e
ft-
o
ver from refactoring
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven V
e
rdoolaege
isl_
a
st_
c
o
degen
.
c: create_node_scale
d
:
refl
e
ct current
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdo
o
laege
add isl_union_map
_
preimage_domain_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
a
dd isl_ma
p
_p
r
e
image_doma
i
n_multi_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
isl_bas
i
c_map_preimage_m
u
l
ti_aff: micro-ref
a
ctoring
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven
Verdoolaege
isl_map_
s
impli
f
y
.
c: d
i
v_
i
s_redundant: igno
r
e coefficients
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven V
e
r
doolaege
genera
l
ize isl_basic_set
_
preima
g
e_mu
l
t
i_aff to isl_bas
i
c
_ma
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-19
Sven Verdoolaege
isl_ast_build_ast_from
_
schedule: a
l
s
o
add stride
guard
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-19
Sven Ve
r
doo
l
a
e
ge
isl_ast_build_set_loop_bou
n
ds: co
m
pute
divs
a
f
t
e
r elim
i
nati
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-19
Sv
e
n V
e
rd
o
olae
g
e
isl_map_sim
p
lify
.
c: normali
z
e
_
divs_in_context: impro
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-16
Sven Ver
d
oolae
g
e
i
sl_map
.
c
: fix typo in c
o
mmen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-16
Sven
Ver
d
oola
e
ge
extend isl_seq_preimage
t
o all
o
w
t
aking pr
e
image o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-16
Sven Verdoolaege
is
l
_
map_simpl
i
fy
.
c:
d
iv_is_redundant: i
g
nore coef
f
i
c
i
ent
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-15
Sve
n
Verdoolaege
M
erge branch 'main
t
'
commit
|
commitdiff
|
tree
2013-04-15
Sven Verdoolaege
isl_as
t
_codegen
.
c: fix typo in
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-15
Sv
e
n V
e
r
d
o
olaege
isl_ast
_
build_
a
st_from_sc
h
e
dule: p
r
operly handle union
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-15
Sven Ve
r
doolae
g
e
isl_as
t
_codege
n
.
c: update_unro
l
ling_lower
_
bound: check
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-12
S
v
e
n V
e
rdoolae
g
e
isl_mat_
f
ree: return NUL
L
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-11
Sven Verdoolaege
isl_
b
asi
c
_map_insert
_
d
ims
:
plug mem
o
ry leak when
c
a
l
led
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-11
Sven Verd
o
olaege
Ch
a
ng
e
Log:
d
r
o
p
s
ome text
t
hat a
p
pears to have been
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next