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_coalesce.c: wrap_in_facets: simplify computation
2015-01-01
Sv
e
n Verdoolaege
isl_coalesce
.
c: wrap_in_
f
acets: simp
l
ify
computation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
S
ven Ver
d
oo
l
aege
i
sl_c
o
alesce
.
c: check_eq_adj_eq: allow multiple equ
a
lit
i
es
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven Ve
r
d
oolae
g
e
isl_
t
est
.
c: fix whit
e
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdoolaege
add i
s
l_basic_map_detect_inequality_p
a
irs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdoolaege
M
erg
e
branch 'maint'
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdoolaege
isl
_
convex_hull
.
c: c
o
mpute_facet: avo
i
d d
o
uble free
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n
V
erdoolaege
isl_c
o
a
lesce
.
c: coalesce_subs
e
t: proper
l
y indicate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_coal
e
sce
.
c: set_from_updated_bmap: update u
n
de
r
lying se
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaeg
e
isl_co
a
lesce
.
c
:
c
h
eck_facets: update
justification
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaeg
e
isl_coalesce
.
c: c
h
eck_facets: mark tablea
u
ration
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdo
o
laege
a
d
d
isl_tab_m
a
rk_rati
o
nal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n Verdoolaeg
e
isl_coalesce
.
c
:
fix
typo
s
in
comm
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
Verd
o
o
laege
isl
_
coalesce
.
c: ca
n
_wrap_in_facet:
update comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
Verdoolaege
i
s
l_coales
c
e
.
c
:
chec
k
_wrap: update commen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven V
e
rdoo
l
aeg
e
isl_tab_relax: return int instead of
isl_tab *
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven
V
erdoolaege
isl_tab_relax: avoi
d
N
U
LL pointer dereference
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
Verdoolaege
isl_ta
b
_a
d
d
_eq:
p
ropagate errors of d
r
op_row
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ver
d
oola
e
ge
isl_tab
.
c: pe
r
form
_
undo_var: pro
p
aga
t
e errors of drop_row
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ve
r
dool
a
ege
isl_tab_min_at_most_neg_on
e
: be consist
e
nt
about r
e
turn
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven V
e
r
d
oolaege
Merg
e
br
a
nch '
m
aint'
commit
|
commitdiff
|
tree
2014-12-25
S
v
en Verdoolaeg
e
isl_
a
st_buil
d
_ast_from_s
c
hedul
e
:
r
emove
r
edundant
c
on
s
tr
a
i
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
add isl_union_{set,map}_
r
e
m
ove_redundancies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven
V
erdoolaege
isl_a
s
t
_build
_
expr
.
c: isl_ast_expr
_
a
d
d_
t
erm: allow
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
i
s
l
_
ast_codegen
.
c: add
_
implied_guards:
combine degenerate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
ven Ver
d
oolaege
isl_ast_build_e
x
pr
.
c: isl_ast_expr_add_term: s
t
ore
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
V
e
r
doolaege
isl_as
t
_bu
i
l
d
_expr
.
c: try_extract_mod: declare varia
b
les
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sven
Verdool
a
ege
A
ST
g
enerat
o
r: select unroll lower
bound intr
o
ducing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sven Verdoolaege
i
sl_ast_codegen
.
c
:
m
o
ve up at_offset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
S
ven Verdoolaege
i
s
l_
a
st_co
d
egen
.
c: extra
c
t
out is_be
t
ter_lower_
b
o
u
nd
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-19
Sv
e
n
V
e
rdo
o
laege
isl_printer
_
flush: actu
a
l
l
y
clear buf
f
er when called
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven
V
er
d
oolaege
isl_map_gist: try a
n
d exploit implicit con
s
tr
a
ints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verd
o
olaeg
e
isl_test
.
c:
tes
t
_gist: consider test inputs as sets
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Ve
r
doolae
g
e
add
i
sl_map_unshifted_si
m
p
le_hu
l
l
_from_
m
ap_l
i
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
S
ven Ver
d
oola
e
g
e
add isl_union
_
s
et_
l
ist_
u
nio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven V
e
r
d
oolaege
ad
d
isl_basic_map_list_i
n
tersect
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolaege
isl_map
.
c
: fix whitespace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolaege
add
isl_un
i
o
n
_
p
w_multi_aff_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven
Ver
d
oo
l
aege
add
isl_union_set_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolaeg
e
ad
d
isl_unio
n
_
map_li
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
Sven Verdoolaege
add
i
sl_map_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
Sven
V
e
r
d
oolaege
add is
l
_
b
asic_map
_
list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
Sven Verdoolaege
ad
d
i
s
l_union_set_identity_unio
n
_pw_multi
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
e
n Verdoolaege
add isl_union_
s
et_projec
t
_out
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rdo
o
laege
add isl_union_map_flat_dom
a
in
_
p
rodu
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
e
n Verdoolaege
add isl_un
i
on_{set,map}_is_di
s
jo
i
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rdoolae
g
e
add isl_basic_map
_
gist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rdoolaege
a
d
d isl_union_pw_*_s
u
btract_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
olaege
add
i
sl
_
pw_*
_
subtract_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
ad
d
is
l
_
u
nion_map_factor
_
domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add
i
sl_u
n
io
n
_map_fac
t
or_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
e
r
doolaeg
e
a
d
d
isl_
u
nion_map
_
rang
e
_factor_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
e
n
Verdoolaege
add isl_union_map_domain_factor_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven V
e
r
d
ool
a
eg
e
add isl_union
_
ma
p
_domain_factor_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verdoola
e
ge
a
dd isl_map_fac
t
or_doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdoola
e
ge
add isl_
m
ap_factor_r
a
nge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doo
l
a
eg
e
a
d
d isl_space
_
factor_doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n V
e
rdoolaege
add i
s
l_spa
c
e_f
a
ctor_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
laege
add isl_m
a
p_domain_
f
act
o
r
_
domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
aege
a
dd isl_ma
p
_domain_
f
actor
_
range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oolaege
add isl_space_domain_fac
t
or_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoola
e
ge
add isl_union_s
e
t_wra
p
ped_domain
_
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
ola
e
ge
add isl_set_wrapped_domain_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
e
rdoolaege
a
d
d i
s
l
_
union_map_
i
nvolv
e
s
_
dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoolaege
add isl
_
union_
p
w
_
*_find_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoolaege
add isl
_
pw
_
*_
f
ind_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolae
g
e
add isl_multi_*_f
i
nd_di
m
_by_
n
ame
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
a
d
d
isl_aff_find_di
m
_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaeg
e
add
isl_union_map
_
find_
d
i
m
_by_n
a
me
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
olaege
a
dd isl_basic_ma
p
_find_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add is
l
_lo
c
al_space_find_
d
im_by_na
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdoolaege
add isl_u
n
ion_
p
w_*_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoola
e
ge
add i
s
l
_
union
_
s
e
t_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_union_pw_mu
l
ti_aff_mult
i
_
v
al_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_p
w
_mul
t
i
_
a
f
f
_m
u
lti_va
l
_o
n
_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Ve
r
doolaege
add
i
sl_multi_aff
_
multi_val_on_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven
Verdoolaege
add
is
l
_pw_a
f
f_val_on_do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
a
e
ge
a
d
d isl_
u
nion_*
_
scale
_
down_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdoolaege
general
i
ze
i
sl_pw_aff
_
scale_down_va
l
to isl_{multi
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Ve
r
d
oola
e
ge
add isl_
q
polynomial_
f
old_scale_down
_
v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verdoola
e
ge
add isl_qpolynomia
l
_scale_down_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doolaege
a
d
d isl_v
a
l
_
in
v
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolae
g
e
Merge branch
'
m
ain
t
'
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
isl_basic_ma
p
_gi
s
t: avoid modifying i
n
pu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-19
S
ven Ver
d
oolaege
add isl_local_
s
pace_is_p
a
rams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-19
Sven Verdoolaege
isl_union_
p
w_multi_aff_add: compu
t
e s
u
m
on shared de
f
inition
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoola
e
ge
declare is
l
_uni
o
n_pw
_
q
polynomia
l
_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
d
eclare isl_unio
n
_pw_mu
l
ti_a
f
f_inter
s
ect
_
p
a
rams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoola
e
g
e
de
c
lar
e
isl
_
u
n
ion_pw_
m
ulti_
a
ff_gi
s
t
_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdoolae
g
e
declare isl_union_pw_multi_aff_coa
l
esce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdool
a
ege
declare isl_u
n
ion_pw_m
u
lti_aff_sca
l
e_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven V
e
rdoo
l
ae
g
e
decla
r
e isl_u
n
ion_p
w
_mul
t
i_aff_pla
i
n_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verd
o
olaege
declare isl_
u
nion_pw_multi_aff_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdool
a
e
g
e
declare isl_union_pw_mu
l
ti_aff_extract_pw_multi_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdool
a
ege
declare
i
s
l_union_pw
_
multi_
a
f
f
_from
_
pw_
m
ulti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
Verdoolaege
declare isl_pw_multi_aff_reset_
t
uple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
Verdoolaege
declare isl_m
u
lt
i
_*_fl
a
tte
n
_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
decla
r
e isl
_
multi
_
a
ff_move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdoola
e
ge
declare isl_un
i
on
_
m
a
p_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
d
eclare isl_
u
nion
_
set_
t
o_s
t
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
Ve
r
doo
l
a
e
ge
declare isl_
m
ulti_af
f
_
to_s
t
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next