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
remove possible use of piplib completely
2013-05-28
Sven
Verdoolaege
add isl_qpolynom
i
al_sca
l
e
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdool
a
ege
add isl
_
q
polynomial_val_
o
n_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
e
n Verdo
o
l
a
ege
add isl_qpolynomial_get_cons
t
an
t
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoolaege
add isl_term_
g
e
t
_
coefficient_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
add is
l
_
a
f
f_mod_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoo
l
ae
g
e
add is
l
_aff_scale_
d
own_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdo
o
l
a
e
ge
ad
d
isl_aff_scale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
add
i
sl_aff_
g
et_denomina
t
or_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
aege
ad
d
i
sl
_
aff_get_co
e
ffici
e
nt_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaeg
e
add isl_a
f
f_get_constant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolae
g
e
ad
d
isl_aff_add_c
o
e
f
ficient_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolae
g
e
add
isl_aff
_
add_constant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
d
oolaege
add i
s
l_aff_set_coefficient_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdool
a
ege
add isl_a
f
f_set_c
o
nstant_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
e
n Verdoolae
g
e
add isl_constra
i
nt_get_coefficient_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
dd isl
_
c
o
nstra
i
nt_get
_
c
o
nstant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
ool
a
ege
add isl_co
n
stra
i
n
t
_set_coe
f
f
i
cient_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoola
e
ge
add
i
s
l_c
o
nstraint_se
t
_con
s
tant_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaege
a
d
d isl_point_get_coordinate_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoolaege
add isl
_
poi
n
t
_s
e
t
_coo
r
dinate_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
d
d isl_mat_ge
t
_element_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
e
g
e
add isl_m
a
t_set_eleme
n
t_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
ae
g
e
add
i
sl_vec_set_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
e
r
doolaeg
e
a
dd isl_ve
c
_get_element_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
e
n Verdoolaeg
e
add isl_v
e
c
_set_element_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en
V
erdoolae
g
e
add GMP specific
isl_va
l
functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
l
aege
ad
d
i
s
l_multi_v
a
l
_
mod_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoolaege
add is
l
_multi_val_add_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
a
d
d
i
s
l_multi_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaege
isl_mu
l
ti_templ
.
c:
i
sl_mu
l
ti_*_set_*:
extract
out che
c
k
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_val_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
d
ool
a
ege
add isl_val
abstracti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoolaege
add isl_i
n
t_submul
_
ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoolaege
ad
d
isl
_
int_add
m
ul_
u
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
S
v
en Verdoolaege
add isl_i
n
t_mul_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven
Ve
r
d
oolaege
add is
l
_int_fits_ulong
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven V
e
rdoolaege
add isl_int_fits_slong
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Ve
r
doolaege
remove i
s
l_int
_
gcdex
t
f
rom public isl/i
n
t
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdool
a
ege
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 Verdo
o
laege
isl_un
i
on_set_compu
t
e_schedule: fix check for
progress
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-23
Sven Verdoolaege
isl_v
e
rtex_g
e
t_domain:
re
t
u
r
n paramete
r
domai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-23
Sven Verdoolaeg
e
isl_ast_expr_fro
m
_cons
t
raint:
s
plit off const
a
nt term
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-22
S
ven
V
erdoolaege
M
e
r
g
e
b
r
a
n
ch 'maint'
commit
|
commitdiff
|
tree
2013-05-22
Sven Verdoolaeg
e
i
s
l
_basic_ma
p
_foreach_lexopt: properly merge partial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-06
Sven Verdoolaege
m
erge shared
isl_
m
ulti_* declar
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-04
Sven
Verdo
o
laege
decla
r
e
isl_multi_* toge
t
her with is
l
_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-04
Sven
V
e
r
d
o
olaege
m
a
ke
isl
_
mult
i
_* fil
e
s more
self-contained
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verd
o
ol
a
eg
e
isl_space
_
p
rivate
.
h: pr
o
t
ect against multi
p
le inclusio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sve
n
Verd
o
olaege
detect
m
issing gmp
.
h
or
missing/old gmp library during
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sven Verdo
o
laege
isl_ast_codegen
.
c: add_node
s
: use more transparent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sve
n
V
e
rdo
o
la
e
ge
ad
d
i
sl_
b
as
i
c_m
a
p_order_gt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sven Verdoolaege
bound
.
c: verify_point:
u
se
isl_printer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-28
Sven Verdoolaege
isl_in
p
ut
.
c
:
r
ead_factor: decla
r
e
variab
l
e
s
at sta
r
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-28
Sv
e
n Verdoolaege
Merge branc
h
'maint'
commit
|
commitdiff
|
tree
2013-04-23
Sven Verdoo
l
aeg
e
is
l
_
*
alloc*
:
r
eturn NULL
i
f ct
x
a
rgument i
s
NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
v
en Verdoo
l
aege
isl_space
.
c
: add mis
s
ing i
n
clude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
declar
e
isl_tab_get
_
ctx i
n
isl_tab
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven
V
erdoo
l
aege
d
e
clare isl_*_list together w
i
t
h isl_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
i
s
l
_
ast_gr
a
ft
.
c: remove spuriou
s
in
c
lude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
isl_ast_codegen
.
c: rem
o
v
e
dep
e
ndence
on internals
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
v
e
n
V
erd
o
ol
a
ege
extract generic isl
_
*_lis
t
_foreach_scc from
i
sl_as
t
_code
g
en
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdool
a
ege
isl_map_
a
ffine_hull
:
make stride information
explicit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
isl_morph
.
c:
e
xtract out isl_mat_parameter
_
compressio
n
_ex
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
i
sl
_
ast_build_get_str
i
d
e_constr
a
int: com
b
ine multiple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Ve
r
doolaege
isl_
a
st_build
.
c:
use is
l
_int_
g
cdext instead of ope
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
v
en V
e
rdoolaege
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
_
ast_build_ast_from_sche
d
ule
:
also add stride guard
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoola
e
g
e
isl_ast_
b
u
i
l
d
_
set_loop_bounds: compute divs
after elimin
a
tin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verd
o
olaege
isl_map_simplif
y
.
c: norm
a
l
i
ze_divs_i
n
_
c
ont
e
xt: impr
o
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sv
e
n Verdool
a
e
ge
isl_ast_build_expr
.
c: r
e
move left-over from refact
o
ri
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
i
s
l_ast_codegen
.
c: create_
n
ode_scaled:
reflect cu
r
rent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
add i
s
l_uni
o
n_map_preima
g
e_domain_multi
_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Ve
r
d
o
olaege
ad
d
isl_map_preimage_domain_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sve
n
Verdoolaege
isl_basic_m
a
p_preim
a
g
e
_multi_aff: micro-refactoring
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
isl_map_sim
p
lify
.
c: div_i
s
_red
u
nd
a
nt: igno
r
e
co
e
f
f
ici
e
nts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
g
eneraliz
e
isl_basic_set_preimage_multi
_
aff to isl_basic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-19
Sven Verdoolaege
isl_ast_build_ast_from
_
schedule: also ad
d
stride guard
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-19
Sven
V
erdoolaege
isl_ast_build_
s
et_loop
_
bounds
:
compu
t
e divs after eliminati
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-19
Sve
n
Verdoolaege
isl_map_si
m
plify
.
c
:
nor
m
a
l
ize_divs_in_context: i
m
prove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-16
S
ven Verdool
a
eg
e
isl_ma
p
.
c: fix typo i
n
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-16
Sv
e
n
V
erdo
o
l
a
e
ge
extend isl_
s
e
q
_
preimage to a
l
lo
w
taking pr
e
i
ma
g
e of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-16
S
v
en Ve
r
doolaege
isl_map_simplify
.
c:
d
iv_
i
s
_
redundant: ignore coeffici
e
nts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-15
Sven
Verd
o
olaeg
e
Merge br
a
n
c
h 'ma
i
nt'
commit
|
commitdiff
|
tree
2013-04-15
Sve
n
Verdoolaege
i
s
l_ast_codegen
.
c: fix typo
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-15
Sven V
e
rdool
a
ege
isl
_
ast
_
build_ast_from_schedule:
p
r
o
perly hand
l
e union
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-15
Sven Verdoolaege
i
s
l_
a
st_
c
od
e
gen
.
c: updat
e
_unrolling_lower_bound: c
h
eck
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-12
S
v
e
n V
e
rdoolaege
isl
_
mat_free:
r
e
tur
n
N
ULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-11
S
v
en
V
erdoolaege
isl_basic
_
ma
p
_insert_dim
s
:
plug
m
e
mory lea
k
when called
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-11
Sven Verd
o
olae
g
e
ChangeLog: drop some te
x
t tha
t
appears to
have been
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-09
Sven
V
erdoolaege
isl 0
.
11
.
2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-09
Sven Verdoolaege
a
d
d mis
s
in
g
interface
/
al
l
.
h
a
nd interface
/
i
s
l
.
py
.
top
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-09
S
v
e
n
Verdoola
e
ge
isl_schedul
e
.
c
: sor
t
_band_l
i
s
t
:
take
i
nto a
c
count that
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-09
S
v
en
Verdoo
l
a
ege
is
l
_schedule_ge
t
_
map: p
a
d schedule map with
zero
s
if
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-09
Sv
e
n Ve
r
dool
a
ege
is
l
_a
s
t_graft
.
c
:
store_guard: coale
s
ce
g
uard
aft
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven Verd
o
olaege
Merge
b
ranch 'maint'
commit
|
commitdiff
|
tree
2013-04-07
Sv
e
n Verd
o
olaeg
e
isl_ast_no
d
e_print: avoid
d
u
plic
a
t
e
declarations in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven
V
e
rdoolaege
i
s
l
_ast
.
c
:
extract out star
t
_
b
l
o
ck and end_block from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
S
ve
n
Verdoolaege
co
n
figur
e
.
ac: ex
p
l
ic
i
t
ly link in llvm bitreader c
o
m
pone
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
S
v
en Ve
r
doolaege
u
p
date for change in argum
e
nts of
c
lan
g
's Hea
d
erSearchOpt
i
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next