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
isl_flow.c: merge isl_union_access_info_set_*
2017-06-12
Sven Verd
o
olaege
isl_flow
.
c: merge isl_
u
nion_access_info_set_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
erdool
a
ege
i
s
l_union_ac
c
ess_info: treat acce
s
s relations in a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdool
a
ege
isl_printer_
p
r
i
nt
_
unio
n
_flow: con
s
is
t
ently print full
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n Verdo
o
laege
isl_s
c
hedule_{r
e
ad,constraints
}
.
c:
extract
o
ut shared
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
en Verdoolaege
is
l
_sch
e
d
u
le_read
.
c: e
x
trac
t
_key
:
store ke
y
s
t
rings
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
e
n
Ver
d
o
o
laege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2017-06-08
Sven Verdoolaege
p
r
o
perly add de
c
laration o
f
isl_multi_union_pw_
a
ff_app
l
y
_pw_af
f
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-08
Sven Verdoolaege
schedul
e
r: e
x
p
l
oit lin
e
ality space in dif
f
ere
n
ce set
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven Ve
r
d
oolaege
a
dd
isl_union_set_combi
n
ed_lin
e
ality_space
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verdoolaege
priv
a
t
ely
export is
l
_set_
c
ombined_line
a
l
ity_space
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoo
l
aege
i
s
l_
b
asi
c
_set
_
lineal
i
ty_space: allow local
v
ariables
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
add i
s
l_ba
s
ic_se
t
_extrac
t
_equalities
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
rdoola
e
ge
add isl_multi_
a
ff_from_aff
_
mat
commit
|
commitdiff
|
tree
2017-06-07
Sven
Verd
o
olaege
s
chedu
l
e
r: drop constra
i
n
t
s that can only
b
e
used for
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Ve
r
do
o
lae
g
e
isl
_
s
cheduler
.
c: collect_intra_vali
d
ity: drop parameters
commit
|
commitdiff
|
tree
2017-06-07
Sven Ve
r
doola
e
g
e
isl_scheduler
.
c: intra_coe
f
f
i
cie
n
ts: separa
t
e
c
a
che
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
isl_scheduler
.
c: count_map_co
n
st
r
aint
s
: count
p
ara
m
etric
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
isl_scheduler
.
c: extrac
t
out shared fo
r
c
e_zero
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
isl_sched
u
l
e
r
.
c: e
x
t
r
act ou
t
shared update_count
commit
|
commitdiff
|
tree
2017-06-07
S
ven
Verd
o
olaeg
e
add i
s
l_u
n
ion_se
t
_
p
lain_g
i
st
commit
|
commitdiff
|
tree
2017-06-07
Sven
Verdoolaege
add isl_map_plain
_
gist
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
add
i
sl_set_plain_gist_basic_set
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verdoolaeg
e
add isl_basic_set
_
{
l
owe
r
,upper}_bound_va
l
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaeg
e
doc: isl_*_bound_*:
specify
header to include
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
sc
h
eduler: try carry
i
n
g only se
l
f-d
e
pendences
in the
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
isl_
m
ap_is_disjoin
t
: handle input with
u
naligne
d
parameters
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n Verdoolaege
update imath for fix of bu
g
int
r
odu
c
e
d in previous
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-02
M
ic
h
ael Kruse
update imath for undefin
e
d behavior fixes
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_s
c
h
e
duler
.
c: compute_carry
i
ng_sol
:
extract out
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rd
o
olae
g
e
isl_sched
u
le
r
.
c: fi
n
d
_nod
e
_coalescing: use hal
f
of
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
add isl_val_div_
u
i
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
i
s
l
_
sc
h
eduler
.
c: compute_m
a
x_coe
f
fi
c
ient: round up
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
add isl_
i
nt_c
d
i
v
_q_ui
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoo
l
aege
isl_te
s
t
_int:
add more isl_int_cdiv_q t
e
sts
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdo
o
lae
g
e
imath backen
d
: use tailored isl_int_fdiv
_
q_ui
commit
|
commitdiff
|
tree
2017-05-25
S
v
en
Verdoolaege
i
sl_scheduler
.
c: compute_s
c
hedule_fin
i
sh_band: split
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
ven Ver
d
o
olaege
i
sl_sc
h
e
duler
.
c: split_scaled: do not enforce relative
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n Verdoolaege
sc
h
eduler:
ch
a
nge order of coefficients in (I)LP problems
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
s
l_schedu
l
e
r
.
c: extract ou
t
sh
a
red node_par_c
o
ef_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
isl_scheduler
.
c: extr
a
ct out shared
node_c
s
t_coef_offs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoo
l
a
ege
isl_schedul
e
r
.
c
: ext
r
act_var_coef: drop c
o
m
m
e
nt
on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoo
l
aege
i
sl_schedu
l
er
.
c: add_var_s
u
m_co
n
strain
t
:
drop co
m
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdo
o
laege
isl_sched_no
d
e: dro
p
cmap fie
l
d
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
sl_s
c
heduler
.
c: update_schedul
e
: drop
support for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
sche
d
uler: solve for orig
i
n
a
l s
c
hedule
coefficients
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven V
e
rdoolae
g
e
ign
o
re comp
u
ted schedul
e
of tim
i
n
g
t
est cas
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaege
isl_sc
h
eduler
.
c: isl_sched_
n
o
d
e: norma
l
ize
non-trivial
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
add isl_mat_lexnonneg_rows
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Ver
d
oolaege
ad
d
i
s
l
_
mat_reverse
_
gauss
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
add
i
sl_mat_
r
o
w
_
n
eg
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
e
rdoolaege
isl_mat
.
c: extract out
s
hare
d
check_
r
o
w
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven
Ve
r
doolaege
i
sl_sc
h
eduler
.
c: is
l
_sc
h
ed_node
:
only store rows th
a
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolaege
sched
u
l
er: reverse o
r
der of
s
che
d
u
l
e coeffi
c
i
e
nts
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolae
g
e
isl_
s
ch
e
duler
.
c: extract
o
ut
s
hared nod
e
_va
r
_coef_pos
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
a
ege
i
s
l_dim_map_range: allow negative strides
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaege
isl
_
sch
e
d
u
ler
.
c: constru
c
t_trivia
l
: construct r
e
gi
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdool
a
e
ge
isl_tab_basic_set_non_trivial
_
lex
m
i
n: ta
k
e triv
i
ality
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
isl_tab_pip
.
c: region
_
is_trivial: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Ve
r
doolaege
i
sl_ta
b
_
b
asic_set_non
_
t
r
ivial
_
lexmin:
e
xtract out fix_zero
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_tab_pip
.
c: ex
t
en
d
i
s
l_
t
r
ivial documentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven
V
erdoolaege
add isl_vec_is_
z
ero
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
Verdoolaege
sc
h
ed
u
ler: so
l
ve Fea
u
trier fall
b
ack
as I
L
P to a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verd
o
ola
e
ge
add isl_tab_le
x
min_cut_to_integer
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
laege
isl_scheduler
.
c:
c
o
mpu
t
e
_
schedule_finish_band: also
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
is
l
_
s
cheduler
.
c:
count_map
_
constrain
t
s: dr
o
p "carry
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
isl_scheduler
.
c: compu
t
e_carrying_sol: remove
d
uplicate
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
e
rdool
a
ege
i
s
l
_
sc
h
eduler
.
c: carry_de
p
endences:
e
xtract out com
p
ute_ca
r
r
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdool
a
ege
isl_schedule
r
.
c: ca
r
ry_depend
e
nces: delay erroring
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
o
la
e
ge
isl_sche
d
u
l
er
.
c
: add_inter_const
r
aints: ret
u
rn i
s
l_st
a
t
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Ve
r
dool
a
ege
isl
_
s
chedu
l
er
.
c: add
_
intra_constr
a
ints: re
t
urn isl
_
s
tat
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
isl_scheduler
.
c: inter_dim_map: handle NULL i
n
put
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
sl_schedu
l
e
r
.
c:
i
ntra_d
i
m_map: ha
n
dle NULL
input
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
ol
a
ege
add i
s
l_u
n
ion_set_get_basic_s
e
t_list
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolae
g
e
isl_*_list_concat: special case pr
e
-
a
llocated list
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
e
g
e
add isl_union_{map,set}_rem
o
ve
_
divs
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
V
e
rdoolaege
a
d
d
isl_
b
a
sic_se
t
_l
i
st_
c
oefficients
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
ola
e
ge
add isl_
l
ist_
*
_map_*
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
g
e
isl_list_templ
.
c: ext
r
a
c
t ou
t
shared isl_
l
ist_*_check_index
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
o
l
a
ege
isl_sched_graph: add identifie
r
to co
m
pressed nodes
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolaege
add isl_basic_set_variable
_
c
o
mpression_with_id
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdo
o
la
e
ge
isl_basic_set_va
r
iable_
c
ompression:
r
en
a
m
e
"dim" vari
a
b
l
e
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_sc
h
ed_
g
raph: ignor
e
paramet
e
rs in identification
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
a
e
ge
is
l
_schedu
l
e
r
.
c:
n
ode_has_space: rename "di
m
" varia
b
le
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
laege
isl_sched
u
l
er
.
c: graph_f
i
nd_node: rename
"
di
m
" argument
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
add isl_space_ge
t
_
t
u
ple_hash
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
i
s
l_sp
a
ce_get_{hash,domain_hash}:
o
nly hash in param
e
t
ers
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_ha
s
h_
{
s
p
ace
,
spac
e
_dom
a
in}: extract out shared parame
t
er
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
isl_space_get_h
a
sh: rena
m
e "dim"
argum
e
nt
t
o "space"
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
t
e
st_inputs/
c
o
degen/{atomic,separate}
.
*: exp
l
ic
i
tly
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Tobias Grosser
cpp: add un
i
t tests
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
int
e
rface: make la
n
guage b
i
n
dings dep
e
nd on all relevant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n
Verdool
a
ege
interface/Makefile
.
am: drop
test target
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-23
S
v
en Ve
r
doolaege
i
sl_convex_hul
l
.
c: modulo_affine_hull:
fix
potentia
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdo
o
l
a
ege
isl_schedule_con
s
traints_c
o
mpu
t
e_schedule: do not
merge
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n Verdoola
e
g
e
isl_union_ma
p
.
c: rename cond_un_op
t
o
u
n_
o
p
commit
|
commitdiff
|
tree
2017-05-17
Sven
Verdoolaege
i
s
l_un
i
on_map
.
c: un_op: implement
in
t
e
rms of
c
on
d
_un
_
op
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
rdoolaege
isl_union_map
.
c: inplace: im
p
lement in
t
e
rms
o
f
co
n
d_un_
o
p
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verd
o
olaeg
e
isl
_
union_ma
p
.
c: cond_u
n
_op:
u
nify callbacks
commit
|
commitdiff
|
tree
2017-05-17
Sven Ver
d
o
ol
a
ege
i
s
l_union_map
.
c: co
n
d_un_op:
d
rop need
l
e
s
s
err
o
r label
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoo
l
aege
isl_uni
o
n_ma
p
.
c: cond_un_
o
p: u
s
e isl
_
union_map_
g
et_space
commit
|
commitdiff
|
tree
next