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_lower_bound_val and isl_set_upper_bound_val
2013-05-28
S
v
en Verdo
o
l
a
e
ge
add is
l
_set_lower_
b
oun
d
_val and isl_
s
et_upper_bound_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add
isl
_
map
_
fix_val and isl_set
_
fix
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven
Verdoo
l
aege
ad
d
isl_
s
e
t
_m
i
n_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en V
e
rdoo
l
ae
g
e
add
isl_
s
et_m
a
x_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
o
laege
a
dd isl_basic_set_
m
ax_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Ver
d
o
o
laeg
e
add
isl_bas
i
c_set_*_lp_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verd
o
o
laege
add private isl_b
a
sic_set_get_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdool
a
ege
add isl_pw_qpolynomial
_
f
i
x_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
aeg
e
add isl_pw_aff_mod_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoola
e
ge
add
isl_pw_aff_scale_down_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
e
n
Verdoolaege
add isl_union_pw_*_sca
l
e_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
add isl_multi_*_scal
e
_val
a
nd isl_
p
w_*_scale_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add
i
sl
_
qpoly
n
omial_
f
old
_
sc
a
le_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
add isl_qp
o
l
ynomial_sca
l
e_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
add
i
sl_qpolynom
i
al_
v
al_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoolae
g
e
add is
l
_
q
polynomia
l
_g
e
t_constant_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoola
e
g
e
add isl_term_g
e
t
_co
e
fficient_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoolaege
ad
d
isl_af
f
_
mod_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verd
o
olaeg
e
add isl_aff_scale_d
o
wn_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ve
n
Verd
o
olaeg
e
add isl_aff_s
c
ale_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
laeg
e
add
i
sl_aff_get
_
denomina
t
or
_
v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
l
a
ege
add isl_aff_get_coefficient_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven
Ve
r
do
o
laeg
e
a
dd isl_aff_get_constant_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoola
e
g
e
add i
s
l
_
aff_add_c
o
efficient_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolaege
a
dd isl_aff_add_co
n
stant_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
add isl_af
f
_set_coefficient_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoo
l
aege
add isl_aff_set_const
a
nt_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
d
d
isl_constrain
t
_
get_coefficient_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoolaege
a
d
d
i
sl_cons
t
raint_get_consta
n
t_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
V
erdoolaege
add isl_co
n
stra
i
nt_set_coefficient
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
o
la
e
ge
add isl_constraint_se
t
_constant_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
laege
add isl_point_get_c
o
ordinate_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en
V
erdool
a
ege
add
i
sl
_
p
o
in
t
_s
e
t_coo
r
dina
t
e
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaeg
e
add isl_mat_get_ele
m
e
nt_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
o
laege
add is
l
_mat_
s
et
_
eleme
n
t_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoolaege
add isl_v
e
c_set_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Ve
r
doolae
g
e
add isl_vec_get_elemen
t
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Ve
r
doolaege
add
isl_vec_set_elemen
t
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en
V
erdoolaege
add GMP specific
isl_val
function
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
do
o
laege
add isl_multi_
v
al_mod_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
aege
add isl_multi_val_ad
d
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
e
r
doolaege
ad
d
is
l
_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oola
e
ge
isl_multi_te
m
p
l
.
c:
isl_mult
i
_*_set_*
:
extra
c
t
o
ut
check
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdool
a
ege
ad
d
isl_v
a
l_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
ad
d
isl
_
val
a
bstra
c
t
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Ver
d
oolaege
add
i
sl_int_sub
m
u
l
_
u
i
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdool
a
e
g
e
add isl_i
n
t_addmu
l
_
u
i
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Ve
r
doola
e
g
e
add isl_int_mul_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Ver
d
oolaege
add
i
s
l_i
n
t_fits
_
ulong
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Ve
r
do
o
laege
a
dd isl
_
int_fits
_
slong
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sve
n
Ve
r
do
o
laege
rem
o
ve
i
sl_int_gcd
e
xt fro
m
public isl/
i
nt
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sve
n
Verdoolaege
create priva
t
e
c
op
y
of isl/int
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven
Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2013-05-24
Sven Verdoolaege
isl_union_set_compute_
s
chedul
e
: fix
check for pro
g
ress
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-23
Sven Verdoolaeg
e
isl_
v
ertex_ge
t
_
d
omai
n
:
re
t
urn parameter doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-23
Sven Verdo
o
la
e
ge
i
s
l_ast_exp
r
_
from_constraint: split off co
n
stant term
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-22
Sven Verdool
a
ege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2013-05-22
S
v
en Verdoolaege
is
l
_basic_
m
ap_foreach
_
lexopt: properly merge partial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-06
Sven Verdoolaege
merge
s
hared i
s
l_multi_* declarations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-04
Sven V
e
r
do
o
laege
de
c
lare isl_multi_*
together with is
l
_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-04
Sve
n
Verdoolae
g
e
m
ake isl_
m
ulti_* file
s
m
ore self-contained
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven Ver
d
oo
l
aege
isl
_
space_privat
e
.
h: protect a
g
ainst m
u
l
t
iple i
n
clus
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
Sven
V
erdoolae
g
e
det
e
ct miss
i
n
g
gmp
.
h or
mis
s
ing/ol
d
gmp l
i
brary during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
Sv
e
n Ver
d
oola
e
g
e
isl_ast_codegen
.
c: add_nodes: use more t
r
ansparent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
Sven Verdool
a
ege
add isl_basi
c
_ma
p
_ord
e
r_gt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
Sven Verdoo
l
a
ege
bou
n
d
.
c:
v
e
rify_point: use isl
_
printe
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-28
Sven Verdoolaege
isl_in
p
ut
.
c: read_fact
o
r: declare variabl
e
s
a
t
start
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-28
Sven Verdoolaege
M
e
r
ge bran
c
h 'maint'
commit
|
commitdiff
|
tree
2013-04-23
Sv
e
n V
e
rd
o
o
laege
i
s
l_*alloc*: return
NULL if ctx
a
rgumen
t
is NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
ven Ver
d
o
o
laege
isl_
s
pace
.
c: add missing incl
u
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
declare isl_tab
_
get_
c
t
x
in isl_tab
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sv
e
n V
e
rdoolaege
declare i
s
l_*_
l
ist to
g
ether with
isl_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdo
o
laege
isl
_
ast_gr
a
ft
.
c: re
m
ove spurious includ
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdo
o
laege
i
s
l_ast
_
codegen
.
c:
r
emove de
p
e
n
dence on internals of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven V
e
rdoolaege
ex
t
r
act
g
eneric isl_
*
_list_f
o
re
a
ch_
s
cc from i
s
l_ast_cod
e
gen
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verd
o
olaege
isl_map_affine_hull: make
s
t
ride informat
i
on
expl
i
cit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
isl_morph
.
c
: extract out isl_mat_parameter_compression_ext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
isl_ast_build_get_s
t
ride_constraint: combine
m
ultiple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
isl_a
s
t_
b
u
i
ld
.
c: us
e
isl_int
_
g
cdex
t
ins
t
ead o
f
o
pen
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
add
isl_in
t
_gc
d
ext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
isl_as
t
_build_
a
st_from
_
sc
h
ed
u
l
e
: also
add stri
d
e gu
a
rd
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
ven Ve
r
doolaege
isl_
a
st_b
u
i
ld_
s
et
_
l
oop_bounds: comp
u
te divs
after
eli
m
in
a
tin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
v
e
n
Ver
d
oola
e
ge
isl_m
a
p_
s
implify
.
c: normalize_div
s
_in_cont
e
xt: improve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sv
e
n Ver
d
oolaege
isl_ast_build
_
expr
.
c: remove left-over
from refactor
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
is
l
_ast_c
o
degen
.
c: create_nod
e
_scal
e
d
:
r
e
flect current
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
add isl_union_map_preima
g
e_domai
n
_mu
l
ti
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sve
n
Ver
d
ool
a
ege
add isl_m
a
p_preimage_dom
a
in_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven
V
erd
o
olaege
isl_bas
i
c_map_preim
a
ge
_
mu
l
t
i
_aff: micro-refactoring
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
v
en Verdoola
e
ge
isl_map_simplify
.
c: div_is_redu
n
dant: ignore coefficie
n
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdool
a
ege
generalize isl_basic_se
t
_
pre
i
mage
_
mu
l
ti_aff to i
s
l_basic_ma
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-19
Sven Verdool
a
ege
isl_ast_build_as
t
_fro
m
_sc
h
ed
u
l
e
: a
l
so add
stride guard
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-19
Sven
Ve
r
dool
a
ege
isl_a
s
t_build_se
t
_
l
o
o
p_bounds: c
o
mpute
divs after e
l
i
m
inatin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-19
Sven Verdoolaege
is
l
_map
_
s
i
mp
l
ify
.
c: norm
a
lize_di
v
s_in_context:
improve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-16
Sven
Verdool
a
e
g
e
isl_
m
ap
.
c
: fi
x
typo in com
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-16
Sven
V
erdo
o
laege
extend isl_seq_pr
e
i
m
a
g
e
to allow
t
aking preimage of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-16
Sve
n
Verdoolaege
i
sl_map_simplify
.
c:
div_i
s
_redundant:
i
gnore coefficients
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-15
Sven Verdoola
e
ge
Merge br
a
nch
'
maint'
commit
|
commitdiff
|
tree
2013-04-15
Sven V
e
r
doolaege
isl_ast_c
o
degen
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-15
Sven Verdoolaege
isl_ast
_
b
u
i
ld_
a
st_from_sc
h
edule: properly hand
l
e union
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-15
Sv
e
n Ver
d
oolaege
isl_ast_codeg
e
n
.
c: upda
t
e_unrolling_lower_b
o
und:
c
h
eck
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next