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_map_simplify.c: uset_gist_full: allow equalities in context
2015-07-29
S
v
en
Verdoolaege
isl_map_simplify
.
c: us
e
t_gist_full: all
o
w equa
l
i
t
i
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-29
Sven Ver
d
o
olaege
isl_map_simp
l
if
y
.
c uset_gist_full: detec
t
equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-29
Sven Verdoolaege
isl
_
map_simp
l
i
f
y
.
c
:
u
p
date_ineq: take into account
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-29
Sven Verdoolaege
i
s
l
_
basic_
m
ap_gist: preserve o
r
iginal cons
t
rain
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
Sven Verdoolaege
i
s
l_map_sim
p
l
ify
.
c: uset_gist_full: take constraint
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
Sven
Verdoolaege
i
sl_m
a
p_simp
l
ify
.
c: extract
o
ut uset_gist_{un,}compresse
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
S
v
e
n Verd
o
olaege
isl_map_
s
i
mplify
.
c
:
uset_g
i
st
_
fu
l
l: check for redundant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
S
ven Verdoolaege
i
s
l_map_
s
implify
.
c
: uset_
g
ist_ful
l
: negat
e
c
onstraint
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
S
ven Verdool
a
e
g
e
isl_map_simplify
.
c: extract
o
u
t
group_and_
d
rop_irrelevant_co
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
Sven Ver
d
o
olaege
isl_map_simplify
.
c: extract
o
ut
c
o
n
s
t
r
ain
t
_
i
ndex_is_
r
e
dundant
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
Sven Verdoolaege
i
s
l
_m
a
p_simplify
.
c: hash_index:
extract out
h
ash_inde
x
_ineq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
Sv
e
n Verdoolaege
isl_ma
p
_simplify
.
c
: isl_c
o
nstra
i
nt_inde
x
: keep track
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
Sven Verd
o
olaege
i
sl_map_
s
i
m
plify
.
c
: extract
o
ut setup_co
n
straint_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
Sven Verdoo
l
aege
isl_map_si
m
plify
.
c: extract out
s
hare
d
constraint index
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
Sven Verdool
a
ege
isl_basi
c
_map_gist: drop normalization of divs in context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-27
S
v
en Ver
d
o
olaege
isl_map_simpli
f
y
.
c: uset_gi
s
t_
f
ull: drop redundant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-27
Sv
e
n Verdoolaeg
e
isl_basi
c
_map_overlyi
n
g_s
e
t: simply reset space when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-27
Sven Verdoolaege
is
l
_basic_map_reset_
s
pac
e
: speci
a
l
case reset
t
o
same
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-24
Sven
Verdoolaege
i
sl_basic
_
map_reset_space: rename "dim
"
varia
b
le to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-24
Sven Verdoolaege
interface/ext
r
act_i
n
ter
f
a
c
e
.
c
c: adj
u
s
t to
r
e
moval of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-24
Sven Verdoola
e
ge
Merge branch 'maint'
commit
|
commitdiff
|
tree
2015-07-24
Sve
n
V
e
r
d
oo
l
a
e
ge
al
l
ow multipl
e
isl
_
pw_multi_aff objects w
i
th
given
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-23
Sven Ve
r
doolaeg
e
extrac
t
out isl_union_si
n
gle
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-23
Sven Verdoolaege
isl_union
_
*_add_pa
r
t_ge
n
eric: ch
e
c
k for ov
e
rla
p
ping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-23
Sven Verdoo
l
aege
isl_union_*_plain_is_eq
u
al: also check total
number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-20
Sven Ve
r
do
o
laege
isl_mat_
v
ariable_compression: only set *T2 to NUL
L
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-20
Sven Verdool
a
ege
AST
generation: use consistent set of pending const
r
ai
n
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sve
n
V
er
d
o
o
laeg
e
i
sl_uni
o
n_
p
w_aff_pullbac
k
_union_pw_mu
l
ti_aff: use isl_union_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoolaege
isl_aff
.
c:
u
pa_pb_up
m
a: use isl_union_pw_multi_af
f
_fore
a
ch_p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sv
e
n Verdoolaege
i
s
l
_aff
.
c: bin_op
:
u
se isl_union_pw_mul
t
i_aff_fo
r
ea
c
h_
p
w_
m
ul
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoolaege
isl_aff
.
c
:
bin_entry: use isl_un
i
on_pw
_
mul
t
i
_
aff_foreach_pw_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sv
e
n Verdoolaeg
e
isl_
u
nion_*_matc
h
_
dom
a
in
_
op: use isl_union_*
_
fo
r
each_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven
V
er
d
oolaege
isl_u
n
ion_
*
_match_bin_op: use isl
_
union_*_foreach_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven V
e
rdoolaege
isl_union_*_fo
r
each_*: chec
k
for er
r
or b
e
f
ore cal
l
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Ve
r
doolaege
isl_union_pw_qpol
y
n
o
mial_to_polynomia
l
:
use isl_
u
nion
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Ve
r
d
o
olaege
isl
_
uni
o
n_pw_aff_f
l
oor:
u
s
e isl_union_pw_
a
ff_trans
f
o
r
m_inplace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdo
o
laege
isl_union_*_ne
g
: use isl_union
_
*_transform_in
p
la
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven
Verdoola
e
g
e
isl_u
n
i
o
n_*_scale_down_val: use
isl_union_*_tran
s
form_inplace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoola
e
ge
isl_unio
n
_*_sca
l
e_val
:
use isl_union_*
_
transform_inpla
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
S
v
en Verdoolaege
isl_un
i
on_*
_
mul_isl_i
n
t: extract out i
s
l
_
unio
n
_*_tran
s
for
m
_i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven V
e
rdoo
l
aege
isl_u
n
ion_pw_
m
u
lti_a
f
f_s
c
ale_multi_val: use isl_un
i
on_pw_mul
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoolaege
isl_union_*
_
subtract_domain: use isl_union_*_transform
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoolaeg
e
isl_union_*_any_set_op:
u
se isl_union_*_transfor
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sve
n
Verdoolaege
i
s
l
_u
n
ion_*_
d
u
p:
ext
r
a
ct
o
ut isl_
u
nion_*_tran
s
f
o
rm
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoolaege
isl_union_*_reset_user: use isl_union_*_t
r
ansform_spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sv
e
n Verdoolaege
isl_un
i
on_*_set
_
dim_name
:
use
isl_un
i
on
_
*_transfo
r
m_
s
pac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Ver
d
oolaege
isl_union_*_drop_dims: use is
l
_u
n
ion_*_transform_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sv
e
n Verdoolae
g
e
isl_un
i
on_*_realign_domain
:
extra
c
t out isl_union_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-17
Sven Verdoolaege
isl_ast_bu
i
l
d_set_loop_bounds:
e
x
tract
o
u
t
update of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-16
Sven
V
erdoolaege
isl_coal
e
s
ce
.
c:
coalesce_with
_
subs: do not add div
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sven V
e
rdoolaege
isl_unio
n
_templ
.
c
:
extract out shared isl_
u
ni
o
n_*_foreach_
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sven Verdoolaege
isl_un
i
on_templ
.
c: extract out
s
h
a
red isl_union_*
_
negate_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sven V
e
rdoolaege
isl_union_templ
.
c:
extract out shared i
s
l
_uni
o
n_*_remove_par
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sven Ve
r
doolaege
i
s
l_union_templ
.
c:
extrac
t
out shared
i
sl
_
u
nion_*_alloc_s
a
me
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sven Verdoolaeg
e
ex
t
ract out
isl_union_neg
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sven Ver
d
oolaege
extract out is
l
_uni
o
n
_
eval
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sven V
e
rdoolaege
extract
out i
s
l_
u
n
i
on_macro
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sven Verdoolaege
isl_union_*
_
f
ind_part_
e
ntry: use isl_sp
a
ce_get_domain_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sven V
e
rdoolaege
a
d
d
i
s
l_space_get_do
m
ain
_
hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sven Ver
d
oolaege
rena
m
e isl_hash_dim to isl
_
ha
s
h_space an
d
"dim
"
variable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
S
ven Verdoolaege
Merge
branch 'maint'
commit
|
commitdiff
|
tree
2015-07-13
Sven Ve
r
doolaege
isl_un
i
o
n
_
*:
use c
o
n
s
istent hash val
u
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-06
Sv
e
n Ver
d
o
olaeg
e
isl
_
union_*_coales
c
e_e
n
t
r
y:
improve error
handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-06
Sven Ve
r
doolaege
isl_union_*_co
a
lesce_entry: use
"
P
A
R
T" type
i
ns
t
ead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-05
Sven Verdoolaeg
e
d
o
c/
u
s
er
.
pod:
f
i
x
t
y
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-04
Sv
e
n
Ve
r
dool
a
ege
AST generation:
remove redunda
n
t constra
i
nts b
e
fo
r
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-30
S
ven Verdoolaege
isl_ast_build_n
o
d
e
_from_sch
e
dule: generate
d
isjunctions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-30
Sve
n
Ver
d
oolaege
isl_ast_codegen
.
c
:
bu
i
ld_ast_from_extension: only inclu
d
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-30
Sven V
e
rdoolaege
isl_ast_codegen
.
c:
f
o
r
e
ach_i
t
eratio
n
:
handle empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-30
Sven Verdoolaege
isl_ast_graft_list_extract_shared
_
e
nforce
d
: a
l
low empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-29
S
ven Ve
r
doolaege
isl
_
ast
_
b
uild_expr_
f
rom_set_internal: exploi
t
ea
r
lier
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-29
Sven Verdoolaege
isl_ast_build_expr_from_set_internal: operate o
n
l
ist
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-29
Sven Verdoolaege
add isl_set_ge
t
_basi
c
_set_
l
ist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-29
Sven Ver
d
oolaege
isl_int_sioimath
.
c: directl
y
includ
e
stdlib
.
h (for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-25
S
v
en
Verdoolaege
isl_arg
.
c:
pa
r
se_choi
c
e_option: handle "phantom"
c
hoice
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-23
S
ven Verdoolaege
isl_ast_exp
r
_from_aff:
avoid extrac
t
ing modulo
s
w
ith
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-23
Sven Verdoolaege
i
sl_basic_map
_
si
m
plify:
r
e
move integer coefficients
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-23
S
ven Verdoolaege
isl_basic_
m
a
p
_s
h
ift_
d
iv
:
h
a
ndle shif
t
of c
o
e
fficients
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-23
Sve
n
Verd
o
ola
e
g
e
add isl_schedule_node_ba
n
d_mod
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-23
Sv
e
n Verdo
o
la
e
ge
add
i
s
l_schedule_node_
b
and_shift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-21
Sven V
e
rdoolaege
generalize isl_multi
_
aff
_
add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-21
Sve
n
Verd
o
olaege
add isl_mul
t
i_*_factor_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-21
Sven Verdoola
e
ge
isl_space_factor_r
a
n
ge: accept set
space in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-21
Sven Ve
r
doolaege
isl_space
.
c: move isl_spac
e
_factor_range down
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-21
Sve
n
Verdoolaege
add -std=gnu99
t
o compile flags w
h
en compiling imath
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-21
Sven Verdoolae
g
e
isl
_
test_int
.
c:
av
o
i
d
fo
r
loop in
i
tial dec
l
a
r
ati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
Sven Verdoolae
g
e
add isl
_
val_get_
d
en_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
Sven
Verdoolaeg
e
replace snprintf
by
_snprintf w
h
en av
a
i
lable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
Sv
e
n Ve
r
doolaege
replace str{,n}
c
a
s
ecmp by
_str{,n}icmp
w
hen available
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
Sven Ver
d
o
o
laege
define
ffs in terms of
_BitScanForward
i
f
_B
i
tScanF
o
rward
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
Sven
V
erdool
a
ege
only
inc
l
ude str
i
ngs
.
h w
h
en
n
ee
d
ed for ffs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
Sven Verdoolaege
isl
_
coalesce
.
c: d
r
op
"
i
nline"
h
i
nt
f
r
om isl_
m
ax
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
Sven V
e
rdoo
l
aeg
e
is
l
_coalesce
.
c rename max
to isl_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
S
v
en Verdo
o
laege
isl_qpolynomial_fold_fold_on_domain: return infty on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
S
ven Verdoolaege
isl_range
.
c: pro
p
a
gat
e
_on
_
bound_pair: extract out s
h
ared
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sve
n
Verdoolaege
isl_range
.
c:
b
ound
2
poly: extract out sig
n
ed_infty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdoolaege
isl_
r
ange
.
c: bound2poly: rename "di
m
" vari
a
ble to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-11
Sven Verdoolaege
isl 0
.
15
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-11
S
v
en Ver
d
oolaege
isl_
i
math_fits_slong_p
:
pass correct argument to mp_
i
nt
_
t
o_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-10
Sven Verdoo
l
aege
add isl_union_a
c
cess_info_copy
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
