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 V
e
rdoolaege
isl_vertices
.
c: isl_cel
l
_alloc: accept NU
L
L
p
o
i
nter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erdoolaege
isl_v
e
rti
c
es
.
c:
c
ompute_chambers: accept NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_verti
c
es
.
c
:
add_chambe
r
: accept NUL
L
po
i
nt
e
r on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
erdoo
l
a
ege
is
l
_basic_set_c
o
mpute_vertices: accept NUL
L
pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_vertices
.
c: vertices_from_list: accept NUL
L
pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_tran
s
itive_cl
o
sure
.
c: u
n
ion_com
p
o
ne
n
ts:
avoid zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdoolaege
isl_transit
i
ve_
c
losure
.
c:
p
ath_along_
d
e
l
ta: accep
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
V
e
r
doolaege
isl_tar
j
an_graph_
a
lloc: accept N
U
LL point
e
r on zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n
V
erdoolaege
isl_ta
b
_ba
s
i
c
_set_non_t
r
i
v
i
al_lexmin
:
acc
e
p
t
NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdoolaege
i
s
l_tab_pip
.
c: basic_map_partial
_
lexopt_symm:
a
c
c
ept
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_tab_pip
.
c: tab
_
for_lexmin:
a
cc
e
pt NULL pointer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
is
l
_tab
.
c: restore_bas
i
s
: accept NULL pointer on zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdoolaege
i
s
l_tab_push_ba
s
is: accept
N
ULL poi
n
ter on
zer
o
-
size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoo
l
aege
is
l
_tab_p
r
oduct:
a
ccept
NULL pointer on zero-s
i
ze
a
l
location
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolae
g
e
isl_tab_dup: accept NULL
po
i
n
t
er on
zero-size allocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdo
o
lae
g
e
isl_
t
ab_alloc: accept NULL pointer on
zero-size
allocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Ver
d
oolaege
is
l
_sp
a
c
e
_
r
ev
e
rse
:
accept N
U
LL pointe
r
o
n
zero-s
i
ze
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
e
n
Verdoolaege
isl_schedule
.
c: construct_
f
o
r
est: with_merged_divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ver
d
o
o
laege
is
l
_s
c
hedule
.
c
: constru
c
t_band_
l
i
st: with_merged_divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolae
g
e
isl_s
c
hedule
.
c: c
o
nstr
u
c
t
_b
a
nd: with_merged_d
i
vs
:
accept
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n
Verdoolaege
i
s
l_schedul
e
.
c: extract_node: accept NULL
pointer on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven V
e
r
doo
l
aege
i
s
l_schedu
l
e
.
c: graph_alloc: accept
N
U
L
L poi
n
te
r
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdoo
l
aege
isl
_
q
p
olynomial_
m
orph_domain: acce
p
t
N
U
LL pointer on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdo
o
laege
isl_qpolynomial_
m
ove_dims: avoid zero-s
i
ze al
l
ocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ve
r
doolaege
isl_p
o
lynomi
a
l
.
c:
w
ith
_
merged_di
v
s:
acc
e
pt
N
U
LL point
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdoola
e
g
e
isl_mat_sub_alloc6:
a
cce
p
t N
U
LL pointer
o
n
zero-
s
ize
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_mat_ex
t
en
d
: accept NULL poi
n
t
er on
z
ero-size allo
c
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Verdoolaege
isl_m
a
t_alloc: a
c
c
e
pt NULL poi
n
ter on zero-size allocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n
V
erd
o
olaege
is
l
_map_subtra
c
t
.
c: n_non_redu
n
da
n
t: avoid zero-
s
i
ze
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
V
erd
o
o
laege
isl_bas
i
c_map_drop_redundant
_
divs: avoid zero-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Ve
r
d
oolae
g
e
is
l
_ba
s
ic
_
map_sort_c
o
ns
t
raints:
a
void
z
e
r
o-size allocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
en Verdoolaege
isl_m
a
p
.
c:
b
a
s
ic_
m
ap_init: accept NULL
pointer on zer
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven
Ver
d
oola
e
ge
isl_basic_set_op
t
_lp_
v
a
l_aligned
:
acce
p
t NU
L
L po
i
nter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaege
isl_local_space
_
get_active: acc
e
pt NUL
L
point
e
r on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolaeg
e
isl_basic_set_o
p
t:
a
c
c
ep
t
N
ULL
p
ointer on zero
-
size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolae
g
e
isl
_
flo
w
.
c
:
compute_flow: accept NULL pointe
r
on z
e
ro
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
ven Verdoolae
g
e
isl_flow
.
c: sched_in
f
o
_alloc: accep
t
NULL p
o
inte
r
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n
V
e
r
d
oo
l
a
e
ge
i
sl_flo
w
_alloc: accept
N
ULL p
o
inter on zero-size allocat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdool
a
ege
i
sl_coal
e
sce
.
c:
c
oalesce_subs
e
t: accep
t
NULL
point
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoolae
g
e
i
s
l
_coalesce
.
c
:
c
o
alesce_
l
ocal_pair: a
c
c
ept NULL poin
t
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Ver
d
oolaege
bernstein_coeffici
e
nt
s
_full_r
e
cursiv
e
: accept NULL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sv
e
n
V
e
rd
o
olaege
i
sl_band_dup: a
c
cept N
U
LL
p
o
inter
o
n
zero-
s
ize al
l
o
cat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
ve
n
Verdool
a
ege
isl_ast_graft
.
c: insert_pending
_
guard
_
nodes: avoi
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoolaege
i
s
l_ast_
e
xp
r
_a
l
lo
c
_op: accept NUL
L
pointer on zero
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verd
o
o
l
aeg
e
isl_aff_ali
g
n_divs: accept NULL pointer o
n
zero-size
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sven Verdoo
l
aege
isl_a
f
f_add: ac
c
ept N
U
LL pointer on
z
ero-size alloca
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
Sve
n
Verdoolaege
isl_pw_m
u
l
t
i
_aff_pro
d
uct: f
i
x typ
o
t
h
at broke h
a
ndli
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
e
n Verdoolaege
isl_ast_codege
n
.
c
:
generate_component:
h
a
nd
l
e non-obviously
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-05
S
v
e
n V
e
r
d
oolaege
isl_ast_e
x
pr
_
f
rom
_
aff:
c
l
ea
r
denominato
r
be
f
ore
c
a
ll
i
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-02
Sven
Verdoolaege
is
l
_qpolynomial_val_on_do
m
ain
:
plug mem
o
ry
l
eak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-01
Sv
e
n
Verdo
o
l
a
ege
i
sl_bas
i
c_map_ap
p
ly_range:
avoid in
v
alid accesses on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
Sven Verdo
o
laege
isl 0
.
12
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
Sv
e
n Verdoo
l
aeg
e
doc: fix typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
Sven
V
erdoolaeg
e
tr
y
and
a
void depending on mpz_gc
d
e
x
t internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
Sven Verdool
a
e
g
e
i
s
l_pri
n
t
er_print_map: ma
k
e p
r
inting order of disjunct
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sve
n
Verdoolaege
isl_constraint_private
.
h
: perform pr
o
p
e
r
includes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdoolaege
Makefile
.
am: add i
s
l_
v
al_priv
a
te
.
h to libisl
.
la sou
r
ces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
S
v
en Verdoolaege
doc: explai
n
that i
s
l
_
ints
w
ill be remove
d
in futu
r
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven Verdoolaege
remove
*
_scale_vec functi
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven V
e
rdoolaege
i
s
l_ba
n
d
_
tile: use i
s
l_uni
o
n_pw_multi_aff_sca
l
e
_
multi
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sv
e
n
V
e
rdoola
e
ge
a
dd
i
sl_union_
p
w_mu
l
ti_aff_sca
l
e
_
mult
i
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
S
v
en V
e
rdoolaege
add isl_pw_m
u
lti_aff_
s
cale_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sven V
e
rd
o
olaege
add isl_
m
ulti_*_scale_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-18
Sv
e
n
V
e
rdoolaege
me
r
ge
shared isl_
m
ulti_
*
_align
_
params declaration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-16
Sven Verdoolae
g
e
add isl_val_int_from_
c
hunks
and isl_val_get_a
b
s
_
num_chunks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-14
Sven
Verdoolae
g
e
Merge branch 'm
a
int'
commit
|
commitdiff
|
tree
2013-06-14
Sven V
e
rdo
o
laege
isl_{
i
n,}equality_f
r
om_
a
ff:
s
kip constructi
o
n of isl_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-14
Sven Verdoolaege
isl_map
_
gi
s
t_basic_map
:
remo
v
e alignment of context
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-14
Sven
V
e
rdoola
e
ge
i
s
l_multi_*_g
i
s
t
:
add mis
s
i
ng is
l
_multi_*_cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-11
Sve
n
Verdool
a
ege
i
s
l_local_space_substi
t
ute_eq
u
ali
t
ies:
i
mprove
e
rr
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-11
S
v
en
V
erdoola
e
ge
isl_local_space_substitut
e
_equalities: avoid writing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-10
S
ve
n
Verdoo
l
aege
Mer
g
e
branch 'main
t
'
commit
|
commitdiff
|
tree
2013-06-10
S
ven Verd
o
olaege
isl
_
co
a
lesce
.
c: f
i
x typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-10
Sven Verdoolaege
i
s
l_output
.
c: print_
q
poly
n
omi
a
l_c:
improve error han
d
li
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-06
Sven V
e
r
d
oolaege
i
s
l_map_align_divs: fix e
r
ror handlin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoolaege
isl_hmap
_
map_basic_set_set: av
o
id memo
r
y l
e
a
k
on er
r
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoola
e
ge
i
sl
_
un
i
o
n_map_alloc: avoid
dou
b
le free on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sve
n
Verdool
a
ege
i
s
l_verti
c
es
.
c:
co
m
pute_chambers: avoid
i
nvalid ac
c
ess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sv
e
n Verdoolaege
isl_basic_m
a
p_gist: avoid invalid acce
s
s on err
o
r path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Ver
d
oola
e
ge
isl_basic_map_align_divs:
a
void
invalid acces
s
on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Ver
d
oolaege
i
sl_basic_map_conta
i
ns: avo
i
d invalid
a
ccess on
err
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
Sven Verdoolaege
isl_basic_set_opt: av
o
id inv
a
lid access on
e
rror
p
ath
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sven Verdoolaege
i
s
l_tab_pip
.
c: con
t
ext_gbr_save: a
v
oid invalid access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sven
V
erdool
a
ege
i
s
l_tab_pip
.
c: use_s
h
ifte
d
:
a
void i
n
valid access on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sv
e
n
V
e
rd
o
olaege
isl_ast_c
o
degen
.
c:
gene
r
a
t
e_compone
n
t: avoid inval
i
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-04
Sven Verdoolaege
isl_
s
tream_read
_
map:
h
a
ndle "im
p
lies" token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-03
Sven Ve
r
doola
e
ge
remove refere
n
ce t
o
piplib from
.
git
m
odul
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven
V
e
rdoolaege
i
sl_input
.
c: ac
c
ep
t
_div: acce
p
t
floor
/
ceil of rational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdoola
e
g
e
isl
_
input
.
c
: extrac
t
out common is_s
t
a
rt_of_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven
V
erdoolaege
isl_p
w
_*_fix_val: als
o
plu
g
i
n
v
a
lue in associated
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
Sven Verdoolaege
isl_pw_templ
.
c: extract out isl_pw_*_exploit_equalities_an
d
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-02
S
v
e
n
V
erdoo
l
aeg
e
add test case f
o
r isl_pw_qpolyn
o
mi
a
l_
i
ntersect_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-01
Sve
n
Verd
o
ola
e
g
e
isl
_
polynom
i
al
.
c
: fix typo in comm
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
isl_ast_code
g
en
.
c:
c
ontruct
_
shifte
d
_executed: use isl_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en
Verdoolaege
isl_a
s
t_codegen
.
c: el
i
minate_non_fixed:
u
se isl_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
laeg
e
isl_
a
st_codegen
.
c:
a
t
_most_o
n
e_
n
on_
f
ixed: use isl_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
V
e
rdoolaege
isl
_
a
s
t_codegen
.
c: update_
u
nrollin
g
_lower_bound: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoola
e
g
e
isl_a
s
t
_
b
u
ild_has_str
i
de: use isl
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdo
o
lae
g
e
is
l
_ast
_
bu
i
l
d
.
c: d
e
tect_stri
d
e: us
e
isl_
v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaeg
e
isl_ast_
c
odegen
.
c: aff_cons
t
a
nt_is_negative: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next