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_pw_templ.c: extract out isl_pw_*_exploit_equalities_and_remove_if_empty
2013-06-02
Sv
e
n Verdoolaege
isl_pw
_
tem
p
l
.
c: extr
a
ct o
u
t
isl_
p
w
_
*
_
e
x
p
loit
_
equalities_and_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-02
Sven
V
er
d
oola
e
ge
add
t
est case fo
r
is
l
_
p
w_qpolynomia
l
_inters
e
ct_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-01
Sv
e
n Verdoolaege
isl_polynom
i
al
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoola
e
g
e
isl_ast_codeg
e
n
.
c
: con
t
ruct_shifted_executed: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdo
o
laeg
e
isl_ast_cod
e
gen
.
c: eliminate_non
_
fixed: use isl_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erd
o
olaege
isl_ast_
c
odegen
.
c: at_most_one
_
no
n
_fixed
:
use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
ola
e
ge
i
sl_ast_code
g
en
.
c
: update_
u
nrolling_lo
w
er_bo
u
nd: use
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoolaege
isl_as
t
_
b
uild_has
_
s
t
ride: use isl_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
e
r
doolaege
i
s
l_
a
s
t
_build
.
c: detect_stride: use isl_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdool
a
ege
isl_ast
_
codegen
.
c: aff_constant_is_n
e
g
ativ
e
:
use
i
sl
_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolaege
rem
o
ve private isl_ast_expr_alloc_
i
nt which i
s
n
o longe
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoo
l
aeg
e
isl_ast_bu
i
ld_ge
t
_
st
r
ide: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdool
a
ege
isl_ast_build_s
c
a
l
e_down
:
u
s
e
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en V
e
rdoolaege
isl_ast_
e
xpr_from_*: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
isl_ast_build_
e
xpr
.
c:
isl_
a
st_exp
r
_add_t
e
rm: simplify
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
isl_ast_expr: use isl
_
val to
re
p
resent integer expressi
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
dd is
l
_ast_ex
p
r
_from_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
d
d
isl_ast_ex
p
r_get_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n
Verdool
a
ege
temporarily add isl_val
_
get_num_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoolaege
temporarily make isl_val_int_from
_
i
s
l_i
n
t
avai
l
abl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven V
e
rdoolaege
isl_f
l
o
w
.
c: before: use
isl_vec_cmp_element
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verd
o
olaege
add isl_vec_cmp_
e
lem
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
aege
isl_flow
.
c
:
sched_info_alloc: u
s
e isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n V
e
rdoo
l
aege
i
s
l_band
.
c: mu
l
ti_aff
_
tile: use isl_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
ad
d
isl
_
token_g
e
t_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
r
d
oola
e
ge
a
d
d isl_token_get_st
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolaeg
e
add i
s
l_tok
e
n_get_
v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
add isl_obj
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoo
l
aege
add is
l
_union_
m
ap_fixed_power_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add
is
l
_set_
c
ount
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
e
r
d
oolaege
add
i
sl_set_d
i
m_res
i
due_
c
l
ass_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
add isl_ma
p
_floordiv_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
r
d
oolaege
add is
l
_set_plain_ge
t
_val_if_fixe
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaeg
e
add is
l
_basi
c
_map_plain
_
get_val_if
_
fi
x
ed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoolaege
add
i
sl_map_plain_get_val_i
f
_fixed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erd
o
olaege
ad
d
isl
_
set_lower_bound_va
l
and isl_set_upper_bound_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
l
a
ege
a
d
d
isl_map_fix_val and isl_
s
et_fix_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_set_
m
in_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
ola
e
ge
add isl_set_max_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoolaege
add isl_basic_set_max_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoolaege
add isl_basic_set_*_lp_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolaege
add
p
rivate isl_ba
s
ic_set_get_
d
i
v
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaeg
e
add i
s
l
_pw_
q
poly
n
omial_f
i
x_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verd
o
olaege
add i
s
l_pw
_
aff
_
m
o
d
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_pw_aff
_
scale_down_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdo
o
laege
a
d
d
isl_un
i
on_pw_*
_
sc
a
le_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Ve
r
doolaege
a
d
d isl_multi_*_scale_
v
al and isl_pw
_
*_scale
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
e
rd
o
ola
e
ge
add isl_qpolynom
i
al_
f
old_scale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
add isl_qpo
l
ynomial_scale_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oo
l
ae
g
e
add isl_qpo
l
ynomial_va
l
_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoola
e
ge
add
isl_qpolynomial_get_constan
t
_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Ve
r
doolae
g
e
add isl_te
r
m_get_coeffi
c
ient
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl
_
aff_mod_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olae
g
e
add isl_aff_scal
e
_down_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rd
o
olaege
add isl
_
a
f
f
_
scal
e
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoola
e
ge
add
isl_aff_get_d
e
nominator_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
add isl_aff_get_coefficient
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n
V
e
r
doolaege
add isl_aff_get
_
constant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ve
n
V
erdoolaeg
e
add isl_aff_add_coe
f
ficient_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoola
e
ge
add isl_aff_ad
d
_
c
o
nst
a
n
t
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
ol
a
ege
add isl_aff_set_coefficient_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ve
n
V
e
r
doolaege
add i
s
l_aff
_
set_con
s
t
ant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoolaege
add isl_constraint_get
_
coeffic
i
ent_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaege
add isl_
c
o
n
straint
_
get_constant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoo
l
aege
add isl_c
o
ns
t
raint_
s
et_coefficient_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolaege
a
dd
i
s
l_constr
a
int_se
t
_constant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdool
a
ege
a
d
d
is
l
_point_get_coordi
n
a
t
e_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoolaege
add isl_poin
t
_set_coordin
a
t
e_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoolaege
add isl_
m
at_get_ele
m
ent_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdo
o
laege
add isl_mat
_
s
et
_
element_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
l
a
ege
ad
d
isl_ve
c
_set_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven 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
Sv
e
n
Verdool
a
ege
add
i
sl_vec_
s
et_element_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolae
g
e
add GMP sp
e
cific isl_val fu
n
c
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
o
o
l
aege
ad
d
isl_multi_val_m
o
d
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
add isl
_
multi_
v
al_add_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
V
e
rdo
o
laeg
e
add isl_multi_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolaege
isl_multi_
t
empl
.
c: isl_mu
l
ti_*_se
t
_*: extr
a
ct o
u
t
c
heck
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
laege
add
i
sl_val_
l
ist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaege
a
d
d isl_va
l
abstract
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sv
e
n Verd
o
olaege
add isl_
i
nt_submul_
u
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verd
o
olae
g
e
add isl_int_addmul_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdool
a
ege
a
d
d
isl_
i
nt_mul_s
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoo
l
a
e
g
e
ad
d
isl_int_fits_ulong
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Ve
r
d
oolaege
add isl_int_fits_slong
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven
V
e
rdoo
l
a
e
ge
remove is
l
_
i
nt_gcdext from p
u
blic
i
sl/int
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
S
ven Ve
r
doolaege
creat
e
pri
v
ate
c
opy
of isl/int
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdool
a
ege
Merge branch 'maint
'
commit
|
commitdiff
|
tree
2013-05-24
S
ven Verdoolaege
is
l
_u
n
ion_
s
e
t
_
c
ompute_schedule: fix c
h
eck f
o
r progres
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-23
Sven Verdoolaeg
e
isl_ve
r
tex_g
e
t_d
o
m
a
i
n: return p
a
r
a
meter domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-23
Sven Verdoo
l
aege
isl_ast_expr_fr
o
m_constraint: split off const
a
nt term
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-22
Sven Ver
d
oolaege
Merg
e
b
r
anch 'maint'
commit
|
commitdiff
|
tree
2013-05-22
Sven
V
erdoolaege
is
l
_basic_map_for
e
a
c
h
_le
x
opt: pro
p
e
rl
y
merge
p
artial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-06
Sven Ver
d
oolaeg
e
merge shared isl_multi
_
* declarat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-04
Sven Verdool
a
ege
decl
a
re isl_multi_*
together with is
l
_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-04
Sven Verdoolaege
make isl_multi
_
* files more self-contained
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
S
v
en Verdoolaege
isl_space_
p
rivate
.
h:
p
rotect against multip
l
e inclusio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sven
V
erdoolaege
det
e
c
t
missing
gmp
.
h or
missing/old gmp librar
y
durin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sven Verdool
a
ege
isl_a
s
t_
c
odegen
.
c: add_n
o
de
s
: us
e
m
o
re transparent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sven Ver
d
oolaege
a
dd isl_
b
a
sic_m
a
p_order_
g
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next