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_access_info: change interface for specifying restrictions
2012-05-06
Sven
Verdoolaege
isl_acces
s
_
i
nfo: chan
g
e interface
for specif
y
ing
restri
c
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdo
o
la
e
g
e
isl
_
map_
c
oalesce:
o
n
ly coa
l
e
s
ce
p
airs of basic maps
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
S
v
en
Verdoolaeg
e
isl_coalesce
.
c: change interface of {in,}eq_status_in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
S
ven V
e
rdoolae
g
e
add isl_map_s
o
rt_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdo
o
la
e
ge
ad
d
isl_set_coales
c
e tes
t
case
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
S
ven V
e
rdoolaege
a
dd i
s
l_basic_map_get_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Ve
r
doolae
g
e
isl_merge
_
divs: handle
N
ULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
S
v
en Ve
r
d
o
olaege
Merge
bra
n
ch 'maint'
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdo
o
l
a
e
ge
isl_loc
a
l_spac
e
_alloc_div: fix error han
d
ling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven
V
e
rdoolaege
isl_union
_
set
_
compute
_
s
chedu
l
e: ignore ba
c
kwar
d
proximity
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdool
a
ege
i
s
l
_
b
a
sic_map_insert:
p
res
e
rve emptiness
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdoola
e
ge
isl_
b
a
sic_set_
t
otal_d
i
m:
h
a
n
dle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sv
e
n Ver
d
oolaege
isl_term_get_div: su
p
port nest
e
d divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sv
e
n
V
erdoolaege
isl_te
r
m
_
get
_
d
i
v: n
o
rm
a
lize res
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven
Ver
d
o
ol
a
ege
i
sl_access_info_co
m
pute_fl
o
w: sort acces
s
es in textual
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
S
v
en Verdo
o
laege
isl_flow
.
c: access_sort_
c
mp: use isl_quick
s
ort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven
V
erd
o
olaege
isl_
q
sort
.
h: f
i
x whitespace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
S
ven Verdoola
e
ge
isl_map_c
o
alesce: o
p
tio
n
ally
b
ound the coe
f
f
i
cients
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sve
n
Verdoola
e
ge
add isl_seq_abs_max
commit
|
commitdiff
|
tree
2012-04-13
Sve
n
Verd
o
ola
e
ge
Merge branch 'maint'
commit
|
commitdiff
|
tree
2012-04-13
S
ven Verd
o
olae
g
e
isl_m
a
p_coalesce: don't
t
r
y to relax (implicit) equalities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven V
e
rdoola
e
g
e
isl_ta
b
_relax: p
r
event relaxa
t
ion on dead or redun
d
an
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-11
Sv
e
n Ve
r
doolaege
isl
_
basic_map_un
i
on: plug memory leak on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-11
Louis-Noel Pouchet
Fix a typo i
n
i
s
l_te
r
m_d
u
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
Sven
V
e
r
doolaege
isl_strea
m
_read_ma
p
:
allow "not"
a
t
s
tart
of grouped
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
Sven Ver
d
oolaeg
e
i
sl_
t
est
:
test_
p
a
r
se_map_e
q
ual: return result of test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
Sven Verdoolaege
Merge b
r
anch 'maint'
commit
|
commitdiff
|
tree
2012-04-07
Sven Ve
r
doolaege
is
l
_pw_*_on_sha
r
ed_
d
omain: improve error han
d
ling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
S
v
en Verdoo
l
aege
link
in new
-lclangEdit when availa
b
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-16
Sv
e
n Ver
d
oolaeg
e
isl
_
*
al
l
oc ma
c
ros: retur
n
expre
s
sion of desi
r
ed type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verdoola
e
ge
add
isl_
m
ap_fixed_po
w
er and isl_union_map_fixed_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ve
r
doola
e
g
e
isl_token
:
change
t
ype of "type
"
fie
l
d
f
r
o
m
e
num
isl_token_t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n Verdoolaege
Merge br
a
nch 'maint'
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
erd
o
olaege
isl_union
_
map_
i
s_subset: properly handle non-o
b
vio
u
sly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoo
l
aeg
e
i
sl_pw_aff_co
n
d: ch
a
nge first argument from an
i
sl_
s
e
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verdoolaege
ad
d
isl_set_{l
o
w
er,up
p
er
}
_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
ven Ver
d
o
o
l
aege
add isl_pw
_
aff_n_piece
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sve
n
Verdoolaege
add isl_set_i
n
dicator_f
u
n
ction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sven Verdoo
l
aege
isl_ba
s
ic_map_affine_hul
l
: conside
r
p
oints
a
d
j
acent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sven Verdoolae
g
e
add isl_set_has_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sven Verdoola
e
ge
d
oc: minor
c
le
a
n-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sven Verdo
o
laeg
e
add isl_spa
c
e_has_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-25
Sven Verdo
o
laege
configure
.
ac: remove spu
r
i
o
u
s ","
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven Ve
r
doo
l
aeg
e
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven Verdoolaege
isl_bas
i
c
_set_sa
m
ple:
perfo
r
m ba
s
is reduction at each
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sve
n
Verdoolaege
a
dd isl_
b
asic_set_is_su
b
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
S
ven Verdo
o
lae
g
e
export isl_basic_map_is_s
u
bset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven Verdoolaege
ad
d
isl_
b
asic_set_sam
p
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven V
e
rd
o
o
laege
doc:
d
ocument *
_
s
ample fu
n
ctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-23
Sven Verdoo
l
aeg
e
M
e
r
g
e branch 'maint'
commit
|
commitdiff
|
tree
2012-02-23
Sven Verdoolaege
isl_coal
e
sce
.
c
:
wrap_
i
n_facets: bail
out if any of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-23
Sven
Verdoolaege
i
s
l
_test:
t
est_co
a
lesce_set
:
fa
i
l
i
f coalescing fa
i
led
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-21
Sven Ver
d
oolaeg
e
exp
o
rt is
l
_
ma
p
_p
l
ai
n
_is_single_value
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-21
Sven Verdoolaege
isl_tab_basi
c
_map_
p
artial_lexopt: p
r
operly
n
ormalize
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-20
Sven Verdoola
e
ge
add is
l
_map_complement
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-19
Tobia
s
Grosser
scheduler
:
allo
w
to bound
t
he coefficients in the cal
c
ula
t
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-19
Tobia
s
Gro
s
ser
i
s
l
_tab_b
a
sic_set_non_trivi
a
l_lexm
i
n: do not add
c
ut
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven Ver
d
oolaege
isl_map_
f
ix_si: dr
o
p basic maps th
a
t have
become empty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven
Verdoola
e
ge
isl
_
map
.
c: extra
c
t
o
ut common
r
emove_if_empty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven
V
erdoolaege
isl_map
_
coale
s
ce: drop empty
parts before che
c
king
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdo
o
laege
Merge branch 'mai
n
t'
commit
|
commitdiff
|
tree
2012-02-14
Sven V
e
rdoolaege
i
s
l_co
n
vex_hull
.
c: u
s
et_con
v
ex_hull_wrap_bounde
d
: remove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven Ve
r
doola
e
ge
i
sl_basic_map_realign:
p
reserve (most) flags
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven V
e
r
d
oola
e
ge
a
d
d isl_printer_prin
t
_p
w
_a
f
f test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdoolaege
isl_basic_m
a
p
_
for
e
ach_lexopt: normalize
i
sl
_
af
f
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
S
v
e
n
Verd
o
olaege
isl_pw_*_
u
nio
n
_add: don't subtract non-overlapping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sve
n
Verdoolaege
isl_prin
t
er_print_pw
_
aff: sk
i
p
constrai
n
ts
i
mplied
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verd
o
o
laege
add isl_
b
a
s
i
c_set_is_div_constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
S
v
e
n
V
e
rdoolaeg
e
Merge branc
h
'
m
aint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
S
v
en Verdoolaeg
e
i
sl_printer_print_pw_aff: fi
x
printi
n
g in C form
a
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdoolaege
isl_stream_
r
ead_pw_aff:
c
all isl_pw_
a
f
f
_
union_add instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sve
n
V
e
rdo
o
lae
g
e
i
s
l_v
e
rtice
s
.
c: co
m
pute_
c
hambers: avoid access to freed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoolaege
export isl_pw_
m
ulti_aff_co
a
l
esce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoolaege
export
isl_pw_
m
ulti_aff_d
o
mai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
S
v
en
V
erdoolaege
isl_aff_normalize: r
e
move unused divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
S
ven V
e
rdool
a
ege
is
l
_
pw_multi_aff_f
r
om_
m
ap: add
a special case where
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven
Verdoolaege
privately export is
l
_basic_map_plain_is_single_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven V
e
rdoo
l
a
ege
i
s
l_printer_print_pw_aff: simplify domain
e
xpre
s
sion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
Sven Ver
d
oolaege
isl_mo
r
ph
.
c: fix typ
o
in
c
om
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
S
v
en
Verd
o
olae
g
e
Me
r
g
e
branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2012-02-01
Sven Verd
o
olaege
isl_b
a
sic_
s
e
t
_full_
c
ompressi
o
n: dete
c
t equalit
i
es i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
S
v
en V
e
rdoo
l
aege
isl_stream_read_p
w
_q
p
olynomia
l
: accept pro
d
ucts of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
Sven
Verdoolae
g
e
isl_union_set_produc
t
: ca
l
l isl_
s
et_product
on e
n
tries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
Sven Ve
r
doolaege
isl_
t
ab_pip
.
c: sol_add:
s
kip emp
t
y
c
o
ntexts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-31
Sve
n
V
e
r
doola
e
ge
i
s
l_space_set
_
dim
_
id:
a
lso set id of parameter in
n
e
sted
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-31
Sven
Verdoolaege
isl_spac
e
_
set
_
d
i
m_id: renam
e
"dim
"
v
ariable
to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven Ver
d
oolaege
s
c
h
e
du
l
e
r: re
p
la
c
e spl
i
t_p
a
rallel
by split_s
c
aled opt
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven
V
erdoolae
g
e
add
isl_mat_scale_d
o
wn_row
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Tob
i
as Grosser
Add
isl_union_map_
g
ist_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
S
v
en Verdoo
l
aege
schedule
r
:
add an option
t
o configure the
l
evel of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sv
e
n
V
erdoolaege
Merge b
r
anch 'maint'
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdo
o
l
a
e
ge
s
c
h
edule
.
c
:
split_parallel: avoid invalid memory
accesse
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdool
a
ege
update for change in clang's
HandleTopLevelDecl return
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven
Verdoolaege
con
f
igure
.
a
c
:
only link a
g
ainst libraries from
L
LVM
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdool
a
ege
p
u
t annotations
a
fter "struct"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sve
n
V
e
rdoolaege
Merge branc
h
'maint'
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdoolaege
is
l
_
pw_aff_
n
on_zero_set
:
don't as
s
ume isl_pw_aff i
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdoolaeg
e
isl_aff_no
n
neg_
b
asi
c
_set an
d
i
s
l_aff_ze
r
o_bas
i
c_se
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-16
S
ven Verdoolae
g
e
i
sl_tab_fr
o
m_basic_map: p
r
es
e
rve all constr
a
ints in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-16
Sven Ver
d
oolaege
isl_tab_track_bmap: drop sani
t
y checks i
n
case of empty ta
b
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next