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_union_set_plain_gist
2017-06-07
Sven Verdo
o
lae
g
e
add
is
l
_
u
n
i
on_set_
p
lain_gist
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
erdoolaege
add isl_map_pla
i
n_
g
ist
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n Verd
o
o
la
e
ge
a
dd isl_
s
e
t
_plain_gist_b
a
s
i
c
_set
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
Verdoola
e
ge
add
i
s
l_basic_set_{lower,upper}_bound_val
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
doc: isl_*_bound_*: specify header to include
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
s
c
heduler: try carrying only
s
elf
-
dep
e
nden
c
e
s
in the
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
Verdoolae
g
e
isl_scheduler
.
c
:
c
ompute
_
carr
y
i
n
g_sol: extract out
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_sch
e
duler
.
c: find_node_c
o
alescing: u
s
e
h
a
l
f
of
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolae
g
e
add i
s
l_val_d
i
v_ui
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
isl_sch
e
duler
.
c
:
compute_
m
ax_coefficient:
round up
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
ven Ver
d
o
o
laege
ad
d
isl
_
int_cdiv
_
q_u
i
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
r
doola
e
ge
i
s
l_test
_
int
:
add mo
r
e isl_i
n
t_cdiv
_
q
t
e
s
t
s
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdool
a
ege
i
m
ath bac
k
en
d
:
u
s
e tailored isl_int_f
d
i
v_
q
_ui
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
Ve
r
d
oolaege
isl_scheduler
.
c:
comp
u
te_
s
chedule_
f
inish
_
band: split
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
e
rdoolaege
isl_scheduler
.
c: s
p
lit_scaled: do no
t
e
nf
o
rce rela
t
ive
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdo
o
l
aege
scheduler: c
h
ang
e
order of coefficients in
(I)L
P
problems
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven V
e
rdoo
l
aege
is
l
_scheduler
.
c
: extra
c
t out shared n
o
de_par_coef_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en V
e
rd
o
olaege
i
s
l_s
c
h
eduler
.
c: e
x
tract out shared node_cst_c
o
ef_o
f
fset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
isl_scheduler
.
c: extract_var
_
coef: drop
comment on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl
_
s
c
heduler
.
c:
a
dd_var_sum_constrain
t
: drop comm
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
ol
a
e
g
e
isl
_
sched
_
no
d
e: dr
o
p cmap field
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdo
o
la
e
ge
isl_sch
e
duler
.
c
:
upd
a
te_s
c
hedu
l
e: drop
support for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
l
a
ege
scheduler: solv
e
f
o
r o
r
i
g
i
nal sche
d
u
l
e
c
oeff
i
cient
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
igno
r
e computed
s
chedul
e
of ti
m
ing test case
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
i
s
l_scheduler
.
c: isl_sched_node:
n
orma
l
ize no
n
-
trivial
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaeg
e
add is
l
_mat_lexno
n
neg_rows
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n
Verdoolaeg
e
add isl_
m
at_reverse_g
a
u
s
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Ver
d
o
o
laege
ad
d
is
l
_mat_row_neg
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
isl_m
a
t
.
c
: e
x
tract out sha
r
ed
ch
e
ck_r
o
w
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
isl_scheduler
.
c
:
isl
_
sched_node:
o
n
ly store
r
ow
s
that
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n
V
e
rdo
o
lae
g
e
sche
d
ule
r
:
r
everse
or
d
er of schedule coefficients
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
s
l_scheduler
.
c: ex
t
r
act out sha
r
ed no
d
e_var_coef_pos
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
is
l
_dim_map_range: allo
w
ne
g
ative
st
r
ide
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaege
isl_scheduler
.
c: const
r
uct_trivial: const
r
uct region
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
Verdoolaeg
e
isl
_
t
a
b
_bas
i
c_set
_
non_trivial_lexmin: take triviality
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n Verdoolaege
isl
_
tab_pip
.
c: reg
i
on
_
is_trivial
:
return isl_b
o
ol
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
isl_
t
a
b
_bas
i
c_set_non_
t
riv
i
al_lexmi
n
:
e
x
tract out
fix_zero
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
Verdoolaege
isl_tab_
p
ip
.
c: extend isl_trivial do
c
ume
n
ta
t
ion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add
isl_vec_is_zero
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
sc
h
eduler: solv
e
Feau
t
rier
f
a
l
lback
a
s
I
LP to avoid
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaege
a
dd isl_tab_
l
exmin_cut_to_inte
g
er
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
s
l_sched
u
ler
.
c: comp
u
te_s
c
hedule_finish_band
:
also
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Ve
r
do
o
laege
isl_schedul
e
r
.
c: count_ma
p
_const
r
aints: drop
"carry
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
isl_scheduler
.
c:
c
ompute_carrying_sol: remove
dupli
c
ate
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
is
l
_s
c
hedu
l
er
.
c: carr
y
_dependence
s
:
extra
c
t out
c
ompute_car
r
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaege
isl_schedu
l
er
.
c
:
c
arry_
d
ep
e
nden
c
es:
d
elay erroring
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
i
s
l
_sched
u
ler
.
c: add_inter_cons
t
raints: return isl_stat
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
isl
_
sc
h
eduler
.
c:
a
dd
_
intra
_
c
o
nstra
i
nts:
return i
s
l_stat
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolae
g
e
isl
_
scheduler
.
c
:
inter_d
i
m_map: handle NULL input
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
is
l
_schedul
e
r
.
c
: in
t
ra_di
m
_map: ha
n
dle NU
L
L input
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
Verdoolaege
a
d
d
isl_
u
n
ion_set_get_basic_
s
et_
l
is
t
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
isl_*_list_concat: special case
p
re-al
l
oca
t
ed lis
t
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
add isl_union_{map,set}_remov
e
_divs
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl
_
basic_set_list
_
coeffic
i
ents
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdo
o
l
aege
add isl_list_*_map_*
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdool
a
ege
isl_list_tem
p
l
.
c: extra
c
t
o
ut shared isl_li
s
t_*_che
c
k_ind
e
x
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
isl_sched_graph:
ad
d
identifier
t
o compres
s
ed nodes
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdo
o
l
a
ege
a
dd i
s
l_basic_s
e
t_variable_
c
ompres
s
ion_with_id
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_basi
c
_set_va
r
i
a
b
le_com
p
ression: rename "dim" v
a
r
i
able
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
Ve
r
d
o
olaege
is
l
_
s
c
he
d
_gr
a
p
h
: ignore parameters
i
n
i
dentif
i
cation
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_
s
cheduler
.
c: node
_
ha
s
_space: rename "dim" variable
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolaege
isl_sc
h
e
duler
.
c
:
g
rap
h
_fi
n
d_
n
o
de: re
n
ame "dim" argument
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
ve
n
Verdoolaege
add isl_space_get
_
tuple_hash
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaeg
e
isl_space_g
e
t_{hash,domain_h
a
sh}: only hash in para
m
eters
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
isl_hash_{spac
e
,space_domain}: ex
t
ract ou
t
shared parameter
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_space
_
get_hash
:
re
n
ame "dim" a
r
gument to "space"
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdo
o
laege
test_in
p
u
t
s/codegen
/
{atomic,separate}
.
*:
e
xpli
c
it
l
y
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Tobias
Grosser
cpp: add unit te
s
t
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
i
n
terface:
ma
k
e
langua
g
e
bindin
g
s depend on all rel
e
vant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdo
o
la
e
ge
interface/Make
f
ile
.
am: drop te
s
t t
a
r
get
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Ver
d
oolaege
is
l
_
schedule_con
s
t
r
a
i
nts
_
c
omput
e
_sche
d
u
l
e: do not merge
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Verdoolaege
isl_union_ma
p
.
c: renam
e
c
o
nd_
u
n_op to
u
n
_op
commit
|
commitdiff
|
tree
2017-05-17
S
ven
Verdoo
l
aege
isl_union
_
ma
p
.
c:
u
n_o
p
: implement in
t
e
r
m
s of cond_un_op
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
rd
o
ola
e
ge
i
sl_union_map
.
c
:
inpl
a
c
e
:
i
m
p
l
e
m
e
n
t
in terms of cond_u
n
_op
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoo
l
aege
isl_unio
n
_map
.
c
:
cond_un_op: unif
y
c
al
l
backs
commit
|
commitdiff
|
tree
2017-05-17
S
v
en Verdool
a
ege
isl_union
_
map
.
c: cond_un_op:
drop
n
eedless
er
r
or
l
abel
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
V
erdo
o
laege
isl_un
i
on_map
.
c: cond_un
_
op: u
s
e isl_uni
o
n_map_get_space
commit
|
commitdiff
|
tree
2017-05-17
Sven
Verdoolaege
i
s
l_union_map
.
c:
un_op: use
i
sl_u
n
i
on_map_g
e
t_ct
x
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_u
n
i
o
n_map
.
c: inpl
a
ce: u
s
e isl_uni
o
n_map_
g
et_ctx
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl
_
union_map
.
c:
c
ond_un_op: use
isl_uni
o
n_ma
p
_get_ctx
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoo
l
aege
i
s
l_un
i
on
_
map_factor_
r
ange: use isl_map_is
_
pr
o
duct
commit
|
commitdiff
|
tree
2017-05-17
Sven Ver
d
oolae
g
e
isl_union_map_fac
t
o
r_domain: use isl_map_is_product
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
add isl_ma
p
_i
s
_p
r
od
u
ct
commit
|
commitdiff
|
tree
2017-05-17
Sven
Verdool
a
ege
isl_space_can
_
z
i
p: extract out is
l
_spa
c
e_
i
s_pro
d
uct
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Verdoo
l
aege
i
s
l_spac
e
_
can_
z
i
p
: r
e
n
a
me "dim" argu
m
en
t
to "spa
c
e"
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verdoolaege
isl_schedul
e
r
.
c: count_map_constra
i
nts
:
use isl_basic_set_n_
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdo
o
laege
is
l
_scheduler
.
c
:
add
_
cons
t
raints_d
i
m_ma
p
: use isl
_
b
asic
_
set_
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven Verd
o
olaege
i
sl_sched
u
l
e
r: ex
t
r
a
ct out
s
ha
r
ed add_constraints_d
i
m
_
m
ap
commit
|
commitdiff
|
tree
2017-05-17
Sven Verd
o
olaeg
e
is
l
_scheduler
.
c
:
compute_weig
h
ts:
u
s
e
i
s
l_basic_
m
a
p
_n_equality
commit
|
commitdiff
|
tree
2017-05-17
Sven Verd
o
ola
e
g
e
add isl_basic_set_n_inequalit
y
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoola
e
ge
add
isl
_
basic_m
a
p_n_inequality
commit
|
commitdiff
|
tree
2017-05-17
Sven
Verdoo
l
aege
add isl_basic_set_n_equali
t
y
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
add
i
s
l_basic_map_
n
_equal
i
ty
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdo
o
laege
isl_schedule
r
.
c:
f
ix whitesp
a
ce
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoola
e
g
e
isl_
s
c
h
edul
e
r
.
c
: non_neg_lexmin: improve
d
o
cumentation
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
e
rdoola
e
g
e
isl_scheduler
.
c:
c
larify that space of isl_sched_node
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verdo
o
laege
isl_sch
e
dule
r
.
c
: fix documenta
t
ion of inter_dim_m
a
p
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
include/isl/map
.
h:
drop note ab
o
ut memory ma
n
a
gem
e
n
t
commit
|
commitdiff
|
tree
2017-05-17
S
v
en Verdo
o
l
a
ege
isl
_
t
ab_pip
.
c: f
i
x
typos in comment
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sven
Verdoolaege
i
s
l
_
schedul
e
r
.
c:
fix typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next