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_plain_get_val_if_fixed
2013-05-28
S
v
en Verdoolaege
add isl_se
t
_plai
n
_get_val
_
if_f
i
xed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
add isl_
b
asic_map_pla
i
n_
g
et_
v
al_if_fixed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
l
aege
a
d
d
i
sl_
m
ap_pl
a
i
n_get_val_if_fixe
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoola
e
ge
add isl_se
t
_lower_bound_val
a
nd i
s
l_set_up
p
er_bound_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_m
a
p_fix_val and isl_
s
et
_
fix_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoolaege
add isl_set_min_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoola
e
ge
add isl_set_max_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Ver
d
oolaege
ad
d
isl_basic_set_max_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add
i
sl_basic_set_*_lp_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
ad
d
p
rivate isl_basic_set_ge
t
_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Ve
r
doolaege
a
d
d
i
sl_pw_qpolynomia
l
_fix_
v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
laege
add
i
sl_pw_aff_mo
d
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verd
o
olaege
a
d
d isl_pw_
a
f
f
_
sca
l
e
_down_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_u
n
ion_pw_*_
s
ca
l
e_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
add isl_mu
l
ti_*_scal
e
_
val and
i
sl_pw
_
*_scale_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verd
o
olaege
add isl_qpolynomial_
f
old_sc
a
le
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
e
n
V
e
r
doo
l
aege
a
d
d isl_qpolynomial_scale_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoolaege
a
dd isl_qpolynomial_val_
o
n_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Ve
r
doolaeg
e
add i
s
l_q
p
o
lyno
m
ial_get_co
n
s
t
ant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
d
d
isl_ter
m
_get
_
c
o
effic
i
ent_
v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
ad
d
isl_af
f
_
mod
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
r
doolaege
add i
s
l_aff_scale_down
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_
a
ff_
s
c
a
le_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
d
d isl_af
f
_get_denomin
a
tor_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolaege
add isl_aff_get_coeffi
c
ient_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verd
o
olaege
add
isl
_
a
ff_
g
e
t
_co
n
stant_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n
Verdoolae
g
e
a
d
d isl_
a
ff_add_coefficient_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoo
l
a
ege
add isl_aff_add
_
c
o
n
s
tant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_aff
_
se
t
_coefficient_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
e
rdo
o
laeg
e
add i
s
l_aff_se
t
_constant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaege
add isl_constraint_
g
et_coefficient_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoolaeg
e
add is
l
_co
n
straint
_
get_constant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
eg
e
a
dd
i
sl_constraint_set_coeffic
i
ent
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
dd isl_c
o
nstraint
_
set_const
a
nt_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolaege
ad
d
isl_point_get_
c
oor
d
i
nate_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoolaege
add isl_
p
oint_set_coordinate_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdool
a
eg
e
add isl_mat_get_el
e
ment_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en V
e
rdoolaeg
e
a
dd isl
_
m
at_set_element_
v
al
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 Ve
r
d
o
ola
e
ge
add isl_vec_g
e
t_element
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoolae
g
e
a
dd isl_vec_set
_
e
l
ement_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
aege
add GMP specific
i
sl_val func
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolaege
add isl_multi_val_mod_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
a
d
d isl_
m
ulti_val
_
add_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
add isl_multi_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
isl_multi_templ
.
c: isl_multi_*_set_*:
extract out check
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolaeg
e
add
i
sl_val
_
l
i
s
t
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
Sve
n
Verdoo
l
aege
add is
l
_int_submul_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdool
a
ege
a
d
d i
s
l
_
int_
a
d
d
mul_
u
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Ve
r
doolaege
add is
l
_int_mul_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
S
v
en Ve
r
doolaege
add isl_int_fits_ulong
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoolae
g
e
ad
d
isl
_
int_fits_slong
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdool
a
ege
remove isl_int
_
gcdext
f
rom
p
ublic isl/int
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Ver
d
oolaege
create private copy 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
V
erdoola
e
g
e
isl_union_set_com
p
u
t
e
_
sc
h
ed
u
le: fi
x
check for progress
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-23
S
v
e
n
V
erdoolaege
isl_vertex_get_doma
i
n: r
e
turn parameter
do
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-23
Sven Ver
d
oolaege
isl_
a
st_ex
p
r_fro
m
_c
o
nst
r
aint:
split off constant term
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-22
Sven V
e
rdoolaege
M
erge bran
c
h 'ma
i
n
t'
commit
|
commitdiff
|
tree
2013-05-22
Sven Verdool
a
ege
i
s
l
_
basic_
m
a
p_foreach_lex
o
pt: pr
o
per
l
y me
r
ge p
a
rtial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-06
S
ven Verdoo
l
aege
merge sh
a
red
isl_multi_* decla
r
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-04
Sv
e
n Verdoo
l
ae
g
e
declare is
l
_multi_* togethe
r
wit
h
i
s
l_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-04
Sve
n
V
e
rdo
o
laege
make
i
sl_mu
l
t
i
_* files more self-co
n
tai
n
ed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven
Verdoolaege
isl
_
space_priv
a
te
.
h: protect against
multiple inclusions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sven Ver
d
oolae
g
e
detect mi
s
sing gmp
.
h or
mi
s
sing/old gmp library duri
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sven Verdoolaege
isl
_
ast_codege
n
.
c: add_nodes: use more
trans
p
arent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
S
ven
V
erdool
a
ege
a
d
d is
l
_b
a
sic_map_order_gt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sven Ver
d
oolaeg
e
bound
.
c
: ver
i
fy_
p
oint:
u
se i
s
l_printer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-28
Sven Verdoolaege
isl_input
.
c:
re
a
d_fact
o
r:
d
eclare varia
b
le
s
at
s
tart
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-28
Sven Ve
r
doolaege
Merge branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2013-04-23
Sven Verd
o
olaege
isl_*alloc*
:
re
t
urn NULL if ctx argument is NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sve
n
Verdoolaege
i
s
l
_
s
pace
.
c: add missing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
ve
n
Verdoolaege
declare isl_ta
b
_
g
et_ctx i
n
isl_t
a
b
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
decla
r
e
i
s
l_*_
l
ist
together with
i
sl
_
*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdo
o
lae
g
e
isl_ast_graft
.
c: remove spurious i
n
c
l
u
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Ver
d
oolaege
isl_as
t
_
c
odegen
.
c: remove
dependen
c
e on internals of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven
V
erd
o
olaege
extr
a
ct g
e
neric isl_*_list_foreach_sc
c
fr
o
m isl
_
ast_cod
e
g
en
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Ve
r
doolaege
isl_
m
ap_affine_hull:
m
a
ke stride informatio
n
explicit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven
V
e
rdoola
e
g
e
isl_mo
r
ph
.
c:
extract
out isl_mat_parameter_compress
i
on_ext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
v
en
V
erdo
o
laege
isl_a
s
t
_b
u
i
l
d_get_stride_constraint: co
m
bi
n
e multiple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sv
e
n Verdoolae
g
e
isl_ast_build
.
c: use
isl_int
_
gcdext instead of
o
pen
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sv
e
n Verdo
o
la
e
g
e
add isl_int_gcdext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaeg
e
i
s
l
_ast_build_ast_from_schedule: also
add st
r
i
d
e guard
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
v
en
Verdoolaege
isl_a
s
t_build_set_loop_bo
u
nds: compute divs
a
f
t
er eli
m
in
a
t
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven
V
e
r
d
oolae
g
e
i
s
l_
m
ap_simp
l
ify
.
c:
n
ormalize_divs_in
_
co
n
t
e
xt: impr
o
ve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
ven
Verdoolaege
isl
_
ast_build_
e
xpr
.
c: remove left-over from refactoring
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
ven Verdoolaeg
e
isl_
a
st_c
o
degen
.
c:
c
reate_node_scal
e
d: reflect current
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sve
n
Verdoolaege
add
i
sl_un
i
on_map_preimage_dom
a
i
n
_mul
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoola
e
g
e
add
i
sl_
m
ap_preimage_d
o
main_mul
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Ve
r
doolaege
isl_basic_m
a
p_
p
reimage_multi_aff: micro-re
f
actoring
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Ve
r
doola
e
ge
isl_map_simplify
.
c: div_is_
r
edun
d
ant: ignore
coe
f
ficients
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
v
e
n
Verdo
o
laege
general
i
z
e
is
l
_b
a
sic_set_p
r
eimage_multi_aff t
o
isl_basic_
m
a
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-19
Sven V
e
rdoolaege
isl_ast_build_ast_from_
s
chedule: also add strid
e
g
u
ard
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-19
S
v
en Ver
d
oo
l
aege
isl_ast_bu
i
ld_s
e
t_loop_bounds:
c
om
p
ute divs after eliminatin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-19
Sven Verdoola
e
g
e
isl
_
m
ap_simpl
i
f
y
.
c: n
o
rmalize_d
i
vs_in_context: imp
r
ove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-16
Sven Verdoolae
g
e
isl_map
.
c: fix typo
i
n comm
e
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-16
Sve
n
Verdoolaege
extend isl_seq_pre
i
m
a
ge to allow taking
prei
m
age of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-16
Sven
Verdoo
l
aege
isl_map_
s
implify
.
c: d
i
v_is
_
redundant
:
ign
o
re coef
f
icients
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-15
Sv
e
n Verdoolaege
Merg
e
branch 'm
a
int'
commit
|
commitdiff
|
tree
next