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_aff_mod_val
2013-05-28
Sv
e
n Ve
r
doolaege
add isl_aff_mod_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
e
n Ve
r
do
o
laeg
e
add isl_aff_scal
e
_down_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdool
a
ege
add isl_aff_scale
_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
laege
add isl_aff_get_denominator_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add is
l
_aff_
g
e
t_coeff
i
cient_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_a
f
f_get_constant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
add isl_aff_add_
c
oefficient_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven
Verdool
a
ege
add isl_aff_add_constan
t
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add
isl_
a
f
f_set_coefficient_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
ad
d
isl_aff_s
e
t_c
o
nstant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
add isl_const
r
aint
_
get_coefficient_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoola
e
ge
add isl_con
s
traint_
g
et_constan
t
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
a
d
d
i
sl_constraint_set_coe
f
fic
i
ent
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en
V
erdoolaege
add isl_constraint_
s
et_c
o
nstant
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
add
is
l
_
poi
n
t_get
_
coordinate_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_point_s
e
t_
c
oordinat
e
_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaege
add isl_mat_get_eleme
n
t_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoo
l
aege
a
dd isl_mat_set_e
l
em
e
nt_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verd
o
olaege
a
d
d isl_v
e
c_set_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolaege
add is
l
_vec_get_el
e
ment_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoolaege
add is
l
_vec
_
set_element_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
a
dd
GMP specific isl_val func
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_
m
ulti_val_mod_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolae
g
e
add isl_multi_val_add_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoola
e
ge
add is
l
_multi_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
aege
isl_multi
_
templ
.
c:
i
s
l_multi_*_set_*: extract out check
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
add isl
_
v
a
l
_
li
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
d
d
isl_val abstract
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verd
o
olaege
add
i
sl_in
t
_submul_
u
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven V
e
rdo
o
l
ae
g
e
a
d
d isl_
i
nt_addmul_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdool
a
ege
add
isl_i
n
t_mul_
s
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoolaege
add
is
l
_i
n
t_fits_ulong
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoolaege
add isl_int_fits
_
slong
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoo
l
aege
remove i
s
l_int_
g
c
dext from
p
ublic
isl/int
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven
V
erdoolaege
create p
r
iva
t
e
c
opy of
isl/int
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven
Verd
o
olaege
Me
r
ge
b
ranch 'main
t
'
commit
|
commitdiff
|
tree
2013-05-24
S
v
en
V
erdoolaege
i
s
l_union_set_compute_schedule: fix che
c
k for progress
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-23
Sven Verdoo
l
aege
isl_vertex_get_domain: return
param
e
ter domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-23
Sven
Verdoolaege
isl_ast_expr_
f
rom_constra
i
nt: s
p
l
i
t off
c
onstant
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
e
r
d
oo
l
a
e
g
e
isl
_
basic_map_for
e
ach_lexopt: prop
e
rly merge partia
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-06
Sven Verdoolaege
merge sh
a
red isl_multi
_
* dec
l
a
rati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-04
Sven Verdoolaege
declare isl_mul
t
i
_* together with is
l
_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-04
Sven Verdoola
e
ge
make isl
_
m
u
l
ti_* files more self-contained
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoolaege
isl
_
spac
e
_pr
i
v
a
te
.
h: protec
t
against multiple inclusi
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sven
Verdoolaege
d
etect miss
i
ng gmp
.
h or missing/old gmp library during
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sve
n
Ver
d
oolaege
isl
_
ast_codegen
.
c
:
add_nodes:
u
se more t
r
a
nsparent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sven
V
e
rdoo
l
ae
g
e
add isl_bas
i
c_m
a
p_order_gt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sven Verd
o
olaege
bound
.
c: verify_point:
u
se isl_print
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-28
S
v
en Verdoolaege
isl_input
.
c
: read_fact
o
r:
d
eclare
va
r
i
a
bles at sta
r
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-28
Sven
V
erdoolaege
Merge b
r
anch 'maint'
commit
|
commitdiff
|
tree
2013-04-23
S
ven Verdoolaeg
e
isl_*
a
ll
o
c*
:
ret
u
r
n NULL if c
t
x argument is NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
v
e
n Verdo
o
laege
isl_space
.
c:
a
d
d
missin
g
i
n
c
lude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdo
o
laege
declare isl_tab_get_ctx in isl_t
a
b
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoo
l
ae
g
e
dec
l
are
isl_
*
_list
t
ogether
w
ith isl_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Ver
d
oolae
g
e
isl_as
t
_graft
.
c: remo
v
e
s
p
uriou
s
include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
ven Verdo
o
laege
isl_ast_codegen
.
c: remo
v
e depen
d
e
n
ce on internals of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
v
en Verdoolaege
extra
c
t
g
en
e
ric isl_*_list_foreach_sc
c
from isl
_
ast
_
codeg
e
n
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
v
en V
e
rdoolaege
isl_map_affine_hu
l
l: mak
e
stride information explicit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verd
o
olaege
isl_m
o
rph
.
c:
e
xtract out isl_ma
t
_paramet
e
r_compre
s
s
ion_ext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
isl_ast_build_get_st
r
ide_c
o
nstr
a
int:
c
ombin
e
m
ultiple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven
V
erdool
a
ege
isl_ast_build
.
c: u
s
e isl_int_gcd
e
x
t ins
t
ead of open
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
add isl_i
n
t_gcdext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verd
o
olaege
i
sl_ast_bu
i
l
d
_ast_fro
m
_schedu
l
e
:
also add
s
tr
i
de guard
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
ven Verdoo
l
aeg
e
isl_ast_build_s
e
t_loop_boun
d
s: compute div
s
after eliminatin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
isl_map_si
m
plify
.
c: n
o
rmalize
_
divs_in_
c
onte
x
t: improve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoo
l
a
ege
isl_ast_build
_
exp
r
.
c
:
r
emo
v
e l
e
ft-
o
ver fr
o
m refactoring
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
i
s
l_as
t
_co
d
egen
.
c: create_node_
s
caled:
reflect c
u
r
r
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
v
en
V
erdoolaege
add i
s
l
_
union_map_preimage_domain_m
u
l
ti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verd
o
o
l
aege
add isl_map_preimage_domain_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sv
e
n
Ve
r
doolaege
isl_
b
asic_
m
ap_preimage_
m
ulti_aff: mic
r
o-
r
efactoring
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Ver
d
oolaege
isl_map_simpl
i
fy
.
c
:
div_is_redundant: ignore coeffici
e
n
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven V
e
rdoolaege
generaliz
e
isl_ba
s
i
c
_set
_
p
reimage_mul
t
i_a
f
f to
isl_basic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-19
Sven V
e
rd
o
o
l
aege
isl_ast_build_ast_fro
m
_sched
u
le
:
also
a
dd stride guard
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-19
Sven
Ve
r
doolaege
isl_as
t
_b
u
ild_set_
l
oop_
b
ounds: co
m
pute divs af
t
er eliminatin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-19
Sven Verdool
a
ege
i
s
l_map_simp
l
ify
.
c: normalize_di
v
s_in_context: improve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-16
S
v
en Verdoolaege
isl_map
.
c: fix typo in
c
ommen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-16
Sve
n
Ve
r
doolaege
e
xtend isl_seq_preimage t
o
allow taking
p
r
eimage of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-16
S
v
en Verdoola
e
ge
isl_ma
p
_simplify
.
c:
d
i
v
_
is_redundant: ignore coeff
i
cients
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-15
Sv
e
n Verdoolae
g
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2013-04-15
Sven Verdoolae
g
e
i
sl_ast_codegen
.
c: fix typo
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-15
S
v
en Verdoolaege
isl_ast_build_ast_from_sc
h
edule:
properl
y
h
andle union
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-15
Sven Verdoolaege
isl_
a
st_codegen
.
c: u
p
d
ate_
u
nrol
l
ing_lower_bo
u
nd: ch
e
ck
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-12
Sven Verdoolaege
isl_mat
_
f
r
ee: retu
r
n N
U
LL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-11
Sv
e
n Verdoolaege
i
sl_basic_map_
i
n
s
ert_dims: pl
u
g memor
y
leak when called
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-11
Sven Verdoo
l
aeg
e
ChangeLog: drop s
o
me text tha
t
a
p
pears to hav
e
been
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-09
Sven
V
erdoolaege
is
l
0
.
11
.
2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-09
S
ven Verdoolaege
a
dd missing interface/all
.
h
an
d
int
e
r
face
/
i
sl
.
py
.
top
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-09
Sven Verdoolaege
i
s
l_sch
e
dule
.
c: sort_band_li
s
t
: take int
o
acco
u
nt t
h
at
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-09
Sven
V
erdoolaege
is
l
_schedule_get
_
map: pad sche
d
ule map with zeros if
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-09
Sven Verdoolaege
i
sl_ast_graft
.
c
:
s
t
ore_guard
:
coal
e
sce gu
a
rd afte
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven Verdoo
l
aege
Merg
e
b
ranch 'maint'
commit
|
commitdiff
|
tree
2013-04-07
Sven Verdool
a
ege
isl_ast_node_print: avoid duplicate dec
l
arat
i
o
ns in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven Verdoolaege
isl_ast
.
c: extract out start_bloc
k
and end_block from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven Ve
r
doolaege
configure
.
ac
:
expl
i
citly link
i
n
l
lvm bi
t
re
a
der co
m
ponent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven
Verdoolaege
update for change in argumen
t
s of clang's HeaderSearchOption
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven Ve
r
doolaege
update
for cha
n
ge in arguments of
clang's Com
p
ilerInstan
c
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-01
Sven V
e
rdoola
e
ge
isl_ast_codegen
.
c
: fix
t
ypo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-01
S
v
en Verdool
a
eg
e
isl_ast_graf
t
_li
s
t_sort_guard: use isl_ast_graft_li
s
t_sort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-01
Sven Verdoo
l
aege
add isl_*_li
s
t_so
r
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
