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_vertices.c: isl_cell_alloc: accept NULL pointer on zero-size allocation
2013-07-05
Sven Verdoola
e
ge
isl_vertices
.
c
: isl_cell_allo
c
: acce
p
t NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verd
o
olaege
is
l
_ve
r
tices
.
c: com
p
u
t
e_
c
h
ambers:
ac
c
ept NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
e
n
Verdoolaege
i
sl_vertices
.
c: ad
d
_chamber: accept
N
U
LL
pointer o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven V
e
rdoola
e
ge
isl_basic_
s
e
t_comp
u
t
e
_vertices: acce
p
t
N
ULL poi
n
ter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdo
o
l
aege
i
s
l_vertices
.
c: verti
c
es_
f
rom_list
:
a
c
cept NULL
p
o
inter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolae
g
e
isl_t
r
ansitive_c
l
osu
r
e
.
c: union_comp
o
n
ents: avoid zer
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ve
r
d
oola
e
ge
isl_tr
a
nsitive_
c
losure
.
c:
p
ath_along
_
delta: accept
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
e
n
Verdoola
e
ge
isl_tar
j
a
n_graph_alloc: accept NULL
p
ointer
on
zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n Ver
d
oolaege
isl_t
a
b_bas
i
c_set_non_trivial_l
e
x
mi
n
: ac
c
ept NULL point
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verd
o
ola
e
g
e
isl_tab
_
pip
.
c:
bas
i
c
_
map_parti
a
l_l
e
xo
p
t_sy
m
m:
a
c
cept
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolae
g
e
isl_tab_pip
.
c
:
tab_for_lexmin: accep
t
NULL
p
o
inter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erdoolaege
isl_tab
.
c: restore_basis: accept
NULL pointer on zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n Verdool
a
ege
isl_tab_pu
s
h_basis: accept NU
L
L pointer on z
e
ro
-
size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
V
erd
o
o
laege
isl_ta
b
_pr
o
duct: accept NULL
p
ointer on zero-size
allocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
e
rdoolaeg
e
isl_tab_dup: accep
t
N
U
L
L
p
ointe
r
on zero-size al
l
ocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verd
o
olaege
i
s
l_t
a
b_
a
l
loc: accept NULL pointer on zero-
s
ize allocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_
s
pace_reverse: accept NULL
p
ointer on zero-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
ven Ve
r
doolaege
i
sl_schedule
.
c: construc
t
_f
o
res
t
:
with_me
r
ged_div
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoolaege
isl_
s
chedule
.
c: construct_band_list:
w
i
th
_
m
e
rged_divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoo
l
aege
i
sl_sch
e
dule
.
c: construct_ba
n
d: with_merged_divs: accept
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_s
c
hedule
.
c
: ext
r
ac
t
_node: accept
N
ULL
poi
n
te
r
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Ve
r
doolaege
isl_sche
d
u
l
e
.
c: graph_
a
llo
c
: accept N
U
LL
p
ointer
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoo
l
ae
g
e
isl_qpo
l
ynomial_mo
r
ph_
d
omain:
a
c
cept NU
L
L
pointer on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
ven Verdoolaege
isl_qpolynomial_move_dims: av
o
id zero-s
i
z
e
al
l
ocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
er
d
oolaege
isl_polynomi
a
l
.
c: wi
t
h_merged_divs: accept NULL poin
t
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
is
l
_
m
at_s
u
b_alloc6
:
accept NULL p
o
inter on ze
r
o-siz
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_mat
_
e
x
te
n
d:
a
ccept NULL pointer on zero-size allo
c
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdoolaege
isl_mat_alloc: accep
t
NULL point
e
r on zero-si
z
e all
o
c
a
ti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ve
r
doolaege
isl_map
_
subtract
.
c
:
n
_non_
r
edundant: avoid zero-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven V
e
r
d
oolaege
isl
_
basic
_
map_drop_re
d
undan
t
_divs:
avoid zero-s
i
ze
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdool
a
ege
i
s
l
_
b
asic
_
map_sort_c
o
nstraints:
a
void zero-si
z
e
allocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolae
g
e
isl_
m
ap
.
c: basic_map_in
i
t: accep
t
NULL p
o
inter on
zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Ve
r
doola
e
ge
isl_basic_set_opt_
l
p_val_aligned: accept NULL
p
o
in
t
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_loca
l
_space_get_active: accept NULL
p
ointer on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_basic_set_opt: accept NULL pointer
on zero-si
z
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
ven Verdoolaege
isl
_
f
low
.
c: compute_flow: accept NULL poi
n
ter on zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en
Verdoolaege
isl
_
flo
w
.
c: sch
e
d_in
f
o_a
l
l
o
c:
accept NULL pointer
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_f
l
ow_al
l
oc
:
acce
p
t NULL pointer on zero-size al
l
ocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoo
l
a
e
ge
isl_coalesce
.
c:
coal
e
sce_subse
t
: ac
c
ept NUL
L
pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ve
r
d
oolaege
isl_coalesce
.
c
:
coalesce
_
local_
p
air: accep
t
NUL
L
p
ointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
berns
t
ein_coefficie
n
ts_f
u
ll_
r
ecursive: accept NULL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_ba
n
d
_dup:
a
cc
e
pt
N
ULL pointer on zero-size allocati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdo
o
laege
isl_
a
st_graft
.
c: insert_pen
d
ing_guard_nodes: a
v
o
id
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_ast_exp
r
_alloc_op:
a
ccept NULL
pointer
on zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verd
o
o
laege
isl_a
f
f_align_divs: accept N
U
L
L
pointer on zero
-
size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erdoolaege
i
s
l_aff_a
d
d: accep
t
NULL pointer on zero-s
i
ze
a
llocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ver
d
oolaege
i
sl_pw_mu
l
ti
_
aff_pro
d
uct: fix ty
p
o that broke h
a
ndling
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
V
erdoo
l
a
e
ge
isl_
a
st_co
d
eg
e
n
.
c: g
e
nerate_co
m
ponent: handle
n
on-obv
i
ou
s
ly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ver
d
oolaege
i
s
l_ast_exp
r
_
f
r
om_aff: cl
e
ar denom
i
nator before call
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-02
Sven Ver
d
oolaege
isl_qpolynomi
a
l_val_on_domain: p
l
ug memory leak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-01
Sven Verd
o
ol
a
ege
isl_basi
c
_m
a
p_apply_range: avoid in
v
a
l
id access
e
s o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
Sven Verdoolaege
isl 0
.
1
2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
S
ven
Ver
d
oolaeg
e
doc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
Sven Ve
r
d
oolaege
try and avoid depen
d
ing on mpz
_
gcd
e
xt
i
nternals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
Sven Verdoolaege
i
sl_printe
r
_prin
t
_ma
p
: make pr
i
n
ting order of d
i
sjun
c
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven
V
erdoolaege
i
s
l
_c
o
nstra
i
nt_private
.
h: perform prope
r
includes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven
Verd
o
o
l
ae
g
e
Makefi
l
e
.
a
m: a
d
d isl_val_private
.
h t
o
li
b
isl
.
la
s
ources
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
S
ven V
e
rdoo
l
aege
d
oc
:
explain that isl_int
s
will b
e
removed
i
n f
u
ture
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
S
ven Verdoo
l
a
ege
remove
*_
s
cale_vec function
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
S
v
en Verdoolaege
isl_band_tile
:
us
e
isl_
u
nio
n
_pw_mul
t
i_
a
ff_sc
a
le_m
u
l
t
i
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sve
n
V
e
r
d
oolae
g
e
add i
s
l_u
n
ion_
p
w_multi_aff_sca
l
e_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdoo
l
aege
add isl_pw_multi_aff
_
scale
_
multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sv
e
n V
e
rdoola
e
ge
add isl_multi_*
_
scale_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
S
v
en Verdoolaege
merge shared is
l
_mult
i
_*_a
l
ign_par
a
m
s
declaration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-16
Sven Verdoolae
g
e
ad
d
is
l
_val_int_from_chunk
s
and isl_val_get_abs_n
u
m_chunks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-14
Sven Verdoolaege
Merge
b
ranch 'ma
i
nt'
commit
|
commitdiff
|
tree
2013-06-14
S
ven Verdoolaege
isl_{in,}e
q
u
a
lity
_
from_aff: skip construction of isl_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-14
S
ven Verdoolaege
i
s
l_map_gi
s
t_basic_map: remove
ali
g
nment of context
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-14
Sven Verdoolaege
i
s
l_mul
t
i
_*
_
gist: add missin
g
isl_multi_*_
c
ow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-11
Sven V
e
rdoolaege
is
l
_local_
s
pa
c
e
_
substitute
_
equalities: impr
o
ve error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-11
S
ven V
e
rdoolaege
i
s
l
_lo
c
a
l
_space_s
u
bstitute_equalities: avoid wr
i
t
i
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-10
Sven
V
erdoolaege
M
erge branc
h
'maint
'
commit
|
commitdiff
|
tree
2013-06-10
Sven V
e
rdoolaege
isl_coal
e
sce
.
c: fix typo i
n
commen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-10
Sv
e
n Verdool
a
ege
isl_outpu
t
.
c
: print
_
qpolyn
o
mial_c: improve erro
r
handl
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-06
Sve
n
V
erdoo
l
aege
i
sl_ma
p
_align
_
divs: fix e
r
ror handl
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoolaeg
e
i
s
l
_hm
a
p
_
m
a
p
_ba
s
ic_s
e
t_set: avoi
d
memory
l
eak on
error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Ve
r
doolaege
isl_union_ma
p
_
alloc: avoid double f
r
ee on
error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven V
e
rdoolaeg
e
isl_ve
r
t
ices
.
c:
compute_chambers: avo
i
d
i
n
valid
a
ccess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven V
e
r
doolaege
isl
_
basic_m
a
p_
g
ist
:
avo
i
d
invalid
a
c
cess on er
r
or path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoolae
g
e
is
l
_basic_map_align
_
divs: avoid in
v
alid ac
c
ess on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sve
n
Verdoolaege
i
sl_b
a
si
c
_map_cont
a
i
n
s:
av
o
id invali
d
access on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
S
v
en Verdoolaege
isl_ba
s
ic_set
_
opt: avo
i
d i
n
valid access on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sven V
e
r
doola
e
g
e
isl_tab_pip
.
c:
c
ontext_
g
br_sav
e
:
a
void invalid
acces
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sven Verdoolaeg
e
isl_tab_pip
.
c: us
e
_shifted:
a
v
o
id invalid access on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sven Verdoolaege
isl_a
s
t_codeg
e
n
.
c
:
g
enerate_co
m
ponen
t
: avo
i
d invalid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sven
Verdoolae
g
e
i
s
l_strea
m
_
rea
d
_
m
ap: handle
"
imp
l
i
e
s
" token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-03
Sven Verdoolaege
rem
o
ve ref
e
rence to piplib f
r
om
.
g
itmod
u
les
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven
V
e
r
doo
l
ae
g
e
i
s
l_input
.
c
:
acce
p
t_div: accep
t
fl
o
or/ceil o
f
ra
t
ional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
S
ven Verdoolaege
isl_inpu
t
.
c:
e
xtr
a
ct out common
is_
s
tart_of_
d
iv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven
V
er
d
o
o
laege
isl_pw_*_fix_val: also plug in value in
a
ssociated
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven V
e
rdoo
l
aege
i
sl_pw_templ
.
c: extract ou
t
isl_pw_*_exploit_equalities_and_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdoolaege
add test case for isl_p
w
_qpolynomial_intersect_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-01
Sven V
e
rdoolaege
is
l
_polynomial
.
c:
f
i
x typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
V
erdoo
l
aege
is
l
_as
t
_codegen
.
c:
co
n
truct_shifte
d
_executed: use is
l
_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
i
sl_ast_codegen
.
c: elimina
t
e
_non_fixe
d
: use isl_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoo
l
aege
isl_ast_codegen
.
c: at_most
_
one_non
_
f
ix
e
d: use i
s
l_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoolaege
isl_ast_codegen
.
c
: up
d
ate_unro
l
ling_lo
w
er_bound:
use
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
isl_ast
_
b
ui
l
d_has_stri
d
e:
u
s
e
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verd
o
olae
g
e
isl_a
s
t
_
buil
d
.
c: detect_
s
trid
e
: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
i
s
l_as
t
_co
d
egen
.
c: aff
_
constant_is_negativ
e
: use
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next