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_schedule.c: construct_band_list: with_merged_divs: accept NULL pointer on zero...
2013-05-28
Sve
n
Verdoolaege
add
isl_
u
nion_map_fixed_
p
o
we
r
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolae
g
e
add isl_set_count_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_
s
et_dim_residue_cl
a
ss_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_m
a
p_
f
loordiv_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
dd is
l
_set_p
l
ain_get_val_if_fixed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
V
e
rdoolaege
add isl_basic_map_pla
i
n_get_val_if_fixed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolaege
add isl_ma
p
_plain_get_val_i
f
_fixed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
d
d isl_set_lower_bound_va
l
and i
s
l_set_upper_bound_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolae
g
e
add
isl_ma
p
_fix_val and isl_set_fix_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdo
o
laege
ad
d
isl_s
e
t_min_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaeg
e
add isl
_
s
et_max_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoolaege
add
isl_basic_se
t
_max_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
a
dd
i
sl
_
basic_set_*_
l
p_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
add
private isl_basic_set_get_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaege
add isl_pw_qpolynomial_fix_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verd
o
olaege
add i
s
l
_pw_aff_mod_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoolaege
a
dd isl_pw_aff_scale
_
down_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoolaege
a
d
d
i
s
l
_union_pw
_
*_scale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoola
e
ge
add is
l
_multi_*_
s
c
al
e
_val and i
s
l
_pw_*_scale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdool
a
ege
add isl_qpo
l
ynomia
l
_fold
_
s
c
ale_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaege
add is
l
_qpolynomial
_
sca
l
e_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdo
o
laege
ad
d
isl_qpol
y
nomial_val_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
V
erdoolaege
add isl
_
qpolynomial_ge
t
_constant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oo
l
a
ege
add
isl_term_get_coefficient_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven
Verdoolaege
add
i
s
l_aff_mod
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaege
add isl_aff_scale_down_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolaeg
e
add isl_aff_scale_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_aff
_
get_denom
i
nato
r
_
va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven
V
erdoolaege
add
isl_aff_get_coeff
i
cient_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdool
a
ege
add i
s
l_aff_get_constant
_
va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
ad
d
isl_aff_add
_
coefficient_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
add
i
sl_af
f
_add_con
s
ta
n
t_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
d
oola
e
ge
add isl_aff
_
set_coe
f
f
i
c
i
ent_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolaege
add isl_aff_set
_
co
n
stant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_con
s
traint_ge
t
_coe
f
f
i
cient
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sve
n
Verdoolaege
add isl_const
r
ai
n
t
_
g
et_constant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
ad
d
isl_cons
t
raint_set_coefficien
t
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_constraint
_
set_co
n
s
tant_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaege
add i
s
l_po
i
nt_get_c
o
ordinate_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven V
e
r
d
oolaege
add i
s
l_poin
t
_set_coordinate_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
ool
a
ege
add isl_mat_get_el
e
men
t
_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Ve
r
d
oolaege
a
d
d
isl_mat_set
_
ele
m
ent_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
ven Verdoolaege
a
d
d isl
_
vec_s
e
t_
v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doo
l
aeg
e
add
isl_vec_
g
et_element_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ver
d
oolaege
add is
l
_vec_set_ele
m
e
n
t_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sv
e
n Verdoolaege
add GMP speci
f
ic i
s
l_val funct
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verdoolaege
add isl_multi_val_mod_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Verd
o
olaege
add i
s
l_multi_val_ad
d
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
add isl
_
m
ul
t
i_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven Ve
r
doolaeg
e
isl_multi_templ
.
c: is
l
_mu
l
ti_*_set_*: extr
a
ct out ch
e
c
k
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
S
v
en Verdoolaege
add isl_v
a
l_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-28
Sven
Verdoolaege
a
dd i
s
l_val abstracti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven V
e
rdoolaege
add isl_int_submul_u
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Ver
d
oolaege
add isl_int_add
m
ul_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
S
v
e
n Verdool
a
ege
add isl_int_mul_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sv
e
n Verdoolae
g
e
add
i
sl_int_fits_ulong
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sve
n
Verdo
o
laege
add
isl_int_fits_
s
long
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
S
v
en Verdoola
e
ge
remove isl_int_gc
d
ext
f
rom publ
i
c
isl/int
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sven Verdo
o
laege
c
r
e
a
te priv
a
te cop
y
of isl/int
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-25
Sve
n
V
erdool
a
ege
Merge bra
n
ch 'ma
i
nt'
commit
|
commitdiff
|
tree
2013-05-24
Sven Verdo
o
laege
i
sl_union
_
set_compute_sched
u
le: fix check for prog
r
ess
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-23
Sve
n
V
er
d
oolaege
isl_vertex_get_dom
a
in: ret
u
rn para
m
eter domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-23
Sven V
e
rd
o
olae
g
e
isl_ast_exp
r
_fr
o
m_
c
onstraint: spli
t
off consta
n
t
te
r
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-22
Sven
V
erdoolaege
M
erge br
a
nch 'ma
i
nt'
commit
|
commitdiff
|
tree
2013-05-22
Sven Verdoolaege
isl_bas
i
c_map_foreach_lexopt:
pr
o
perly merge part
i
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-06
Sv
e
n Verdoolaege
me
r
ge sha
r
ed
i
sl_multi
_
* decla
r
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-04
Sven Ver
d
o
o
laege
d
e
cla
r
e isl_m
u
lti_* tog
e
ther with
isl_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-04
Sven
V
erdoo
l
aeg
e
make isl_multi_* f
i
les more self-con
t
ained
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-03
S
v
en
V
erdoolaege
isl_
s
pace_private
.
h: protect against
m
ult
i
p
l
e inc
l
usions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sven Verdoolaeg
e
detect
missin
g
g
mp
.
h
o
r
m
issing/old gmp librar
y
during
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sven V
e
r
doolaege
i
s
l_ast_code
g
en
.
c:
a
d
d_no
d
es: use more transparent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sven
V
erdool
a
e
ge
add isl_basic_map_
o
rd
e
r_
g
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-30
Sven Verdoolae
g
e
b
ou
n
d
.
c
: verify_point: use isl_printer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-28
S
ven Verdoolaege
is
l
_
i
nput
.
c:
read_factor: dec
l
are variables at start
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-28
Sven Verdoolaege
Merge branch
'mai
n
t'
commit
|
commitdiff
|
tree
2013-04-23
Sve
n
V
e
r
d
oolaege
i
sl_*alloc*: re
t
urn NULL if ctx
a
rgument i
s
N
U
LL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaeg
e
i
s
l_spac
e
.
c: add
m
iss
i
n
g incl
u
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
ven Verdoolaege
declare isl_tab_get
_
c
t
x in isl
_
t
ab
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
declar
e
isl
_
*_list together
wi
t
h
isl
_
*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
isl_ast
_
graft
.
c:
remov
e
s
p
u
ri
o
us
i
n
c
lud
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven
V
e
r
doolaege
isl
_
ast
_
codegen
.
c: remov
e
d
e
p
e
nd
e
nce on
in
t
ernals of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven
V
erdoolaege
extract g
e
n
eri
c
isl
_
*_list_f
o
reach_scc from
i
sl_ast_codegen
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven V
e
r
doola
e
ge
isl_map_affine
_
hull: make stride
infor
m
a
t
ion explicit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven V
e
rdoolaege
isl_
m
orph
.
c
:
extract out isl_mat_
p
arameter
_
c
ompressio
n
_ext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven
Verdoo
l
aege
isl_
a
s
t_build_get
_
str
i
de
_
con
s
trai
n
t: c
o
mbine multip
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
is
l
_ast_bu
i
ld
.
c: use isl_int
_
gcdext instead o
f
open
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
add isl
_
int_gcd
e
xt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sve
n
V
e
rdoolaege
i
sl_
a
st
_
b
uild
_
a
st_from
_
sch
e
dule: also add stride
guard
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven V
e
rdoola
e
ge
isl_ast_build_set_loop_bounds
:
co
m
pute d
i
vs after el
i
minatin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
isl_m
a
p_sim
p
lify
.
c: normalize_divs_in_context: improve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven
Verdo
o
la
e
ge
i
s
l_ast_build_expr
.
c: re
m
o
v
e l
e
ft-
o
ver from refactorin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven
V
e
r
d
o
olaege
isl_ast_
c
odegen
.
c: create_
n
ode_scaled:
re
f
lect
c
u
r
rent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolae
g
e
add
isl_un
i
on_map_preimage_d
o
main_
m
ulti_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
add isl_ma
p
_pr
e
image_do
m
a
i
n_
m
u
lti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
isl_basic
_
map_pre
i
m
a
ge_mul
t
i
_af
f
:
micro-
r
e
f
actoring
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
S
v
en Verdoolaege
isl_ma
p
_
s
implify
.
c: div_is_r
e
dundant: ignore coe
f
ficients
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-22
Sven Verdoolaege
generali
z
e isl_
b
a
s
i
c_se
t
_preimage_multi_aff to is
l
_basic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-19
Sven Verdoolaege
i
s
l_ast_bu
i
ld_ast_from_schedule:
a
l
s
o
add stri
d
e g
u
a
rd
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-19
S
v
en Verdoola
e
ge
isl_ast_bu
i
l
d
_set_loop
_
bounds: compu
t
e
d
i
v
s after eli
m
ina
t
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-19
Sven Verdoolaege
i
s
l
_
map_simplify
.
c
: normalize_divs_i
n
_context: impr
o
ve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next