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: drop redundant intersection
2015-07-29
Sven Verdoo
l
aege
isl
_
m
a
p_s
i
m
plify
.
c
:
uset_gist: drop redundant int
e
rsection
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-29
Sven Ver
d
oolaege
isl_b
a
sic_map
_
gist: on
l
y t
a
k
e
in
t
o account
equalit
i
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-29
Sven Verdool
a
ege
add some more gist t
e
s
t
cases
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-29
Sven Verdoola
e
ge
add isl_ba
s
ic_s
e
t
_
plain_a
f
f
i
ne_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-29
S
ven
V
e
r
doolaege
isl
_
map_simplify
.
c: uset_gist_full: all
o
w equa
l
ities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-29
Sven Verdoolaege
isl
_
m
a
p
_si
m
p
lify
.
c u
s
e
t
_
gist_full: detect equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-29
Sven Verdoolaege
isl_map_simplify
.
c:
u
pda
t
e_in
e
q: t
a
k
e into account
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-29
Sven Ver
d
oolae
g
e
isl_basic_map_g
i
st: preserve origi
n
al c
o
n
s
traints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
Sven Verdool
a
e
g
e
isl_m
a
p_simplify
.
c: uset
_
gist_full: t
a
ke co
n
s
train
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
Sven
V
e
rdool
a
ege
isl
_
map_simp
l
ify
.
c: extract out uset_gis
t
_{un,
}
com
p
ressed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
Sve
n
Verdoolaege
isl_map_s
i
mplify
.
c: uset_gi
s
t_fu
l
l
:
ch
e
ck for redu
n
dant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
Sven Verdoola
e
g
e
i
s
l_m
a
p
_
si
m
plify
.
c: uset_gist_ful
l
: n
e
gate constraint
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
S
ven Verdoolaege
isl_ma
p
_simplify
.
c: extract out
g
roup_and_drop_irre
l
evant_co
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
Sve
n
Verdoolaege
isl_map_simp
l
ify
.
c: e
x
tract o
u
t con
s
tr
a
int_
i
n
d
e
x_is_
r
edundant
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
Sven Verdo
o
laege
isl
_
m
ap_simplify
.
c: h
a
sh_index: extract out hash_
i
nde
x
_ineq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
S
ven Verdoolaege
isl_
m
ap_s
i
mpli
f
y
.
c: isl_co
n
straint_i
n
de
x
: keep
track
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
Sven Verdoolaege
isl_map_sim
p
lify
.
c:
extract ou
t
setu
p
_
constraint
_
index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
Sven
Verdoo
l
aege
isl_map_s
i
m
plify
.
c:
e
xtract o
u
t
shared const
r
aint index
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-28
Sven Verdoolaeg
e
isl_basic_map_gis
t
: drop normalization o
f
divs in
c
on
t
ext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-27
Sven Verdoolaege
isl_map
_
simplify
.
c: uset_gist_fu
l
l: dr
o
p red
u
ndant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-27
S
v
en Verdoolae
g
e
isl_basic_map_overlying_set: simply reset space when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-27
Sven
Verdoo
l
a
ege
i
s
l_b
a
sic_map_reset
_
sp
a
ce
:
special case reset to
s
ame
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-24
Sven Verdoolaege
i
s
l
_
basic_
m
a
p
_
reset_
s
p
ace: rename "d
i
m
" vari
a
ble to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-24
Sven Verd
o
olaeg
e
interfac
e
/
extract
_
interface
.
c
c: adjust to removal of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-24
Sven Verdo
o
laege
Merge branc
h
'maint
'
commit
|
commitdiff
|
tree
2015-07-24
Sven Verd
o
olaege
allow multiple i
s
l_pw_multi_aff objects with g
i
v
en
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-23
Sv
e
n Verdoola
e
g
e
e
x
tract o
u
t
isl_union_si
n
g
l
e
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-23
Sven V
e
rdoolaege
i
s
l_
u
nion_*_add_part_generic
:
c
h
eck for ove
r
l
apping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-23
Sven
V
erdool
a
ege
isl
_
union_*_p
l
a
i
n_i
s
_equal: a
l
so check t
o
tal
n
umb
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-20
Sven Ver
d
o
ola
e
ge
isl_m
a
t_vari
a
ble_compressio
n
:
only s
e
t *T2 to NULL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-20
Sve
n
Verdoolaege
AST generation: use consist
e
nt set of pen
d
ing constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verd
o
olaeg
e
isl_union_pw_af
f
_pullback_
u
n
i
on_pw_multi_aff: use isl_un
i
on_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven V
e
rdoolaege
isl_aff
.
c: upa_pb_upma: use isl_union_pw_multi_aff_foreach_p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sv
e
n
V
erdoolae
g
e
isl_af
f
.
c: bin_op: use i
s
l_union_pw_multi_
a
ff_foreach
_
p
w
_
mul
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven
Verdoolaege
isl_aff
.
c
:
b
i
n_entry: use i
s
l_union_pw_mu
l
ti_aff_foreach_pw_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoolaeg
e
isl_u
n
ion_*_
m
atc
h
_domain_op: use isl_unio
n
_*
_
fore
a
ch_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
S
ven
Ver
d
oolaege
i
sl_union_*_match_bin_op: use isl_union_
*
_forea
c
h_
*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven
Verd
o
olaege
isl
_
u
n
ion_*
_
f
o
r
each_*: check f
o
r
e
rror bef
o
re calling
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdo
o
lae
g
e
isl_union_pw_qpolynom
i
al_to
_
polyno
m
i
al: u
s
e isl_union_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdool
a
ege
is
l
_u
n
ion_pw_aff_floor:
u
se isl_union_pw_af
f
_transform_in
p
lace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoolaege
isl_
u
n
i
on_*_neg
:
u
se isl_union_*_tran
s
f
o
rm_inplac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sv
e
n Verd
o
olaege
i
sl
_
u
n
ion_*_
s
cale_down
_
val: use isl_union_*_transform_inp
l
ac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sv
e
n Ver
d
oolaege
isl_
u
nion_*_
s
cal
e
_
v
a
l
: use isl_u
n
i
on_*
_
transform_inplace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoolaege
isl_union_
*
_
m
u
l_isl_int: extra
c
t
ou
t
isl_u
n
ion_*_t
r
ansform_i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sve
n
V
e
rdoolaege
is
l
_
union_pw_multi_aff_sc
a
le_m
u
lti_
v
a
l: use is
l
_un
i
on_pw_mul
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdool
a
eg
e
isl_union_*_subtract_domain: use isl_union_*
_
transfor
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
S
ven Verdoolaege
isl_union_*_any_set_o
p
: use isl_u
n
ion_*_t
r
a
n
sform
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven
V
erdoolaege
isl_u
n
ion_*_dup: ex
t
r
act out isl_union_*_transform
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoolaege
isl_u
n
ion_
*
_res
e
t_user:
u
se isl_uni
o
n_*
_
transform_spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoolae
g
e
isl_union_*_set
_
dim_name: use
i
sl
_
unio
n
_*_transform_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoola
e
ge
isl_
u
nion_*_
d
r
o
p_dims: use isl
_
u
nion_*_transform_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-18
Sven Verdoolaege
isl_union_*_reali
g
n_do
m
ain
:
extract
o
ut isl_union_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-17
Sv
e
n Verdo
o
laege
i
sl_
a
st_buil
d
_set_loop_bound
s
:
e
xtract ou
t
upda
t
e
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-16
Sven Verd
o
o
l
aege
i
sl_coa
l
esce
.
c: co
a
lesce_with_
s
ubs: do not add div
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sven Verdoolaege
isl_union_te
m
pl
.
c: extract o
u
t shar
e
d isl_un
i
on_*_fo
r
each_in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sven
V
erdoolaege
isl_
u
nion_
t
empl
.
c
:
e
xtract out share
d
i
s
l_unio
n
_*_
n
e
g
at
e
_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sven Verdo
o
laege
isl_union_templ
.
c: extract
out
sha
r
e
d
is
l
_union
_
*_
r
em
o
ve
_
par
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sven Verdoola
e
ge
isl_union_templ
.
c
:
extract out
s
hared isl
_
uni
o
n_*
_
al
l
oc_sa
m
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sve
n
Verdoolaege
extract out isl_un
i
on_neg
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
S
v
e
n
V
er
d
oolaege
extr
a
c
t
out
i
sl
_
union_eval
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
S
v
en Verdoolaege
extract out isl_union_
m
acro
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sven Verdoola
e
ge
isl_
u
n
i
on_
*
_find_part_entry: use i
s
l_space
_
g
e
t
_
d
omain_ha
s
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sven Verdoolaege
add isl
_
space_get_doma
i
n_
h
ash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sven Verdoolaege
re
n
ame
i
sl_hash_dim t
o
is
l
_hash_space and
"
d
im"
v
a
r
ia
b
le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-13
Sven Verdoolaege
Merge branch
'
ma
i
nt'
commit
|
commitdiff
|
tree
2015-07-13
S
v
en
V
erdoolaege
isl_union_*: use
consi
s
tent has
h
val
u
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-06
Sve
n
Ve
r
doolaege
isl_union
_
*_coa
l
esce_en
t
r
y: i
m
prove error h
a
ndling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-06
Sven Ve
r
d
o
olaege
isl
_
union_*_
c
oalesce_entry
:
use "PART"
t
ype
i
nstead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-05
Sven Verdoolaege
doc/us
e
r
.
pod:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-04
Sven Verdoolaege
AST generation:
r
em
o
ve red
u
n
d
a
nt constraint
s
befor
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-30
Sven Verdoolaege
isl
_
ast_buil
d
_
n
ode_from_sc
h
edule: g
e
n
e
rate disjunctio
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-30
Sven V
e
rdoolaege
isl_ast
_
cod
e
g
en
.
c: bui
l
d_ast_from_ext
e
nsion: only include
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-30
Sve
n
Verdoo
l
aege
isl_ast_codegen
.
c:
foreach_i
t
eration:
h
an
d
le empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-30
Sve
n
V
erdoo
l
aege
isl_ast_gr
a
ft_list_extract_sha
r
ed_enforced: allow
e
mpty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-29
Sven Verdoolaege
i
s
l_a
s
t_build_expr_from_set_interna
l
: exploit earl
i
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-29
S
v
en V
e
rdoolaeg
e
isl_ast
_
bu
i
l
d_
e
xpr
_
from_s
e
t_intern
a
l: operate
o
n list
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-29
Sven Verdoolaege
add is
l
_se
t
_g
e
t
_
basic_set_lis
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-29
Sven Ve
r
doolaege
isl_int_sioimath
.
c: direc
t
l
y i
n
cl
u
de stdlib
.
h (for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-25
Sv
e
n
Ver
d
oolaege
is
l
_
arg
.
c: parse_choi
c
e_option: han
d
l
e "phantom" choice
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-23
Sven Verdoolaege
isl_ast
_
expr_from_aff: avo
i
d extracting m
o
d
u
los wit
h
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-23
Sven Verdoolaeg
e
isl_bas
i
c_map_simplify
:
remove in
t
eger c
o
efficients
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-23
S
ven Verdool
a
ege
isl_ba
s
ic_map_
s
hift_div: handle sh
i
ft of
coefficients
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-23
S
ven Ve
r
doolaege
add isl_schedu
l
e_
n
ode_ba
n
d
_mod
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-23
S
v
en Verdool
a
ege
a
dd isl_s
c
hedule
_
node_ba
n
d_sh
i
ft
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-21
S
v
e
n
Verdoo
l
a
ege
generalize isl_mu
l
ti
_
aff_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-21
S
ven Verd
o
o
l
aege
ad
d
is
l
_mul
t
i_*_
f
act
o
r
_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-21
S
v
en V
e
r
d
oolaege
isl_s
p
ace_factor_r
a
nge: acc
e
pt set s
p
a
ce
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-21
Sven
Verdool
a
ege
isl_space
.
c:
m
ove isl_space_fact
o
r_range down
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-21
S
ve
n
Ver
d
ool
a
e
ge
a
dd -std=gnu
9
9
t
o
com
p
ile flags
w
he
n
co
m
p
i
l
i
ng
i
m
ath
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-21
Sven Verdoolaege
isl_te
s
t_int
.
c
: avoid for
l
oop initial declarations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
Sven
V
erdoolaege
add isl_v
a
l_get_
d
en_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
Sven Verdoolaege
replace snprintf by _snprin
t
f when avai
l
able
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
Sven Verdoolaege
replace
s
tr{,n}casecmp
by _str{,n}icmp when avai
l
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
Sven
Verdoolaege
define ffs in terms
of _B
i
tScanForward
if _BitScanForward
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
S
ven Verdoolaege
only
include strings
.
h w
h
e
n
n
e
e
d
ed
f
or ff
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
Sv
e
n
Verdoolaege
i
sl_coalesce
.
c:
dr
o
p "in
l
ine" hi
n
t from
isl_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-17
Sv
e
n
Verdoolaege
isl_coalesce
.
c
rena
m
e max to isl_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sv
e
n Verd
o
olaege
isl_qpolyn
o
mial_fol
d
_
fold_on_
d
o
main: return
infty on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdoolaege
i
sl_range
.
c:
propaga
t
e_on_bound_pair
:
e
x
t
r
a
ct out
s
hared
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdoolaege
is
l
_r
a
nge
.
c: bound2poly: extract out signed_infty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
