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
mark isl_space_tuple_match as deprecated
2014-10-26
Sv
e
n V
e
rdoola
e
ge
ma
r
k isl_space_tup
l
e_ma
t
c
h
as
deprecated
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-25
Sven Ve
r
doolaege
isl 0
.
1
4
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdoolaege
update AUTHORS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-13
Sven van
Haas
t
r
egt
doc: fix typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-13
Sve
n
Ve
r
doolae
g
e
Merge branch 'main
t
'
commit
|
commitdiff
|
tree
2014-10-13
S
v
en Verdool
a
e
ge
isl
_
m
a
p_conve
x
_hull: de
t
ect equalities before
checking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sv
e
n Verdoo
l
aege
isl_sched
u
le_c
o
n
str
a
ints_compu
t
e_
s
chedule: allo
w
partial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
S
ven Ve
r
doolaeg
e
add isl_map_n_ba
s
ic_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sve
n
V
e
rdoolaege
s
plit scheduler code from sched
u
le object
c
ode
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoolaege
m
ake
i
sl_aff_pri
v
ate
.
h more self-contain
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ve
r
dool
a
e
ge
doc
:
fix typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven
Verdoolaege
docume
n
t isl
_
set
_
i
s_singlet
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
doc: updat
e
isl_*_list
d
o
c
u
men
t
a
t
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sve
n
Verdool
a
ege
doc
:
c
l
ean up isl_va
l
d
o
cume
n
tation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
isl_schedule_const
r
aints_compute_schedule: compres
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoo
l
ae
g
e
isl_sched
_
n
o
de
:
rename "dim" field to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sv
e
n
Verdoolaege
add isl_mo
r
p
h
_get_var_multi_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verd
o
o
l
aege
add isl_mo
r
ph_get_dom
_
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sve
n
Verdoolaege
add isl_morph_
g
e
t
_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ve
r
d
oolaege
priv
a
tely export i
s
l_
a
ff_
a
l
loc_ve
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven
Verdoola
e
ge
add isl_mat_is_scaled_id
e
n
t
ity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven
Verdoolaege
add isl
_
m
at_
g
et_row
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven V
e
rd
o
olaege
is
l
_b
a
sic_{set,
m
ap}_has_definin
g
_equa
l
i
ty: allow passing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
S
v
en van Haa
s
t
r
e
gt
add ast_always_print_bloc
k
opti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-28
Sven Verdo
o
laege
documen
t
i
s
l_spa
c
e_tuple_match a
s
isl_
s
p
ace_tuple_is_e
q
ua
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-27
Sven Verdoolaege
i
sl_map_plain_
i
s_disjoint
:
check tuple spaces befor
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-27
S
ve
n
Ver
d
oolaege
isl_space_tuple_match:
a
l
so
i
gno
r
e parameter
s
in nested
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl_sp
a
ce_tuple_m
a
tc
h
: rename "dim" variab
l
es to
"
space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven
V
e
rdoolaege
isl_tes
t
: ta
k
e
o
ptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl_union_*_add_*: perform
c
heck f
o
r "z
e
ro"
part uncondi
t
ionally
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
S
ven
Verdoola
e
ge
i
sl_union
_
*_add_*: avoid d
u
plicate che
c
ks in callers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdool
a
ege
isl_union_map_is_s
i
ngle_valued: look at
domain
s
paces
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verd
o
o
l
aege
isl_union_map_i
s
_sing
l
e_valued
:
ex
t
ract out single_map
_
is_si
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
S
v
e
n
Ver
d
ool
a
ege
is
l
_union_map_is_s
i
ngl
e
_valu
e
d
: add
a couple of extra
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
Verdool
a
ege
i
s
l_b
a
s
ic_map_ou
t
p
u
t
_defining_e
q
uali
t
y: accep
t
divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
Verdoolaege
extract out share
d
isl_basic
_
map_outpu
t
_
defi
n
ing_equali
t
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdo
o
lae
g
e
AST generator: drop redundant low
e
r
b
oun
d
s on s
t
r
ide
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolae
g
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2014-09-22
S
ven V
e
rdoola
e
g
e
isl_pw_*_gist: special case context equa
l
to single
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verd
o
olaege
isl_
p
w_*_
g
ist:
s
p
ecial case univers
e
context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-22
Sven
Verdo
o
l
a
e
g
e
i
sl_test: g
e
neralize isl_pw_qpo
l
ynomia
l
_gi
s
t
tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-19
Sven Verd
o
ol
a
ege
i
s
l_map_simplify
.
c: d
r
op spurious s
e
mico
l
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-19
Sven Verdoolae
g
e
isl_map_
g
ist:
return u
n
iverse on gist with empty set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-19
Sven Verd
o
ol
a
e
ge
isl_input
.
c: bas
i
c_map_read
:
check t
y
pe of result r
e
turned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoolaege
isl_basic_map_gist
:
r
emove r
e
dundant
div constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
S
ven Ve
r
do
o
laege
is
l
_basi
c
_map_gist:
re
m
ove
obviou
s
ly redundant reduced
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven
V
erdoolaege
isl_basic_map_g
i
st: avoid (te
m
p
o
rarily) addi
n
g
c
ontext
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sv
e
n Verdoolaege
isl_map_sub
t
ract: check if
i
n
p
u
t
s
are disjoint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
Sven Ver
d
oolaeg
e
d
o
c
/Submittin
g
Pat
c
hes
:
mention
th
a
t each mail
s
hould
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
J
o
hannes Doerfert
Ad
d
an AST expression
rep
r
esenting the &-operator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-15
J
oh
a
nnes Doerfert
A
d
d AST expression b
u
ilde
r
f
uncti
o
ns for c
o
mpar
i
sons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven
V
e
rdool
a
e
ge
doc: fix docu
m
entation
o
f isl_basic_set_{in,}equalit
i
es_mat
r
ix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sv
e
n Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoolaege
isl_convex_hull
.
c
: convex_hu
l
l
_
pair: add missing
r
e
turn
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-04
Sven Ve
r
doolaege
isl_ma
p
_{domai
n
,
range}_product: remove possible
obvious
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdool
a
e
ge
isl_map
.
c: m
a
p_product:
r
ename
"dim_produ
c
t" ar
g
ume
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
S
v
e
n
V
erdoola
e
ge
add isl_map_re
m
ove_obvious_
d
uplicates
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sven
V
erdoolaege
isl_map_no
r
ma
l
i
ze: extract out
sort_an
d
_remove_dupli
c
ates
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
S
v
en Verdool
a
ege
isl_map_normaliz
e
:
remove
e
mpty p
a
rts before so
r
ting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdool
a
ege
isl_basic_
m
ap
_
s
o
r
t_con
s
traints: use is
l
_sort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sven Verdoo
l
aege
isl_
b
a
s
i
c
_m
a
p_sort_c
o
nstr
a
ints: skip sorting if constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sv
e
n Ve
r
do
o
l
aege
isl_basic
_
map_align_divs: only extend dst whe
n
n
e
eded
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sven Ve
r
doo
l
a
e
ge
cle
a
n up isl
_
basic_map_ali
g
n
_
di
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-03
Sven Ver
d
o
olaege
isl_map
_
simplify
.
c: remove_redundant_divs: upd
a
te outdated
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
S
ve
n
Verdoolaege
isl_
r
eorderin
g
_d
u
mp: a
l
so dump target space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven Ve
r
doolaege
update for change in TargetOptio
n
s refcounting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sv
e
n Ver
d
o
o
laege
update for remo
v
al
o
f llvm
/
ADT/OwningPtr
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven V
e
r
d
oolaege
interface/
e
xtrac
t
_in
t
e
r
f
ac
e
.
cc: av
o
i
d
us
e
of SourceManager
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-30
S
ven Verdoo
l
aege
u
pdate for r
e
moval of DefaultIma
g
eName Driver constructor
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-29
Sven Ve
r
doolaege
isl_printer_
p
r
int_
p
w_aff: use
isl
_
a
s
t_
b
uild_expr_
f
ro
m
_pw_aff
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-29
Sven Ver
d
oolaege
add fab
e
r test c
a
s
e
fro
m
CLooG
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-29
Sven Verd
o
ola
e
ge
A
S
T
ge
n
erator: exploit a
l
l
i
n
formation
w
h
i
le l
o
oking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-22
Sven Verd
o
olaege
isl_ast_codegen
.
c: generate_
d
o
main: intersect w
i
t
h
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-22
S
v
en
Ver
d
oolaege
AST gen
e
r
ator: exploit implied gu
a
rd to sim
p
lify inne
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-22
S
ve
n
Verdoolaeg
e
drop isl_ast_build_set_enforced
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-22
Sven Verd
o
olaege
add a new AST
g
e
nerato
r
t
e
st ca
s
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-22
Sve
n
Verdoola
e
g
e
AST generator: improve handling of pending co
n
straints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven
Verdoolaege
a
d
d isl_as
t
_build_repl
a
ce_pe
n
d
ing_
b
y_guard
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
add isl_ast_build_get_gene
r
a
t
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven V
e
rdoolaeg
e
add isl
_
ast
_
build_ge
t
_pend
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven
Ver
d
oola
e
ge
expose i
s
l_ast_gra
f
t_list_gist_guards
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sve
n
Verdoolaege
is
l
_a
s
t
_
codegen
.
c: refine
_
gen
e
ri
c
:
h
oist out gist
i
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
S
ve
n
Verdoolaege
is
l
_ast_codegen
.
c: create_node_scaled: postpo
n
e add
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
S
ven Verdoolaeg
e
isl
_
ast_codegen
.
c: create_
n
ode_sc
a
led: hoist inclu
s
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sv
e
n
Verd
o
ol
a
e
g
e
drop isl
_
ast_graft_a
l
loc_level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdool
a
ege
i
sl_ast_code
g
en
.
c:
c
reate_node_scaled: inli
n
e call
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Ver
d
oolaege
e
x
p
o
s
e is
l
_ast_
g
raft_list_extr
a
ct_hois
t
able_gu
a
rd
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
S
ven
V
erdoo
l
a
ege
expos
e
isl_ast_graft_lis
t
_extra
c
t_shared_e
n
f
o
r
c
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verd
o
olaege
ext
r
a
ct ou
t
isl_ast_g
r
af
t
_al
l
oc_fro
m
_children
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sv
e
n Verdoolaeg
e
isl_ast_codeg
e
n
.
c:
r
efi
n
e_e
l
iminated: do not ad
d
stride
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven V
e
rd
o
olaege
i
s
l_a
s
t_codegen
.
c: move up add_stride_guard definiti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verd
o
olaege
isl_a
s
t_build_set_
l
oop_bounds: do not add
s
tride constraint
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sve
n
Verdoolaege
push isl_ast_build_in
c
lude_stride into
i
sl
_
as
t
_build_set_loo
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Ver
d
oolaege
isl_ast_build
.
c: up
d
ate_val
u
es:
exp
l
i
citly ta
k
e into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolaege
i
s
l_ast_
c
o
dege
n
.
c
: generate_next_level: u
s
e isl_ast_b
u
i
l
d_d
i
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Ve
r
d
o
olaege
add
i
sl_ast_buil
d
_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoolae
g
e
A
S
T genera
t
or: ta
k
e into account so
m
e paramet
e
r
c
onstr
a
i
n
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven Verdoo
l
aege
AST
g
enerator
:
perf
o
rm more aggressive
g
ua
r
d hoisting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sven
Verd
o
o
laege
isl
_
ast_gr
a
ft
.
c: extract_hoista
b
le_guard: extract out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-16
Sve
n
V
e
rdool
a
ege
add isl
_
se
t
_
u
n
shifted_simple_hull_from_set_l
i
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next