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
codegen_test.sh: keep track of failure rather than exiting on first failure
2013-02-19
Sven Verdoo
l
ae
g
e
cod
e
gen_test
.
s
h: k
e
ep track
o
f failure ra
t
her than
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-19
Sven Verdoola
e
ge
Merge branch '
m
a
i
nt'
commit
|
commitdiff
|
tree
2013-02-19
Sve
n
V
erdool
a
ege
isl_ast_codegen
.
c: generate_domain:
a
void infinit
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-14
Sven Verdoolaege
is
l
_
s
ch
e
dule
.
c: fix typo in c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-14
Sven Ve
r
doolaege
isl_band_tile: set pa
r
ent field of
the
c
hild
ban
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-14
Sven V
e
rdoolaege
i
sl_pw_
m
ulti_a
f
f_drop_
d
i
m
s: fi
x
dropping of ou
t
put
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-11
Sven Verdoo
l
aege
isl_ast_graft
.
c: extract_ho
i
stable_guar
d
:
drop divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-10
Sven V
e
rdoola
e
ge
declar
e
i
s
l
_union_pw_multi_aff_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-10
Sven Ve
r
d
o
olae
g
e
decl
a
r
e
i
sl_union_pw_multi_aff_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-10
Sve
n
Verdoo
l
aege
add
isl
_
u
n
ion_pw_m
u
lti_aff_read_fr
o
m_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-10
Sven Verdoolaege
a
dd isl
_
union_pw_
m
ulti_af
f
_from_union_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-05
Sven Verdoolaege
isl_ctx
_
free: properly free allocat
e
d options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-03
Sven V
e
rdoolaege
isl_uni
o
n
_map_alloc: project s
p
a
c
e
argument
ont
o
its
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-03
S
ven Verdoola
e
g
e
isl_in
p
ut
.
c: read_conjun
c
ts: stop parsing conju
n
cts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-03
Sven Verdoola
e
ge
i
sl_input
.
c: accept_affi
n
e_factor: drop unexpected
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-27
Sve
n
Ve
r
doolaege
Merge
branch
'
maint'
commit
|
commitdiff
|
tree
2012-12-27
Sv
e
n Verdoolaege
interface/python
.
c
c:
add missing
include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-16
S
v
e
n
Ve
r
doolaege
i
s
l_as
t
_codegen
.
c:
c
o
m
pute_
c
lass_dom
a
i
n
s
: co
m
pute gi
s
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-16
Sven V
e
rdoolaege
i
s
l_basic_map_from_co
n
stra
i
nt_matrices: (simp
l
if
y
an
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-15
S
v
en
V
e
r
doolaege
isl_s
t
ream
_
read
_
map
:
allow anonymous
unc
o
nstrained
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-10
S
ven Verdo
o
laeg
e
isl
0
.
11
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-07
Sve
n
Verdoola
e
ge
isl_map_
i
nline
_
forea
c
h_ba
s
ic_map: dro
p
b
a
s
i
c
maps that
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-07
Sven Verd
o
olaege
is
l
_hash_dim: make result
indep
e
n
d
ent of endianness
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-07
Sven Verdoolaege
isl_
b
asic_ma
p
_
m
ove_dim
s
:
a
vo
i
d in
v
alid access on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-04
Sve
n
Verdoolaeg
e
isl_basic_set_exp
a
nd_d
i
v
s: avo
i
d
i
nvali
d
a
c
cess o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-04
S
v
en Verdoolae
g
e
add LICENSE to the distri
b
ution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Ver
d
oolaege
isl_sched
u
l
e
.
c: a
d
d
_
inter_c
o
nstrain
t
s: avoi
d
invalid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sve
n
Ver
d
oolaege
isl_schedule
.
c:
a
d
d_intra_con
s
traints:
avo
i
d
invalid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven
V
erdoolaege
i
s
l_tab_basic_
s
e
t
_non_
n
eg_le
x
min: handle NULL in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
isl 0
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sv
e
n
V
erdoolaege
i
s
l_schedule
.
c: a
d
d_inte
r
_
validity_constr
a
i
n
t
s
:
av
o
i
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
S
v
en Ver
d
oolaege
isl_tab_bas
i
c_set_non_tri
v
i
a
l
_lexmin: handle
N
ULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Ve
r
doolae
g
e
isl_tab
.
c: push_
u
nion: handle
N
ULL
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sv
e
n
Verdoola
e
g
e
isl_mat
_
transpose: handl
e
NULL in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
is
l
_basic_map_for
e
ach_lexopt: avoid invalid ac
c
ess
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven V
e
rdoolaege
isl
_
pw_*_on
_
sh
a
red_domain_in: avoid double
fre
e
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sv
e
n
Ve
r
dool
a
eg
e
isl_
o
utput
.
c: print_se
t
_c: handle NUL
L
inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven V
e
rdoolaege
isl
_
basic_map_elimin
a
te_var
s
: avo
i
d invalid access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sve
n
V
erdoolaege
isl_
m
ap_simplify
.
c: remove_dependent_vars: handle NULL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
S
v
en Ver
d
oolaege
isl_tab_pip
.
c: sol_pop: avoid inva
l
id access on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
i
sl_basic_map_de
l
tas
:
f
i
x error handli
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sve
n
Verdoolaege
i
sl_ast_codegen
.
c:
generate_
s
orted_dom
a
ins: avoid invalid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdool
a
eg
e
isl_test
.
c:
test_as
t
: avoi
d
i
n
valid acc
e
ss
on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoo
l
aege
isl_parameter_alignment_r
e
ordering: fix err
o
r
handli
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdool
a
e
ge
isl_basic_map_n
o
rmalize: avoid inv
a
lid acc
e
ss on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sv
e
n Verdoola
e
ge
i
s
l_map
.
c: basic_set_
m
aximal_differe
n
ce_at: fix e
r
ror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoola
e
ge
isl_conve
x
_h
u
ll
.
c: map_sim
p
le_hull: avoid in
v
a
l
id access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoo
l
aeg
e
i
s
l_ast_c
o
degen
.
c:
compute
_
domains: a
v
o
i
d invalid access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolae
g
e
isl_b
a
sic_map_is
_
e
mpty:
avoid invalid
access on e
r
ror
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoola
e
g
e
i
s
l_space_exten
d
: av
o
id
invalid
access o
n
e
rror
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven
V
e
rdoolaege
isl_map_s
u
btr
a
ct
.
c:
basic_m
a
p_collec
t
_
diff: avo
i
d i
n
va
l
id
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolae
g
e
isl_basic_map_overlying_set: avoid i
n
valid acc
e
ss o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
S
v
e
n
Verdoolaege
isl_map
.
c
: basic_
m
ap_space_
r
e
set: h
a
n
dle NUL
L
in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven
Verdoolaege
isl_bas
i
c
_set
_
s
w
ap_
v
ars: handle NULL inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
S
v
en
V
erdoola
e
ge
isl_input
.
c: constru
c
t_constraints: respect memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Ver
d
o
o
l
a
ege
isl_a
s
t_c
o
d
egen
.
c:
creat
e
_nod
e
: avoid in
v
alid access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
S
v
en V
e
rdoolaege
isl_as
t
_codegen
.
c: fo
r
_inc: handle NULL
in
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
S
ven Verdoo
l
aege
i
sl_pw_af
f
_set_ra
t
ional: avoid inval
i
d
access on
e
rror
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
S
ven Verdoola
e
g
e
isl_vec_dup: avoid invalid
a
ccesses on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven V
e
rdoolaege
isl_
m
ap
.
c: map_intersect_intern
a
l: properly plug memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdool
a
e
ge
update
f
or
change
in the
c
onstructor
o
f the cl
a
ng Driver
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
isl_ver
t
ices
.
c:
ve
r
tices_from_list:
plug memory lea
k
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven
V
e
rdoolae
g
e
isl_ba
s
i
c
_set
_
comp
u
te_verti
c
es: plug memory
l
eak on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven V
e
rdool
a
ege
i
sl_test
.
c: f
i
x
typ
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
S
v
en Verdoolaege
isl_tes
t
.
c
:
test_o
u
tp
u
t:
a
voi
d
inva
l
i
d access
on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
S
v
en Verdoolaeg
e
i
s
l_test
.
c:
b
e
fore_
f
or: retur
n
earl
y
on
error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
S
v
en Verdoolaege
isl_
t
est
.
c: test_sample: return earl
y
o
n
error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoo
l
a
ege
isl_tab_
p
ip
.
c: find_in_pos
:
p
lug m
e
mory
l
eak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Ver
d
ool
a
ege
isl_tab_pip
.
c:
a
d
d_p
a
rametric_cut:
p
lug mem
o
ry l
e
ak
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven
Verdoolaege
isl_tab_pip
.
c: sol_
p
u
s
h
_
sol: plug memory
leak on er
r
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
i
sl_sp
a
ce_dup
:
avoid inva
l
id accesses on
e
r
r
or
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdo
o
laege
is
l
_sc
h
edule
.
c
:
add
_
*_
c
onstraints: a
v
oi
d
in
v
al
i
d accesses
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
isl_reordering_extend_space:
f
ix
e
rro
r
h
a
ndl
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sv
e
n Verd
o
ola
e
g
e
is
l
_multi_
*
_
realign_doma
i
n: pl
u
g m
e
mory leak
o
n error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoo
l
aege
isl_map_s
u
btract
.
c: map_is_subset: fix error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Ver
d
ool
a
ege
isl_map
.
c: update_dim_opt: re
t
urn earl
y
on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
S
v
en Verdoolaege
isl_
b
asic_map_und
e
rlying_set
:
p
lug
memory leak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven
Ve
r
do
o
laege
i
s
l_map
.
c: map
_
i
ntersect_internal: plu
g
memory le
a
k
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
isl_as
t
_bui
l
d_
i
nit_
d
eri
v
ed: chec
k
build->do
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sven V
e
r
d
oo
l
a
e
ge
isl_input
.
c: re
a
d_aff_dom
a
in: remove spurious vars_fre
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sven Ve
r
doolaege
isl_input
.
c: read_map_tuple: retur
n
early on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sven Ve
r
d
oolaege
i
s
l_input
.
c: accept_affine_li
s
t
:
plug me
m
ory leak on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sven Ver
d
oolaege
isl
_
affine_hull
.
c
:
equalities_in_underlying_set
:
plug
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verdoolaege
isl_ta
b
_detect_equalitie
s
: plug memo
r
y leak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verdoolae
g
e
i
s
l_ast_cod
e
gen
.
c
: after_
e
ach_for: ad
d
missing r
e
turn
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
S
v
en V
e
rdo
o
laege
re
i
ntroduce is
l
_basic_
s
et_ad
d
s
ymbol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoolaege
ad
d
isl_union_map_uncur
r
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven
V
erdoolaege
configure
.
a
c: ch
e
ck if TargetInfo:
:
CreateTa
r
getInfo
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-23
Sven Verdoolaege
int
e
rf
a
ce/extract_int
e
rfa
c
e
.
cc:
take TargetOptions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-22
Sven Verdoolaege
AST printing cal
l
backs: pass isl_as
t
_print_optio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-22
Sven Verdoolaege
doc: f
i
x typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-21
Sven Verdoolaeg
e
a
d
d
before_each
_
f
or/after_
e
ach_for callbacks
commit
|
commitdiff
|
tree
2012-11-21
Sve
n
V
e
rdoolaege
isl_ast_build_f
r
o
m
_
context: allow unnamed set dimen
s
ion
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sv
e
n V
e
rdoolaege
isl_
b
as
i
c_map
_
gist: d
r
op irrelevant constr
a
int
s
from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
S
v
en
V
e
r
d
oolaege
i
s
l_map_simpli
f
y
.
c:
fix t
y
po in c
o
m
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sve
n
Verdo
o
l
a
ege
is
l
_ast_buil
d
_
e
liminate_divs: remove unkno
w
n
divs be
f
ore
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolaege
is
l
_
affine_hull
.
c
:
affine
_
hull_wi
t
h
_cone: plug memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
S
ven Verdoolaege
c
h
ange proto
t
ype of i
s
l_
f
actorizer_
d
ump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolaege
isl_tab_sam
p
le: p
e
rform greedy search befor
e
perfor
m
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven
V
erdoolaege
isl
_
tab_sample: extract out compute_min and
c
o
mpute_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next