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
doc: fix typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
ven Verdoolae
g
e
doc
u
m
ent isl_set_
i
s
_
si
n
gle
t
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ve
r
doolaege
doc: upd
a
te isl
_
*_list
d
ocume
n
tation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
e
rdoolaege
d
o
c
: clean up isl_val
d
ocumentatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdo
o
laege
isl
_
schedule_cons
t
rain
t
s_compute_schedule: compre
s
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
isl_sched_node
:
re
n
ame
"dim" fie
l
d to
"space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sve
n
Verdoolaege
add isl_morph_get_var_multi
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
ve
n
V
e
rdo
o
l
a
ege
add isl_morph_ge
t
_dom_spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
v
e
n
Verdoolaege
add i
s
l_morph_
g
et_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdool
a
ege
privately export is
l
_aff
_
alloc_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
add is
l
_mat_
i
s_scaled_identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaeg
e
add is
l
_mat_ge
t
_row
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
S
ven
V
erdoolaege
isl_basic_{set,map}_h
a
s_defi
n
ing_equality
:
allow
pas
s
in
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven van
H
aastregt
a
d
d ast_always_pri
n
t_blo
c
k opti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-28
Sven Ver
d
oolaege
doc
u
ment isl_space_tu
p
le
_
match as
isl_space_tuple_is_
e
q
ual
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
Sve
n
Verdoolaege
isl_map_plain_i
s
_dis
j
oint: check tupl
e
sp
a
ces bef
o
re
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
S
v
en Verdool
a
ege
isl_space_tuple_m
a
t
c
h: al
s
o ignore par
a
meters i
n
nested
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl_space_tuple_match:
re
n
ame "dim" variables
to
"spac
e
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoola
e
ge
isl_test:
t
ake o
p
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
ven
Verdool
a
e
ge
isl_union_*
_
add_*: perform check for "zero"
p
a
r
t unconditio
n
ally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n Verdoolaege
isl_union_*_
a
dd_*: a
v
oid duplicate
check
s
i
n
callers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n Verdoolaege
isl_union_map_is
_
single_valued: l
o
ok at domain sp
a
ces
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven V
e
rdoolaege
i
sl_union_map_is_single_value
d
: extra
c
t out single_map_is_si
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Ver
d
oolaege
isl
_
uni
o
n_m
a
p_is
_
single_valued: add a c
o
uple of
e
xtra
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
ven Verdoolaege
isl_
b
asic_map_output_defining_equality
:
acc
e
pt divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
ext
r
act out share
d
isl
_
ba
s
ic_map_
o
utput_de
f
i
ni
n
g_equali
t
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n
Verdool
a
ege
AST generato
r
: drop
r
edund
a
n
t
lowe
r
bounds on
stri
d
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
V
erdoolaege
M
erge
branch 'mai
n
t
'
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoo
l
a
e
ge
isl_pw_*_gis
t
: speci
a
l case con
t
e
xt equal to single
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
i
sl_pw_*_gist: s
p
ecial c
a
se u
n
iverse context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Ve
r
doolaege
isl_t
e
st: gener
a
l
i
ze isl_pw_qpolynomial
_
g
is
t
tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
Sven Ve
r
doolaege
isl_
m
ap
_
simpli
f
y
.
c:
drop
spurious semic
o
lon
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
Sven Verdoolaeg
e
isl_map_gist: r
e
t
urn univ
e
rse on
g
ist wi
t
h empty set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
Sven Verdoolaege
isl
_
i
nput
.
c: basic_map_re
a
d:
c
heck
type of resul
t
retu
r
ned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoolaege
isl_basic_map_
g
ist: remove redundant
di
v
cons
t
raints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoolaege
isl_basic_map_gist: remove ob
v
io
u
sly re
d
undant re
d
u
c
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoo
l
aege
i
s
l_basic
_
map_gist: avoid
(
tempo
r
arily
)
adding c
o
ntext
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoolaege
isl_m
a
p_su
b
t
r
ac
t
: ch
e
ck if i
n
p
uts
are disjoint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoola
e
g
e
doc/S
u
bmittingPatches: me
n
tion
t
h
a
t ea
c
h
m
ail should
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Johannes Doerfert
Add an AST express
i
on
r
epresenting the &
-
o
p
erator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Johan
n
e
s
Doerfert
Add AST expression
b
uilder function
s
for comparisons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoolaege
d
oc: f
i
x documentat
i
on of isl_basi
c
_set_{in,}equalities
_
matrix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven Ver
d
oolaege
M
e
rge branch 'mai
n
t'
commit
|
commitdiff
|
tree
2014-09-11
Sven
Verdoolaege
isl_conve
x
_
h
ull
.
c:
c
on
v
e
x_hull_pair: add missing ret
u
r
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-04
Sven Verdoo
l
aege
isl_map_{domain,range}_product: remove po
s
sible obvious
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdoolaege
isl_map
.
c: ma
p
_product: rename "dim_product" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Ve
r
doolaege
add isl_map_rem
o
ve
_
obvious_d
u
plicates
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdo
o
lae
g
e
isl_ma
p
_
n
ormalize: ex
t
ract ou
t
sort_
a
nd_rem
o
v
e_du
p
licates
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdoolaege
isl_map_
n
ormalize: remove empty pa
r
ts
be
f
ore sorti
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdo
o
laege
isl_basic_map_s
o
rt_const
r
ain
t
s: use isl_s
o
rt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
S
ven Ve
r
doolaege
isl_basic_
m
ap
_
sort_c
o
nstraints: skip sorting if constra
i
nts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
S
ven Verdoolae
g
e
isl
_
basic_map_align_div
s
: only
extend
ds
t
when needed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdoo
l
a
ege
clean
u
p
isl_b
a
sic_map_align_d
i
vs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-03
Sven V
e
rdoolaege
isl_map_simplify
.
c: rem
o
ve_r
e
dundant_divs: u
p
date outdate
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sve
n
Verdoolaege
i
sl_reo
r
der
i
ng
_
dump
:
als
o
du
m
p targ
e
t
s
p
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolaege
u
p
date fo
r
change in TargetOptions refc
o
u
nti
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolaege
u
pdate for
removal
of llvm/A
D
T/OwningPtr
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sve
n
Verdoolaege
interfa
c
e/
e
xt
r
ac
t
_inter
f
ace
.
cc
:
av
o
id use of
SourceManage
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-30
Sve
n
Verd
o
o
l
aege
update f
o
r removal
of DefaultIma
g
eN
a
me Dri
v
e
r
construct
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-29
Sven Verd
o
ol
a
ege
isl_print
e
r_print_pw
_
aff: use isl_ast_build_expr_
f
rom_pw_
a
ff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-29
Sven V
e
rdoolaege
add
f
ab
e
r test case from CL
o
o
G
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-29
Sve
n
Verdoola
e
ge
A
ST ge
n
e
rator:
exploit all infor
m
ation w
h
ile looking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-22
Sven Verdo
o
laege
i
s
l
_
a
s
t
_codegen
.
c: gener
a
te_domain: intersect
w
ith
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-22
Sven Verdoolae
g
e
AST g
e
nerato
r
:
exploit implied guard
t
o
simplify inner
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-22
Sven
Ver
d
oolaege
drop isl_a
s
t_
b
uil
d
_se
t
_
e
n
f
orced
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-22
Sven Verdoola
e
ge
add
a ne
w
AST
g
e
n
e
rator tes
t
case
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-22
Sven Verdoo
l
aege
AST generat
o
r
: i
m
prove hand
l
ing of pe
n
di
n
g constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven
V
e
rdoolaege
a
d
d isl
_
ast_build_replace_pendin
g
_by_gu
a
rd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
add
isl
_
ast_build_get_generat
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sve
n
Verdoolaege
ad
d
isl_
a
st_build_get_pending
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolae
g
e
e
xp
o
se is
l
_ast_graf
t
_list_gist_g
u
ards
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
S
v
en Ver
d
oolaege
isl
_
ast_
c
odegen
.
c:
r
efi
n
e
_generic: hoi
s
t out
g
isting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
is
l
_ast_codegen
.
c:
c
rea
t
e_node_scaled: postpone adding
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Ver
d
o
o
l
a
e
g
e
isl_ast_codegen
.
c: crea
t
e_node_scaled
:
hoist in
c
lusion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
S
v
en Verd
o
o
l
a
ege
dr
o
p isl_ast_graf
t
_
alloc_level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
isl_ast_
c
o
d
ege
n
.
c: create_node_sc
a
led: inline call
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sv
e
n
Verdoolaege
expose isl
_
ast_gra
f
t_list_extract_hoistabl
e
_guard
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
expose
i
sl_ast_graft
_
list
_
extract
_
shared_enforced
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaeg
e
extrac
t
out
isl_ast_graf
t
_
alloc_from_children
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
isl_ast
_
code
g
e
n
.
c: refine_
e
liminated: do
not add stride
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
isl_ast_codegen
.
c: mov
e
u
p
add_strid
e
_
g
uard defin
i
t
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven
V
erdoolae
g
e
isl_ast_build_set_loop_
b
ounds:
d
o not add
s
t
ride constraint
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
push isl_ast
_
build_includ
e
_s
t
ride
i
nto isl_ast_bui
l
d
_
s
e
t
_loo
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdool
a
ege
isl_ast_b
u
i
ld
.
c:
u
p
d
ate_
v
al
u
es: ex
p
li
c
i
tly
t
ake i
n
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven V
e
rdoolaege
isl_ast_codegen
.
c: gen
e
rat
e
_next_level: use isl_ast_build_
d
im
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
add
i
sl_ast_bu
i
ld_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven
V
e
r
doolaege
AST generator
:
ta
k
e into acc
o
u
nt some
p
a
rameter c
o
n
s
traints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
S
v
en Ver
d
oolaege
AST generat
o
r: perform more aggr
e
ssive guard hoist
i
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
S
v
e
n Verdoola
e
ge
isl_ast_gr
a
ft
.
c: extra
c
t_hoist
a
b
l
e
_guard:
extract out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
add is
l
_set_unshifted_sim
p
le_hull_from_set_l
i
st
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
add isl_s
e
t_get_
b
asic_set_li
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
add
i
sl_basic_s
e
t_list_align_divs_to_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sve
n
Verdoolaege
a
d
d i
s
l
_set_
a
lign_divs
_
to_basic_set_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
add
isl_basic_set_list_u
n
derlying_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
Sve
n
Verdoolaege
add isl_basic_set_l
i
st_
i
nt
e
rsect
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
S
ven Verdo
o
laege
isl_ast_codege
n
.
c: a
d
d_node: replace
gist by
pur
e
specializa
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-16
S
ven Verdoolaege
is
l
_ast_bui
l
d_
e
xpr_fr
o
m_pw_aff:
exp
l
oit domain
c
onstra
i
nts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven
V
e
r
doolaege
isl_ast_build
_
expr_from_basic_set:
e
xpl
o
it earlier
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sve
n
Ve
r
doolaege
is
l
_ast_build_expr_from_b
a
sic
_
s
et: sort constraint
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-05
Sven Verdool
a
ege
add isl_
c
o
n
straint_cmp_last_non_
z
ero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next