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
add isl_union_pw_aff_pullback_union_pw_multi_aff
2015-01-23
Sven
V
erdoola
e
ge
add
i
s
l
_
u
nion_pw_aff_pu
l
lback_union_pw_
m
ul
t
i
_
a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sve
n
V
erdoolaege
add isl_union_ma
p
_fr
o
m_
u
n
i
on_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
v
en Ver
d
oolaege
add
i
sl_
u
nion_
p
w
_aff_ze
r
o_union_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
v
en Ver
d
oolaege
add
i
sl_union_pw_mult
i
_aff_from_union_
p
w_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sve
n
Ve
r
doolaege
add isl_un
i
on_pw_multi_aff_get_union_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven V
e
rd
o
olaege
a
d
d isl_
u
nio
n
_pw_aff_mod_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
add i
s
l_union_p
w
_aff_aff_on_doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoola
e
ge
add isl_union_
p
w
_aff
_
val_o
n
_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sv
e
n Verdoola
e
g
e
add
isl_union_pw_
a
f
f_floor
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaeg
e
add isl_union_p
w
_
aff_
l
ist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdo
o
l
aege
add isl_
u
nion_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven
V
erdoolae
g
e
is
l
_ou
t
pu
t
.
c:
print_pw_aff_isl: extra
c
t ou
t
print_pw_aff_body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
v
en Ver
d
ool
a
ege
isl
_
u
n
ion_
t
empl
.
c: allo
w
m
u
l
tiple inclusion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
v
en V
e
rdo
o
laege
add
i
sl_union
_
ma
p
_
domain_map_unio
n
_pw_mult
i
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sve
n
Verdoolaeg
e
a
d
d isl_union_
p
w_m
u
lti
_
aff_pu
l
l
back_union_pw_mul
t
i_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
ven
V
erdo
o
la
e
ge
add is
l
_uni
o
n_pw_multi_aff_from_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdool
a
ege
a
d
d isl_
u
nion_
p
w_*_set_dim_
n
ame
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Ver
d
oo
l
aeg
e
ad
d
isl
_
union_pw_*_d
r
op_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Ver
d
oolaege
add is
l
_union_
p
w_*_n_
p
w_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven
Verdoolaege
add isl
_
union_pw_*_reset_user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolae
g
e
add is
l
_pw_*_reset
_
us
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verd
o
olae
g
e
add isl_pw_multi_aff_ra
n
ge_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
add is
l
_pw_aff_pos_
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sv
e
n Verdoolae
g
e
i
s
l_pw
_
aff_non
n
eg_set
:
merge implementation with
pw
_
a
ff_zero_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoola
e
ge
g
eneralize isl_un
i
on_pw_qpolynomial_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Tobia
s
Grosser
Fix some typos in com
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
Sve
n
Ver
d
ool
a
eg
e
ad
d
is
l
_m
u
lti_*_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
Sven Verd
o
olaeg
e
ad
d
isl_multi_*_mod_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
Sve
n
Verdoola
e
ge
add isl
_
m
ulti_val_
r
ead_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
Sv
e
n Verdoolaege
i
s
l_input
.
c: read_t
u
p
l
e
:
separat
e
tu
p
le p
a
rsing f
r
o
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
Sven Verdo
o
laege
generalize isl_multi_aff_sub
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-16
Sven van Ha
a
stregt
doc: cl
a
rify list capaci
t
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-16
S
v
e
n V
e
rdoolaege
i
s
l
_ma
p
_
coales
c
e:
h
a
rmonize intege
r
divisi
o
ns
that
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-16
Sven
V
erdoolaeg
e
add isl
_
tab_s
h
ift_var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-16
Sven
V
erdoolaege
a
d
d isl_basic_map_shift_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdo
o
laege
isl_map_coa
l
esce: coalesce within
a
ffine
h
ull first
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sve
n
Verd
o
olae
g
e
privately export isl_basic_map_get_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
isl_map_coalesce: try an
d
coalesce b
a
sic maps with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sve
n
Verdoola
e
ge
isl_coa
l
e
sce
.
c: is_adj_eq_ext
e
nsion: allow
basi
c
m
a
ps
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdo
o
laege
isl_coal
e
sc
e
.
c: fuse: all
o
w basic maps to ha
v
e d
i
f
ferent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sve
n
V
e
rdoolaege
isl_map_c
o
a
l
esce:
remov
e
hidden factors from constrain
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sv
e
n
Verdo
o
laege
a
d
d isl
_
basic_map_reduc
e
_coefficients
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven V
e
rdoolaege
isl_map_coalesc
e
:
handle divs th
a
t ha
v
e bee
n
simplified
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaeg
e
privately expor
t
i
s
l
_aff
_
sub
s
titute_equalities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven
Verdoolaege
add isl
_
local_space_wrap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sv
e
n Verdoolaege
a
dd isl_ta
b
_insert
_
v
ar
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven
Verdoolaege
isl_m
a
p_
c
oalesce: check f
o
r subset
s
w
i
th small
e
r number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolae
g
e
add is
l
_basic_map_plain_affin
e
_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Ve
r
d
o
ola
e
ge
isl_co
a
lesce
.
c:
can_
w
rap_in_facet:
only
w
ra
p
f
a
cet
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sv
e
n Ve
r
doolae
g
e
isl
_
coales
c
e
.
c
:
c
a
n
_
w
rap
_
i
n_
f
acet: extrac
t
out ad
d
_
w
raps_ar
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sve
n
Verdoolaeg
e
isl_coalesce
.
c
: check_adj_eq:
a
llow cut
co
n
straints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Ve
r
doolaege
isl_coa
l
esce
.
c: c
h
ec
k
_adj_
e
q: drop redu
n
dant
t
e
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
S
ven Verdoolaege
isl
_
coalesce
.
c: wrap_in_face
t
s:
c
he
c
k
f
o
r number o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
S
ven Ver
d
oolaege
isl_coalesce
.
c
: wr
a
p_
i
n
_
f
acets
:
o
nly wrap around other
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
Sven
V
erdoola
e
ge
isl_ma
p
_coal
e
sce
:
onl
y
w
r
ap con
s
traints that are
no
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
Sven Verdoolaeg
e
i
sl_coalesce
.
c
: add_w
r
aps: extract out
common ad
d
_wrap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
Sven Verd
o
olae
g
e
i
s
l
_
coales
c
e
.
c
:
fuse: copy v
a
lid h
a
lf o
f
equality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
S
v
e
n
Verdoolaege
i
sl_coalesc
e
.
c:
fuse: extract o
u
t add_valid_constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
a
d
d extra isl_
s
et
_
c
o
alesce test cas
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Ve
r
do
o
laege
isl_test: generaliz
e
coal
e
sc
e
tests
w
i
t
h unboun
d
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Ve
r
doola
e
ge
isl_coales
c
e
.
c: conta
i
ns:
al
w
a
y
s return equalitie
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Ve
r
dool
a
ege
isl_coal
e
sce_info: add
e
quality an
d
i
n
e
q
uality typ
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sv
e
n Ve
r
doo
l
aege
i
s
l_coalesce
.
c
: contain
s
:
p
ass isl_coalesce_in
f
o instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Ve
r
dool
a
ege
isl_coalesce
.
c: w
r
aps_update_max:
p
a
s
s
isl_coale
s
ce_info
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoola
e
ge
i
sl_coalesce
.
c
:
a
dd_wraps: pass isl_coalesce_inf
o
i
nstead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Ver
d
o
olaege
isl_map
_
coalesce
:
keep t
r
ack of info
r
ma
t
ion on
basic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
i
s
l_coa
l
es
c
e
.
c: extrac
t
out upd
a
te
_
b
as
i
c_
m
aps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdo
o
l
a
ege
i
sl_coa
l
esce
.
c
:
coalesced
_
subset: separate
c
heck fro
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Ve
r
dool
a
ege
isl_coales
c
e
.
c:
coalesce: ke
e
p track of how a pair
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdo
o
l
a
ege
i
sl_coal
e
sce
.
c: is_adj
_
eq_ext
e
nsi
o
n: alw
a
ys
pu
t
e
x
tension
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
S
v
e
n V
e
rdoolaege
i
sl_co
a
l
esce
.
c:
fuse: alway
s
put fused bas
i
c ma
p
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdoola
e
ge
isl_c
o
ales
c
e
.
c: wr
a
p_in_facet
s
: si
m
plify computation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verd
o
ol
a
ege
i
s
l_coalesce
.
c:
c
heck_eq_adj_
e
q: allow multiple equal
i
tie
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdoo
l
a
e
ge
i
sl_test
.
c
:
f
ix whitespace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdoolaege
add i
s
l
_basic_ma
p
_det
e
c
t
_
inequ
a
lit
y
_
p
airs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sv
e
n Verd
o
ola
e
g
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2015-01-01
Sven
Verdoolaege
isl_
c
onvex_hull
.
c:
c
ompute_facet: avoid d
o
uble f
r
ee
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven
V
erdoo
l
aeg
e
isl_coales
c
e
.
c: coal
e
sc
e
_subset: properly indica
t
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaeg
e
isl_coalesce
.
c: set_from_upda
t
ed_bmap:
update under
l
ying set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verd
o
olaege
isl_coalesce
.
c: check_f
a
cets: up
d
ate
ju
s
t
i
f
ica
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
v
en Verdoo
l
aeg
e
isl_coale
s
ce
.
c: check_facets: mark tableau rational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verd
o
ol
a
ege
add isl_
t
ab_mark_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
ven Verdoo
l
aege
isl_coalesce
.
c: fix t
y
po
s
in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdo
o
laege
isl_c
o
alesce
.
c
:
can_wr
a
p_in_face
t
: update c
o
mment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven
V
erdoolaeg
e
isl_coalesce
.
c: check_wrap:
update comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven
V
e
r
doolaege
i
s
l_tab_r
e
la
x
: return int inste
a
d of isl_tab *
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdo
o
l
aege
i
sl_t
a
b_relax: avoid NULL p
o
i
nter de
r
eference
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven
Ver
d
oo
l
a
ege
isl_tab
_
add_eq: propagate err
o
rs of drop_row
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ver
d
oo
l
aege
isl_tab
.
c: perform_u
n
do_var: pr
o
paga
t
e e
r
ror
s
of d
r
op_row
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
v
en Verd
o
o
laege
is
l
_
t
ab_
m
in_at_mo
s
t
_neg_one: be cons
i
stent about ret
u
rning
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
M
erge branch 'maint'
commit
|
commitdiff
|
tree
2014-12-25
S
v
en Ver
d
oolaege
i
s
l
_ast_build_ast_f
r
o
m
_
s
chedule: remove redundant constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoola
e
ge
add isl_union_
{
se
t
,
map}_
r
e
m
o
ve_redundancies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
ven
V
erdoola
e
ge
i
sl_ast_build_ex
p
r
.
c
:
isl_as
t
_expr_add_t
e
rm: all
o
w
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ve
r
d
o
olaege
isl_
a
s
t_codegen
.
c: add_i
m
plied_guards:
c
o
m
bi
n
e
degene
r
ate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verd
o
ola
e
g
e
isl_ast_build_expr
.
c: isl_ast_expr_add_term:
s
tore
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n Ve
r
doolaeg
e
isl_ast_build
_
expr
.
c
:
try_extra
c
t_mod: declare variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sven Verdoola
e
g
e
AST generat
o
r:
select
u
nroll lower bou
n
d i
n
t
r
o
duc
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
S
ven Verdoolaege
isl_ast_codegen
.
c: move up at_offset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sven Verdoolaege
isl_ast_c
o
degen
.
c: extract out is_bett
e
r
_lo
w
er_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next