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
doc: clean up isl_val documentation
2014-09-30
S
ven
Verdoolaege
doc
:
clean up
isl_val docume
n
tation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ver
d
oolaege
i
sl_schedule_
c
onstraint
s
_comput
e
_
s
ched
u
le: compress
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
S
v
en Verdo
o
l
aege
isl
_
sched_n
o
de: renam
e
"dim" field
t
o "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
e
r
dool
a
ege
add isl_
m
orph_get
_
var_m
u
lti_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
S
v
en Verdo
o
l
aege
a
dd isl_morp
h
_get_dom_spac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verd
o
olaege
a
d
d isl_mor
p
h
_get_ct
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
S
v
en Verdoolaege
privat
e
ly exp
o
r
t isl_aff_alloc_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoo
l
aege
add isl
_
mat_is_scaled_ident
i
ty
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
S
ven Verdoo
l
a
ege
ad
d
is
l
_
m
at_get_row
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
S
v
en Verdoo
l
a
eg
e
isl_basic
_
{
set,map}
_
has_defining_equality:
allow passing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-28
Sv
e
n
Verdoolaege
documen
t
isl_sp
a
ce
_
tu
p
le_match
a
s isl_space_
t
u
p
le_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-27
Sven Verdoolaege
isl_map_plain
_
is_dis
j
oint:
check tup
l
e spaces before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-27
Sven
V
e
rdoolaege
is
l
_sp
a
c
e
_tu
p
le_ma
t
ch: also i
g
n
o
re
p
arameter
s
in
n
ested
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
S
ven
Verdoolaege
i
s
l_space_tuple_match: rename "dim" va
r
i
a
bl
e
s to "
s
p
a
ce"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
S
ven
V
erd
o
olaege
isl_
t
e
st: take options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
S
ven Verdoolaege
isl_union_*_add_*
:
p
erfor
m
check for
"z
e
ro" part uncond
i
tion
a
lly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven
Verdoolaeg
e
isl_union_*_add_*
:
avoid du
p
licate ch
e
c
k
s in callers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
S
ven Verdoolaege
is
l
_union
_
map_is_single_val
u
ed: look at domain s
p
aces
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Ve
r
doolae
g
e
i
sl_union_map_is_single_valued: ext
r
act out s
i
n
g
l
e
_map_is
_
si
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven
Verdoolaege
isl_unio
n
_map_is
_
s
i
ngle_valued: add a couple of extra
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl_basic_map_output_defining
_
equality:
a
ccept divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
extrac
t
out
s
hared
i
sl
_
b
a
sic_
m
ap_output
_
defining_equal
i
ty
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven
V
e
r
doolae
g
e
AST
gen
e
rator: drop r
e
dundan
t
l
ower boun
d
s
on strided
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Ver
d
o
o
laege
Merge
b
r
anch 'm
a
int'
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdo
o
laege
isl_pw
_
*
_gist: special case
c
o
n
text
e
qual t
o
si
n
gle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
S
v
e
n
Ve
r
doo
l
aege
isl_
p
w_*_gist: special case un
i
verse
contex
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
S
ven Verdoolaege
isl_test: ge
n
eralize
i
sl_pw_qpol
y
nomial_
g
ist tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-19
Sven V
e
rdoolaege
isl_map_simplify
.
c: d
r
op spur
i
ous semic
o
l
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-19
Sven Ver
d
oolaege
isl_map
_
gist:
r
et
u
rn universe on gist with empty set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-19
Sven
Verdoolaege
isl_input
.
c: basic_map_read: check type
o
f result r
e
turned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoolaege
is
l
_b
a
sic_ma
p
_gist:
r
emove
redundant d
i
v
c
onstraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven Ve
r
doolaeg
e
isl_basic_map_g
i
s
t
: re
m
ove
obv
i
ously redundant reduce
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sve
n
V
erdoolaege
isl
_
basic_map_g
i
st: avoid (tem
p
orar
i
ly) addin
g
context
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoolaege
isl_map_
s
ubtrac
t
: check if i
n
puts are
d
isjoint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
S
ven Verdoolaege
doc/SubmittingPatches: me
n
tion that each mail should
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoolaege
doc: fix
d
ocumentation
o
f
i
s
l_basic_se
t
_{in,}equaliti
e
s_matrix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
S
ven Ver
d
oolaege
Merg
e
branch 'mai
n
t
'
commit
|
commitdiff
|
tree
2014-09-11
Sve
n
V
e
rdoolaege
isl_convex_hull
.
c:
c
onvex_hull_pair: add missing return
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-04
Sven Ve
r
do
o
laege
isl_map_{domain
,
ra
n
ge}_p
r
o
d
uct: re
m
ove po
s
sible
o
bvious
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
S
v
en Verdoolaege
isl_ma
p
.
c: map_p
r
od
u
c
t
: rename "di
m
_
p
roduct" argume
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sv
e
n Verdoolaege
a
dd i
s
l_map_remove_obv
i
ous_duplicates
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
S
v
en Verdoolaege
isl_ma
p
_normalize:
e
xtract out sor
t
_and_remov
e
_
d
uplicates
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
S
v
en Verdool
a
eg
e
i
sl
_
map_normalize:
remove empty par
t
s be
f
o
re so
r
ting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdoolaege
i
s
l_b
a
sic_ma
p
_sort_co
n
straints: use isl_sort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
S
ven Verdoola
e
ge
isl_basic_map_
s
ort_constraints: s
k
i
p
sorting if
c
onst
r
aint
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sven
V
erdoolae
g
e
isl_bas
i
c_map_alig
n
_divs: only exte
n
d d
s
t when needed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdoolaege
cl
e
an up isl_basic_map_al
i
gn_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdoolaege
isl_map_simp
l
ify
.
c: remove_redundant
_
divs: update out
d
ated
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdo
o
l
aege
i
s
l
_reord
e
r
i
ng_d
u
mp:
also dump target
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sv
e
n Verdoolaege
upd
a
te for change i
n
TargetOptions refcounting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
S
ven
V
erdoolaege
up
d
ate for removal of llv
m
/ADT/Owni
n
gPtr
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoola
e
ge
i
n
t
e
r
f
ac
e
/extract_i
n
terface
.
cc: av
o
id use of SourceManager
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-30
Sven
V
er
d
oo
l
ae
g
e
update fo
r
r
e
moval of DefaultIm
a
geName Driver constructor
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-29
Sven Verdoolaege
isl
_
printer_print
_
pw_aff: use
i
s
l
_
ast_build_
e
x
pr_
f
r
o
m
_p
w
_aff
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-29
Sven Verdoolaege
a
dd faber
t
est case from
C
LooG
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-29
Sv
e
n
Ver
d
oolaege
AST genera
t
or: exploit all informat
i
on whi
l
e looking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-22
Sven Verdoolaege
is
l
_ast_codege
n
.
c: g
e
nerate_domain: inters
e
ct with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-22
Sven Ver
d
o
o
la
e
ge
AST
g
enerato
r
:
e
xploi
t
implied guard to s
i
m
plif
y
inner
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-22
Sven Verdoo
l
aege
dr
o
p isl_ast
_
bui
l
d_set_enforced
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-22
Sven V
e
r
d
oolaege
add a ne
w
AST generat
o
r test
c
ase
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-22
S
v
en
Verdoolaege
AST gener
a
tor
:
impr
o
ve
ha
n
dling o
f
pending con
s
traints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Ve
r
doolaege
ad
d
isl_ast_build_replace_pendin
g
_b
y
_guard
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Ve
r
doo
l
ae
g
e
add isl_ast_build_get
_
genera
t
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verd
o
olaege
a
d
d isl_
a
st_bu
i
ld_get_pending
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Ve
r
doolaege
expo
s
e is
l
_
ast_graf
t
_list_gist_guards
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sv
e
n
V
erdoolaege
isl
_
a
st_codeg
e
n
.
c: refine
_
generi
c
: h
o
ist out
gist
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven
Verdoolaeg
e
isl_ast_codeg
e
n
.
c: cre
a
te_node_
s
caled:
p
ostpone add
i
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sv
e
n Verdool
a
e
ge
isl_ast_codegen
.
c
:
create_no
d
e_sc
a
led: h
o
ist inclusion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
drop isl_ast_g
r
a
f
t
_
alloc_leve
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaeg
e
isl_ast
_
codeg
e
n
.
c: create_node_
s
caled: inline call
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
expose isl_
a
s
t
_graft_list_extr
a
ct_ho
i
st
a
b
l
e_guard
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sve
n
Verdoolaege
ex
p
ose
isl_ast_graft_list_extra
c
t_
s
hared_enforced
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaeg
e
extra
c
t out isl_ast_graft_al
l
oc_from_children
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
S
v
en Verdoolaege
i
s
l_ast_
c
ode
g
e
n
.
c: re
f
i
ne_eli
m
in
a
ted: do no
t
add stride
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoo
l
aege
isl_as
t
_codegen
.
c
:
move
u
p
add_strid
e
_gua
r
d defi
n
ition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
S
v
e
n V
e
r
dool
a
e
ge
isl_as
t
_build
_
s
et_loop_bound
s
: do
not
a
dd
stride constraint
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven
Verdoolaege
push isl_ast_buil
d
_
i
nclude
_
stride into isl_ast_build_se
t
_loo
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven
Verdoolaege
isl
_
ast_build
.
c:
updat
e
_val
u
es: explicitly take
i
nto
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Ve
r
d
oola
e
ge
isl_ast_codegen
.
c: generate_next_level: use is
l
_as
t
_build_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
S
v
e
n
Verdoolaege
add isl_as
t
_
b
uild_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven
V
erdoolaege
A
S
T g
e
nera
t
o
r
:
tak
e
into account some p
a
rameter constrain
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sv
e
n Verdoolaege
A
ST genera
t
o
r
: pe
r
form m
o
r
e
ag
g
ressive guard ho
i
sting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
isl_
a
st_graft
.
c: extract_
h
oi
s
t
able_gu
a
r
d
: extr
a
ct ou
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sve
n
Verd
o
olae
g
e
add i
s
l_se
t
_unshifted_
s
imp
l
e_h
u
ll_from_set_li
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven
V
erdoolaege
add isl
_
set_get_basi
c
_set_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
S
v
en Verdoolaege
add isl_b
a
sic_
s
et_lis
t
_
a
lign_d
i
vs
_
to_bas
i
c_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
S
ven Verdoolae
g
e
a
dd is
l
_set_a
l
ign_divs_to_b
a
s
ic
_
set_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaeg
e
ad
d
i
sl_bas
i
c_set_l
i
s
t
_
und
e
r
lying_
s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
add isl_basic_set_list_intersect
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
S
ven Verdool
a
ege
i
sl_ast
_
c
odegen
.
c: add_node: replace gist
b
y
p
ure
s
p
ecializatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaeg
e
isl_ast_buil
d
_expr_from_pw_af
f
: exploit
domain co
n
s
train
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-05
Sv
e
n
V
erdoolaege
isl_ast_
b
uild_expr_fr
o
m_basic_set: ex
p
loit
earl
i
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verdoolaege
isl_ast_b
u
il
d
_expr_
f
rom_basic_set: s
o
rt constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-05
S
v
en V
e
rd
o
olaeg
e
add isl_
c
onstraint_cmp_l
a
st
_
non_z
e
ro
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verdool
a
ege
add is
l
_int_a
b
s_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verdool
a
ege
a
d
d isl_constrain
t
_plain_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verdoolaeg
e
isl_ast_b
u
ild_ex
p
r_from_basi
c
_
s
et: operate on
list
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-05
S
v
e
n
Verdo
o
laege
i
s
l_ast_codegen
.
c
:
use isl_basic_set_get_constraint
_
list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verdo
o
laege
add isl_b
a
sic_{set,map}_get_co
n
straint_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-05
S
ven Ve
r
doolaege
ad
d
isl_basic_map_n_constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next