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_set_lower_bound_val and isl_set_upper_bound_val
2013-05-28
Sven Verdoolaege
add
isl_s
e
t_lower_bou
n
d_v
a
l
and isl_set_up
p
er_
b
ound_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en
V
erdoolaege
add isl_map_fix_val and is
l
_set_fix
_
v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaeg
e
a
d
d
isl_set_min_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
add i
s
l_s
e
t_max_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n
V
er
d
oola
e
ge
add isl_basic_set
_
m
ax_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoo
l
a
ege
add isl_bas
i
c_
s
et
_
*
_
l
p_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
a
dd
p
rivat
e
isl_
b
asic_set_get_div
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdool
a
ege
a
dd isl_pw_qpolynomial
_
fix_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_pw_aff_mo
d
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
d
d i
s
l
_p
w
_aff_scale_down_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaege
add isl_u
n
i
on_pw_
*
_scale_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoolaege
a
d
d i
s
l_mul
t
i_*_sca
l
e_val and
i
sl_p
w
_*_sca
l
e_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ve
n
Verdoolaeg
e
add is
l
_q
p
olynomial_fol
d
_
s
cale
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdo
o
lae
g
e
add isl_qpolyn
o
m
i
a
l_scale_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
rdoo
l
aege
a
d
d
i
sl_qpol
y
n
o
mial_val
_
on_d
o
main
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolae
g
e
add isl_qpolynomial_get_c
o
nstant_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoolaege
add isl_t
e
r
m
_
get_coefficie
n
t_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_aff_mod_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add
i
sl_aff_scale_down_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven
V
erdoolaege
add isl_aff_sc
a
l
e_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Ve
r
doo
l
aege
add i
s
l_aff_get_denomi
n
ator_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
a
d
d isl_aff_get
_
coefficien
t
_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Ver
d
oolaeg
e
a
dd isl_aff_
g
et_constan
t
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verd
o
olaege
ad
d
isl_aff
_
add_coefficient
_
v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdo
o
l
a
e
ge
add
isl_aff_add_constant_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_aff_set_coe
f
ficient_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoolaege
add isl_aff_set_constant_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdool
a
ege
a
d
d isl_constra
i
nt_ge
t
_c
o
efficient_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Ver
d
oolaege
add isl_cons
t
raint_get_
c
onstant_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_constraint_set_co
e
fficient_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoolaege
add is
l
_con
s
tra
i
n
t
_set_con
s
tant
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_po
i
nt_
g
et_coordinate_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolaeg
e
a
d
d isl_point_set_c
o
ordinate_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
ad
d
isl_mat_get_el
e
m
e
nt_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoo
l
aege
add isl_mat_set_element_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaege
add
i
sl_vec_set_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
add isl_vec_get_element_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_vec_se
t
_element_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
dd
GMP
specific
isl_val
f
u
nctio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Ve
r
doolaege
add isl_multi_val_mod_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_multi_val_a
d
d_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
V
e
rdoolaege
add isl_mult
i
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
isl_multi
_
te
m
pl
.
c
:
isl_multi_*_
s
et_*:
e
xtract out check
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_val_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-28
S
ven
V
e
rdool
a
e
g
e
add
i
sl_val abstract
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sve
n
Verdoolaege
a
dd
i
sl_int_subm
u
l_ui
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven
V
e
rdoolaeg
e
a
d
d isl_int_addmul_ui
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven
V
erdool
a
ege
add isl_int_mul_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven
V
erdoo
l
aege
add is
l
_int_fits_ulo
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoolaege
add isl_int_f
i
ts_slo
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sv
e
n Ver
d
oolaege
rem
o
ve isl
_
int_
g
cdext fro
m
public isl/in
t
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoolaege
cr
e
a
t
e private copy o
f
isl/in
t
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdoolaege
M
erge branch 'maint'
commit
|
commitdiff
|
tree
2013-05-24
Sv
e
n Ve
r
doolaege
isl
_
u
n
i
o
n
_set
_
c
o
m
pute_schedule
:
fix
check for p
r
ogress
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-23
Sven Verdoolaege
isl_vertex_get_domain: return
par
a
m
e
ter domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-23
Sven
V
erdo
o
lae
g
e
isl_ast_e
x
pr_fr
o
m_constr
a
int
:
spl
i
t
o
f
f
c
o
nstant te
r
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-22
S
v
en Verdoo
l
aege
Merge branc
h
'mai
n
t'
commit
|
commitdiff
|
tree
2013-05-22
S
ven V
e
rdo
o
laege
isl_
b
asic_m
a
p_
f
oreach_l
e
xopt
:
pro
p
erly merg
e
part
i
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-06
Sven Verdoo
l
aege
merge
s
har
e
d
isl_multi
_
*
declaratio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-04
Sv
e
n
Verdoolaege
decl
a
re i
s
l_multi_* together with isl_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-04
Sven Verdoolaege
make
isl_multi_* files
more s
e
lf-contained
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
S
v
en Verd
o
olaege
isl_sp
a
ce_priv
a
te
.
h: p
r
o
t
ect
against m
u
lt
i
p
l
e
in
c
l
usions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
Sv
e
n Verdool
a
ege
d
e
tect
mis
s
ing gmp
.
h or missing/old gmp lib
r
ary durin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
Sven Ve
r
doolaege
i
s
l_ast_codege
n
.
c:
ad
d
_nodes: use more transpa
r
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
Sven V
e
rdoolaege
add isl_basic_map_order_gt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-30
Sven Verdoolaege
bound
.
c: verify_point: use isl_p
r
inter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-28
Sven Verdoolaege
i
s
l_input
.
c
: read_
f
actor: declare variables
at
s
tart
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-28
Sven Verdoo
l
aeg
e
Merge branch 'main
t
'
commit
|
commitdiff
|
tree
2013-04-23
Sven Verdoolaege
isl_*alloc*:
r
e
t
urn NULL if ct
x
argument is NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven
V
erdoolaege
isl_space
.
c: add missing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdool
a
eg
e
declare
i
s
l_ta
b
_get_ctx in
i
sl_tab
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven
V
erdoolaege
declare isl_
*
_
list toget
h
er with isl_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sve
n
Verdoolaege
is
l
_a
s
t_
g
raft
.
c:
r
emove spur
i
ous include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
v
en Verdo
o
laege
i
s
l
_ast_codeg
e
n
.
c: remo
v
e
dependence
o
n int
e
rnals of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
e
xtract generic
i
s
l_*_list_foreach_scc from isl_ast_co
d
egen
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven
V
erdoolaege
isl_map_
a
ffine_h
u
ll: mak
e
st
r
i
de in
f
o
rmat
i
o
n
explicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verd
o
olaege
i
s
l_morp
h
.
c
: extract o
u
t isl_mat_
p
arameter_compression_ext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verd
o
olaege
isl_ast_build_get_stride_constraint: co
m
bin
e
mul
t
iple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
isl
_
ast_
b
uild
.
c
:
use isl_int_gc
d
ext
instead
o
f open
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolae
g
e
ad
d
is
l
_int_g
c
dext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
isl_ast_bu
i
ld_
a
st_f
r
om_
s
chedule: also add
stride g
u
a
rd
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
v
e
n
Verdoolaege
isl_as
t
_build_
s
et_loop_b
o
unds: compute div
s
after
eliminatin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven
V
erdoolaege
isl_map_simpli
f
y
.
c: normalize_divs_in_
c
ontext: improve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
ven V
e
rdoolaeg
e
isl_ast_
b
ui
l
d_expr
.
c: remove le
f
t
-
over fro
m
refactor
i
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven
V
erdoola
e
ge
isl_ast_c
o
d
e
gen
.
c: create_no
d
e_scaled: refl
e
ct current
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven V
e
rdoola
e
ge
add isl_
u
nion_map_
p
r
eimage_domain_multi_
a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sve
n
Verdoolaege
add isl_map_preimage_dom
a
in_mu
l
ti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
S
ven Verdoolaege
isl_basic_ma
p
_p
r
e
i
mage_multi_aff
:
micro-refactoring
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sve
n
Verdoo
l
aege
isl
_
map_sim
p
lify
.
c: div_is_
r
ed
u
ndant:
ig
n
ore coe
f
ficients
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoola
e
ge
generalize isl_basic_s
e
t_preimage_
m
ulti_aff to i
s
l_basic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-19
Sven Verdoolaege
i
s
l_ast_build_ast_
f
rom_schedule:
a
lso add stri
d
e
gua
r
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-19
Sven V
e
r
doolaege
is
l
_ast_build_
s
et_loop_bounds:
compu
t
e d
i
vs af
t
er eliminatin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-19
Sven Verdoolaege
isl_map_si
m
plify
.
c: normal
i
ze_
d
i
v
s_in_context:
i
mprove
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-16
Sven Verdoolae
g
e
i
sl_map
.
c: fix t
y
po in commen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-16
Sven
Verd
o
olae
g
e
extend isl_seq_p
r
e
imag
e
to
a
l
l
ow
t
aki
n
g
preimage of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-16
Sve
n
V
e
rdoola
e
ge
isl_map_simplify
.
c: div_is_red
u
nd
a
nt: ignore
c
oe
f
ficients
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-15
Sven Verdoolaege
Merge bra
n
c
h
'
maint'
commit
|
commitdiff
|
tree
2013-04-15
Sv
e
n Verdoo
l
aege
isl_
a
st_codegen
.
c: f
i
x typo
i
n comm
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-15
S
ven Verdoolae
g
e
isl_ast_b
u
ild_ast
_
from
_
schedule: properl
y
handle union
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-15
Sven Verdoolaege
isl_ast_codegen
.
c
: update_u
n
rolling_lower_bo
u
nd: check
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next