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_schedule.c: graph_alloc: accept NULL pointer on zero-size allocation
2013-05-28
Sven Verdoola
e
ge
add isl_map_flo
o
r
d
i
v_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
ad
d
isl_
s
et_plain_get_v
a
l_if_fixe
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
d
d isl_basi
c
_map_pl
a
in_
g
et
_
val_
i
f_fixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
e
n
Verdoolaege
add isl
_
m
a
p_plain_g
e
t_val
_
if_fixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolae
g
e
add isl_set_lower_bound
_
val and isl_set_upper_boun
d
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
add isl_map_fix_val and
i
sl_
s
et_fix
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoola
e
ge
add isl_
s
et_mi
n
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
la
e
g
e
add isl_set
_
max_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdo
o
l
aege
add isl_bas
i
c_set_max_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolaege
add isl_bas
i
c_set_*_lp_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaeg
e
add privat
e
isl_basic_set_get_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
add
i
sl_p
w
_
q
p
olynomia
l
_
f
ix
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
add isl_pw_aff_
m
o
d_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaege
a
dd
isl_pw_af
f
_scale_down
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_un
i
o
n_pw
_
*_scale_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaeg
e
add isl_multi_*_scale_val and isl_pw_*_scale_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdo
o
laege
add
i
sl_qpolynomial_fold_sca
l
e
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
add isl
_
qpolyno
m
ial_scale_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoo
l
aege
add isl_qpol
y
no
m
ial_val_on_
d
omain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n
V
e
rdoolaege
ad
d
isl_qpolynomial_
g
e
t
_constant_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
add isl_t
e
rm_get_coefficient_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
a
ege
add isl_aff
_
mod_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verd
o
ol
a
ege
add
i
sl_aff_sc
a
le_down_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_aff_s
c
ale_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
ad
d
isl_aff_ge
t
_denominator_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaege
add i
s
l_aff_ge
t
_coeffici
e
n
t
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolaege
a
dd isl_aff_
g
et_constant_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_af
f
_add_coefficient_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oola
e
ge
add is
l
_
a
ff_add_constant_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaege
add isl_af
f
_set_co
e
fficien
t
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaege
add isl
_
aff_set_constant_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
r
doolaege
add
i
s
l_constraint_get_c
o
ef
f
icie
n
t_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
a
eg
e
add isl_co
n
straint
_
g
e
t_consta
n
t_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verd
o
ol
a
e
g
e
add isl_constraint_set
_
c
o
efficient_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaege
add isl
_
co
n
stra
i
nt_set_cons
t
ant_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoolaege
add isl_point_g
e
t_c
o
ordinate_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoola
e
ge
add
i
sl_point
_
set_coordi
n
ate_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_mat_
g
et_ele
m
en
t
_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ve
n
Verdoolaeg
e
add
i
sl_mat_set_elemen
t
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
e
rdoolaege
add isl_vec_set
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verd
o
olaege
add
is
l
_ve
c
_get_element_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verd
o
olaeg
e
add isl_v
e
c_se
t
_element_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoolaeg
e
add GM
P
specifi
c
isl_val functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add
isl_multi_val_mod_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
add i
s
l_multi_val_ad
d
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoola
e
ge
a
d
d i
s
l_m
u
lti_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
is
l
_multi_temp
l
.
c: isl_multi_
*
_s
e
t_*: ex
t
ract out c
h
e
ck
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
add isl_val_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoola
e
ge
add isl_val
abstraction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdo
o
laege
add isl
_
i
nt_submul
_
ui
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoolaege
a
dd
isl_
i
n
t
_
a
d
dmul
_
ui
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sve
n
Verdoolaeg
e
add
isl_int_mul_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sv
e
n
Ver
d
oolaege
add isl_int_fits
_
ulong
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven
V
erdoolae
g
e
add isl_int_fits_slon
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoolaege
rem
o
ve
isl_int_gcdext from publi
c
isl/int
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoo
l
aege
creat
e
private copy of isl/int
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
S
ven Verdoolaeg
e
Merge branch
'
mai
n
t'
commit
|
commitdiff
|
tree
2013-05-24
Sven Verdoolaege
isl_union_set_compute_schedul
e
:
f
i
x
c
h
eck fo
r
progres
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-23
Sven Verdo
o
l
aege
isl_
v
e
rtex_get_domain: return param
e
te
r
domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-23
Sven
V
erdoolaege
isl_as
t
_expr_fr
o
m_c
o
n
straint: split off
constan
t
t
e
rm
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-22
Sven Verdoolaege
M
e
rge
branch 'maint'
commit
|
commitdiff
|
tree
2013-05-22
Sv
e
n Ve
r
doolaege
isl_basic_map_
f
oreach_lexopt: p
r
o
p
erly merge part
i
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-06
Sven Verd
o
olaege
mer
g
e
s
hared
i
s
l_
m
u
l
ti_*
d
e
clarations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-04
Sve
n
Verdoolaege
declare isl_multi_* tog
e
ther with
i
sl
_
*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-04
Sven
Verdoo
l
aege
m
ak
e
isl_multi_
*
files
more self
-
cont
a
ined
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoola
e
ge
isl_space_privat
e
.
h: pr
o
tect ag
a
i
nst multi
p
le inclus
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
S
v
e
n Ve
r
d
o
olaege
detect m
i
ssing gmp
.
h or missing/o
l
d gmp librar
y
d
u
ring
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
Sven V
e
rdoolaege
i
s
l_ast_codegen
.
c:
a
dd_nodes
:
use
m
o
r
e tran
s
p
a
r
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
Sven Verdoolaege
add
i
sl_basic_
m
a
p
_
order_g
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
Sven
V
e
r
doolaege
bo
u
nd
.
c: veri
f
y
_poi
n
t:
use
i
sl_printer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-28
Sv
e
n Verdoolaege
isl_input
.
c: re
a
d
_factor:
declare variables at st
a
rt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-28
Sven Verdoo
l
aeg
e
Merge
b
ranch
'
maint'
commit
|
commitdiff
|
tree
2013-04-23
Sven V
e
r
doolaege
i
s
l_*alloc*: 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 missi
n
g inclu
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven
Ve
r
dool
a
eg
e
declare isl_tab_get_ctx in isl_tab
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven V
e
rdoolae
g
e
declare isl_
*
_list toge
t
her with isl_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven V
e
rdoolaege
isl_ast_graft
.
c: re
m
ove spurious i
n
clude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sve
n
Ver
d
oolaege
isl_a
s
t
_
code
g
en
.
c:
remove dep
e
nd
e
nce on internals of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
v
en
V
erd
o
olaege
ex
t
ract generic isl_*_list_foreach_scc from isl_a
s
t_c
o
degen
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Ver
d
oolaege
isl_map
_
affi
n
e_hull: make str
i
d
e information ex
p
lici
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Ve
r
doolaege
i
s
l_morph
.
c: e
x
t
r
act
o
ut isl_ma
t
_parameter_c
o
mp
r
ession_ext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
i
s
l_ast_b
u
ild_get_stride_constraint: c
o
mbi
n
e multiple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
is
l
_ast_buil
d
.
c:
u
se isl_int_gcdext inst
e
ad of op
e
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
ven Verdool
a
e
ge
add isl_int_gcdext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sv
e
n
Verdo
o
l
aege
isl_ast_build_
a
st_from
_
schedul
e
: also add stride guard
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven
V
er
d
oola
e
g
e
i
sl_
a
st_
b
uild_set_loop_bound
s
: compute divs after
e
limi
n
ati
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sve
n
Verdoolaege
isl_map_si
m
plify
.
c: normalize_d
i
v
s_in_context: improve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaeg
e
isl_ast_
b
u
i
ld_exp
r
.
c: remove left-over from refactoring
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven V
e
rdoolaege
isl_ast_c
o
d
egen
.
c: c
r
e
a
te_node_scaled
:
reflect current
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
add isl_union_
m
ap_preimage_domain_m
u
lti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
add i
s
l_map
_
preimage_doma
i
n_multi_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdool
a
ege
is
l
_b
a
sic_map_p
r
eimage_multi_
a
ff: micro-refactoring
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
is
l
_map
_
simplify
.
c:
d
iv_i
s
_
re
d
undant: ignore coefficien
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
v
en Ve
r
doola
e
ge
gen
e
r
a
li
z
e isl_basic_set_prei
m
age_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
Sv
e
n Verdoolaege
isl_ast_build_ast_from_schedule: als
o
add stride guard
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-19
Sven
V
erd
o
o
laege
isl_ast_build_set_l
o
op_bou
n
ds:
c
omput
e
divs afte
r
elim
i
natin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-19
Sven
Ver
d
ool
a
eg
e
i
sl
_
ma
p
_simpli
f
y
.
c
: n
o
rmalize_divs_
i
n_context: improve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-16
Sv
e
n Verdoolaeg
e
i
sl_map
.
c
: fix typo
in com
m
e
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-16
Sven Verdoolaege
ex
t
e
n
d
isl_seq_preim
a
ge to allo
w
taking
preimage of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-16
Sven Verdoolaege
isl_map_simplify
.
c: di
v
_is_redund
a
n
t: ignore coeff
i
c
ients
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next