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_obj_val
2013-05-28
Sven
Verdoo
l
a
e
g
e
a
dd is
l
_obj_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaege
add isl_unio
n
_
ma
p
_f
i
xed_po
w
er_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_set_count_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolaege
a
d
d isl_set_
d
im_resi
d
ue_c
l
a
s
s_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
ad
d
isl_map_floord
i
v_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
dool
a
ege
add isl_s
e
t
_pla
i
n_g
e
t_val_
i
f_fixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verd
o
olaege
add isl
_
basic_map_plain_get_val_if_fixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
add isl_map_pla
i
n_get_val_if_fixe
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Ve
r
do
o
laege
add isl_set_lower_bo
u
nd
_
va
l
and isl_set_upper_bound_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolaeg
e
add
i
sl_map_fix_
v
al
a
nd isl_set_fix_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_set_min
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_set_max_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en
V
erdoolaege
add
isl_basi
c
_set_max_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n
Verdoolae
g
e
add
i
sl_basic_set_*_lp_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
e
n Verdoolaege
add
priv
a
te isl_basic_set_get_di
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doola
e
g
e
add isl_pw_
q
p
olynomial_fi
x
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoolaeg
e
a
d
d
i
s
l_pw_aff_m
o
d_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoolaege
add isl_pw
_
aff_s
c
ale_d
o
wn_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaege
add isl_union_pw_*_scale_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
e
n
Verd
o
olaeg
e
add isl_multi_*_scale_
v
al
and isl_pw
_
*
_scale_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
d
oo
l
aege
add isl
_
qp
o
lynomial_fold_s
c
ale_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add
i
sl_qpolynom
i
al_scale_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdool
a
e
g
e
a
d
d
isl_qpoly
n
o
m
i
al_va
l
_on_domai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolae
g
e
add isl_qpolyno
m
ia
l
_get_constant_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven
V
erdo
o
laege
add isl_term_get_coefficient_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
e
rdoolaege
add
i
sl_aff
_
mod_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
e
n
Ver
d
oo
l
aeg
e
add is
l
_aff_scal
e
_do
w
n_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolaege
add
isl_a
f
f
_
scale_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en V
e
r
d
oolae
g
e
a
d
d isl
_
aff_
g
et_denominator_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoolaege
a
dd isl_aff_ge
t
_coefficient_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
add i
s
l
_
aff_get_constant_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Ve
r
doolaege
add i
s
l_
a
ff
_
a
dd_co
e
fficient_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Ve
r
dool
a
eg
e
add isl_aff_add_constant_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolaege
add isl_aff_
s
et_coeff
i
ci
e
nt_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoolaege
add isl_aff
_
set_constant_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
add isl_constraint
_
get_coefficient_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
o
olaege
a
d
d isl_constraint_ge
t
_co
n
st
a
nt_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Ver
d
oolaege
add isl_c
o
nstraint_set
_
c
o
efficient_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n
Verdoolaege
add isl_constraint_set_con
s
tan
t
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoolaege
add
isl_point_g
e
t_coordinate_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoola
e
ge
a
d
d isl
_
point_set_coordinate_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en
Verdoolaege
add isl_mat_ge
t
_
el
e
ment_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Ver
d
oolaege
add
i
s
l_m
a
t_set_element_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
add isl_vec_set_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoolaeg
e
add isl_v
e
c_get_element_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoo
l
aeg
e
ad
d
isl_vec_set_elem
e
nt_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
e
r
doo
l
aege
ad
d
G
M
P spe
c
ific isl_val fu
n
ctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolaege
add isl_multi_val_mo
d
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_multi_
v
a
l
_add_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oola
e
ge
add isl_multi_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Ve
r
doolaege
isl_mul
t
i_templ
.
c: isl_multi
_
*_se
t
_*: ext
r
act out check
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Ver
d
o
o
la
e
ge
add isl_val_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Ver
d
o
olaege
a
d
d isl_
v
al abstraction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoolaege
add isl
_
in
t
_submul_ui
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
S
ven Verdoolae
g
e
add isl_int_addm
u
l_ui
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
S
v
e
n Verdoolaege
add isl_in
t
_
m
ul_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoo
l
aege
add
i
sl_
i
n
t
_fits_ulong
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoolae
g
e
a
d
d i
s
l
_
int_
f
its_
s
l
o
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sve
n
Verdoolaege
r
emov
e
isl_int_gcdex
t
from public isl/int
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Ver
d
ool
a
ege
cr
e
ate p
r
i
vate
c
o
p
y of isl
/
int
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven
V
erdoolaege
Merge branc
h
'maint'
commit
|
commitdiff
|
tree
2013-05-24
Sven V
e
rdoola
e
ge
isl_union_s
e
t
_compute_sche
d
ule: fix check for progre
s
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-23
Sven Verdoolaege
i
sl_vertex_get_domain: return parameter
do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-23
S
ven V
e
rdoolae
g
e
isl_ast_expr_fr
o
m_constraint: split of
f
constant
term
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-22
Sven
V
e
r
doo
l
aege
M
erge branch 'mai
n
t'
commit
|
commitdiff
|
tree
2013-05-22
S
ven Verdoolaege
isl_
b
asic_map_foreach_lexop
t
: prope
r
l
y m
e
rge parti
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-06
Sven V
e
rdoolaege
merge shared i
s
l_multi_* declarations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-04
S
v
en
V
erdo
o
laege
declare isl_multi_* together with
i
s
l
_
*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-04
S
v
en Verdoolaege
make
i
sl_multi_* fi
l
es
m
ore sel
f
-contained
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
S
v
e
n Verdoolaege
isl_spac
e
_private
.
h
: protec
t
against multiple inclus
i
on
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
Sven Verdoolaeg
e
detect missing gmp
.
h
o
r missing/old gm
p
l
i
brary during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
Sven Verdoolaege
i
sl_a
s
t_codegen
.
c: add_nodes: use more transparent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
S
ven Verdoo
l
aeg
e
a
dd
i
sl_b
a
sic_map_
o
rder_gt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
Sven
Verdoolaege
bou
n
d
.
c: verify_point: use isl_prin
t
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-28
Sven Ve
r
doolaege
isl_
i
nput
.
c: read_f
a
ctor: declar
e
variables a
t
start
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-28
Sven Verdoolaeg
e
Merge branch '
m
aint'
commit
|
commitdiff
|
tree
2013-04-23
Sven Verdool
a
ege
i
s
l_*all
o
c*
:
return NULL if ctx argu
m
ent is NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verd
o
olaege
isl_space
.
c: add
m
i
s
sin
g
incl
u
de
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven
Ve
r
d
o
olaege
declare isl_t
a
b
_get
_
ctx in isl_tab
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Ver
d
oolaege
d
e
clare is
l
_*
_
l
i
st
together wit
h
isl_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoola
e
ge
isl_a
s
t_graft
.
c: remove spurious includ
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sv
e
n Verdoo
l
aege
is
l
_ast_codegen
.
c: remove depe
n
dence on internals of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
ven
V
erdoolaege
extract
g
e
n
eric
i
s
l
_*_list_f
o
re
a
ch_
s
cc from isl_ast_codegen
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
v
en
Verd
o
o
l
aeg
e
isl_map_affine_hull:
m
ake
stride in
f
o
rmation explicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
v
en Verdool
a
eg
e
isl_morph
.
c: extract o
u
t isl_mat_parame
t
er_com
p
ression_ext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Ver
d
oo
l
a
ege
isl_ast_build_get
_
stride_
c
on
s
t
r
aint: combine
m
ultiple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven V
e
r
d
oolaege
isl_ast_buil
d
.
c: use isl_int_gcde
x
t ins
t
e
a
d of open
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdo
o
l
a
ege
a
d
d isl_int_gcdext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven V
e
rdoolaege
isl_as
t
_build_ast_f
r
om_schedule:
also add stride guard
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven
Verdoolaege
isl_ast_build_set_loop_bounds: compute di
v
s
aft
e
r elimi
n
at
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sv
e
n
V
er
d
oolaege
isl
_
m
a
p_simplify
.
c: normalize_divs_in_
c
ontext: imp
r
ove
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
v
en Ve
r
doolaege
isl
_
a
s
t
_bu
i
ld_expr
.
c: remove
l
e
ft-over from refactor
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoola
e
ge
isl_ast
_
code
g
en
.
c:
create_node_scaled: reflect cur
r
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verd
o
ola
e
ge
add isl_un
i
on_map_p
r
eimage_domain_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
v
en Verdoolaeg
e
add isl_map_preimage_domai
n
_mult
i
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
ve
n
Verdoolaege
isl_basic_m
a
p
_
p
r
e
image_mul
t
i_af
f
: micro
-
refactorin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
i
s
l_map_s
i
m
plify
.
c
: di
v
_
i
s_red
u
ndant: igno
r
e coefficients
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaeg
e
g
e
nerali
z
e isl
_
basic_set_p
r
e
i
mage_mult
i
_aff to
i
sl_basic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-19
S
v
en Verdoolaege
isl
_
ast_build_ast_from_schedu
l
e: a
l
s
o
add s
t
ride guard
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-19
Sven Verdoo
l
a
eg
e
i
s
l
_ast_build_se
t
_l
o
op
_
bounds: compute divs
a
ft
e
r eliminatin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next