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
interface/extract_interface.cc: adjust to rename of Diagnostic in clang
2011-10-13
Sven Verdoolaege
i
n
t
erfac
e
/extract_inter
f
ace
.
cc: adjust
to rename of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven
V
e
rdool
a
ege
re
n
a
me i
s
l_pw_aff_add to isl_pw_aff_union_
a
dd
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sve
n
Verd
o
olaege
reimplement
pw
_
aff_mul
on
top o
f
a
g
eneric isl_pw
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoo
l
a
ege
isl_map_int
e
rsect
:
require ar
g
um
e
nts to live
in the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Ve
r
do
o
laege
is
l
_
i
nput
.
c:
re
a
d_tuple
:
use is
l
_ma
p
_inters
e
c
t
_p
a
r
a
m
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-10
Sve
n
Verdoolaege
M
er
g
e
b
r
a
nch
'ma
i
n
t
'
commit
|
commitdiff
|
tree
2011-10-08
Sven Verdoo
l
aege
isl_stream_read_
m
a
p
: handle
nested
p
arenthesized expr
e
s
sions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n
Verdool
a
e
ge
isl_basic
_
{set,map}_partial_lex{min,max}_pw_multi_
a
ff
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdo
o
laege
add i
s
l_aff_normalize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
a
d
d
e
x
tract_in
t
erfa
c
e for con
s
truct
i
ng interfac
e
s t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n V
e
rdo
o
laege
mark some d
a
t
a
s
t
r
u
ctures and functions f
o
r export
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
a
d
d isl_
*
_t
o
_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
add isl_union_pw_
q
pol
y
nom
i
al_read_from
_
str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven
V
erdoolae
g
e
a
d
d isl_multi_aff_lift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verd
o
ola
e
g
e
add isl_local_
s
pace_li
f
ting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verd
o
o
l
a
ege
a
dd i
s
l
_
local_space_lift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verd
o
o
l
aege
add isl_loca
l
_s
p
ace_
i
n
tersect
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
erdoolaege
ad
d
isl_multi_aff_rea
d
_fr
o
m
_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdo
o
laege
add i
s
l_pw_a
f
f
_
re
a
d_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add i
s
l_aff_read_f
r
om_
s
tr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_pw_multi_a
f
f_read_
f
rom_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_pw_multi_aff_from_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verd
o
ola
e
ge
add isl_basic_map_le
x
min_pw_
m
u
l
ti_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdool
a
ege
pip:
o
p
t
ionally
u
s
e
isl_
b
as
i
c_s
e
t
_
par
t
ia
l
_lexmin
_
p
w
_multi_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaeg
e
add
i
sl_basic_{s
e
t,map}_partial
_
lex{m
i
n,max}_pw_mul
t
i_
a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verd
o
o
l
aege
add isl_pw_multi_aff_substitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
Verdoola
e
ge
add is
l
_set_s
u
bsti
t
u
t
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdoolaege
add i
s
l_l
o
cal_space_
s
ubstitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verdoolaege
isl_printer_print_pw_multi_
a
f
f
: p
a
r
t
i
a
l support for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
oo
l
a
e
ge
a
dd i
s
l_pw_mu
l
t
i
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
oolaege
add isl
_
pw
_
*_get_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdo
o
laege
add isl_pw_*_g
e
t_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
d
o
o
laege
a
dd isl_pw_*_has_tup
l
e_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolae
g
e
add isl_pw_*_set_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add
is
l
_pw_*_get_tuple
_
id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
erdoolaege
add isl_pw
_
*_
g
et_tup
l
e_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven
Ver
d
o
o
laege
add is
l
_basic_map_fr
o
m
_multi
_
af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
e
n
V
e
rdo
o
laege
add
i
sl_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven V
e
rdoolaege
isl_pw_templ
.
c: rename align_params_
p
w_p
w
_
a
nd to
i
nclude
P
W
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verd
o
ol
a
e
ge
ad
d
isl_map_dim
_
max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verd
o
olaege
privat
e
ly expo
r
t isl_basic_ma
p
_foreach_lexopt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolae
g
e
add isl_
b
asic_map_elim
i
n
ate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven
V
erdool
a
e
g
e
add isl_basic_m
a
p_
h
as_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdoola
e
ge
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-10-01
Sven
V
erdoolaege
isl
_
basic_map_eliminate_va
r
s
: gauss result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdo
o
l
aege
add isl_aff_se
t
_di
m
_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Ver
d
oola
e
ge
add isl_local_spa
c
e
_s
e
t_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolaege
ad
d
i
sl_m
a
p_find_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
S
ven V
e
r
doolaege
add isl_
s
pace_
f
i
n
d
_
d
im_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven V
e
rdoola
e
ge
expor
t
isl_p
w
_aff_interse
c
t
_
d
o
ma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Ver
d
oolaege
e
x
p
o
rt
i
s
l_pw_aff_plain_is_equa
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoola
e
ge
add gener
i
c isl_pw_*_set_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
isl_set_intersect: properly hand
l
e i
n
tersection with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-24
Sven Verdool
a
ege
isl_access_info_compute_f
l
ow: al
i
gn parameters of input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-23
S
ven V
e
rdo
o
laege
Me
r
ge branch 'maint'
commit
|
commitdiff
|
tree
2011-09-23
Sven Verdoolaeg
e
fix isl_set_involves_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en V
e
r
d
o
olaege
a
d
d isl_set_plain_is_fixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n Ver
d
oolae
g
e
add isl_se
t
_from_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven
Verdoolaege
add isl_space_set
_
from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoo
l
aege
Merge
branch '
m
ai
n
t'
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
isl_qpolynomial_morph
:
prope
r
l
y h
a
n
dle
denominators
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en Ve
r
doolaege
a
d
d
isl_m
a
t_diag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en V
e
rdoolaege
isl_t
a
b_p
i
p
.
c: s
o
l_for_add: correctly set denominator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoola
e
ge
isl_tab_pip
.
c: sol_map_add: fix do
u
ble free on err
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaeg
e
i
sl_s
t
ream: accept "==
"
t
o
k
en
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven V
e
rdoolaege
add isl_union_pw_*_plain_is
_
eq
u
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdool
a
ege
a
d
d i
s
l_pw_*_
p
lain_is_equ
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sve
n
Verdoolaege
a
dd isl
_
s
e
t_plain_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolae
g
e
add isl_map_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
S
ven Verd
o
ola
e
ge
is
l
_stream_next
_
toke
n
:
t
reat "-0" as
t
wo
t
okens
'-
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoola
e
ge
d
rop "nparam" argu
m
ent from isl_{set,map}
_
read_from_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-14
Sven Verdoolaege
doc: document *_move_dims func
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
drop isl_div abstraction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven
Verdo
o
laege
i
s
l_{in,}
e
quali
t
y
_
alloc: take isl_loca
l
_
sp
a
ce intead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolae
g
e
do
c
: update exampl
e
code to change in return type of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
Sven Ver
d
oolaege
Merge branch
'
maint
'
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdoolaege
provide full prototyp
e
s for som
e
func
t
i
o
ns wi
t
h no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
S
ven Verdoo
l
aege
d
o
c
: fix typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Ver
d
oolaege
add isl_set_gist_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
erd
o
olae
g
e
mak
e
i
s
l_pw_
*
object live i
n
a map
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolae
g
e
add isl_s
p
ace_exte
n
d_
d
omai
n
_
w
i
th_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
add isl_space_is_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ve
r
d
oolaeg
e
a
dd isl_
l
ocal_space_is_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
add isl_lo
c
al_
s
pace_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
implement isl_con
s
traint on top of
i
sl_ve
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
add isl_vec_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_aff
.
c: extract
i
s
l
_loca
l
_space_get_acti
v
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_output
.
c:
d
rop redund
a
n
t
"set" argume
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdool
a
ege
isl_uni
o
n
_*_allo
c
: project space onto parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
explicitly differentiate b
e
tween
s
paces of maps, sets
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
a
l
low
i
sl_ids with negative reference counts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
a
e
ge
pro
p
e
r
i
mpleme
n
tation of isl_union_
m
ap_f
r
om_r
a
nge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdo
o
l
a
ege
is
l
_
m
ap_
f
rom_domai
n
_and_range: dro
p
explicit
co
n
ve
r
sion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verd
o
olaege
isl
_
set_apply_pw_qpoly
n
omial_fold: drop ex
p
lic
i
t c
o
nv
e
rsion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
e
rdoo
l
a
e
ge
isl_tab_basic_set_non_triv
i
al_lexmin: drop
e
xplicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
is
l
_tab_pip
.
c: f
i
x
whi
t
espace issue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
i
sl_set_rea
d
_from_
*
: coerce set-li
k
e
maps in
t
o set
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
isl_i
n
pu
t
.
c
: map_read_polyli
b
: co
n
vert
s
e
t-like maps
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ve
r
doo
l
aege
isl_input
.
c
: obj_read
:
start of
f
fr
o
m parameter space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
isl_input
.
c: represen
t
nested
tuple as i
s
l_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next