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_multi_union_pw_aff
2015-01-23
Sven
V
erdoo
l
aege
ad
d
isl_multi_uni
o
n
_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
generalize isl_mult
i
_*_gis
t
and isl_multi_*_intersect_d
o
main
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sv
e
n
Verdoola
e
ge
ext
r
act
out
isl_multi_gist
.
c and isl_multi_intersect
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven
Verdoolaege
e
xtract out isl_m
u
lti_macro
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven
V
erdoolaege
s
t
r
e
a
mline isl_multi_*_{gi
s
t*,inte
r
sect_*}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdo
o
laege
is
l
_union_
p
w_*_align_params: ext
r
ac
t
out isl
_
union_pw_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven
V
erdoolaege
isl_unio
n
_
pw_*_a
l
ign_pa
r
ams: drop dead code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
v
e
n Ver
d
o
o
laeg
e
a
dd isl_union_pw_aff_pullback_
u
nion_pw_multi
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Ve
r
doolae
g
e
add i
s
l_union_map
_
fr
o
m_union_
p
w_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Ve
r
d
oola
e
g
e
add isl_union_pw
_
aff_ze
r
o_union_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Ve
r
d
o
o
l
a
e
ge
add isl_unio
n
_p
w
_multi_aff_from
_
un
i
on_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdo
o
laege
a
dd is
l
_union_pw_multi_aff_get_
u
nion_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sv
e
n Verdoola
e
ge
ad
d
isl_union_pw_aff_mod_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven
Verdoola
e
ge
a
dd isl_union_pw_aff
_
a
ff_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
add i
s
l_union_pw_
a
ff_val_on
_
domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven
V
erdoolae
g
e
add
isl_union_
p
w_aff_
f
loor
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven V
e
r
d
oolaege
a
d
d
i
s
l_union_pw_aff_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolae
g
e
add isl_uni
o
n_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
ven
V
erdoolaege
isl_output
.
c
:
prin
t
_pw_aff_
i
sl: ext
r
act out print_pw_aff
_
bo
d
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
isl_union_templ
.
c
: allow multiple inclusi
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sv
e
n
Verdoola
e
ge
add isl_unio
n
_ma
p
_do
m
a
i
n_map_union_pw_multi
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven
V
e
r
doo
l
aege
add
isl_union_pw_mult
i
_aff_pullback_
u
n
i
on_
p
w_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoo
l
aege
add isl_union_pw_m
u
lt
i
_aff_
f
ro
m
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
add is
l
_
u
nion_pw_*_set_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven V
e
rd
o
olaege
add isl_uni
o
n_pw_*_drop_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven V
e
rdoolaege
add isl_union_pw
_
*_n_pw_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven V
e
r
doolaege
add isl_union_pw_*_reset_us
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
ven Verdo
o
laege
add is
l
_
p
w
_
*_reset
_
user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
v
en Verdool
a
e
g
e
add isl_pw_multi_aff_range_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Ver
d
oo
l
aege
add isl_pw_aff_pos_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
v
en Verdoolaege
is
l
_pw_a
f
f_nonneg_set:
m
erge implementation wit
h
pw_aff_ze
r
o_s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdo
o
laege
g
e
nerali
z
e isl
_
union_pw
_
q
polyn
o
mial_ne
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
Sven
V
e
rdoo
l
aege
add isl_
m
u
l
ti_*_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
Sven Verdoolaege
add i
s
l_multi_*_mod_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
Sven Verdoolaege
add isl_multi_val_read_from_s
t
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
Sven Verdoola
e
ge
isl
_
input
.
c: read_tuple: separate t
u
p
le parsing
f
rom
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
Sven Verdoolae
g
e
gener
a
lize isl
_
mu
l
ti
_
aff_sub
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-16
Sven Verdoolaege
i
sl_map_coalesce: ha
r
monize integer divisio
n
s that
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-16
Sven
V
erdoolaege
add isl_tab_s
h
i
f
t_va
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-16
S
v
en Verdoolaeg
e
a
d
d i
s
l_basic
_
map_shift_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven
V
e
rdoo
l
aege
i
sl_
m
ap_coalesce: coalesce
within a
f
f
i
ne
hull first
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
p
rivately export isl
_
basic_map_
g
et
_
hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven
V
erdoolaege
isl_map_coale
s
ce: try
and coalesce basic m
a
ps w
i
th
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sv
e
n Ver
d
oolaege
isl_coalesce
.
c
:
i
s
_ad
j
_e
q
_extension
:
allow basi
c
ma
p
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoola
e
ge
isl_coa
l
esce
.
c: fuse: allow ba
s
ic maps
t
o have di
f
ferent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven
V
erdoola
e
ge
isl_ma
p
_coalesce: rem
o
ve hidden
f
actors f
r
om c
o
nstraint
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Ver
d
oolaege
add isl
_
bas
i
c
_map_re
d
uce_coefficients
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
S
v
en
Verdoola
e
g
e
isl_map_coalesce: handle divs t
h
at have
been simpl
i
fied
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven
V
e
rdoo
l
aege
pri
v
a
tely export isl_aff_substitute_equa
l
it
i
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
add is
l
_local_space_w
r
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoo
l
a
e
ge
add isl_tab_insert
_
var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
is
l
_map_coalesce: check for
s
ubs
e
ts with s
m
aller number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven V
e
rdoolaege
add
i
sl
_
basi
c
_map_plain
_
affine_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
i
sl_coalesce
.
c:
can_wrap_
i
n_facet:
only wrap
facet
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven
V
erdoolaege
isl_coal
e
s
ce
.
c
: c
a
n
_wrap
_
i
n_fa
c
et: extract out add_wraps_aro
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolae
g
e
isl_c
o
a
l
esce
.
c
: check_adj_eq: allow
c
ut constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sv
e
n Verdoolaege
isl_coal
e
sc
e
.
c: check_a
d
j_eq
:
d
rop
r
edu
n
dant
test
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
Sve
n
Verdoolaege
isl_co
a
le
s
ce
.
c: w
r
ap_
i
n
_
f
a
ce
t
s: check for number of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
S
v
en
V
e
rdool
a
eg
e
isl_coalesce
.
c: wr
a
p_in_fac
e
ts: only wr
a
p ar
o
und
o
ther
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
Sven V
e
r
d
oolaege
isl_map
_
coa
l
esce
:
only wrap const
r
ain
t
s
t
h
at are no
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
Sven Verdoola
e
ge
isl_coales
c
e
.
c
: add_wraps:
e
xtract out com
m
on ad
d
_wr
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
S
v
en V
e
rdo
o
laeg
e
isl_coalesce
.
c
:
fuse:
copy va
l
id ha
l
f o
f
equality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sv
e
n
Verdoolaege
i
s
l_co
a
lesce
.
c: fuse: e
x
tra
c
t out add_valid_constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Ver
d
oolaeg
e
a
d
d e
x
tra isl_
s
e
t_coalesce
test case
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
S
v
e
n
Verdoolaege
i
s
l
_
test: general
i
ze coalesce
t
ests wi
t
h un
b
ounded
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
isl_coales
c
e
.
c: contains: alway
s
retur
n
equ
a
lit
i
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolae
g
e
i
sl_c
o
alesce_info: add equality and ine
q
uality types
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdool
a
ege
isl_
c
oalesce
.
c: cont
a
ins
:
pass isl_coal
e
s
c
e
_i
n
f
o
instea
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
i
sl_coalesce
.
c: wraps
_
update_m
a
x: pass
i
sl_coalesce
_
i
n
fo
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sve
n
Ve
r
doolaege
isl_coale
s
ce
.
c: add_wrap
s
: p
a
ss
i
s
l_coalesce_
i
nfo instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
S
v
e
n
Verdoola
e
g
e
isl_
m
ap_coalesce: keep track of information on basic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven
V
erdoolaege
isl_coalesce
.
c: extract
out
update_basic_maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
i
s
l
_
coalesce
.
c
: c
o
a
les
c
ed_subset: separate check from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sv
e
n
Verdoolaeg
e
isl_coalesce
.
c: coalesce:
ke
e
p track of h
o
w a pair
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sve
n
V
e
r
doolaege
isl_coal
e
sce
.
c: is
_
a
d
j_eq_exte
n
sion: always
p
u
t
e
x
tensi
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sve
n
Verdoola
e
ge
isl_
c
o
a
lesce
.
c: fus
e
: always put fused basic
m
ap
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven
V
e
rdoolaege
isl_coal
e
sce
.
c: w
r
ap_in_facets: simp
l
ify computation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdoolae
g
e
isl_coale
s
ce
.
c: check_e
q
_adj_eq: allow multiple eq
u
alities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven Ve
r
doolaege
isl_test
.
c:
f
i
x w
h
ite
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdoolaege
add isl_basic_map_de
t
ect
_
i
n
e
quality_pairs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdoolaege
Merge branch
'm
a
int'
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdoolaege
i
sl_c
o
nvex_hull
.
c:
compute_face
t
: avoid
dou
b
le free
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_coalesce
.
c: coalesce_sub
s
et:
p
ro
p
erl
y
indicate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven
V
erdoolaege
isl_coal
e
sce
.
c: set_from_upd
a
ted_bmap: up
d
ate unde
r
l
ying set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_coalesce
.
c: check
_
f
acets: update justi
f
ication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolae
g
e
isl_coalesce
.
c:
check_face
t
s: mark
t
ableau ra
t
io
n
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolae
g
e
add
isl_ta
b
_mark_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
V
er
d
o
olaege
isl_coalesce
.
c: fix typos in c
o
mments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoo
l
aege
isl_coale
s
ce
.
c: can_wrap_in_facet: update comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdool
a
ege
is
l
_coalesce
.
c: check_wrap:
update comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ver
d
ool
a
e
g
e
isl_tab_relax: return i
n
t instead
o
f is
l
_
tab
*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdo
o
laege
i
sl_tab_relax: avoid
NULL poi
n
ter deref
e
rence
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
i
s
l_tab_add_eq:
p
ropagate
errors of drop_r
o
w
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaeg
e
isl_tab
.
c
:
pe
r
form_undo_va
r
: propagate errors of
d
rop_row
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdool
a
ege
isl_
t
a
b
_min_at_most_ne
g
_one: be consistent about retur
n
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
Merge
b
ra
n
c
h 'mai
n
t'
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
V
erdoolaege
isl_ast_build_
a
st
_
from_sc
h
edule: remove r
e
dundant constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
add isl_uni
o
n_{set,map}
_
remove
_
r
e
dundanci
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoola
e
ge
isl_
a
s
t_build_expr
.
c: isl_ast_expr_add_term: allow
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_ast_code
g
en
.
c:
a
dd_implied_guards: comb
i
ne deg
e
nerate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next