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: fix typos
2014-09-30
Sv
e
n
Verdoolaege
d
oc: fix typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
S
ven
Verdoolaege
doc
u
ment isl
_
se
t
_is_
s
ing
l
eton
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verd
o
olaege
doc:
update isl
_
*_li
s
t documentation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
erdoolaege
doc: clean up
isl_val documentatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ver
d
oolaege
i
sl_schedule_constr
a
i
n
ts_co
m
pute_schedule: c
o
mpress
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
erd
o
ol
a
ege
isl_sched_node
:
ren
a
m
e
"
dim" field to "
s
pace"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven
Verdoolaege
add isl_morph_ge
t
_
var_multi_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoola
e
ge
add
isl
_
morph_get_dom
_
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sve
n
Ve
r
d
o
olaege
add isl_mor
p
h_get_c
t
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaeg
e
privately export is
l
_aff_allo
c
_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
ad
d
i
sl_mat_is_sca
l
e
d
_identity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
a
d
d isl_mat_get_ro
w
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ve
r
doolaeg
e
isl
_
basic_{set,map}_has_
d
efining_equality: allow passing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-28
Sven
Verdoolaege
docume
n
t isl_space_tu
p
le_match as
isl_sp
a
c
e_tuple_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-27
S
v
en Verdoolaege
isl_map_plain_is_disjoint: check tuple
space
s
befo
r
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-27
Sven Verdoola
e
ge
isl_s
p
a
c
e
_tuple_match: also
i
gnore param
e
ters in ne
s
t
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Ve
r
do
o
la
e
ge
i
sl_
s
pac
e
_tuple_match: rename "d
i
m" variables to "sp
a
c
e"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven V
e
rd
o
olaege
isl_test
:
take
o
ptio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
Verdo
o
laege
i
s
l_union_*_add_*:
perfor
m
check for "zero" part
unconditi
o
n
a
lly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven V
e
rdoolaege
isl_union_*_a
d
d_*: avoid d
u
plicate c
h
ecks in callers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n Verdoolaeg
e
isl_unio
n
_
map_is_sin
g
le_valued: look at domain spaces
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
Verdo
o
laege
isl_
u
n
i
on_map_is_single_value
d
: extra
c
t out
s
ingle_map_is
_
si
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl_un
i
on_map_
i
s_single_valued: add a couple of extra
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
V
erdo
o
laege
isl_basic_map_output_d
e
fin
i
ng_
e
quality: acc
e
pt divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n V
e
rdoolaege
extr
a
ct out s
h
ared isl_basic_m
a
p_ou
t
put_defining_e
q
u
a
li
t
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven V
e
rdoolaege
A
S
T
generator: d
r
o
p
r
edund
a
nt lowe
r
bounds
o
n
strided
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Ve
r
dool
a
ege
Merg
e
branch 'maint'
commit
|
commitdiff
|
tree
2014-09-22
S
ve
n
Verdoolaege
isl_pw_*_gist: special cas
e
con
t
ext equ
a
l
to
s
ingle
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
S
v
en
Verd
o
olaege
isl_pw_*_gist: special case u
n
iv
e
rse
c
ontext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n Verdoolaege
i
s
l_
t
est:
g
en
e
rali
z
e is
l
_pw
_
qp
o
lynomial_gist tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-19
Sve
n
Verdoo
l
aege
isl_ma
p
_simp
l
ify
.
c: drop spurio
u
s semicolon
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-19
Sv
e
n Verdoolae
g
e
isl_map_gis
t
: re
t
urn
u
n
iverse on
gis
t
with empty set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-19
Sven
V
e
rdool
a
ege
isl_
i
npu
t
.
c
: basic_map_read:
check t
y
pe o
f
res
u
lt retur
n
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoolaege
i
sl_basic_map_
g
ist: remove redunda
n
t div constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven Ver
d
oolaege
i
sl_basic_m
a
p_gist
:
remov
e
obviously redun
d
ant reduced
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoola
e
ge
isl_basic_map_gist: avoid (t
e
mporarily)
adding context
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven
V
e
rdoolaege
isl_map_su
b
tract:
c
heck if
i
n
p
u
ts are disjoint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sve
n
Verd
o
olaege
doc/Submi
t
tingPat
c
hes: me
n
tion that ea
c
h mail should
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoola
e
ge
doc:
fix
documentat
i
o
n of is
l
_basic_set_{in,}equ
a
lities_
m
atrix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoolaege
Merg
e
b
r
anch 'maint'
commit
|
commitdiff
|
tree
2014-09-11
Sven
Verdool
a
ege
isl_conve
x
_hull
.
c: co
n
vex_hull_pair: add
mi
s
s
i
ng
return
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-04
Sven Verdoolaege
isl_map_
{
domain
,
range}
_
pr
o
duct:
remove
p
ossible obv
i
ous
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdool
a
ege
isl_map
.
c: map_product: rename
"di
m
_product" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sven Ve
r
doolaeg
e
ad
d
isl_map
_
re
m
o
v
e_ob
v
i
ous_dupli
c
ates
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sv
e
n
Verdoolaege
i
s
l_map_normalize: extract
o
ut
sor
t
_and_re
m
o
v
e_duplicates
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sven Ver
d
oola
e
ge
isl_m
a
p
_
normalize: remove empty p
a
rts before sor
t
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdo
o
laege
isl_basic_map_sort_co
n
straints
:
use isl_sort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
S
ven Verdo
o
laege
isl
_
b
a
s
i
c_map_sort_constra
i
nts: skip
s
orting
i
f constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
S
ven Verdoolaege
i
s
l_
b
as
i
c_ma
p
_a
l
ign_divs: only exten
d
dst when ne
e
de
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdoolae
g
e
clean up isl_basic_map_al
i
gn_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
S
ven Verdo
o
laeg
e
isl_map_si
m
plify
.
c
:
remove_redundant
_
divs:
update
outd
a
ted
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
S
v
en
Verdoolaege
isl_reordering_dump:
also dump target
s
p
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven V
e
r
d
oo
l
a
ege
u
p
date fo
r
change in Targ
e
tOptio
n
s
r
efcounting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolae
g
e
u
p
dat
e
for removal
o
f llvm/ADT/Ow
n
in
g
Ptr
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolaege
i
n
t
erfac
e
/extra
c
t_interface
.
cc: avoid use o
f
SourceManager
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-30
Sven Verdoola
e
ge
update for removal of DefaultImageName Driver constructor
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-29
Sven Verdoolaege
isl_printer_print_pw
_
aff
:
u
s
e isl_ast_build_expr_from_pw
_
a
f
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-29
S
v
en Verdoolaeg
e
add faber test case
from CLooG
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-29
S
ven Verdoolae
g
e
AST gener
a
to
r
: e
x
pl
o
i
t a
l
l informatio
n
wh
i
le looking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-22
Sven Verdoolaeg
e
isl_ast_
c
od
e
ge
n
.
c: generate_
d
om
a
in: intersect
w
ith
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-22
Sven Verdo
o
laege
AST generator
:
exploi
t
im
p
l
ied guard to simplify inner
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-22
S
v
en Ver
d
o
olaege
d
r
op is
l
_ast_build_set_enforced
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-22
Sve
n
Verdoolaege
add a new AS
T
generat
o
r test case
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-22
Sven Verdoolaege
AST
gen
e
rator: improv
e
h
andling
o
f
pen
d
i
n
g constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
S
v
en Verdoolae
g
e
add isl_ast_build_replace_pending_
b
y_guard
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
add
isl_ast
_
build_get_generated
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
S
v
e
n
Verdoolaege
a
d
d
isl_a
s
t_build_ge
t
_
pen
d
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
S
ven Ver
d
oolaege
ex
p
o
s
e
i
s
l_ast_graft
_
list_gist_
g
uards
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
S
ven Verdoolaege
isl_a
s
t_codegen
.
c
:
refine_g
e
neric
:
hoist out gi
s
ting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdo
o
la
e
ge
isl_ast_cod
e
ge
n
.
c: cre
a
te
_
node_scaled
:
postpone ad
d
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
S
v
en Verdool
a
e
g
e
isl_ast
_
cod
e
gen
.
c:
c
re
a
te_no
d
e_scal
e
d:
h
oist inclusion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven
Verdoolaege
drop isl
_
ast_graft_alloc_l
e
vel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
isl_a
s
t_codegen
.
c: c
r
eate_
n
ode_scaled: inline c
a
ll
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven
Verdoolae
g
e
expose isl_ast_graft_list_
e
xtract_hoistable_guard
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
ex
p
os
e
isl_ast_graft_li
s
t_extract_shared_en
f
orc
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sv
e
n Verdoola
e
ge
extract
o
u
t isl_ast_graft_alloc_from_childre
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolae
g
e
is
l
_
a
st_
c
odegen
.
c: ref
i
ne_
e
limi
n
a
t
ed: do
n
o
t a
d
d stride
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
S
v
en Verdoo
l
ae
g
e
isl_a
s
t_codeg
e
n
.
c: move up add_stride_guard de
f
ini
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Ver
d
ool
a
eg
e
isl_ast_b
u
ild_set_
l
oop_b
o
und
s
: d
o
n
o
t
add
s
trid
e
constraint
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verd
o
olaege
p
u
sh isl_as
t
_b
u
ild_include_stride
i
nto is
l
_ast_b
u
ild
_
set_loo
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
isl_ast_bui
l
d
.
c:
u
pdate_va
l
ues: e
x
p
l
icit
l
y
t
ake
i
nto
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdo
o
laege
is
l
_as
t
_code
g
en
.
c: generate
_
next_level:
u
s
e i
s
l
_ast_build_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoo
l
aege
add i
s
l
_
a
s
t
_build_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Ver
d
oolaege
A
S
T genera
t
or
:
t
a
ke int
o
account some paramete
r
co
n
straints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven
Verdoolae
g
e
A
ST generator:
perform m
o
re aggressive
g
uard
h
oisting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
isl_a
s
t_graft
.
c: ex
t
ract_hoi
s
table_guard: ex
t
ract out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven V
e
rdoolaege
add is
l
_set
_
unshifted_s
i
mp
l
e
_hull_from_set_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
S
ven Verdoola
e
ge
add isl_set_get_basic_set_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven
Verdoolaege
add
is
l
_basic_set_list_a
l
ign_divs_to_b
a
sic_s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
a
dd isl_set_alig
n
_divs_to_
b
a
s
ic
_
set_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
a
d
d isl_
b
as
i
c_set_list_underl
y
in
g
_s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
ad
d
isl_basi
c
_set_list_int
e
rsect
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven
V
erdoolaeg
e
isl_ast_cod
e
gen
.
c: add
_
node: rep
l
ace gist by pure
spe
c
ia
l
ization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven V
e
rdoolaege
i
s
l_ast_build_expr
_
f
rom_pw_aff: exp
l
oi
t
domain constrain
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-05
Sve
n
V
e
rd
o
olaege
i
s
l_
a
st_build
_
e
x
pr_
f
rom_basic_set: explo
i
t
e
arlier
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verd
o
olaege
i
sl_ast_build_expr_from_basic_se
t
: sort constra
i
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-05
Sven V
e
rdoolaege
add is
l
_constraint_cmp_last
_
non_
z
er
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-05
Sven
Verdoolaege
ad
d
i
s
l_int_abs_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verdoolaege
add isl_con
s
trai
n
t_p
l
ai
n
_
cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verdoolaeg
e
isl_ast_bui
l
d_expr_
f
rom_basic_
s
et: operate on li
s
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next