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_token_get_str
2013-05-28
Sven Verdoolaege
add isl_token_
g
et_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolae
g
e
add isl_to
k
en_get_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en V
e
rdoolaege
add isl_obj_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaege
a
d
d isl
_
union_map_fixed_power_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n
V
erdoo
l
a
e
ge
add isl_set
_
co
u
nt_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoolaege
add is
l
_
set_dim_residue_class_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_map_fl
o
ordiv
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoola
e
ge
ad
d
isl_set_plain_get_
v
al_if_fixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaege
ad
d
isl_basi
c
_
m
ap
_
pl
a
in_
g
et_va
l
_if_fixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
add is
l
_m
a
p_plain_get_va
l
_if_fixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
aege
add isl_set_lower_bound_val
a
nd isl_set_upper_bound_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verd
o
ola
e
ge
add isl
_
m
a
p
_fix_val and i
s
l_set_fix_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Ver
d
oolaege
add i
s
l
_
s
e
t_min_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
ad
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_basic_set_max_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
add isl_basic_set_*_lp_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
ool
a
ege
add priv
a
te
i
sl_basic_set_get_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add is
l
_
pw_qpo
l
ynomial
_
fix_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoolaege
add i
s
l_pw_aff_mod_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
dd i
s
l_pw_aff_
s
cale_down_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
e
r
d
o
olaege
a
d
d
isl_un
i
on_pw_*_scal
e
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoola
e
ge
a
d
d
isl_multi
_
*_scale_val and i
s
l
_
pw_*_scale_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
e
n Verdoolaege
add isl_qpolynomia
l
_fold
_
scale
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaeg
e
add
i
sl_qpolyn
o
mial
_
sca
l
e_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolaege
add
i
s
l_qpolynomial_va
l
_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Ve
r
doolae
g
e
add i
s
l_qpolynomial_get_consta
n
t_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ve
n
Verdoolaege
add isl_term_get_c
o
efficient
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Ver
d
oolaege
add isl_aff_mod_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n
Verdo
o
l
a
ege
add isl_aff_scale_down_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
a
d
d isl_aff_sc
a
le_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erd
o
ola
e
ge
add isl_a
f
f_get_denominat
o
r_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoola
e
ge
add isl_aff_get_
c
oe
f
ficient_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoolaege
add isl_aff_
g
et_
c
onstant_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Ver
d
oolaege
ad
d
i
sl
_
aff
_
add_coefficient_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
ad
d
isl_aff_add
_
co
n
stant_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
laege
add is
l
_aff_set_co
e
f
ficient_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdo
o
laege
ad
d
isl_aff_se
t
_c
o
n
s
tant_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add is
l
_const
r
a
int_g
e
t_coefficient_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoolaege
add i
s
l_constraint_get
_
constant_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
r
d
oolaege
a
dd is
l
_constra
i
nt_set_coe
f
ficient_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Ver
d
o
ola
e
ge
add isl_constra
i
n
t
_set_co
n
stant
_
v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
e
r
d
o
olaege
add isl_poi
n
t
_
get_coord
i
nate_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
add isl_
p
oi
n
t_set
_
coordinate_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoolaege
a
d
d
i
s
l_mat_get_ele
m
e
n
t_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
add isl_mat_set_ele
m
ent_val
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 Verdoo
l
aeg
e
add i
s
l
_vec_get_element_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
add isl_vec_set_element_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
aege
a
d
d GMP specific
isl_val
functi
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolaege
ad
d
isl_m
u
lti_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 Ver
d
oola
e
g
e
add isl_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
isl_mu
l
ti_templ
.
c: is
l
_mult
i
_
*_set
_
*: extract out
c
h
eck
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
V
erdoolaege
add isl_val_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoo
l
aege
add isl_val abstract
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
S
v
en Verdoolaege
a
dd i
s
l_int_submul_ui
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven
Ver
d
o
olaege
add isl_i
n
t_addmul_ui
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdo
o
laege
add isl_int_
m
u
l_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sve
n
Verdo
o
laege
ad
d
isl
_
i
n
t_fits_ulong
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven
V
erdoolae
g
e
add isl_
i
nt_fits_sl
o
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
S
ven Ver
d
o
ola
e
ge
remov
e
is
l
_int_gcd
e
xt from pub
l
ic i
s
l/int
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoo
l
aege
create pri
v
ate
c
o
py of isl/
i
nt
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
S
v
en
Verdoolaege
Merge
b
ranch 'maint'
commit
|
commitdiff
|
tree
2013-05-24
Sven Ve
r
doolaege
isl_unio
n
_set_comp
u
te
_
s
c
hedule: fix c
h
eck
f
o
r pr
o
gress
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-23
Sven Verdoolae
g
e
i
sl_ver
t
ex
_
g
e
t_domain: return
par
a
meter doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-23
Sven Verdoolaege
isl_
a
st_expr_
f
ro
m
_const
r
aint: split off const
a
n
t term
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-22
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2013-05-22
Sven
V
erdool
a
ege
isl
_
basic_map_fo
r
each_lexopt:
properly merg
e
p
artia
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-06
Sve
n
Verdoolaege
me
r
g
e s
h
ared is
l
_mul
t
i_* d
e
clarat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-04
Sven Verdoo
l
aege
declar
e
i
s
l_
m
ulti_* toget
h
er wi
t
h isl_
*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-04
Sven V
e
rdoo
l
a
e
ge
make
isl
_
multi
_
* fi
l
es more self-contained
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sv
e
n Verdoolaege
i
sl_space
_
private
.
h
:
protect against multip
l
e inclus
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
Sven V
e
rdoolaege
d
e
tect mi
s
sing gmp
.
h or missing/old gmp library d
u
ring
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
S
v
en
Verdoolaege
isl
_
ast_codegen
.
c
: add_nodes: use more
t
ransparent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
Sven Verdoolaeg
e
add isl_basic_map
_
order_gt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
Sven V
e
r
d
oolae
g
e
bound
.
c: verify_
p
oint:
u
se isl_pri
n
ter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-28
Sven
V
erdoolaege
isl_input
.
c: re
a
d_f
a
c
t
or: dec
l
are
variables at start
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-28
S
v
en
V
erdool
a
ege
Merge branch 'm
a
int'
commit
|
commitdiff
|
tree
2013-04-23
Sve
n
Verdo
o
laege
is
l
_
*alloc*: re
t
urn N
U
LL if
c
t
x a
r
gument is
N
UL
L
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven
V
erdoolaege
isl_
s
p
ace
.
c: a
d
d
missing
i
nclude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdool
a
ege
d
e
clare isl_tab_get_ctx in isl_tab
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
ven
V
er
d
oolaege
decl
a
re i
s
l_*_list together with isl_
*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
v
en Verdoolae
g
e
isl_ast_graft
.
c: remove spurious
i
nclude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
ven Verd
o
olaege
isl_ast_codege
n
.
c: re
m
ove
dependence on internals of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
extract
gener
i
c
is
l
_
*
_list_foreach_scc
from isl_as
t
_cod
e
gen
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaeg
e
is
l
_map_affine_hull
:
m
ake stride information expli
c
it
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
isl_
m
o
rph
.
c: extract out i
s
l_mat_parameter_
c
ompression_
e
xt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sv
e
n
Verdool
a
e
ge
isl_ast_build_ge
t
_
s
tride_cons
t
raint: combine mult
i
ple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven
V
e
rdool
a
eg
e
isl
_
ast_build
.
c:
use isl_int_gcdext ins
t
ead of o
p
e
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
v
en Ve
r
d
o
ola
e
ge
add isl_int_gcdext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sve
n
Ver
d
oolaeg
e
is
l
_a
s
t_build_ast_from_schedule: a
l
so add stride guard
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
v
e
n Verdoolaege
isl_ast_b
u
il
d
_set_loop_bou
n
d
s:
compute di
v
s
a
f
ter elim
i
natin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verd
o
o
laege
i
s
l_map_sim
p
lify
.
c:
n
ormalize_div
s
_
in_c
o
ntext: improve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoo
l
aege
isl
_
ast_build_expr
.
c: r
e
move
l
eft-over from refactoring
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verd
o
olaeg
e
isl_ast_codegen
.
c: create_node_scaled:
re
f
lect current
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdo
o
la
e
ge
add isl_u
n
i
on_ma
p
_preimage_domain_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdo
o
laege
add isl_
m
a
p
_
preimage_domain_multi
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
isl_ba
s
ic_map_preimag
e
_multi_aff:
micro-refact
o
ring
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdool
a
ege
isl_map_sim
p
lify
.
c
: div_is_re
d
undant: ignore c
o
effic
i
ents
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven
Verdoolaege
ge
n
e
r
aliz
e
isl_basic_se
t
_p
r
eimage_m
u
lti_a
f
f to
isl_basic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next