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_ast_expr_pdiv_{q,r}
2014-11-20
Sve
n
Verdoola
e
g
e
add isl_union_m
a
p_i
n
v
olve
s
_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rdoolaege
add
isl_union_pw
_
*_
f
ind_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdool
a
ege
a
d
d isl_p
w
_*_f
i
nd_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
laege
a
d
d i
s
l_multi
_
*_find_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoo
l
aege
add
i
sl_aff_find_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
V
e
rdoo
l
aege
add isl
_
union_map_find_dim_by_na
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_basic_map_find_
d
im
_
by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Ver
d
o
o
l
a
e
ge
add isl_
l
o
cal_space_find_dim_by_na
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
olaege
add
i
s
l_unio
n
_pw_*_d
i
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdoolaege
add
isl_union_
s
et_
d
im
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_union_p
w
_mul
t
i_aff_mult
i
_val_on
_
dom
a
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verdoolaege
add
i
sl_p
w
_multi_aff_multi_val_on_do
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
e
r
d
o
olaege
add is
l
_
multi_aff_multi
_
val_on_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
olaege
add isl_pw_aff_val_on
_
domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
e
n
Verdoolaege
add isl_
u
ni
o
n_*
_
scale_
d
own_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
a
ege
g
eneralize isl_pw_a
f
f_scale_dow
n
_val to isl_{multi
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolae
g
e
add
i
sl
_
q
p
olynomial_
f
ol
d
_sca
l
e_down_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdool
a
ege
add
i
sl_qpolynom
i
al_scale_down
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdoola
e
ge
add isl_val_inv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdool
a
ege
Merge bra
n
ch
'maint'
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rdoolae
g
e
isl_basic_map_gist:
avoid modifying input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-19
Sve
n
Verdoola
e
ge
add isl_local
_
s
p
ace_is_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-19
Sven Ve
r
doo
l
a
e
ge
isl_union_
p
w_multi
_
aff_add: compute su
m
on shared definition
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
decl
a
re isl_union_pw_qpolynomi
a
l_ne
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare isl_union_pw_
m
u
l
ti_aff_interse
c
t
_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
de
c
l
a
r
e
is
l
_union_pw_multi_
a
ff_gi
s
t_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
ven V
e
r
dool
a
ege
decla
r
e isl_u
n
ion_pw_multi
_
af
f
_coale
s
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
erdoo
l
aeg
e
declare
isl_unio
n
_pw_multi_aff_
s
cale_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdool
a
e
g
e
declare
i
sl_union_pw_mult
i
_aff_p
l
ai
n
_
i
s_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ver
d
oolaege
decl
a
re
isl_u
n
ion_pw_multi_aff_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en
V
erdoolae
g
e
decl
a
r
e
isl
_
union_pw_mu
l
ti_aff_extract_pw_mu
l
t
i
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
erdoolaege
declare i
s
l_uni
o
n_p
w
_multi_aff_from_pw_
m
u
l
ti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
ven Ver
d
oolaege
decl
a
re isl_pw_mult
i
_aff_
r
es
e
t_t
u
ple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
v
e
n Verdoo
l
aege
de
c
lare isl_mul
t
i_*_flatten_
r
ange
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
ven Verd
o
o
lae
g
e
dec
l
are isl_m
u
l
t
i_aff_move_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
erdoolaege
d
eclare isl_u
n
ion_map_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoola
e
ge
de
c
lare is
l
_union_set_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
decla
r
e i
s
l_
m
ult
i
_aff_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
S
ven Verdoo
l
aege
d
eclare isl_map_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
erdool
a
ege
declare isl_spa
c
e
_
to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-18
Sven V
e
rdoolaege
doc: explain use
o
f memory management annotation o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
Sven Verdool
a
ege
d
oc
:
document *_to_str fun
c
t
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
Sven Ve
r
doolaege
d
oc: group
funct
i
on types and operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
d
o
c: group dimensio
n
and tupl
e
i
d
entifi
e
r fu
n
c
ti
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sv
e
n Verdoolaeg
e
doc:
move isl_
s
pac
e
oper
a
tions to unary/binary op
e
rations
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolae
g
e
isl
_
union_
p
w
_
*_extract: ign
o
re
p
a
rameters i
n
space
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
v
e
n
Ver
d
o
o
l
aege
only allow a
s
ing
l
e isl_pw_* o
b
jec
t
wit
h
g
iven d
o
ma
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
v
e
n Verdoolaege
isl_union_pw_
*
_extra
c
t_*: rename "
d
im" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
isl_union_pw_*: rename "dim"
f
ie
l
d to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven V
e
rdoo
l
aege
is
l
_as
t
_expr_from
_
constraint: de
t
ect st
r
ide cons
t
raints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
ad
d
isl_ast_op_zdiv_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sv
e
n Verdo
o
laege
add isl_aff
_
coefficient_sg
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
S
v
en
V
e
rdool
a
ege
add isl_val_abs_eq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verd
o
olaeg
e
m
ark isl_space_tu
p
le_mat
c
h as deprecated
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-25
Sv
e
n Verdoola
e
g
e
i
sl 0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sven
Verdoolaeg
e
up
d
ate AU
T
HORS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
Sven van Haastregt
do
c
: fix typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-13
S
v
en Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2014-10-13
Sven
V
erdoolaege
i
sl_
m
ap_convex_hul
l
: detect
e
quali
t
ies before checking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sve
n
Verdoolaege
i
s
l_schedule_constrai
n
ts_compute_schedul
e
: al
l
ow partial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven
Ver
d
oolaeg
e
add
isl_ma
p
_n_basic
_
map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven
Verdoo
l
aeg
e
split scheduler code from schedule object code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-07
Sven
V
e
rdoolaege
ma
k
e
i
sl_
a
ff_private
.
h
more self-contained
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
d
o
c: fix typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
d
o
cum
e
nt
i
sl_
s
et_is_
s
ingleton
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ver
d
oolaege
doc: update isl_*_list doc
u
mentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoola
e
g
e
doc:
cl
e
an up
i
sl_val
documenta
t
io
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolae
g
e
i
sl
_
sched
u
le_constraint
s
_compute_s
c
hedule: compress
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven
Verdoolaege
i
s
l_sc
h
ed_node
:
r
e
n
ame "d
i
m" fie
l
d to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ve
r
d
oolaege
add isl_mor
p
h
_get_var_mult
i
_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoo
l
aege
ad
d
i
s
l_morp
h
_get_
d
om_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
ad
d
isl_mor
p
h_get_c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sve
n
Verdoolaege
p
rivately
e
xport isl_aff_alloc_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven
Verdoolaeg
e
ad
d
isl_mat_is_scal
e
d_
i
dentity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
add isl_mat
_
get_r
o
w
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ve
r
doolaege
i
sl_
b
a
sic_{set,ma
p
}_has_d
e
fining_equality: allow passin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-30
Sven va
n
Haastregt
add ast_alwa
y
s_
p
ri
n
t_block
option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-28
Sven Verdoola
e
ge
document
i
sl_sp
a
ce_tup
l
e_match
a
s
isl_space_tupl
e
_is_e
q
ua
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
S
ven Verdoolaege
isl_m
a
p
_
plain_is_d
i
sjoint:
c
h
eck t
u
p
l
e spaces before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-27
Sven Verdo
o
la
e
ge
i
s
l
_spac
e
_tuple_match: also ignore parame
t
ers in nested
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
v
en Verdool
a
ege
isl_spac
e
_tuple_
m
a
tch: rename "dim" variabl
e
s to
"spa
c
e
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
is
l
_
test: take
o
ptions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
v
en
Verdoolaege
isl_u
n
ion
_
*_ad
d
_*: perform check for "zero"
p
art unc
o
n
di
t
ionally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
is
l
_union_*_add_*: avoid dup
l
icate c
h
ecks in callers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven
Verdoolaege
isl_union_map_is_single_valued: look at domain
s
pace
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven V
e
rd
o
olae
g
e
i
s
l_union_map
_
i
s
_single_
v
alued: extr
a
c
t out
sing
l
e_ma
p
_is_si
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
ven Verdoolae
g
e
i
sl_
u
nion_map_is_s
i
ngle_valued
:
add a
c
ou
p
le of extr
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven V
e
r
doolaege
isl_basi
c
_map_ou
t
put
_
defining_e
q
uality: acce
p
t divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
ven Verdo
o
laege
ext
r
ac
t
out shared is
l
_basic_map_
o
utput_defining_equality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
AST generat
o
r
: drop redundant l
o
w
e
r bounds on stri
d
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sv
e
n Ver
d
oolaege
Merge bra
n
ch 'm
a
int'
commit
|
commitdiff
|
tree
2014-09-22
Sve
n
Verdoolae
g
e
i
s
l_
p
w_*
_
gist: special case con
t
ext equa
l
t
o single
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
S
ven Ver
d
oo
l
aege
isl_pw_*_gist: sp
e
c
i
a
l cas
e
universe context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-22
Sven Verdoolaege
isl_test: generalize isl_pw
_
qpolynomi
a
l_gist tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
S
ven Verdoolaege
is
l
_map_s
i
mplify
.
c
:
d
r
op spurious semicolo
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
Sven Verdoola
e
ge
is
l
_map_gis
t
:
return universe on
gist w
i
th empty set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-19
Sven Verdoolaege
i
s
l
_input
.
c: b
a
sic_map_read: check t
y
pe of result returned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sven Verdoolaege
isl_ba
s
ic_map_gist
:
remove
r
edu
n
dant
div constrain
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sven Ver
d
oo
l
aege
isl_b
a
sic_map_gist: remove obvious
l
y redund
a
n
t reduced
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-15
Sven V
e
rd
o
olaege
isl_basic_map_gi
s
t: avoid (tempor
a
rily) adding cont
e
xt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next